1 #ifndef CALLGFANLIB_GROEBNERCONE_H 2 #define CALLGFANLIB_GROEBNERCONE_H 10 #include "gfanlib/gfanlib.h" 24 typedef std::set<groebnerCone,groebnerCone_compare>
groebnerCones;
55 assume ((!polynomialIdeal) || (polynomialIdeal && polynomialRing));
56 if (polynomialIdeal)
id_Delete(&polynomialIdeal,polynomialRing);
57 if (polynomialRing)
rDelete(polynomialRing);
58 polynomialIdeal =
NULL;
59 polynomialRing =
NULL;
71 bool b = (polynomialRing==
NULL);
78 bool contains(
const gfan::ZVector &
w)
const;
90 groebnerCone flipCone(
const gfan::ZVector &interiorPoint,
const gfan::ZVector &facetNormal)
const;
106 bool checkFlipConeInput(
const gfan::ZVector interiorPoint,
const gfan::ZVector facetNormal)
const;
117 assume (p1.size() == p2.size());
implementation of the class tropicalStrategy
gfan::ZCone getPolyhedralCone() const
const tropicalStrategy * currentStrategy
ring getPolynomialRing() const
gfan::ZCone polyhedralCone
bool checkFlipConeInput(const gfan::ZVector interiorPoint, const gfan::ZVector facetNormal) const
Debug tools.
bool operator()(const groebnerCone &sigma, const groebnerCone &theta) const
Compatiblity layer for legacy polynomial operations (over currRing)
groebnerCones tropicalNeighbours() const
Returns a complete list of neighboring Groebner cones in the tropical variety.
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
gfan::ZVector tropicalPoint() const
Returns a point in the tropical variety, if the groebnerCone contains one.
std::set< groebnerCone, groebnerCone_compare > groebnerCones
const tropicalStrategy * getTropicalStrategy() const
void deletePolynomialData()
groebnerCones groebnerNeighbours() const
Returns a complete list of neighboring Groebner cones.
ideal polynomialIdeal
ideal to which this Groebner cone belongs to
ring polynomialRing
ring in which the ideal exists
bool contains(const gfan::ZVector &w) const
Returns true if Groebner cone contains w, false otherwise.
bool pointsOutwards(const gfan::ZVector) const
gfan::ZVector interiorPoint
void rDelete(ring r)
unconditionally deletes fields in r
gfan::ZVector getInteriorPoint() const
gfan::ZFan * toFanStar(groebnerCones setOfCones)
groebnerCone & operator=(const groebnerCone &sigma)
groebnerCone flipCone(const gfan::ZVector &interiorPoint, const gfan::ZVector &facetNormal) const
Given an interior point on the facet and the outer normal factor on the facet, returns the adjacent g...
ideal getPolynomialIdeal() const