mGroebner

PolyList NCF4::mGroebner

private

Definition at line 222 of file NCF4.hpp.

Referenced by addToGroebnerBasis(), autoreduceByLastElement(), currentValue(), process(), processPreRow(), and ~NCF4().