[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

reply via email to

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