try_insert_full()

bool KBasis::try_insert_full ( )

inlineprivate

Definition at line 271 of file matrix-kbasis.cpp.

{
  Bag *b;
  if (kb_monideal->search_expvector(kb_exp, b)) return false;
  insert();
  return true;
}

References insert(), kb_exp, and kb_monideal.

Referenced by basis0_full().