Changeset 08daea in git for factory/cf_gcd_smallp.h

Timestamp:

Nov 22, 2010, 11:12:46 AM (13 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

fb8ba2756f35787214f1a0b5702e31e4b853de97

Parents:

cde7084dc141670809afd29cafbd9c571bd9fc3a

Message:

new ezgcd, heuristic which gcd to choose and sparse modular gcd all for finite fields


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

File:

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

factory/cf_gcd_smallp.h

@@ -63 +63 @@
 }
 
+CanonicalForm sparseGCDFp (const CanonicalForm& F, const CanonicalForm& G,
+                           bool& topLevel, CFList& l);
+
+/// Zippel's sparse GCD over Fp
+static inline
+CanonicalForm sparseGCDFp (const CanonicalForm& A, const CanonicalForm& B)
+{
+  ASSERT (CFFactory::gettype() == GaloisFieldDomain, 
+          "GF as base field expected");
+  CFList list;
+  bool topLevel= true;
+  return sparseGCDFp (A, B, topLevel, list);
+}
+
+/// Zippel's sparse GCD over Fq
+CanonicalForm
+sparseGCDFq (const CanonicalForm& F, const CanonicalForm& G,
+             const Variable& alpha, CFList& l, bool& topLevel);
+
+static inline
+CanonicalForm sparseGCDFq (const CanonicalForm& A, const CanonicalForm& B,
+                           const Variable& alpha)
+{
+  CFList list;
+  bool topLevel= true;
+  return sparseGCDFq (A, B, alpha, list, topLevel);
+}
+
+/// extended Zassenhaus GCD
+CanonicalForm
+EZGCD_P (const CanonicalForm& A, const CanonicalForm& B);
+
 CanonicalForm
 randomIrredpoly (int i, const Variable & x) ;