[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#119 solve returns wrong answers and multiple answers
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
http://wiki.axiom-developer.org/119SolveReturnsWrongAnswersAndMultipleAnswersToSameTrigProblem/diff
--
??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.
--
forwarded from http://wiki.axiom-developer.org/address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#119 solve returns wrong answers and multiple answers to same trig problem] links updated after rename,
billpage <=