~ReducedGB()

ReducedGB::~ReducedGB ( )

virtual

Definition at line 44 of file reducedgb.cpp.

{
  for (int i = 0; i < polys.size(); i++)
    {
      R->gbvector_remove(polys[i].f);
      R->gbvector_remove(polys[i].fsyz);
    }
}

References R.