help links subscribe changes refresh edit

	IssueTracker
#261 Strange matrix addition ←	↑	→ #263 ContinuedFraction returns incorrect types

#262 Local variables in output

Edit detail for #262 Local variables in output revision 4 of 5

	1 2 3 4 5
Editor: Bill Page Time: 2009/10/16 12:09:54 GMT-7
Note: There's Something Wrong with this output, right?

added:

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?
Message-ID: <20091016120946-0700@axiom-wiki.newsynthesis.org>

Old example

\begin{axiom}
3*x*x+2*x+12*sin(12*x)
integrate(%, x)
zerosOf(%,x)
\end{axiom}

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:

fricas

eq:=-cos(12*x)+x^2+x^3

$\label{eq1}-{\cos \left({{12}\ x}\right)}+{{x}^{3}}+{{x}^{2}}$

(1)

Type: Expression(Integer)

fricas

zerosOf(eq,x)

$\label{eq2}\begin{array}{@{}l} \displaystyle \left[ \%x 0, \:{{{\sqrt{-{3 \ {{\%x 0}^{2}}}-{2 \ \%x 0}+ 1}}- \%x 0 - 1}\over 2}, \: \right. \ \ \displaystyle \left.{{-{\sqrt{-{3 \ {{\%x 0}^{2}}}-{2 \ \%x 0}+ 1}}- \%x 0 - 1}\over 2}\right]$

(2)

Type: List(Expression(Integer))

not really temporary --kratt6, Thu, 02 Feb 2006 09:50:56 -0600 reply

These names are not really temporary:

fricas

definingPolynomial %x0

$\label{eq3}-{\cos \left({{12}\ x}\right)}+{{\%x 0}^{3}}+{{\%x 0}^{2}}$

(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

... --kratt6, Fri, 28 Dec 2007 05:46:58 -0800 reply

Status: closed => rejected

There's Something Wrong with this output, right? --Bill Page, Fri, 16 Oct 2009 12:09:46 -0700 reply

Old example

fricas

3*x*x+2*x+12*sin(12*x)

$\label{eq4}{{12}\ {\sin \left({{12}\ x}\right)}}+{3 \ {{x}^{2}}}+{2 \ x}$

(4)

Type: Expression(Integer)

fricas

integrate(%, x)

$\label{eq5}-{\cos \left({{12}\ x}\right)}+{{x}^{3}}+{{x}^{2}}$

(5)

Type: Union(Expression(Integer),...)

fricas

zerosOf(%,x)

$\label{eq6}\begin{array}{@{}l} \displaystyle \left[ \%x 0, \:{{{\sqrt{-{3 \ {{\%x 0}^{2}}}-{2 \ \%x 0}+ 1}}- \%x 0 - 1}\over 2}, \: \right. \ \ \displaystyle \left.{{-{\sqrt{-{3 \ {{\%x 0}^{2}}}-{2 \ \%x 0}+ 1}}- \%x 0 - 1}\over 2}\right]$

(6)

Type: List(Expression(Integer))