Changeset ac2c30 in git

Timestamp:

Mar 13, 2014, 4:26:09 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

36aaf82c1afa5b8a7881749075e68ae881d2c3e7

Parents:

ea0a9dfbfc8e8cda45b109756bdf6380f6d26c3d

git-author:

Martin Lee <martinlee84@web.de>2014-03-13 16:26:09+01:00

git-committer:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2014-03-17 18:31:55+01:00

Message:

chg: improve QuasiInverse

File:

• factory/libfac/charset/alg_factor.cc (modified) (5 diffs)

factory/libfac/charset/alg_factor.cc

@@ -470 +470 @@
 CanonicalForm
 QuasiInverse (const CanonicalForm& f, const CanonicalForm& g,
-      CanonicalForm& numt, const Variable& x)
+              const Variable& x)
 {
   CanonicalForm pi, pi1, q, t0, t1, Hi, bi, pi2;
@@ -514 +514 @@
   if (!isRat)
     Off (SW_RATIONAL);
-  numt= t1;
-  return pi;
+  return t1;
 }
 
@@ -645 +644 @@
         CanonicalForm hh= replacevar (h, oldR.mvar(), alpha);
 
-        CanonicalForm numt, dent;
-        QuasiInverse (tmp.getFirst(), LC (h), numt, tmp.getFirst().mvar());
+        CanonicalForm numinv, deninv;
+        numinv= QuasiInverse (tmp.getFirst(), LC (h), tmp.getFirst().mvar());
 
         Off (SW_RATIONAL);
-        h *= numt;
+        h *= numinv;
         h= reduce (h, tmp.getFirst());
-        dent= LC(h);
+        deninv= LC(h);
 
         ra= -h[0];
-        denra= gcd (ra, dent);
+        denra= gcd (ra, deninv);
         ra /= denra;
-        denra= dent/denra;
+        denra= deninv/denra;
         denra= replacevar (denra, ra.mvar(), g.mvar());
         ra= replacevar(ra, ra.mvar(), g.mvar());
@@ -800 +799 @@
   // make quasi monic
   CFList Rstarlist= CFList (Rstar);
-  CanonicalForm numt, dent;
+  CanonicalForm numinv;
   On (SW_RATIONAL);
-  QuasiInverse (Rstar, LC(f), numt, Rstar.mvar());
-
-  f *= numt;
+  numinv= QuasiInverse (Rstar, LC(f), Rstar.mvar());
+
+  f *= numinv;
   f= Prem (f, Rstarlist);
   f /= vcontent (f, Rstar.mvar());
@@ -858 +857 @@
 
       h= alg_gcd (g, fnew, Rstarlist);
-      QuasiInverse(Rstar, LC(h), numt, Rstar.mvar());
-      dent= 1;
-      h *= numt;
+      numinv= QuasiInverse(Rstar, LC(h), Rstar.mvar());
+      h *= numinv;
       h= Prem (h, Rstarlist);
       h /= vcontent (h, Rstar.mvar());