My Project
|
#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 | pointsOutwards (const gfan::ZVector w) const |
Return 1 if w points is in the dual of the polyhedral cone, 0 otherwise. More... | |
bool | checkFlipConeInput (const gfan::ZVector interiorPoint, const gfan::ZVector facetNormal) const |
Debug tools. More... | |
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 27 of file groebnerCone.h.
groebnerCone::groebnerCone | ( | ) |
Definition at line 69 of file groebnerCone.cc.
groebnerCone::groebnerCone | ( | const ideal | I, |
const ring | r, | ||
const tropicalStrategy & | currentCase | ||
) |
Definition at line 78 of file groebnerCone.cc.
groebnerCone::groebnerCone | ( | const ideal | I, |
const ring | r, | ||
const gfan::ZVector & | w, | ||
const tropicalStrategy & | currentCase | ||
) |
Definition at line 131 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 189 of file groebnerCone.cc.
groebnerCone::groebnerCone | ( | const ideal | I, |
const ideal | inI, | ||
const ring | r, | ||
const tropicalStrategy & | currentCase | ||
) |
Definition at line 246 of file groebnerCone.cc.
groebnerCone::groebnerCone | ( | const groebnerCone & | sigma | ) |
Definition at line 305 of file groebnerCone.cc.
groebnerCone::~groebnerCone | ( | ) |
Definition at line 319 of file groebnerCone.cc.
bool groebnerCone::checkFlipConeInput | ( | const gfan::ZVector | interiorPoint, |
const gfan::ZVector | facetNormal | ||
) | const |
Debug tools.
Definition at line 23 of file groebnerCone.cc.
bool groebnerCone::contains | ( | const gfan::ZVector & | w | ) | const |
Returns true if Groebner cone contains w, false otherwise.
Definition at line 344 of file groebnerCone.cc.
|
inline |
Definition at line 53 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 383 of file groebnerCone.cc.
|
inline |
Definition at line 65 of file groebnerCone.h.
|
inline |
Definition at line 64 of file groebnerCone.h.
|
inline |
Definition at line 62 of file groebnerCone.h.
|
inline |
Definition at line 63 of file groebnerCone.h.
|
inline |
Definition at line 66 of file groebnerCone.h.
groebnerCones groebnerCone::groebnerNeighbours | ( | ) | const |
Returns a complete list of neighboring Groebner cones.
Definition at line 404 of file groebnerCone.cc.
|
inline |
Definition at line 69 of file groebnerCone.h.
groebnerCone & groebnerCone::operator= | ( | const groebnerCone & | sigma | ) |
Definition at line 328 of file groebnerCone.cc.
bool groebnerCone::pointsOutwards | ( | const gfan::ZVector | w | ) | const |
Return 1 if w points is in the dual of the polyhedral cone, 0 otherwise.
Definition at line 428 of file groebnerCone.cc.
groebnerCones groebnerCone::tropicalNeighbours | ( | ) | const |
Returns a complete list of neighboring Groebner cones in the tropical variety.
Definition at line 438 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 354 of file groebnerCone.cc.
|
friend |
Definition at line 67 of file groebnerCone.h.
|
private |
Definition at line 41 of file groebnerCone.h.
|
private |
Definition at line 40 of file groebnerCone.h.
|
private |
Definition at line 39 of file groebnerCone.h.
|
private |
ideal to which this Groebner cone belongs to
Definition at line 34 of file groebnerCone.h.
|
private |
ring in which the ideal exists
Definition at line 38 of file groebnerCone.h.