gitfan.h

Go to the documentation of this file.

#ifndef GITFAN_H
#define GITFAN_H
 
#include "kernel/mod2.h"
 
#if HAVE_GFANLIB
 
#include "Singular/dyn_modules/gfanlib/bbcone.h"
#include "Singular/dyn_modules/gfanlib/bbfan.h"
 
#include "Singular/ipid.h"
 
 
namespace gitfan
{
 
  class facet
  {
    gfan::ZCone eta;
    gfan::ZVector interiorPoint;
    gfan::ZVector facetNormal;
 
  public:
 
    facet();
    facet(const facet &f);
    facet(const gfan::ZCone &c, const gfan::ZVector &v, const gfan::ZVector &w);
    ~facet();
 
    gfan::ZCone getEta() { return this->eta; };
    gfan::ZVector getInteriorPoint() { return this->interiorPoint; };
    gfan::ZVector getFacetNormal() { return this->facetNormal; };
 
    friend struct facet_compare;
  };
 
  struct facet_compare
  {
    bool operator()(const facet &f, const facet &g) const
    {
      const gfan::ZVector v1 = f.interiorPoint;
      const gfan::ZVector v2 = g.interiorPoint;
#ifndef SING_NDEBUG
      assume(v1.size() == v2.size());
#endif
      return v1 < v2;
    }
  };
 
  typedef std::set<facet,facet_compare> facets;
 
  void mergeFacets(facets &F, const facets &newFacets);
 
}
 
void gitfan_setup(SModulFunctions* p);
#endif
 
#endif