Searched refs:_WITH_F5 (Results 1 – 4 of 4) sorted by relevance
427 {"with_f5" ,1,_WITH_F5 , _INT_GROEBNER ,T_NUMBER},
425 _WITH_F5=1, enumerator
6968 case _WITH_F5: case _MODULAR_CHECK: in read_gbargs()6979 case _WITH_F5: case _MODULAR_CHECK: in read_gbargs()
13851 case _WITH_F5: in printint32()