[Axiom-developer] [#103 solve(z=z, z) ] Typo in patch and edits (sorry)

[anonymous]

??changed:
-So 'exquo(p,content p)' which is 'exquo(0,0)' returns '0' is ok, but 
'exquo(p,content(p,v))' returns "failed" is wrong. Ironically, it is because 
the second exquo tested 'b' (whether it is zero) and returned '"failed"' that 
caused the problem. In catdef.spad, 'EuclideanDomain', 'exquo' is implemented 
as:
So 'exquo(p,content p)' which is 'exquo(0,0)' returning '0' is ok, but 
'exquo(p,content(p,v))' which is also 'exquo(0,0)' but with a different 
signature, returning '"failed"' is wrong.  This happens because the second 
'exquo' tested 'b' first (whether it is zero) and returned '"failed"' causing 
the problem. In 'catdef.spad', 'EuclideanDomain', the second 'exquo' is 
implemented as:

??changed:
-This should be:
This should be: (patch in 'catdef.spad' : 'EuclideanDomain')

??changed:
--       zero? y => "failed"
        zero? y => "failed"

??changed:
-Compare this with implementation for the first 'exquo' in polycat.spad: 'FAMR'
Compare this with implementation for the first 'exquo' in 'polycat.spad' : 
'FAMR'

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden