login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#69 sqrt(-1/abs(x))-1/sqrt(-abs(x))  ← ↑ →  #70 when is broken

#7 Simplify changes the type of an expression
  
last edited 16 years ago by kratt6

Edit detail for #7 Simplify changes the type of an expression revision 2 of 2
1 2
Editor: kratt6
Time: 2007/12/20 01:43:19 GMT-8
Note: 
added:

From kratt6 Thu Dec 20 01:43:19 -0800 2007
From: kratt6
Date: Thu, 20 Dec 2007 01:43:19 -0800
Subject: 
Message-ID: <20071220014319-0800@axiom-wiki.newsynthesis.org>

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.

Submitted by : (unknown) at: 2007-11-17T23:02:35-08:00 (17 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

... --kratt6, Thu, 20 Dec 2007 01:43:19 -0800 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.