 |
My Project
UNKNOWN_GIT_VERSION
|
Go to the documentation of this file. 1 #ifndef TROPICALDEBUG_H
2 #define TROPICALDEBUG_H
6 #include "gfanlib/gfanlib.h"
12 bool checkWeightVector(
const ideal I,
const ring r,
const gfan::ZVector &weightVector,
bool checkBorder=0);
bool checkForNonPositiveEntries(const gfan::ZVector &w)
bool checkForNonPositiveLaterEntries(const gfan::ZVector &w)
bool checkWeightVector(const ideal I, const ring r, const gfan::ZVector &weightVector, bool checkBorder=0)
bool checkPolynomialInput(const ideal I, const ring r)
bool checkOrderingAndCone(const ring r, const gfan::ZCone zc)
const CanonicalForm int s
bool checkPolyhedralInput(const gfan::ZCone zc, const gfan::ZVector p)
bool areIdealsEqual(ideal I, ring r, ideal J, ring s)