Home
last modified time | relevance | path

Searched refs:t_kNoether (Results 1 – 3 of 3) sorted by relevance

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A DkInline.h72 assume((kNoether == NULL && t_kNoether == NULL) || in kNoetherTail()
73 (kNoether != NULL && t_kNoether != NULL)); in kNoetherTail()
74 return t_kNoether; in kNoetherTail()
H A Dkutil.h334 poly t_kNoether; variable
H A Dkutil.cc10703 if (strat->t_kNoether != NULL) p_LmFree(strat->t_kNoether, strat->tailRing); in newHEdge()
10705 strat->t_kNoether = k_LmInit_currRing_2_tailRing(strat->kNoether, strat->tailRing); in newHEdge()
11294 if (strat->t_kNoether != NULL) in kStratChangeTailRing()
11295 p_LmFree(strat->t_kNoether, strat->tailRing); in kStratChangeTailRing()
11296 strat->t_kNoether=k_LmInit_currRing_2_tailRing(strat->kNoether, in kStratChangeTailRing()
11585 if (t_kNoether != NULL) in ~skStrategy()
11586 p_LmFree(t_kNoether, tailRing); in ~skStrategy()