addToGroebnerBasis()

void NCF4::addToGroebnerBasis ( Poly * toAdd )

private

Definition at line 193 of file NCF4.cpp.

{
  mGroebner.push_back(toAdd);
}

References mGroebner.

Referenced by process().