◆ append_schreyer()

void FreeModule::append_schreyer	(	const_monomial	d,
		const_monomial	base_monom,
		int	compare_num )

Definition at line 137 of file freemod.cpp.

{
  assert(schreyer != 0);
  monomial p = R->degree_monoid()->make_new(d);
  components.push_back(p);
  schreyer->append(compare_num, base);
}