Changeset a54114 in git


Ignore:
Timestamp:
Jan 16, 2012, 1:08:04 PM (12 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
69076c5854bc7141a7ff79af314eb57862ea37be
Parents:
34e062be492e096661b73e4bf540240303bdc2ec
git-author:
Martin Lee <martinlee84@web.de>2012-01-16 13:08:04+01:00
git-committer:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-02-10 14:16:44+01:00
Message:
chg: replaced Variable (1)
Location:
factory
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • factory/facFqBivar.cc

    r34e062 ra54114  
    7272  fail= false;
    7373  Variable x= Variable(2);
     74  Variable y= Variable(1);
    7475  FFRandom genFF;
    7576  GFRandom genGF;
    … …  
    122123    if (find (list, random)) continue;
    123124    eval= F (random, x);
    124     if (degree (eval) != degree (F, Variable (1)))
     125    if (degree (eval) != degree (F, y))
    125126    { //leading coeff vanishes
    126127      if (!find (list, random))
    … …  
    256257
    257258  Variable y= F.mvar();
     259  Variable x= Variable (1);
    258260  CFList source, dest;
    259261  if (degs.getLength() <= 1 || factors.length() == 1)
    … …  
    278280  buf= F;
    279281
    280   CanonicalForm g, LCBuf= LC (buf, Variable (1));
     282  CanonicalForm g, LCBuf= LC (buf, x);
    281283  int * v= new int [T.length()];
    282284  for (int i= 0; i < T.length(); i++)
    … …  
    333335          g= prodMod (S, M);
    334336          S.removeFirst();
    335           g /= content (g, Variable (1));
     337          g /= content (g, x);
    336338          if (fdivides (g, buf, quot))
    337339          {
    … …  
    344346              {
    345347                buf= quot;
    346                 LCBuf= LC (buf, Variable (1));
     348                LCBuf= LC (buf, x);
    347349                recombination= true;
    348350                appendTestMapDown (result, buf2, info, source, dest);
    … …  
    355357              {
    356358                buf= quot;
    357                 LCBuf= LC (buf, Variable (1));
     359                LCBuf= LC (buf, x);
    358360                recombination= true;
    359361                appendTestMapDown (result, buf2, info, source, dest);
    … …  
    460462  T= factors;
    461463  CFList result;
    462   CanonicalForm LCBuf= LC (F, Variable (1));
     464  Variable y= Variable (2);
     465  Variable x= Variable (1);
     466  CanonicalForm LCBuf= LC (F, x);
    463467  CanonicalForm g, quot, buf= F;
    464468  int * v= new int [T.length()];
    … …  
    484488          g= prodMod (T, M);
    485489          T.removeFirst();
    486           result.append (g/content (g, Variable (1)));
     490          result.append (g/content (g, x));
    487491          F= 1;
    488492          return result;
    … …  
    511515          g= prodMod (S, M);
    512516          S.removeFirst();
    513           g /= content (g, Variable (1));
     517          g /= content (g, x);
    514518
    515519          if (fdivides (g, buf, quot))
    … …  
    518522            result.append (g);
    519523            buf= quot;
    520             LCBuf= LC (buf, Variable(1));
     524            LCBuf= LC (buf, x);
    521525            T= Difference (T, S);
    522526
    … …  
    628632  CFList T= factors;
    629633  CanonicalForm buf= F;
    630   CanonicalForm LCBuf= LC (buf, Variable (1));
     634  Variable x= Variable (1);
     635  CanonicalForm LCBuf= LC (buf, x);
    631636  CanonicalForm g, quot;
    632637  CanonicalForm M= power (F.mvar(), deg);
    … …  
    645650      {
    646651        g= mulMod2 (i.getItem(), LCBuf, M);
    647         g /= content (g, Variable (1));
     652        g /= content (g, x);
    648653        if (fdivides (g, buf, quot))
    649654        {
    650655          result.append (g);
    651656          buf= quot;
    652           d -= degree (g) + degree (LC (g, Variable (1)));
    653           LCBuf= LC (buf, Variable (1));
     657          d -= degree (g) + degree (LC (g, x));
     658          LCBuf= LC (buf, x);
    654659          T= Difference (T, CFList (i.getItem()));
    655660
    … …  
    695700  CFList T= factors;
    696701  Variable y= F.mvar();
    697   CanonicalForm buf= F, LCBuf= LC (buf, Variable (1)), g, buf2;
     702  Variable x= Variable (1);
     703  CanonicalForm buf= F, LCBuf= LC (buf, x), g, buf2;
    698704  CanonicalForm M= power (y, deg);
    699705  adaptedLiftBound= 0;
    … …  
    717723      {
    718724        g= mulMod2 (i.getItem(), LCBuf, M);
    719         g /= content (g, Variable (1));
     725        g /= content (g, x);
    720726        if (fdivides (g, buf, quot))
    721727        {
    … …  
    723729          buf2 /= Lc (buf2);
    724730
    725           if (!k && beta == Variable (1))
     731          if (!k && beta == x)
    726732          {
    727733            if (degree (buf2, alpha) < degMipoBeta)
    … …  
    729735              appendTestMapDown (result, buf2, info, source, dest);
    730736              buf= quot;
    731               d -= degree (g) + degree (LC (g, Variable (1)));
    732               LCBuf= LC (buf, Variable (1));
     737              d -= degree (g) + degree (LC (g, x));
     738              LCBuf= LC (buf, x);
    733739              trueFactor= true;
    734740            }
    … …  
    740746              appendTestMapDown (result, buf2, info, source, dest);
    741747              buf= quot;
    742               d -= degree (g) + degree (LC (g, Variable (1)));
    743               LCBuf= LC (buf, Variable (1));
     748              d -= degree (g) + degree (LC (g, x));
     749              LCBuf= LC (buf, x);
    744750              trueFactor= true;
    745751            }
    … …  
    12601266    buf /= content (buf, x);
    12611267    buf2= buf (y-evaluation, y);
    1262     if (!k && beta == Variable (1))
     1268    if (!k && beta == x)
    12631269    {
    12641270      if (degree (buf2, alpha) < 1)
    … …  
    13961402    buf /= content (buf, x);
    13971403    buf2= buf (y - evaluation, y);
    1398     if (!k && beta == Variable (1))
     1404    if (!k && beta == x)
    13991405    {
    14001406      if (degree (buf2, alpha) < 1)
    … …  
    55875593      factors= Union (lll, factors);
    55885594    }
    5589     else if (!extension && (alpha != Variable (1) || GF))
     5595    else if (!extension && (alpha != x || GF))
    55905596    {
    55915597      CFList lll= henselLiftAndLatticeRecombi (A, uniFactors, alpha, degs);
    … …  
    57605766    else // not able to pass to GF, pass to F_p(\alpha)
    57615767    {
    5762       CanonicalForm mipo= randomIrredpoly (2, Variable (1));
     5768      CanonicalForm mipo= randomIrredpoly (2, x);
    57635769      Variable v= rootOf (mipo);
    57645770      ExtensionInfo info2= ExtensionInfo (v);
    … …  
    57735779      int extDeg= degree (getMipo (alpha));
    57745780      extDeg++;
    5775       CanonicalForm mipo= randomIrredpoly (extDeg + 1, Variable (1));
     5781      CanonicalForm mipo= randomIrredpoly (extDeg + 1, x);
    57765782      Variable v= rootOf (mipo);
    57775783      ExtensionInfo info2= ExtensionInfo (v);
    … …  
    57805786    else
    57815787    {
    5782       if (beta == Variable (1))
     5788      if (beta == x)
    57835789      {
    57845790        Variable v= chooseExtension (alpha, beta, k);

  • factory/facFqFactorize.cc

    r34e062 ra54114  
    4949myContent (const CanonicalForm& F)
    5050{
    51   CanonicalForm G= swapvar (F, F.mvar(), Variable (1));
     51  Variable x= Variable (1);
     52  CanonicalForm G= swapvar (F, F.mvar(), x);
    5253  CFList L;
    5354  for (CFIterator i= G; i.hasTerms(); i++)
    5455    L.append (i.coeff());
    5556  if (L.length() == 2)
    56     return swapvar (gcd (L.getFirst(), L.getLast()), F.mvar(), Variable (1));
     57    return swapvar (gcd (L.getFirst(), L.getLast()), F.mvar(), x);
    5758  if (L.length() == 1)
    58     return LC (F, Variable (1));
    59   return swapvar (listGCD (L), F.mvar(), Variable (1));
     59    return LC (F, x);
     60  return swapvar (listGCD (L), F.mvar(), x);
    6061}
    6162
    … …  
    214215  buf= F;
    215216
    216   CanonicalForm g, LCBuf= LC (buf, Variable (1));
     217  Variable x= Variable (1);
     218  CanonicalForm g, LCBuf= LC (buf, x);
    217219  CanonicalForm buf2, quot;
    218220  int * v= new int [T.length()];
    … …  
    260262        buf2= reverseShift (g, evaluation);
    261263        buf2 /= Lc (buf2);
    262         if (!k && beta == Variable (1))
     264        if (!k && beta == x)
    263265        {
    264266          if (degree (buf2, alpha) < degMipoBeta)
    … …  
    266268            appendTestMapDown (result, buf2, info, source, dest);
    267269            buf= quot;
    268             LCBuf= LC (buf, Variable (1));
     270            LCBuf= LC (buf, x);
    269271            recombination= true;
    270272            trueFactor= true;
    … …  
    277279            appendTestMapDown (result, buf2, info, source, dest);
    278280            buf /= g;
    279             LCBuf= LC (buf, Variable (1));
     281            LCBuf= LC (buf, x);
    280282            recombination= true;
    281283            trueFactor= true;
    … …  
    416418  CanonicalForm buf= F;
    417419  Variable y= F.mvar();
    418   CanonicalForm LCBuf= LC (buf, Variable (1));
     420  Variable x= Variable (1);
     421  CanonicalForm LCBuf= LC (buf, x);
    419422  CanonicalForm g, quot;
    420423  CFList M= MOD;
    … …  
    433436      e= tmax (e, nBuf);
    434437      buf= quot;
    435       LCBuf= LC (buf, Variable (1));
     438      LCBuf= LC (buf, x);
    436439    }
    437440  }
    … …  
    485488  CanonicalForm buf= F;
    486489  Variable y= F.mvar();
    487   CanonicalForm LCBuf= LC (buf, Variable (1));
     490  Variable x= Variable (1);
     491  CanonicalForm LCBuf= LC (buf, x);
    488492  CanonicalForm g, gg, quot;
    489493  CFList M= MOD;
    … …  
    506510      gg= reverseShift (g, eval);
    507511      gg /= Lc (gg);
    508       if (!k && beta == Variable (1))
     512      if (!k && beta == x)
    509513      {
    510514        if (degree (gg, alpha) < degMipoBeta)
    511515        {
    512516          buf= quot;
    513           nBuf= degree (g, y) + degree (LC (g, Variable (1)), y);
     517          nBuf= degree (g, y) + degree (LC (g, x), y);
    514518          d -= nBuf;
    515519          e= tmax (e, nBuf);
    516           LCBuf= LC (buf, Variable (1));
     520          LCBuf= LC (buf, x);
    517521        }
    518522      }
    … …  
    522526        {
    523527          buf= quot;
    524           nBuf= degree (g, y) + degree (LC (g, Variable (1)), y);
     528          nBuf= degree (g, y) + degree (LC (g, x), y);
    525529          d -= nBuf;
    526530          e= tmax (e, nBuf);
    527           LCBuf= LC (buf, Variable (1));
     531          LCBuf= LC (buf, x);
    528532        }
    529533      }
    … …  
    576580  CanonicalForm buf= F;
    577581  Variable y= F.mvar();
    578   CanonicalForm LCBuf= LC (buf, Variable (1));
     582  Variable x= Variable (1);
     583  CanonicalForm LCBuf= LC (buf, x);
    579584  CanonicalForm g, quot;
    580585  CFList M= MOD;
    … …  
    591596    {
    592597      result.append (g);
    593       nBuf= degree (g, y) + degree (LC (g, Variable (1)), y);
     598      nBuf= degree (g, y) + degree (LC (g, x), y);
    594599      d -= nBuf;
    595600      e= tmax (e, nBuf);
    596601      buf= quot;
    597       LCBuf= LC (buf, Variable (1));
     602      LCBuf= LC (buf, x);
    598603      T= Difference (T, CFList (i.getItem()));
    599604    }
    … …  
    631636  CanonicalForm buf= F;
    632637  Variable y= F.mvar();
    633   CanonicalForm LCBuf= LC (buf, Variable (1));
     638  Variable x= Variable (1);
     639  CanonicalForm LCBuf= LC (buf, x);
    634640  CanonicalForm g, gg, quot;
    635641  CFList M= MOD;
    … …  
    653659      gg= reverseShift (g, eval);
    654660      gg /= Lc (gg);
    655       if (!k && beta == Variable (1))
     661      if (!k && beta == x)
    656662      {
    657663        if (degree (gg, alpha) < degMipoBeta)
    … …  
    659665          appendTestMapDown (result, gg, info, source, dest);
    660666          buf= quot;
    661           nBuf= degree (g, y) + degree (LC (g, Variable (1)), y);
     667          nBuf= degree (g, y) + degree (LC (g, x), y);
    662668          d -= nBuf;
    663669          e= tmax (e, nBuf);
    664           LCBuf= LC (buf, Variable (1));
     670          LCBuf= LC (buf, x);
    665671          T= Difference (T, CFList (i.getItem()));
    666672        }
    … …  
    672678          appendTestMapDown (result, gg, info, source, dest);
    673679          buf= quot;
    674           nBuf= degree (g, y) + degree (LC (g, Variable (1)), y);
     680          nBuf= degree (g, y) + degree (LC (g, x), y);
    675681          d -= nBuf;
    676682          e= tmax (e, nBuf);
    677           LCBuf= LC (buf, Variable (1));
     683          LCBuf= LC (buf, x);
    678684          T= Difference (T, CFList (i.getItem()));
    679685         }
    … …  
    710716  int p= getCharacteristic ();
    711717  double bound;
    712   if (alpha != Variable (1))
     718  if (alpha != x)
    713719  {
    714720    bound= pow ((double) p, (double) degree (getMipo(alpha)));
    … …  
    21372143        buf2= g;
    21382144        buf2 /= Lc (buf2);
    2139         if (!k && beta == Variable (1))
     2145        if (!k && beta.level() == 1)
    21402146        {
    21412147          if (degree (buf2, alpha) < degMipoBeta)
    … …  
    27882794    else  // not able to pass to GF, pass to F_p(\alpha)
    27892795    {
    2790       CanonicalForm mipo= randomIrredpoly (2, Variable (1));
     2796      CanonicalForm mipo= randomIrredpoly (2, w);
    27912797      Variable v= rootOf (mipo);
    27922798      ExtensionInfo info= ExtensionInfo (v);
    … …  
    28012807      int extDeg= degree (getMipo (alpha));
    28022808      extDeg++;
    2803       CanonicalForm mipo= randomIrredpoly (extDeg + 1, Variable (1));
     2809      CanonicalForm mipo= randomIrredpoly (extDeg + 1, w);
    28042810      Variable v= rootOf (mipo);
    28052811      ExtensionInfo info= ExtensionInfo (v);
    … …  
    28082814    else
    28092815    {
    2810       if (beta == Variable (1))
     2816      if (beta == w)
    28112817      {
    28122818        Variable v= chooseExtension (alpha, beta, k);
Note: See TracChangeset for help on using the changeset viewer.