Changeset f1cef21 in git


Ignore:
Timestamp:
Nov 28, 2013, 3:43:44 PM (9 years ago)
Author:
Christian Eder
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '48f1dd268d0ff74ef2f7dccbf02545425002ddcc')
Children:
f3e25c24fb9167335fed07b0b1d94ea513423a4b
Parents:
fbc7cbe8568c1e04d75cb6e5ddaceabc83c519e0
git-author:
Christian Eder <ederc@mathematik.uni-kl.de>2013-11-28 15:43:44+01:00
git-committer:
Christian Eder <ederc@mathematik.uni-kl.de>2013-12-12 13:51:25+01:00
Message:
fixes sba tail reduction
=> enabled by default
=> speed-up
Location:
kernel
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • kernel/kspoly.cc

    rfbc7cb rf1cef21  
    223223  if (!PW->is_sigsafe)
    224224  {
    225     PR->SetLmCurrRing();
    226     //poly f1 = pCopy(PR->GetLmTailRing());   // p2 | p1
    227     //poly f2 = PW->GetLmTailRing();   // i.e. will reduce p1 with p2; lm = LT(p1) / LM(p2)
    228     poly f1 = p_Copy(PR->GetLmCurrRing(),currRing);
     225    poly ftmp;
     226    ring rtmp;
     227    PR->GetLm(ftmp,rtmp);
     228    poly f1 = k_LmInit_tailRing_2_currRing(ftmp,rtmp);
    229229    poly f2 = PW->GetLmCurrRing();
    230230    poly sigMult = pCopy(PW->sig);   // copy signature of reducer
  • kernel/kstd2.cc

    rfbc7cb rf1cef21  
    5353#endif
    5454
    55 #define SBA_TAIL_RED                        0
     55#define SBA_TAIL_RED                        1
    5656#define SBA_PRODUCT_CRITERION               0
    5757#define SBA_PRINT_ZERO_REDUCTIONS           1
Note: See TracChangeset for help on using the changeset viewer.