~F4GB()

F4GB::~F4GB

(

)

Definition at line 110 of file f4.cpp.

{
  //  delete mSPairSet;
  // delete mLookupTable;
  delete mat;
 
  // Now delete the gens, gb arrays.
  delete_gb_array(mGenerators);
  delete_gb_array(mGroebnerBasis);
}

References delete_gb_array(), mat, mGenerators, and mGroebnerBasis.