- Timestamp:
- Jan 30, 2020, 12:20:22 PM (4 years ago)
- Branches:
- (u'spielwiese', '6e5adcba05493683b94648c659a729c189812c77')
- Children:
- 4f42ec3b9b98cfba1c0989a2404078dd934d5039
- Parents:
- 730552d03e5de0f063e97bd925b1cc5efe35caa9
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/GBEngine/kstd2.cc
r730552d r578c24 683 683 return 1; 684 684 } 685 } else { 685 } 686 else 687 { 686 688 /* not(lc(reducer) | lc(poly)) && not(lc(poly) | lc(reducer)) 687 689 * => we try to cut down the lead coefficient at least */ … … 702 704 tj.Clear(); 703 705 } 704 } else { 706 } 707 else 708 { 705 709 /* same lead monomial but lead coefficients do not divide each other: 706 710 * change the polys to h <- spoly(h,tj) and h2 <- gpoly(h,tj). */ … … 717 721 replaceInLAndSAndT(h2, j, strat); 718 722 } 719 } else { 723 } 724 else 725 { 720 726 ksReducePoly(h, &(strat->T[j]), NULL, NULL, strat); 721 727 }
Note: See TracChangeset
for help on using the changeset viewer.