debug_check() [2/2]

int MonomialIdeal::debug_check ( Nmi_node * p, const Nmi_node * up ) const

private

Definition at line 524 of file monideal.cpp.

{
  Nmi_node *q;
  // First check the node 'p' itself
  assert(p != nullptr);
  assert(p->var >= 0);
  if (up != nullptr) assert(p->var < up->var);
  assert(p->header == p);
  assert(p->tag == Nmi_node::node);
  assert(p->down() == up);
  assert(p->left != nullptr);
  assert(p->right != nullptr);
 
  // Now loop through each element in left/right chain, checking that
  // v, e, left, right values are consistent.
  for (q = p->left; q != p; q = q->left)
    {
      assert(q->left != nullptr);
      assert(q->right != nullptr);
      assert(q->header == p);
      assert(q->right->left == q);
      assert(q->left->right == q);
      assert(q->var == p->var);
      assert((q->right == p) || (q->exp < q->right->exp));
      assert(q->exp >= 0);
    }
 
  // Now loop through again, this time descending into nodes
  int c = 0;
  for (q = p->right; q != p; q = q->right)
    if (q->tag == Nmi_node::node)
      c += debug_check(q->down(), q);
    else
      c++;
  return c;
}

References debug_check(), Nmi_node::down, Nmi_node::exp, Nmi_node::header, Nmi_node::left, Nmi_node::node, p, Nmi_node::right, Nmi_node::tag, and Nmi_node::var.

Referenced by debug_check().