header

Nmi_node* Nmi_node::header

private

Definition at line 84 of file monideal.hpp.

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