Changeset 956535 in git

Timestamp:

Mar 12, 2014, 2:02:08 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

115a9a7ad94ec1b8b7411e434ab5de5027c3d68e

Parents:

83c377c9dc46bf696c522964c311d76f58c070c2

git-author:

Martin Lee <martinlee84@web.de>2014-03-12 14:02:08+01:00

git-committer:

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

Message:

chg: make f quasi monic

File:

• factory/libfac/charset/alg_factor.cc (modified) (1 diff)

factory/libfac/charset/alg_factor.cc

@@ -774 +774 @@
     return L;
   }
+  // after here we are over an extension of a function field
+
+
+  // make quasi monic
+  CFList Rstarlist= CFList (Rstar);
+  CanonicalForm numt, dent;
+  On (SW_RATIONAL);
+  QuasiInverse (Rstar, LC(f), numt, Rstar.mvar());
+
+  f *= numt;
+  f= Prem (f, Rstarlist);
+  f /= vcontent (f, Rstar.mvar());
+  // end quasi monic
 
   sqrf_norm(f, Rstar, vminpoly, s, g, R );