login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#261 Strange matrix addition  ← ↑ →  #263 ContinuedFraction returns incorrect types

#262 Local variables in output
  
last edited 8 years ago by test1

Edit detail for #262 Local variables in output revision 2 of 5
1 2 3 4 5
Editor: kratt6
Time: 2007/12/28 05:39:38 GMT-8
Note: Maybe difficult to understand for newcomers, but correct 
added:

From kratt6 Fri Dec 28 05:39:38 -0800 2007
From: kratt6
Date: Fri, 28 Dec 2007 05:39:38 -0800
Subject: Maybe difficult to understand for newcomers, but correct
Message-ID: <20071228053938-0800@axiom-wiki.newsynthesis.org>

Category: Axiom Mathematics => Axiom User Interface 
Status: open => closed

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

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
LatexWiki Image(1)
Type: Expression Integer
axiom
zerosOf(eq,x)
LatexWiki Image(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
LatexWiki Image(3)
Type: Expression Integer

(However, I think they should be...)

... --kratt6, Thu, 02 Feb 2006 09:55:41 -0600 reply
Note that the expression (3) surfaces another bug in the solver: the variable x 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