Changeset b53ff6 in git

Timestamp:

Aug 26, 2014, 11:19:16 AM (9 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

30e27f8a94644c552a6548c8b0d0b2026ceb2068

Parents:

91695f2af09f5a3a05d6d8c4ee652802f6d85b68

git-author:

Martin Lee <martinlee84@web.de>2014-08-26 11:19:16+02:00

git-committer:

Martin Lee <martinlee84@web.de>2014-08-26 12:29:12+02:00

Message:

docu for coprimality check

File:

• factory/cfGcdUtil.cc (modified) (3 diffs)

factory/cfGcdUtil.cc

@@ -14 +14 @@
 #endif
 
-/// coprimality check
+/// Coprimality Check. f and g are assumed to have the same level. If swap is
+/// true, the main variables of f and g are swapped with Variable(1). If the
+/// result is false, d is set to the degree of the gcd of f and g evaluated at a
+/// random point in K^n-1. This gcd is a gcd of univariate polynomials.
 bool
 gcd_test_one ( const CanonicalForm & f, const CanonicalForm & g, bool swap, int & d )
@@ -217 +220 @@
 }
 
+/**
+ * same as balance_p ( const CanonicalForm & f, const CanonicalForm & q )
+ * but qh= q/2 is provided, too.
+**/
+CanonicalForm
+balance_p ( const CanonicalForm & f, const CanonicalForm & q, const CanonicalForm & qh )
+{
+    Variable x = f.mvar();
+    CanonicalForm result = 0;
+    CanonicalForm c;
+    CFIterator i;
+    for ( i = f; i.hasTerms(); i++ )
+    {
+        c = i.coeff();
+        if ( c.inCoeffDomain())
+        {
+          if ( c > qh )
+            result += power( x, i.exp() ) * (c - q);
+          else
+            result += power( x, i.exp() ) * c;
+        }
+        else
+          result += power( x, i.exp() ) * balance_p(c,q,qh);
+    }
+    return result;
+}
+
 /** static CanonicalForm balance_p ( const CanonicalForm & f, const CanonicalForm & q )
  *
@@ -227 +257 @@
 **/
 CanonicalForm
-balance_p ( const CanonicalForm & f, const CanonicalForm & q, const CanonicalForm & qh )
-{
-    Variable x = f.mvar();
-    CanonicalForm result = 0;
-    CanonicalForm c;
-    CFIterator i;
-    for ( i = f; i.hasTerms(); i++ )
-    {
-        c = i.coeff();
-        if ( c.inCoeffDomain())
-        {
-          if ( c > qh )
-            result += power( x, i.exp() ) * (c - q);
-          else
-            result += power( x, i.exp() ) * c;
-        }
-        else
-          result += power( x, i.exp() ) * balance_p(c,q,qh);
-    }
-    return result;
-}
-
-CanonicalForm
 balance_p ( const CanonicalForm & f, const CanonicalForm & q )
 {