do_node()

void MonomialIdeal::do_node ( Nmi_node * p, int indent, int disp ) const

private

Definition at line 465 of file monideal.cpp.

{
  buffer o;
  int i;
  assert(p->left != nullptr);
  assert(p->right != nullptr);
  assert(p->left->right == p);
  assert(p->right->left == p);
  if (disp)
    {
      for (i = 1; i <= indent; i++) o << ' ';
      o << p->var << ' ' << p->exp;
    }
  if (p->tag == Nmi_node::leaf)
    {
      nleaves++;
      if (disp) o << ' ';
      varpower::elem_text_out(o, p->baggage()->monom().data());
      o << '(';
      o << p->baggage()->basis_elem();
      o << ')';
    }
  else if (p == p->header)
    nlists++;
  else
    nnodes++;
  emit_line(o.str());
}

References ExponentList< int, true >::elem_text_out(), emit_line(), Nmi_node::leaf, nleaves, nlists, nnodes, p, and buffer::str().

Referenced by do_tree().