176 gfan::ZCone support = gfan::ZCone::givenByRays(*zm, gfan::ZMatrix(0, zm->getWidth()));
187 gfan::ZCone
lambda; gfan::ZVector point;
194 int iterationNumber = 1;
195 std::cout <<
"cones found: " << iterationNumber++ << std::endl;
198 gfan::ZFan* Sigma =
new gfan::ZFan(
lambda.ambientDimension());
204 res->data = (
void*) Sigma;
211 gfan::ZVector interiorPoint;
212 gfan::ZVector facetNormal;
221 interiorPoint =
f.getInteriorPoint();
222 facetNormal =
f.getFacetNormal();
229 point =
mu * interiorPoint - facetNormal;
230 while (!support.containsRelatively(point))
233 point =
mu * interiorPoint - facetNormal;
237 while ((
lambda.dimension() <
lambda.ambientDimension()) && !(
lambda.contains(interiorPoint)))
240 point =
mu * interiorPoint - facetNormal;
243 std::cout <<
"cones found: " << iterationNumber++ << std::endl;
256 res->data = (
void*) Sigma;
260 WerrorS(
"refineCones: unexpected parameters");
Class used for (list of) interpreter objects.
void mu(int **points, int sizePoints)
void WerrorS(const char *s)
gfan::ZVector randomPoint(const gfan::ZCone *zc)
void mergeFacets(facets &F, const facets &newFacets)
gfan::ZMatrix * bigintmatToZMatrix(const bigintmat &bim)
std::set< facet, facet_compare > facets
const Variable & v
< [in] a sqrfree bivariate poly
static gfan::ZCone subcone(const lists &cones, const gfan::ZVector &point)
void lambda(int **points, int sizePoints)
static gitfan::facets interiorFacets(const gfan::ZCone &zc, const gfan::ZCone &bound)