axiom-developer
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]