 |
My Project
UNKNOWN_GIT_VERSION
|
Go to the documentation of this file. 1 #ifndef CALLGFANLIB_GROEBNERCONE_H
2 #define CALLGFANLIB_GROEBNERCONE_H
10 #include "gfanlib/gfanlib.h"
78 bool contains(
const gfan::ZVector &
w)
const;
117 assume (p1.size() == p2.size());
groebnerCones tropicalNeighbours() const
Returns a complete list of neighboring Groebner cones in the tropical variety.
ring polynomialRing
ring in which the ideal exists
std::set< groebnerCone, groebnerCone_compare > groebnerCones
bool contains(const gfan::ZVector &w) const
Returns true if Groebner cone contains w, false otherwise.
Compatiblity layer for legacy polynomial operations (over currRing)
gfan::ZVector interiorPoint
bool pointsOutwards(const gfan::ZVector) const
bool operator()(const groebnerCone &sigma, const groebnerCone &theta) const
void deletePolynomialData()
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
ideal getPolynomialIdeal() const
implementation of the class tropicalStrategy
const tropicalStrategy * currentStrategy
gfan::ZFan * toFanStar(groebnerCones setOfCones)
ring getPolynomialRing() const
gfan::ZCone polyhedralCone
void rDelete(ring r)
unconditionally deletes fields in r
bool checkFlipConeInput(const gfan::ZVector interiorPoint, const gfan::ZVector facetNormal) const
Debug tools.
groebnerCone & operator=(const groebnerCone &sigma)
gfan::ZVector tropicalPoint() const
Returns a point in the tropical variety, if the groebnerCone contains one.
const tropicalStrategy * getTropicalStrategy() const
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...
gfan::ZVector getInteriorPoint() const
ideal polynomialIdeal
ideal to which this Groebner cone belongs to
gfan::ZCone getPolyhedralCone() const
groebnerCones groebnerNeighbours() const
Returns a complete list of neighboring Groebner cones.