![]() |
#include <groebnerCone.h>
Public Member Functions | |
| groebnerCone () | |
| groebnerCone (const ideal I, const ring r, const tropicalStrategy ¤tCase) | |
| groebnerCone (const ideal I, const ring r, const gfan::ZVector &w, const tropicalStrategy ¤tCase) | |
| groebnerCone (const ideal I, const ring r, const gfan::ZVector &u, const gfan::ZVector &w, const tropicalStrategy ¤tCase) | |
| groebnerCone (const ideal I, const ideal inI, const ring r, const tropicalStrategy ¤tCase) | |
| groebnerCone (const groebnerCone &sigma) | |
| ~groebnerCone () | |
| groebnerCone & | operator= (const groebnerCone &sigma) |
| void | deletePolynomialData () |
| ideal | getPolynomialIdeal () const |
| ring | getPolynomialRing () const |
| gfan::ZCone | getPolyhedralCone () const |
| gfan::ZVector | getInteriorPoint () const |
| const tropicalStrategy * | getTropicalStrategy () const |
| bool | isTrivial () const |
| bool | contains (const gfan::ZVector &w) const |
| Returns true if Groebner cone contains w, false otherwise. More... | |
| gfan::ZVector | tropicalPoint () const |
| Returns a point in the tropical variety, if the groebnerCone contains one. More... | |
| 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 groebnerCone sharing that facet. More... | |
| groebnerCones | groebnerNeighbours () const |
| Returns a complete list of neighboring Groebner cones. More... | |
| groebnerCones | tropicalNeighbours () const |
| Returns a complete list of neighboring Groebner cones in the tropical variety. More... | |
| bool | checkFlipConeInput (const gfan::ZVector interiorPoint, const gfan::ZVector facetNormal) const |
| Debug tools. More... | |
| bool | pointsOutwards (const gfan::ZVector) const |
Private Attributes | |
| ideal | polynomialIdeal |
| ideal to which this Groebner cone belongs to More... | |
| ring | polynomialRing |
| ring in which the ideal exists More... | |
| gfan::ZCone | polyhedralCone |
| gfan::ZVector | interiorPoint |
| const tropicalStrategy * | currentStrategy |
Friends | |
| struct | groebnerCone_compare |
Definition at line 28 of file groebnerCone.h.
| groebnerCone::groebnerCone | ( | ) |
Definition at line 72 of file groebnerCone.cc.
| groebnerCone::groebnerCone | ( | const ideal | I, |
| const ring | r, | ||
| const tropicalStrategy & | currentCase | ||
| ) |
Definition at line 81 of file groebnerCone.cc.
| groebnerCone::groebnerCone | ( | const ideal | I, |
| const ring | r, | ||
| const gfan::ZVector & | w, | ||
| const tropicalStrategy & | currentCase | ||
| ) |
Definition at line 134 of file groebnerCone.cc.
| groebnerCone::groebnerCone | ( | const ideal | I, |
| const ring | r, | ||
| const gfan::ZVector & | u, | ||
| const gfan::ZVector & | w, | ||
| const tropicalStrategy & | currentCase | ||
| ) |
Definition at line 192 of file groebnerCone.cc.
| groebnerCone::groebnerCone | ( | const ideal | I, |
| const ideal | inI, | ||
| const ring | r, | ||
| const tropicalStrategy & | currentCase | ||
| ) |
Definition at line 249 of file groebnerCone.cc.
| groebnerCone::groebnerCone | ( | const groebnerCone & | sigma | ) |
Definition at line 308 of file groebnerCone.cc.
| groebnerCone::~groebnerCone | ( | ) |
Definition at line 322 of file groebnerCone.cc.
| bool groebnerCone::checkFlipConeInput | ( | const gfan::ZVector | interiorPoint, |
| const gfan::ZVector | facetNormal | ||
| ) | const |
Debug tools.
Definition at line 26 of file groebnerCone.cc.
| bool groebnerCone::contains | ( | const gfan::ZVector & | w | ) | const |
Returns true if Groebner cone contains w, false otherwise.
Definition at line 347 of file groebnerCone.cc.
|
inline |
Definition at line 54 of file groebnerCone.h.
| groebnerCone 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 groebnerCone sharing that facet.
Definition at line 386 of file groebnerCone.cc.
|
inline |
Definition at line 66 of file groebnerCone.h.
|
inline |
Definition at line 65 of file groebnerCone.h.
|
inline |
Definition at line 63 of file groebnerCone.h.
|
inline |
Definition at line 64 of file groebnerCone.h.
|
inline |
Definition at line 67 of file groebnerCone.h.
| groebnerCones groebnerCone::groebnerNeighbours | ( | ) | const |
Returns a complete list of neighboring Groebner cones.
Definition at line 407 of file groebnerCone.cc.
|
inline |
Definition at line 70 of file groebnerCone.h.
| groebnerCone & groebnerCone::operator= | ( | const groebnerCone & | sigma | ) |
Definition at line 331 of file groebnerCone.cc.
| bool groebnerCone::pointsOutwards | ( | const gfan::ZVector | w | ) | const |
Definition at line 431 of file groebnerCone.cc.
| groebnerCones groebnerCone::tropicalNeighbours | ( | ) | const |
Returns a complete list of neighboring Groebner cones in the tropical variety.
Definition at line 441 of file groebnerCone.cc.
| gfan::ZVector groebnerCone::tropicalPoint | ( | ) | const |
Returns a point in the tropical variety, if the groebnerCone contains one.
Returns an empty vector otherwise.
Definition at line 357 of file groebnerCone.cc.
|
friend |
Definition at line 67 of file groebnerCone.h.
|
private |
Definition at line 42 of file groebnerCone.h.
|
private |
Definition at line 41 of file groebnerCone.h.
|
private |
Definition at line 40 of file groebnerCone.h.
|
private |
ideal to which this Groebner cone belongs to
Definition at line 35 of file groebnerCone.h.
|
private |
ring in which the ideal exists
Definition at line 39 of file groebnerCone.h.