Changeset c49e6f in git


Ignore:
Timestamp:
Nov 29, 2012, 10:50:23 AM (11 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
fd806709d80df10779e64d6bfe77cdf372b9c004
Parents:
894604cd8e2bd80d9c29cfc35d194404eaa0d476
git-author:
Martin Lee <martinlee84@web.de>2012-11-29 10:50:23+01:00
git-committer:
Martin Lee <martinlee84@web.de>2012-11-30 17:25:20+01:00
Message:
fix: several fixes for factorization if extension needed
File:
1 edited

Legend:

Unmodified
Added
Removed
  • factory/facFqBivar.cc

    r894604 rc49e6f  
    412412                if (recombination)
    413413                {
    414                   appendTestMapDown (result, buf (y - eval, y), info, source,
     414                  buf= buf (y-eval,y);
     415                  buf /= Lc (buf);
     416                  appendTestMapDown (result, buf, info, source,
    415417                                      dest);
    416418                  F= 1;
     
    439441      if (recombination)
    440442      {
    441         appendTestMapDown (result, buf (y - eval, y), info, source, dest);
     443        buf= buf (y-eval,y);
     444        buf /= Lc (buf);
     445        appendTestMapDown (result, buf, info, source, dest);
    442446        F= 1;
    443447        return result;
     
    17881792    buf /= content (buf, x);
    17891793    buf2= buf (y-evaluation, y);
     1794    buf2 /= Lc (buf2);
    17901795    if (!k && beta == x)
    17911796    {
     
    18681873    buf /= content (buf, x);
    18691874    buf2= buf (y-evaluation, y);
     1875    buf2 /= Lc (buf2);
    18701876    if (!k && beta == x)
    18711877    {
     
    20432049      tmp1= tmp1 (y - evaluation, y);
    20442050      tmp2= tmp2 (y - evaluation, y);
     2051      tmp1 /= Lc (tmp1);
     2052      tmp2 /= Lc (tmp2);
    20452053      if (!k && beta == x && degree (tmp2, alpha) < 1 &&
    20462054          degree (tmp1, alpha) < 1)
     
    20972105    buf /= content (buf, x);
    20982106    buf2= buf (y - evaluation, y);
     2107    buf2 /= Lc (buf2);
    20992108    if (!k && beta == x)
    21002109    {
     
    21722181      tmp1= tmp1 (y - evaluation, y);
    21732182      tmp2= tmp2 (y - evaluation, y);
     2183      tmp1 /= Lc (tmp1);
     2184      tmp2 /= Lc (tmp2);
    21742185      if (!k && beta == x && degree (tmp2, alpha) < 1 &&
    21752186          degree (tmp1, alpha) < 1)
     
    22262237    buf /= content (buf, x);
    22272238    buf2= buf (y - evaluation, y);
     2239    buf2 /= Lc (buf2);
    22282240    if (!k && beta == x)
    22292241    {
     
    35723584  {
    35733585    delete [] bounds;
    3574     CanonicalForm G= F;
     3586    Variable y= Variable (2);
     3587    CanonicalForm tmp= F (y - evaluation, y);
     3588    CFList source, dest;
     3589    tmp= mapDown (tmp, info, source, dest);
    35753590    F= 1;
    3576     return CFList (G);
     3591    return CFList (tmp);
    35773592  }
    35783593
     
    56795694  {
    56805695    i= 1;
    5681     while ((degree (F,y)/4)*i + 4 <= smallFactorDeg)
     5696    while (((degree (F,y)/4)*i+1) + 4 <= smallFactorDeg)
    56825697      i++;
    56835698    while (i < 5)
    56845699    {
    5685       dummy= tmin (degree (F,y)+1, (degree (F,y)/4)*i+4);
     5700      dummy= tmin (degree (F,y)+1, ((degree (F,y)/4)+1)*i+4);
    56865701      if (l < dummy)
    56875702      {
     
    58385853  {
    58395854    i= 1;
    5840     while ((degree (F,y)/4)*i + 4 <= smallFactorDeg)
     5855    while ((degree (F,y)/4+1)*i + 4 <= smallFactorDeg)
    58415856      i++;
    58425857    while (i < 5)
    58435858    {
    5844       dummy= tmin (degree (F,y)+1, (degree (F,y)/4)*i+4);
     5859      dummy= tmin (degree (F,y)+1, (degree (F,y)/4+1)*i+4);
    58455860      if (l < dummy)
    58465861      {
     
    59866001  {
    59876002    i= 1;
    5988     while ((degree (F,y)/4)*i + 4 <= smallFactorDeg)
     6003    while ((degree (F,y)/4+1)*i + 4 <= smallFactorDeg)
    59896004      i++;
    59906005    while (i < 5)
    59916006    {
    5992       dummy= tmin (degree (F,y)+1, (degree (F,y)/4)*i+4);
     6007      dummy= tmin (degree (F,y)+1, (degree (F,y)/4+1)*i+4);
    59936008      if (l < dummy)
    59946009      {
     
    73307345    if (degs.getLength() == 1 || bufUniFactors.length() == 1)
    73317346    {
    7332       result.append (bufF);
     7347      CFList source, dest;
     7348      CanonicalForm tmp= bufF (y - evaluation, y);
     7349      tmp= mapDown (tmp, info, source, dest);
     7350      result.append (tmp);
    73337351      return result;
    73347352    }
     
    76877705    }
    76887706
    7689     if (i == 0)
     7707    if (i == 0 && !extension)
    76907708    {
    76917709      if (subCheck1 > 0)
Note: See TracChangeset for help on using the changeset viewer.