Loading...
Searching...
No Matches
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
bbcone.h
bbfan.h
p
int p
Definition cfModGcd.cc:4086
g
g
Definition cfModGcd.cc:4098
f
FILE * f
Definition checklibs.c:9
gitfan::facet
Definition gitfan.h:18
gitfan::facet::facet
facet()
Definition gitfan.cc:28
gitfan::facet::facet_compare
friend struct facet_compare
Definition gitfan.h:34
gitfan::facet::eta
gfan::ZCone eta
Definition gitfan.h:19
gitfan::facet::getEta
gfan::ZCone getEta()
Definition gitfan.h:30
gitfan::facet::facetNormal
gfan::ZVector facetNormal
Definition gitfan.h:21
gitfan::facet::getFacetNormal
gfan::ZVector getFacetNormal()
Definition gitfan.h:32
gitfan::facet::~facet
~facet()
Definition gitfan.cc:64
gitfan::facet::getInteriorPoint
gfan::ZVector getInteriorPoint()
Definition gitfan.h:31
gitfan::facet::interiorPoint
gfan::ZVector interiorPoint
Definition gitfan.h:20
w
const CanonicalForm & w
Definition facAbsFact.cc:51
v
const Variable & v
< [in] a sqrfree bivariate poly
Definition facBivar.h:39
gitfan_setup
void gitfan_setup(SModulFunctions *p)
ipid.h
SModulFunctions
Definition ipid.h:69
mod2.h
assume
#define assume(x)
Definition mod2.h:389
gitfan
Definition gitfan.cc:26
gitfan::mergeFacets
void mergeFacets(facets &F, const facets &newFacets)
Definition gitfan.cc:77
gitfan::facets
std::set< facet, facet_compare > facets
Definition gitfan.h:50
gitfan::facet_compare
Definition gitfan.h:38
gitfan::facet_compare::operator()
bool operator()(const facet &f, const facet &g) const
Definition gitfan.h:39