login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #7 Simplify changes the type of an expression revision 1 of 2

1 2
Editor:
Time: 2007/11/17 23:02:35 GMT-8
Note: property change

changed:
-
\begin{axiom}
factor(simplify((1+x)^3))
\end{axiom}
vs.
\begin{axiom}
factor((1+x)^3)
\end{axiom}

simplify changes the type to 'Expression Integer', where the original was 'Polynomial Integer'.

Why does factor refuse to factor an Expression Integer but
succeeds with Polynomial Integer?
\begin{axiom}
simplify((1+x)^3)
factor(%::Polynomial Integer)
\end{axiom}




From unknown Sun Mar 6 15:24:55 -0600 2005
From: 
Date: Sun, 06 Mar 2005 15:24:55 -0600
Subject: property change
Message-ID: <20050306152455-0600@page.axiom-developer.org>



From unknown Tue Mar 8 12:47:35 -0600 2005
From: 
Date: Tue, 08 Mar 2005 12:47:35 -0600
Subject: property change
Message-ID: <20050308124735-0600@page.axiom-developer.org>



Submitted by : (unknown) at: 2007-11-17T23:02:35-08:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

axiom
factor(simplify((1+x)^3))
LatexWiki Image(1)
Type: Factored Expression Integer

vs.

axiom
factor((1+x)^3)
LatexWiki Image(2)
Type: Factored Polynomial Integer

simplify changes the type to Expression Integer, where the original was Polynomial Integer.

Why does factor refuse to factor an Expression Integer but succeeds with Polynomial Integer?

axiom
simplify((1+x)^3)
LatexWiki Image(3)
Type: Expression Integer
axiom
factor(%::Polynomial Integer)
LatexWiki Image(4)
Type: Factored Polynomial Integer

property change
Sun, 06 Mar 2005 15:24:55 -0600 reply
property change
Tue, 08 Mar 2005 12:47:35 -0600 reply