My Project  debian-1:4.1.1-p2+ds-4
gitfan.h
Go to the documentation of this file.
1 #ifndef GITFAN_H
2 #define GITFAN_H
3 
4 #include "kernel/mod2.h"
5 
6 #if HAVE_GFANLIB
7 
10 
11 #include "Singular/ipid.h"
12 
13 
14 namespace gitfan
15 {
16 
17  class facet
18  {
19  gfan::ZCone eta;
20  gfan::ZVector interiorPoint;
21  gfan::ZVector facetNormal;
22 
23  public:
24 
25  facet();
26  facet(const facet &f);
27  facet(const gfan::ZCone &c, const gfan::ZVector &v, const gfan::ZVector &w);
28  ~facet();
29 
30  gfan::ZCone getEta() { return this->eta; };
31  gfan::ZVector getInteriorPoint() { return this->interiorPoint; };
32  gfan::ZVector getFacetNormal() { return this->facetNormal; };
33 
34  friend struct facet_compare;
35  };
36 
38  {
39  bool operator()(const facet &f, const facet &g) const
40  {
41  const gfan::ZVector v1 = f.interiorPoint;
42  const gfan::ZVector v2 = g.interiorPoint;
43 #ifndef SING_NDEBUG
44  assume(v1.size() == v2.size());
45 #endif
46  return v1 < v2;
47  }
48  };
49 
50  typedef std::set<facet,facet_compare> facets;
51 
52  void mergeFacets(facets &F, const facets &newFacets);
53 
54 }
55 
57 #endif
58 
59 #endif
f
FILE * f
Definition: checklibs.c:9
gitfan::mergeFacets
void mergeFacets(facets &F, const facets &newFacets)
Definition: gitfan.cc:85
bbfan.h
gitfan::facet::eta
gfan::ZCone eta
Definition: gitfan.h:19
gitfan::facet::facetNormal
gfan::ZVector facetNormal
Definition: gitfan.h:21
g
g
Definition: cfModGcd.cc:4031
w
const CanonicalForm & w
Definition: facAbsFact.cc:55
gitfan::facet::~facet
~facet()
Definition: gitfan.cc:72
gitfan::facet
Definition: gitfan.h:17
gitfan::facet_compare
Definition: gitfan.h:37
gitfan::facet::interiorPoint
gfan::ZVector interiorPoint
Definition: gitfan.h:20
gitfan::facet_compare::operator()
bool operator()(const facet &f, const facet &g) const
Definition: gitfan.h:39
gitfan::facet::getInteriorPoint
gfan::ZVector getInteriorPoint()
Definition: gitfan.h:31
mod2.h
gitfan::facets
std::set< facet, facet_compare > facets
Definition: gitfan.h:50
gitfan::facet::getEta
gfan::ZCone getEta()
Definition: gitfan.h:30
bbcone.h
gitfan_setup
void gitfan_setup(SModulFunctions *p)
gitfan
Definition: gitfan.cc:25
SModulFunctions
Definition: ipid.h:66
assume
#define assume(x)
Definition: mod2.h:384
v
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
p
int p
Definition: cfModGcd.cc:4019
gitfan::facet::getFacetNormal
gfan::ZVector getFacetNormal()
Definition: gitfan.h:32
ipid.h
gitfan::facet::facet
facet()
Definition: gitfan.cc:36