Changeset a9c298 in git for kernel/kspoly.cc
 Timestamp:
 Nov 20, 2013, 4:54:25 PM (9 years ago)
 Branches:
 (u'jengelhdatetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
 Children:
 0de0509972719531e2a4b51ec9fd0e44a66fd2fd
 Parents:
 e4014563a82388c4b39dfa37db24cbe159b24a35
 gitauthor:
 Hans Schoenemann <hannes@mathematik.unikl.de>20131120 16:54:25+01:00
 gitcommitter:
 Hans Schoenemann <hannes@mathematik.unikl.de>20131120 16:54:42+01:00
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

kernel/kspoly.cc
re40145 ra9c298 76 76 { 77 77 // for the time being: we know currRing==strat>tailRing 78 // no expbound checking needed 78 // no expbound checking needed 79 79 // (only needed if expbound(tailring)<expb(currRing)) 80 80 if (PR>bucket!=NULL) nc_kBucketPolyRed(PR>bucket, p2,coef); 81 else 81 else 82 82 { 83 83 poly _p = (PR>t_p != NULL ? PR>t_p : PR>p); … … 150 150 poly qq = p_Shrink(PR>p, currRing>isLPring, currRing); 151 151 PR>Clear(); // does the right things 152 PR>p = qq; 152 PR>p = qq; 153 153 PR>t_p = NULL; 154 154 PR>SetShortExpVector(); 155 155 } 156 156 #endif 157 157 158 158 #if defined(KDEBUG) && defined(TEST_OPT_DEBUG_RED) 159 159 if (TEST_OPT_DEBUG) … … 202 202 *  203 203 * if strat>incremental 204 * Since we are subdividing lower index and 204 * Since we are subdividing lower index and 205 205 * current index reductions it is enough to 206 206 * look at the polynomial part of the signature … … 212 212 * Schreyer order 213 213 * 214 * nevertheless, this different behaviour is 214 * nevertheless, this different behaviour is 215 215 * taken care of by is_sigsafe 216 216 * => one reduction procedure can be used for … … 258 258 // signature of fm*p1 259 259 if(sigSafe != 1) 260 { 260 { 261 261 PR>is_redundant = TRUE; 262 262 return 3; … … 283 283 { 284 284 // for the time being: we know currRing==strat>tailRing 285 // no expbound checking needed 285 // no expbound checking needed 286 286 // (only needed if expbound(tailring)<expb(currRing)) 287 287 if (PR>bucket!=NULL) nc_kBucketPolyRed(PR>bucket, p2,coef); 288 else 288 else 289 289 { 290 290 poly _p = (PR>t_p != NULL ? PR>t_p : PR>p); … … 357 357 poly qq = p_Shrink(PR>p, currRing>isLPring, currRing); 358 358 PR>Clear(); // does the right things 359 PR>p = qq; 359 PR>p = qq; 360 360 PR>t_p = NULL; 361 361 PR>SetShortExpVector(); … … 485 485 poly qq = p_Shrink(Pair>p, currRing>isLPring, currRing); 486 486 Pair>Clear(); // does the right things 487 Pair>p = qq; 487 Pair>p = qq; 488 488 Pair>t_p = NULL; 489 489 Pair>SetShortExpVector(); … … 540 540 poly qq = p_Shrink(PR>p, currRing>isLPring, currRing); 541 541 PR>Clear(); // does the right things 542 PR>p = qq; 542 PR>p = qq; 543 543 PR>t_p = NULL; 544 544 PR>SetShortExpVector();
Note: See TracChangeset
for help on using the changeset viewer.