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

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

axiom
factor(simplify((1+x)^3))

\label{eq1}{x^3}+{3 \ {x^2}}+{3 \  x}+ 1(1)
Type: Factored(Expression(Integer))

vs.

axiom
factor((1+x)^3)

\label{eq2}{\left(x + 1 \right)}^3(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)

\label{eq3}{x^3}+{3 \ {x^2}}+{3 \  x}+ 1(3)
Type: Expression(Integer)
axiom
factor(%::Polynomial Integer)

\label{eq4}{\left(x + 1 \right)}^3(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

Category: Axiom Mathematics => Axiom Interpreter Status: open => rejected

simplify takes an EXPR INT, not a POLY INT. The interpreter does the coercion silently for you.




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: