[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#103 solve(z=z, z) ] Typo in patch and edits (sorry)
From: |
anonymous |
Subject: |
[Axiom-developer] [#103 solve(z=z, z) ] Typo in patch and edits (sorry) |
Date: |
Thu, 17 Feb 2005 12:35:22 -0600 |
??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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#103 solve(z=z, z) ] Typo in patch and edits (sorry),
anonymous <=