27 facet(
const gfan::ZCone &c,
const gfan::ZVector &
v,
const gfan::ZVector &
w);
44 assume(v1.size() == v2.size());
50 typedef std::set<facet,facet_compare>
facets;
52 void mergeFacets(facets &F,
const facets &newFacets);
gfan::ZVector facetNormal
void mergeFacets(facets &F, const facets &newFacets)
gfan::ZVector getFacetNormal()
std::set< facet, facet_compare > facets
gfan::ZVector getInteriorPoint()
const Variable & v
< [in] a sqrfree bivariate poly
gfan::ZVector interiorPoint
void gitfan_setup(SModulFunctions *p)
bool operator()(const facet &f, const facet &g) const