Changeset a088613 in git for Singular/LIB/absfact.lib

Timestamp:

Aug 15, 2013, 2:21:33 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

300f40eb0664d85517ba38324ca87907755992e9

Parents:

bcab31ba658e499a2abb00bb5cbaa99aca1ea4f2

git-author:

Martin Lee <martinlee84@web.de>2013-08-15 14:21:33+02:00

git-committer:

Martin Lee <martinlee84@web.de>2013-08-30 13:48:34+02:00

Message:

chg: renamed absBiFactorize to absFactorizeBCG

File:

• Singular/LIB/absfact.lib (modified) (8 diffs)

Singular/LIB/absfact.lib

@@ -7 +7 @@
          Gregoire Lecerf,      lecerf at math.uvsq.fr
          Gerhard Pfister,      pfister at mathematik.uni-kl.de
+         Martin Lee,           mlee at mathematik.uni-kl.de
 
 OVERVIEW:
@@ -16 +17 @@
 Then a minimal extension field is determined making use of the
 Rothstein-Trager partial fraction decomposition algorithm.
+absFactorizeBCG uses the algorithm of Bertone, Cheze and Galligo for bivariate
+polynomials and similar ideas as above to reduce to this case.
 
 REFERENCES:
 G. Cheze, G. Lecerf: Lifting and recombination techniques for absolute
                   factorization. Journal of Complexity, 23(3):380-420, 2007.
+C. Bertone, G. Cheze, and A. Galligo: Modular las vegas algorithms for
+                  polynomial absolute factorization. J. Symb. Comput.,
+                  45(12):1280-1295, December 2010
 
 KEYWORDS: factorization; absolute factorization.
@@ -26 +32 @@
 PROCEDURES:
   absFactorize();        absolute factorization of poly
-  absBiFactorize();      absolute factorization of bivariate poly
+  absFactorizeBCG();     absolute factorization of poly
 ";
 
@@ -611 +617 @@
 
 ////////////////////////////////////////////////////////////////////////////////
-proc absBiFactorize(poly p, list #)
-"USAGE:  absBiFactorize(p [,s]);   p poly, s string
+proc absFactorizeBCG(poly p, list #)
+"USAGE:  absFactorizeBCG(p [,s]);   p poly, s string
 ASSUME: coefficient field is the field of rational numbers or a
         transcendental extension thereof
@@ -637 +643 @@
         no field extension was necessary for the @code{j}th (class of)
         absolute factor(s).
-NOTE:   The input polynomial p is assumed to be bivariate or to contain one para-
-        meter and one variable. All factors are presented denominator- and 
-        content-free. The constant factor (first entry) is chosen such that the
-        product of all (!) the (denominator- and content-free) absolute factors
-        of @code{p} equals @code{p / absolute_factors[1][1]}.
+NOTE:   All factors are presented denominator- and content-free. The constant
+        factor (first entry) is chosen such that the product of all (!) the
+        (denominator- and content-free) absolute factors of @code{p} equals
+        @code{p / absolute_factors[1][1]}.
 SEE ALSO: factorize, absPrimdecGTZ, absFactorize
-EXAMPLE: example absBiFactorize; shows an example
+EXAMPLE: example absFactorizeBCG; shows an example
 "
 {
   int dblevel = printlevel - voice + 2;
-  dbprint(dblevel,"Entering absfact.lib::absBiFactorize with ",p);
+  dbprint(dblevel,"Entering absfact.lib::absFactorizeBCG with ",p);
   def MP = basering;
   int i;
   if (char(MP) != 0)
   {
-    ERROR("// absfact.lib::absBiFactorize is only implemented for "+
+    ERROR("// absfact.lib::absFactorizeBCG is only implemented for "+
           "characteristic 0");
   }
   if(minpoly!=0)
   {
-    ERROR("// absfact.lib::absBiFactorize is not implemented for algebraic "
+    ERROR("// absfact.lib::absFactorizeBCG is not implemented for algebraic "
           +"extensions");
   }
@@ -755 +760 @@
   }
 
-  list tmpf=system ("absBiFact", p);
+  list tmpf=system ("absFact", p);
 
   // the homogeneous case, homogenizing the result
@@ -818 +823 @@
 
   dbprint( printlevel-voice+3,"
-// 'absBiFactorize' created a ring, in which a list absolute_factors (the
+// 'absFactorizeBCG' created a ring, in which a list absolute_factors (the
 // absolute factors) is stored.
 // To access the list of absolute factors, type (if the name S was assigned
@@ -830 +835 @@
   ring R = (0), (x,y), lp;
   poly p = (-7*x^2 + 2*x*y^2 + 6*x + y^4 + 14*y^2 + 47)*(5x2+y2)^3*(x-y)^4;
-  def S = absBiFactorize(p) ;
+  def S = absFactorizeBCG(p) ;
   setring(S);
   absolute_factors;