Definition at line 585 of file gb-sugarless.cpp.
References gbvector::comp, EQ, gb_elem::f, GT, LT, M, gbvector::monom, and p.
Referenced by gb_insert().