1 #ifndef TROPICALDEBUG_H 2 #define TROPICALDEBUG_H 8 #include <gfanlib/gfanlib.h> 15 bool checkWeightVector(
const ideal I,
const ring
r,
const gfan::ZVector &weightVector,
bool checkBorder=0);
const CanonicalForm int s
bool checkForNonPositiveLaterEntries(const gfan::ZVector &w)
bool checkOrderingAndCone(const ring r, const gfan::ZCone zc)
bool checkPolyhedralInput(const gfan::ZCone zc, const gfan::ZVector p)
bool checkWeightVector(const ideal I, const ring r, const gfan::ZVector &weightVector, bool checkBorder=0)
bool checkPolynomialInput(const ideal I, const ring r)
bool checkForNonPositiveEntries(const gfan::ZVector &w)
bool areIdealsEqual(ideal I, ring r, ideal J, ring s)