debug_check() [1/2]

void MonomialIdeal::debug_check

(

)

const

Definition at line 567 of file monideal.cpp.

{
  if (count <= 1)
    {
      assert(mi == nullptr);
      return;
    }
  assert(mi != nullptr);
  assert(debug_check(mi, nullptr) == count / 2);
}

References count, debug_check(), and mi.

Referenced by debug_check(), and erase().