axiom-developer
[Top][All Lists]

 From: billpage Subject: [Axiom-developer] [#119 solve returns wrong answers and multiple answers to same trig problem] links updated after rename Date: Thu, 24 Nov 2005 16:41:21 -0600

```Changes
--

??changed:
-The origin implementation of <code>ground</code> in <code>Expression</code> is
from <code>FunctionSpace</code> (according to Hyperdoc) and may give an error
if the argument is not from the ground domain. There is a function
<code>ground?</code> which does the test. A more common (and indeed more
general) function is <code>retractIfCan</code>, which would give "failed" if
the retraction cannot be done. There are 8 modemaps for
<code>retractIfCan</code> in <code>Expression Float</code> and you can retract
to <code>Algebraic Number, Float, Fraction Integer, Fraction Polynomial Float,
Integer, Kernel Expression Float, Polynomial Float</code> and
<code>Symbol</code>.  As far as MathAction goes, I would prefer "failed" rather
than an error, because an error stops the running of the rest of Axiom script
block.
The origin implementation of <code>ground</code> in <code>Expression</code> is
from <code>FunctionSpace</code> (according to Hyperdoc) and may give an error
if the argument is not from the ground domain. There is a function
<code>ground?</code> which does the test. A more common (and indeed more
general) function is <code>retractIfCan</code>, which would give "failed" if
the retraction cannot be done. There are 8 modemaps for
<code>retractIfCan</code> in <code>Expression Float</code> and you can retract
to <code>Algebraic Number, Float, Fraction Integer, Fraction Polynomial Float,
Integer, Kernel Expression Float, Polynomial Float</code> and
<code>Symbol</code>.  As far as AboutMathAction goes, I would prefer "failed"
rather than an error, because an error stops the running of the rest of Axiom
script block.

--