remove_monomial()

void binomial_ring::remove_monomial

(

monomial0 &

m

)

const

Definition at line 54 of file gb-toric.cpp.

{
  if (m == nullptr) return;
  monstash->delete_elem(m);
  m = nullptr;
}

References monomial, and monstash.

Referenced by binomial_s_pair_set::enlarge(), remove_binomial(), and translate_monomial().