Searched refs:ksReducePolyTail (Results 1 – 4 of 4) sorted by relevance
| /dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/ |
| H A D | kInline.h | 1115 KINLINE int ksReducePolyTail(LObject* PR, TObject* PW, LObject* Red) in ksReducePolyTail() function
1177 ksReducePolyTail(&L, &T, q2, spNoether); in ksOldSpolyTail()
|
| H A D | kutil.h | 775 int ksReducePolyTail(LObject* PR,
780 KINLINE int ksReducePolyTail(LObject* PR, TObject* PW, LObject* Red);
|
| H A D | kspoly.cc | 1315 int ksReducePolyTail(LObject* PR, TObject* PW, poly Current, poly spNoether) in ksReducePolyTail() function
|
| H A D | kutil.cc | 7109 if (ksReducePolyTail(L, With, h, strat->kNoetherTail())) in redtail()
7219 if (ksReducePolyTail(L, With, &Ln)) in redtailBba()
7326 if (ksReducePolyTail(L, With, &Ln)) in redtailBbaBound()
13408 if (ksReducePolyTail(L, With, &Ln))
|