Changeset 90aec7 in git for libpolys

Timestamp:

Sep 29, 2011, 2:59:11 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

09c65dc1c677f39d71809535df717f92fa2c03b3

Parents:

61a05011eb6c7b5ce19f060abf2ce176727b964e

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2011-09-29 14:59:11+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 16:13:48+01:00

Message:

fix: p_Content for alg.ext.
fix: p_Monic

Location:

libpolys/polys/monomials

Files:

• p_polys.cc (modified) (2 diffs)
• p_polys.h (modified) (1 diff)

libpolys/polys/monomials/p_polys.cc

@@ -1482 +1482 @@
    is well-defined;
    modifies p */
-void p_Monic(poly &p, ring r)
+void p_Monic(poly p, const ring r)
 {
   if (p == NULL) return;
+  number n = n_Init(1, r->cf);
+  if (p->next==NULL) { p_SetCoeff(p,n,r); return; }
   poly pp = p;
   number lc = p_GetCoeff(p, r);
   if (n_IsOne(lc, r->cf)) return;
   number lcInverse = n_Invers(lc, r->cf);
-  number n = n_Init(1, r->cf);
   p_SetCoeff(p, n, r);   // destroys old leading coefficient!
-  p = pIter(p);
+  pIter(p);
   while (p != NULL)
   {
     number n = n_Mult(p_GetCoeff(p, r), lcInverse, r->cf);
+    n_Normalize(n,r->cf);
     p_SetCoeff(p, n, r);   // destroys old leading coefficient!
     p = pIter(p);
@@ -2072 +2074 @@
             pIter(c_n);
           }
+          pIter(p);
         }
-        pIter(p);
         /* hzz contains the 1/lcm of all denominators in c_n_n*/
         h=n_Invers(hzz,r->cf->extRing->cf);

libpolys/polys/monomials/p_polys.h

@@ -1855 +1855 @@
    is well-defined;
    modifies p */
-void      p_Monic(poly &p, ring r);
+void      p_Monic(poly p, const ring r);
 
 /* assumes that p and q are univariate polynomials in r,