Searched refs:t_kNoether (Results 1 – 3 of 3) sorted by relevance
72 assume((kNoether == NULL && t_kNoether == NULL) || in kNoetherTail()73 (kNoether != NULL && t_kNoether != NULL)); in kNoetherTail()74 return t_kNoether; in kNoetherTail()
334 poly t_kNoether; variable
10703 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()