Changeset e0fbbeb in git for factory/libfac/charset/alg_factor.cc

Timestamp:

Mar 7, 2014, 1:58:26 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')

Children:

40227ae7c2daf35e8c370108cbc9726d208d6ba8

Parents:

ba613995ddff08ba13beb2499b6e5336d7ecb483

git-author:

Martin Lee <martinlee84@web.de>2014-03-07 13:58:26+01:00

git-committer:

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

Message:

chg: added function to determine multiplicity of factors

File:

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

factory/libfac/charset/alg_factor.cc

@@ -634 +634 @@
 }
 
+void
+multiplicity (CFFList& factors, const CanonicalForm& F, const CFList& as)
+{
+  CanonicalForm G= F;
+  Variable x= F.mvar();
+  CanonicalForm q, r;
+  int count= -1;
+  On (SW_RATIONAL);
+  for (CFFListIterator iter=factors; iter.hasItem(); iter++)
+  {
+    count= -1;
+    if (iter.getItem().factor().inCoeffDomain())
+      continue;
+    while (1)
+    {
+      psqr (G, iter.getItem().factor(), q, r, x);
+
+      q= Prem (q, as);
+      r= Prem (r, as);
+      if (!r.isZero())
+        break;
+      On (SW_RATIONAL);
+      count++;
+      G= q;
+    }
+    iter.getItem()= CFFactor (iter.getItem().factor(), iter.getItem().exp()+count);
+  }
+}
+
 
 // 1) prepares data