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