Changeset a088613 in git


Ignore:
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
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/absfact.lib

    rbcab31 ra088613  
    77         Gregoire Lecerf,      lecerf at math.uvsq.fr
    88         Gerhard Pfister,      pfister at mathematik.uni-kl.de
     9         Martin Lee,           mlee at mathematik.uni-kl.de
    910
    1011OVERVIEW:
    … …  
    1617Then a minimal extension field is determined making use of the
    1718Rothstein-Trager partial fraction decomposition algorithm.
     19absFactorizeBCG uses the algorithm of Bertone, Cheze and Galligo for bivariate
     20polynomials and similar ideas as above to reduce to this case.
    1821
    1922REFERENCES:
    2023G. Cheze, G. Lecerf: Lifting and recombination techniques for absolute
    2124                  factorization. Journal of Complexity, 23(3):380-420, 2007.
     25C. Bertone, G. Cheze, and A. Galligo: Modular las vegas algorithms for
     26                  polynomial absolute factorization. J. Symb. Comput.,
     27                  45(12):1280-1295, December 2010
    2228
    2329KEYWORDS: factorization; absolute factorization.
    … …  
    2632PROCEDURES:
    2733  absFactorize();        absolute factorization of poly
    28   absBiFactorize();      absolute factorization of bivariate poly
     34  absFactorizeBCG();     absolute factorization of poly
    2935";
    3036
    … …  
    611617
    612618////////////////////////////////////////////////////////////////////////////////
    613 proc absBiFactorize(poly p, list #)
    614 "USAGE:  absBiFactorize(p [,s]);   p poly, s string
     619proc absFactorizeBCG(poly p, list #)
     620"USAGE:  absFactorizeBCG(p [,s]);   p poly, s string
    615621ASSUME: coefficient field is the field of rational numbers or a
    616622        transcendental extension thereof
    … …  
    637643        no field extension was necessary for the @code{j}th (class of)
    638644        absolute factor(s).
    639 NOTE:   The input polynomial p is assumed to be bivariate or to contain one para-
    640         meter and one variable. All factors are presented denominator- and
    641         content-free. The constant factor (first entry) is chosen such that the
    642         product of all (!) the (denominator- and content-free) absolute factors
    643         of @code{p} equals @code{p / absolute_factors[1][1]}.
     645NOTE:   All factors are presented denominator- and content-free. The constant
     646        factor (first entry) is chosen such that the product of all (!) the
     647        (denominator- and content-free) absolute factors of @code{p} equals
     648        @code{p / absolute_factors[1][1]}.
    644649SEE ALSO: factorize, absPrimdecGTZ, absFactorize
    645 EXAMPLE: example absBiFactorize; shows an example
     650EXAMPLE: example absFactorizeBCG; shows an example
    646651"
    647652{
    648653  int dblevel = printlevel - voice + 2;
    649   dbprint(dblevel,"Entering absfact.lib::absBiFactorize with ",p);
     654  dbprint(dblevel,"Entering absfact.lib::absFactorizeBCG with ",p);
    650655  def MP = basering;
    651656  int i;
    652657  if (char(MP) != 0)
    653658  {
    654     ERROR("// absfact.lib::absBiFactorize is only implemented for "+
     659    ERROR("// absfact.lib::absFactorizeBCG is only implemented for "+
    655660          "characteristic 0");
    656661  }
    657662  if(minpoly!=0)
    658663  {
    659     ERROR("// absfact.lib::absBiFactorize is not implemented for algebraic "
     664    ERROR("// absfact.lib::absFactorizeBCG is not implemented for algebraic "
    660665          +"extensions");
    661666  }
    … …  
    755760  }
    756761
    757   list tmpf=system ("absBiFact", p);
     762  list tmpf=system ("absFact", p);
    758763
    759764  // the homogeneous case, homogenizing the result
    … …  
    818823
    819824  dbprint( printlevel-voice+3,"
    820 // 'absBiFactorize' created a ring, in which a list absolute_factors (the
     825// 'absFactorizeBCG' created a ring, in which a list absolute_factors (the
    821826// absolute factors) is stored.
    822827// To access the list of absolute factors, type (if the name S was assigned
    … …  
    830835  ring R = (0), (x,y), lp;
    831836  poly p = (-7*x^2 + 2*x*y^2 + 6*x + y^4 + 14*y^2 + 47)*(5x2+y2)^3*(x-y)^4;
    832   def S = absBiFactorize(p) ;
     837  def S = absFactorizeBCG(p) ;
    833838  setring(S);
    834839  absolute_factors;

  • Tst/Short/absfact.tst

    rbcab31 ra088613  
    1212absolute_factors;
    1313setring R;
    14 def T= absBiFactorize (p);
     14def T= absFactorizeBCG (p);
    1515setring T;
    1616short= 0;
    … …  
    2626absolute_factors;
    2727setring R;
    28 def T= absBiFactorize (p);
     28def T= absFactorizeBCG (p);
    2929setring T;
    3030short= 0;
    … …  
    3636poly p = (5x2+y2);
    3737absFactorize(p,77) ;
    38 absBiFactorize (p,77);
     38absFactorizeBCG (p,77);
    3939
    4040kill R;
    … …  
    4747absolute_factors;
    4848setring R;
    49 def T= absBiFactorize (p);
     49def T= absFactorizeBCG (p);
    5050setring T;
    5151short= 0;
    … …  
    5959absolute_factors;
    6060setring r;
    61 def T= absBiFactorize(p, "s");
     61def T= absFactorizeBCG(p, "s");
    6262setring T;
    6363absolute_factors;
    … …  
    7070absolute_factors;
    7171setring r;
    72 def T= absBiFactorize(p);
     72def T= absFactorizeBCG(p);
    7373setring T;
    7474absolute_factors;
    … …  
    8181absolute_factors;
    8282setring r;
    83 def T= absBiFactorize(p);
     83def T= absFactorizeBCG(p);
    8484setring T;
    8585absolute_factors;
    … …  
    9292absolute_factors;
    9393setring r;
    94 def T= absBiFactorize(p);
     94def T= absFactorizeBCG(p);
    9595setring T;
    9696absolute_factors;
    … …  
    103103absolute_factors;
    104104setring r;
    105 def T= absBiFactorize(p);
     105def T= absFactorizeBCG(p);
    106106setring T;
    107107absolute_factors;
    … …  
    114114absolute_factors;
    115115setring r;
    116 def T= absBiFactorize(p,"s");
     116def T= absFactorizeBCG(p,"s");
    117117setring T;
    118118absolute_factors;
    … …  
    125125absolute_factors;
    126126setring r;
    127 def T= absBiFactorize(p,"s");
     127def T= absFactorizeBCG(p,"s");
    128128setring T;
    129129absolute_factors;
    … …  
    136136absolute_factors;
    137137setring r;
    138 def T= absBiFactorize(p,"s");
     138def T= absFactorizeBCG(p,"s");
    139139setring T;
    140140absolute_factors;
    … …  
    146146absolute_factors;
    147147setring R1;
    148 def T= absBiFactorize(f);
     148def T= absFactorizeBCG(f);
    149149setring T;
    150150absolute_factors;
    … …  
    156156absolute_factors;
    157157setring R3;
    158 def T=absBiFactorize (f3);
     158def T=absFactorizeBCG (f3);
    159159setring T;
    160160absolute_factors;
    … …  
    166166absolute_factors;
    167167setring r2;
    168 def T=absBiFactorize (f);
     168def T=absFactorizeBCG (f);
    169169setring T;
    170170absolute_factors;
    … …  
    176176absolute_factors;
    177177setring r1;
    178 def T=absBiFactorize (p);
     178def T=absFactorizeBCG (p);
    179179setring T;
    180180absolute_factors;
    … …  
    186186absolute_factors;
    187187setring r3;
    188 def T=absBiFactorize (f);
     188def T=absFactorizeBCG (f);
    189189setring T;
    190190absolute_factors;
    … …  
    196196absolute_factors;
    197197setring R;
    198 def T=absBiFactorize (f);
     198def T=absFactorizeBCG (f);
    199199setring T;
    200200absolute_factors;
Note: See TracChangeset for help on using the changeset viewer.