Searched refs:kCheckSpolyCreation (Results 1 – 5 of 5) sorted by relevance
| /dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/ |
| H A D | kverify.cc | 88 kCheckSpolyCreation(&(strat->P), strat, m1, m2); in kVerify1()
222 kCheckSpolyCreation(&P, strat, m1, m2); in kVerify2()
|
| H A D | kstd2.cc | 2468 !kCheckSpolyCreation(&(strat->P), strat, m1, m2)) in bba()
3007 !kCheckSpolyCreation(&(strat->P), strat, m1, m2)) in sba()
4123 !kCheckSpolyCreation(&(strat->P), strat, m1, m2)) in f5c()
4439 !kCheckSpolyCreation(&(strat->P), strat, m1, m2)) in bbaShift()
|
| H A D | kutil.h | 815 BOOLEAN kCheckSpolyCreation(LObject* L, kStrategy strat, poly &m1, poly &m2);
|
| H A D | kstd1.cc | 1408 !kCheckSpolyCreation(&(strat->L[j]), strat, m1, m2)) in updateL()
1474 !kCheckSpolyCreation(&(strat->L[i]), strat, m1, m2)) in updateLHC()
1969 !kCheckSpolyCreation(&(strat->P), strat, m1, m2)) in mora()
|
| H A D | kutil.cc | 10718 BOOLEAN kCheckSpolyCreation(LObject *L, kStrategy strat, poly &m1, poly &m2) in kCheckSpolyCreation() function
|