

last edited 5 years ago by test1 
1 2 3 4 5  
Editor: test1
Time: 2017/02/23 18:45:00 GMT+0 

Note: 
changed: 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: In some cases FriCAS introduces special names such as '%x0' standing for roots. For example: changed: From kratt6 Thu Feb 2 09:50:56 0600 2006 From: kratt6 Date: Thu, 02 Feb 2006 09:50:56 0600 Subject: not really temporary MessageID: <200602020950560600@wiki.axiomdeveloper.org>  These names are not really temporary: That is OK and we can learn about defining equation like this: changed: (However, I think they should be...)  From kratt6 Thu Feb 2 09:55:41 0600 2006 From: kratt6 Date: Thu, 02 Feb 2006 09:55:41 0600 Subject: MessageID: <200602020955410600@wiki.axiomdeveloper.org>  Note that the expression (3) surfaces another bug in the solver: the variable 'x' should not appear in the defining polynomial of '%x0'...  Martin  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 MessageID: <200712280539380800@axiomwiki.newsynthesis.org>  Category: Axiom Mathematics => Axiom User Interface Status: open => closed   From kratt6 Fri Dec 28 05:46:58 0800 2007 From: kratt6 Date: Fri, 28 Dec 2007 05:46:58 0800 Subject: MessageID: <200712280546580800@axiomwiki.newsynthesis.org>  Status: closed => rejected   From BillPage Fri Oct 16 12:09:46 0700 2009 From: Bill Page Date: Fri, 16 Oct 2009 12:09:46 0700 Subject: There's Something Wrong with this output, right? MessageID: <200910161209460700@axiomwiki.newsynthesis.org>  Old example  \begin{axiom} 3*x*x+2*x+12*sin(12*x) integrate(%, x) zerosOf(%,x) \end{axiom}  However, in this case the expression (3) surfaces bug in the solver: the variable 'x' should not appear in the defining polynomial of '%x0'. In fact, since the equation is not a polynomial in 'x' 'zerosOf' should probably reject it.
In some cases FriCAS introduces special names such
as %x0
standing for roots. For example:
eq:=cos(12*x)+x^2+x^3
(1) 
zerosOf(eq,x)
(2) 
That is OK and we can learn about defining equation like this:
definingPolynomial %x0
(3) 
However, in this case the expression (3) surfaces bug in the solver: the variable x
should not appear in the defining
polynomial of %x0
. In fact, since the equation is not a polynomial in x
zerosOf
should probably reject it.