Changeset 8d2c11 in git

Timestamp:

Aug 15, 2012, 2:51:29 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'd1b01e9d51ade4b46b745d3bada5c5f3696be3a8')

Children:

8e452c99a50a0aeb91c8380f01737ee90a2a1559

Parents:

fcd296b05a4f13666514ab7df4a8227fe930b65f

git-author:

Martin Lee <martinlee84@web.de>2012-08-15 14:51:29+02:00

git-committer:

Martin Lee <martinlee84@web.de>2012-09-04 18:01:17+02:00

Message:

chg: added some helper functions

Location:

factory

Files:

• facFqFactorizeUtil.cc (modified) (1 diff)
• facFqFactorizeUtil.h (modified) (1 diff)

factory/facFqFactorizeUtil.cc

@@ -162 +162 @@
 }
 
+/// like getVars but including multiplicities
+CanonicalForm myGetVars (const CanonicalForm& F)
+{
+  CanonicalForm result= 1;
+  int deg;
+  for (int i= 1; i <= F.level(); i++)
+  {
+    if ((deg= degree (F, i)) > 0)
+      result *= power (Variable (i), deg);
+  }
+  return result;
+}
 
+int compareByNumberOfVars (const CFFactor& F, const CFFactor& G)
+{
+  return getNumVars (F.factor()) < getNumVars (G.factor());
+}
+
+CFFList
+sortCFFListByNumOfVars (CFFList& F)
+{
+    F.sort (compareByNumberOfVars);
+    CFFList result= F;
+    return result;
+}
+
+

factory/facFqFactorizeUtil.h

@@ -127 +127 @@
                         );
 
+/// sort CFFList by the number variables in a factor
+CFFList sortCFFListByNumOfVars (CFFList & F ///< [in,out] a list of factors
+                               );
+
+/// like getVars but each variable x occuring in @F is raised to x^degree (F,x)
+CanonicalForm myGetVars (const CanonicalForm& F ///< [in] a polynomial
+                        );
+
 #endif
 /* FAC_FQ_FACTORIZE_UTIL_H */