down

Nmi_node* Nmi_node::down

Definition at line 88 of file monideal.hpp.

Referenced by MonomialIdeal::debug_check(), MonomialIdeal::do_tree(), MonomialIdeal::insert1(), and MonomialIdeal::remove1().