Home
last modified time | relevance | path

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

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dsyz3.cc515 int * gen_length,int * secgen_length,int * tored_length) in syRedTailSyz() argument
528 num_tail = *tored_length-1; in syRedTailSyz()
564 *tored_length = num_mon+num_tail; in syRedTailSyz()
566 assume(pLength(tored)==*tored_length); in syRedTailSyz()