Changeset cae182 in git
- Timestamp:
- Dec 7, 2017, 5:46:20 PM (6 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 606423e3481747c104008c1af6644ac96fbcd61a
- Parents:
- 81038180860cfecce4f0b4f60634f60a4457b26d
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/GBEngine/kstd2.cc
r810381 rcae182 4069 4069 kTest_TS(strat); 4070 4070 4071 #ifdef HAVE_TAIL_RING 4072 kStratInitChangeTailRing(strat); 4073 #endif 4074 4071 4075 /* compute------------------------------------------------------- */ 4072 4076 while (strat->Ll >= 0) … … 4105 4109 poly m1 = NULL, m2 = NULL; 4106 4110 4111 // check that spoly creation is ok 4112 while (strat->tailRing != currRing && 4113 !kCheckSpolyCreation(&(strat->P), strat, m1, m2)) 4114 { 4115 assume(m1 == NULL && m2 == NULL); 4116 // if not, change to a ring where exponents are at least 4117 // large enough 4118 kStratChangeTailRing(strat); 4119 } 4107 4120 // create the real one 4108 4121 ksCreateSpoly(&(strat->P), NULL, strat->use_buckets,
Note: See TracChangeset
for help on using the changeset viewer.