tropicalDebug.h
Go to the documentation of this file.
1 #ifndef TROPICALDEBUG_H
2 #define TROPICALDEBUG_H
3 
4 #ifndef NDEBUG
5 
6 
8 #include <gfanlib/gfanlib.h>
9 
10 
11 bool checkForNonPositiveEntries(const gfan::ZVector &w);
12 bool checkForNonPositiveLaterEntries(const gfan::ZVector &w);
13 
14 bool areIdealsEqual(ideal I, ring r, ideal J, ring s);
15 bool checkWeightVector(const ideal I, const ring r, const gfan::ZVector &weightVector, bool checkBorder=0);
16 
17 bool checkOrderingAndCone(const ring r, const gfan::ZCone zc);
18 bool checkPolynomialInput(const ideal I, const ring r);
19 bool checkPolyhedralInput(const gfan::ZCone zc, const gfan::ZVector p);
20 
21 #endif //NDEBUG
22 
23 #endif
const CanonicalForm int s
Definition: facAbsFact.cc:55
return P p
Definition: myNF.cc:203
bool checkForNonPositiveLaterEntries(const gfan::ZVector &w)
const ring r
Definition: syzextra.cc:208
const CanonicalForm & w
Definition: facAbsFact.cc:55
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)