Definition at line 146 of file schorder.cpp.
References base_monom(), compare_num(), M, rank(), result(), and SchreyerOrder().