[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] [#103 solve(z=z, z) ] patch

**From**: |
kratt6 |

**Subject**: |
[Axiom-developer] [#103 solve(z=z, z) ] patch |

**Date**: |
Thu, 17 Feb 2005 07:36:03 -0600 |

The mistake is in 'primitivePart$POLYCAT', where a check for zero (as in
'primitivePart!$NEWPOLY', 'primitivePart$SUP', 'primitivePart$FAMR') is missing.
The functions should read::
@@ -580,8 +585,10 @@
unit(s := squareFree p) * */[f.factor for f in factors s]
content(p,v) == content univariate(p,v)
primitivePart p ==
+ zero? p => p
unitNormal((p exquo content p) ::%).canonical
primitivePart(p,v) ==
+ zero? p => p
unitNormal((p exquo content(p,v)) ::%).canonical
if R has OrderedSet then
p:% < q:% ==
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden

**[Axiom-developer] [#103 solve(z=z, z) ] patch**,
*kratt6* **<=**