Definition at line 74 of file schorder.hpp.
Referenced by append(), base_monom(), compare_num(), and SchreyerOrder().