Changeset 36aaf8 in git

Timestamp:

Mar 13, 2014, 4:47:36 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

8312b1713453bd741017e4b14b959fda78ea460d

Parents:

ac2c3043b7a7c6fd15fe58c2089a7df5c1daf4ad

git-author:

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

git-committer:

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

Message:

chg: added alg_LC

File:

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

factory/libfac/charset/alg_factor.cc

@@ -699 +699 @@
 }
 
+CanonicalForm alg_LC (const CanonicalForm& f, int lev)
+{
+  CanonicalForm result= f;
+  while (result.level() > lev)
+    result= LC (result);
+  return result;
+}
+
 CanonicalForm
 subst (const CanonicalForm& f, const CFList& a, const CFList& b,
@@ -799 +807 @@
   // make quasi monic
   CFList Rstarlist= CFList (Rstar);
+  int algExtLevel= Astar.getLast().level(); //highest level of algebraic variables
   CanonicalForm numinv;
   On (SW_RATIONAL);
-  numinv= QuasiInverse (Rstar, LC(f), Rstar.mvar());
+  numinv= QuasiInverse (Rstar, alg_LC(f, algExtLevel), Rstar.mvar());
 
   f *= numinv;
@@ -857 +866 @@
 
       h= alg_gcd (g, fnew, Rstarlist);
-      numinv= QuasiInverse(Rstar, LC(h), Rstar.mvar());
+      numinv= QuasiInverse(Rstar, alg_LC(h, algExtLevel), Rstar.mvar());
       h *= numinv;
       h= Prem (h, Rstarlist);