Changeset db65ada in git


Ignore:
Timestamp:
Jan 23, 2012, 11:04:22 PM (12 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '79dfb9a6d258bfeb991428bdb25b8f55e9e809b2')
Children:
3d00756494212a91de05b854309431d794310d5f
Parents:
69076c5854bc7141a7ff79af314eb57862ea37be
git-author:
Martin Lee <martinlee84@web.de>2012-01-23 23:04:22+01:00
git-committer:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-02-10 14:16:44+01:00
Message:
chg: lowered bound for early success in earlyFactorDetection
File:
1 edited

Legend:

Unmodified
Added
Removed
  • factory/facFqBivar.cc

    r69076c rdb65ada  
    637637  CanonicalForm M= power (F.mvar(), deg);
    638638  adaptedLiftBound= 0;
    639   int d= degree (F) + degree (LCBuf);
     639  int d= degree (F);
    640640  for (CFListIterator i= factors; i.hasItem(); i++)
    641641  {
     
    655655          result.append (g);
    656656          buf= quot;
    657           d -= degree (g) + degree (LC (g, x));
     657          d -= degree (g);
    658658          LCBuf= LC (buf, x);
    659659          T= Difference (T, CFList (i.getItem()));
     
    673673  }
    674674  adaptedLiftBound= d + 1;
    675   if (d < deg)
     675  if (adaptedLiftBound < deg)
    676676  {
    677677    factors= T;
     
    705705  adaptedLiftBound= 0;
    706706  bool trueFactor= false;
    707   int d= degree (F) + degree (LCBuf);
     707  int d= degree (F);
    708708  CFList source, dest;
    709709  int degMipoBeta= 1;
     
    735735              appendTestMapDown (result, buf2, info, source, dest);
    736736              buf= quot;
    737               d -= degree (g) + degree (LC (g, x));
     737              d -= degree (g);
    738738              LCBuf= LC (buf, x);
    739739              trueFactor= true;
     
    746746              appendTestMapDown (result, buf2, info, source, dest);
    747747              buf= quot;
    748               d -= degree (g) + degree (LC (g, x));
     748              d -= degree (g);
    749749              LCBuf= LC (buf, x);
    750750              trueFactor= true;
Note: See TracChangeset for help on using the changeset viewer.