Changeset 5f9b47 in git for factory/facBivar.h

Timestamp:

Oct 13, 2011, 4:28:33 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

a6423611ab89e02788fee9f049f4e6b2e2dac782

Parents:

c79a9d3a83d34151b67ba9ac3b63b827a07b792f

Message:

use sqrfree factorization instead of sqrfree part extraction for factorization ove Q(a)


git-svn-id: file:///usr/local/Singular/svn/trunk@14412 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/facBivar.h (modified) (1 diff)

factory/facBivar.h

@@ -126 +126 @@
   vec_ZZ S;
   F= compress (F, M, S);
-  CanonicalForm sqrfP= sqrfPart (F);
-  CFList buf;
-  buf= biFactorize (sqrfP, v);
-  result= multiplicity (F, buf);
-  for (CFFListIterator i= result; i.hasItem(); i++)
-    i.getItem()= CFFactor (N (decompress (i.getItem().factor(), M, S)),
-                             i.getItem().exp());
+  CFFList sqrfFactors= sqrFree (F);
+  for (CFFListIterator i= sqrfFactors; i.hasItem(); i++)
+  {
+    CFList tmp= ratBiSqrfFactorize (i.getItem().factor(), v);
+    for (CFListIterator j= tmp; j.hasItem(); j++)
+    {
+      if (j.getItem().inCoeffDomain()) continue;
+      result.append (CFFactor (N (decompress (j.getItem(), M, S)), i.getItem().exp()));
+    }
+  }
   result= Union (result, contentXFactors);
   result= Union (result, contentYFactors);