Changeset deb0f60 in git

Timestamp:

Feb 9, 2012, 1:33:24 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

0e2e23228417d64209e60f3d18fa1bd11233839d

Parents:

3ef2d61ea9f830707a76fcbf852b171be8716d84

git-author:

Martin Lee <martinlee84@web.de>2012-02-09 13:33:24+01:00

git-committer:

Martin Lee <martinlee84@web.de>2012-04-04 14:42:25+02:00

Message:

chg: use henselLiftAndEarly from facFqBivar again in facBivar

File:

• factory/facBivar.cc (modified) (2 diffs)

factory/facBivar.cc

@@ -537 +537 @@
   int liftBound= degree (A, y) + 1;
 
+  ExtensionInfo dummy= ExtensionInfo (false);
   bool earlySuccess= false;
   CFList earlyFactors;
   TIMING_START (fac_hensel_lift);
   //out_cf ("A before= ",A, "\n");
-  uniFactors= henselLiftAndEarly0
-             (A, earlySuccess, earlyFactors, degs, liftBound,
-              uniFactors, evaluation);
+  printf ("degree (LC (A,1))= %d\n", degree (LC (A,1)));
+  //maybe one should use a multiple of LC (A,1) and try a nonmonic lifting here?
+  uniFactors= henselLiftAndEarly
+              (A, earlySuccess, earlyFactors, degs, liftBound,
+               uniFactors, dummy, evaluation);
   TIMING_END_AND_PRINT (fac_hensel_lift, "time for hensel lifting: ");
   DEBOUTLN (cerr, "lifted factors= " << uniFactors);
@@ -552 +555 @@
   CanonicalForm MODl= power (y, liftBound);
 
-  CanonicalForm test= prod (uniFactors);
+  /*CanonicalForm test= prod (uniFactors);
   test *= LC (A,1);
-  test= mod (test, MODl);
+  test= mod (test, MODl);*/
   //printf ("test == A %d\n", test == A);
   //out_cf ("test= ", test, "\n");