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 17 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 :

fricas
(1) -> factor(simplify((1+x)^3))
\label{eq1}{{x}^{3}}+{3 \ {{x}^{2}}}+{3 \ x}+ 1(1)
Type: Factored(Expression(Integer))

vs.

fricas
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?

fricas
simplify((1+x)^3)
\label{eq3}{{x}^{3}}+{3 \ {{x}^{2}}}+{3 \ x}+ 1(3)
Type: Expression(Integer)
fricas
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.