Searched refs:_11VAR_ORDER (Results 1 – 3 of 3) sorted by relevance
432 _11VAR_ORDER=11, // GROEBNER_VARS==15 : 3 params at end, 11 variables enumerator
549 if (o==_11VAR_ORDER){ in swap_indices15()794 if (order==_11VAR_ORDER) in total_degree()1604 case _11VAR_ORDER: in tdeg_t_greater_dyn()1755 if (order.o==_11VAR_ORDER) in tdeg_t_greater()2018 if (order.o==_11VAR_ORDER){ in index_lcm()2110 if (order.o==_11VAR_ORDER){ in get_index()2281 case _11VAR_ORDER: in get_polynome()2401 case _11VAR_ORDER: in operator <<()3465 case _11VAR_ORDER: in get_polynome()3713 case _11VAR_ORDER: in operator <<()[all …]
4982 case _11VAR_ORDER: in operator <()7015 case _11VAR_ORDER: in change_monomial_order()7060 order=_11VAR_ORDER; // improve: could be less in revlex_parametrize()7079 order=_11VAR_ORDER; in revlex_parametrize()