Changeset 09609a in git

Timestamp:

Feb 1, 2012, 11:58:50 AM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

1a3011e587832b2682cb4978c6d117754eaa2572

Parents:

f047b5699c750b79bcbb5667b7ddcdbfa672c26a

git-author:

Martin Lee <martinlee84@web.de>2012-02-01 11:58:50+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-02-10 14:16:44+01:00

Message:

chg: lower precision during factor recombination

File:

• factory/facFqBivar.cc (modified) (6 diffs)

factory/facFqBivar.cc

@@ -240 +240 @@
 CFList
 extFactorRecombination (CFList& factors, CanonicalForm& F,
-                        const CanonicalForm& M, const ExtensionInfo& info,
+                        const CanonicalForm& N, const ExtensionInfo& info,
                         DegreePattern& degs, const CanonicalForm& eval, int s,
                         int thres)
@@ -256 +256 @@
   int k= info.getGFDegree();
 
+  CanonicalForm M= N;
+  int l= degree (N);
   Variable y= F.mvar();
   Variable x= Variable (1);
@@ -361 +363 @@
           {
             T= Difference (T, S);
+            l -= degree (g);
+            M= power (y, l);
+
             // compute new possible degree pattern
             bufDegs2= DegreePattern (T);
@@ -435 +440 @@
 CFList
 factorRecombination (CFList& factors, CanonicalForm& F,
-                     const CanonicalForm& M, DegreePattern& degs, int s,
+                     const CanonicalForm& N, DegreePattern& degs, int s,
                      int thres
                     )
@@ -454 +459 @@
   CFList T, S;
 
+  CanonicalForm M= N;
+  int l= degree (N);
   T= factors;
   CFList result;
@@ -513 +520 @@
           LCBuf= LC (buf, x);
           T= Difference (T, S);
+          l -= degree (g);
+          M= power (y, l);
 
           // compute new possible degree pattern