|
|
|
last edited 7 years ago by test1 |
Edit detail for #262 Local variables in output revision 3 of 5
| 1 2 3 4 5 | ||
|
Editor: kratt6
Time: 2007/12/28 05:46:58 GMT-8 |
||
| Note: | ||
added:
From kratt6 Fri Dec 28 05:46:58 -0800 2007
From: kratt6
Date: Fri, 28 Dec 2007 05:46:58 -0800
Subject:
Message-ID: <20071228054658-0800@axiom-wiki.newsynthesis.org>
Status: closed => rejected
In some cases Axiom's output contains temporary names such
as %x0 standing for subexpressions that are not properly
substituted into the final result. For example:
axiom
eq:=-cos(12*x)+x^2+x^3
 | (1) |
Type: Expression(Integer)
axiom
zerosOf(eq,x)
 | (2) |
Type: List(Expression(Integer))
not really temporary --kratt6, Thu, 02 Feb 2006 09:50:56 -0600 reply
These names are not really temporary:
axiom
definingPolynomial %x0
 | (3) |
Type: Expression(Integer)
(However, I think they should be...)
Note that the expression (3) surfaces another bug in the solver: the variablex should not appear in the defining polynomial of %x0...
Martin
Maybe difficult to understand for newcomers, but correct --kratt6, Fri, 28 Dec 2007 05:39:38 -0800 reply
Category: Axiom Mathematics => Axiom User Interface
Status: open => closed
Status: closed => rejected