#ifndef GFANAPPLICATION_H_INCLUDED
#define GFANAPPLICATION_H_INCLUDED

#include "application.h"
#include "vektor.h"

class GFanApplication : public Application
{
 protected:
  class FieldOption: public IntegerOption
    {
    public:
      FieldOption();
      void onOptionsParsed();
    };
  void assertSymmetriesMatch(IntegerVectorList const &g, class PolynomialSet &markedGroebnerBasis);
  //  FieldOption theFieldOption;
};

#endif