◆ append_order()

void SchreyerOrder::append_order ( const SchreyerOrder * G )

Definition at line 184 of file schorder.cpp.

{
  for (int i = 0; i < G->rank(); i++)
    append(G->compare_num(i), G->base_monom(i));
}