GBF4Computation.hpp

Go to the documentation of this file.

#pragma once

 
#include "Basis.hpp"
#include "MacaulayMatrix.hpp"
#include "MonomialHashTable.hpp"
#include "MonomialLookupTable.hpp"
#include "PolynomialList.hpp"
#include "SPairs.hpp"
#include "../VectorArithmetic.hpp"
 
class FreeModule;
 
namespace newf4 {
 
enum class Strategy;
  
class GBF4Computation
{
 private:
  // Core Data:
  MonomialHashTable mBasisMonomials;     // table for monomials in the basis
  PolynomialList mInput; // as a MonomialHashTable.
  Basis mGBSoFar; // same hash table here.
  
  const FreeModule* mFreeModule;  // for debugging information *only*
 
  MonomialLookupTable mMonomialLookup;   // put this in Basis or not?
  MonomialHashTable mSPairMonomials;     // table for the LCMs of spairs
  SPairSet mSPairs;
  const VectorArithmetic& mVectorArithmetic;
  MacaulayMatrix mMacaulayMatrix;
 
  std::vector<int> mVariableWeights;
 
  // Support Data:
  // GB of base ring (for GBs over a quotient)
  // Hilbert function hint information
  // how to get spairs with exterior/skew variables
public:
  GBF4Computation(const VectorArithmetic& vectorArithmetic,
                  const FreeModule* freeModule,
                  const std::vector<int>& variableWeights,
                  Strategy strategy);
 
  void initializeWithMatrix(const Matrix* M);
  void initializeWithBasicPolyList(const BasicPolyList& basicPolyList);
 
  void dumpBasisMonomials() const;
 
  const PolynomialList& getInput() const { return mInput; }
 
  // these are all for debugging only -- copies made, etc.
  void showInput() const;
  void showGBStatusArray() const;
  void showMinimalBasis() const;
  void showFullBasis() const;
 
};
 
  // Steps:
  //  1. "Read in" the example (uses MatrixStream stuff)
  //     Set the ring information (variables names, #vars, charac, ??)
  //     Reads into a PolynomialList, which is in the Basis.
  //  2.    
// a separate computation class will contain the necessary stuff for
// computations over QQ, rational reconstruction, etc
 
} // end newf4 namespace
 
// Local Variables:
// indent-tabs-mode: nil
// End: