My Project
Loading...
Searching...
No Matches
tropicalDebug.h
Go to the documentation of this file.
1#ifndef TROPICALDEBUG_H
2#define TROPICALDEBUG_H
3
4#ifndef SING_NDEBUG
6#include "gfanlib/gfanlib.h"
7
8bool checkForNonPositiveEntries(const gfan::ZVector &w);
9bool checkForNonPositiveLaterEntries(const gfan::ZVector &w);
10
11bool areIdealsEqual(ideal I, ring r, ideal J, ring s);
12bool checkWeightVector(const ideal I, const ring r, const gfan::ZVector &weightVector, bool checkBorder=0);
13
14bool checkOrderingAndCone(const ring r, const gfan::ZCone zc);
15bool checkPolynomialInput(const ideal I, const ring r);
16bool checkPolyhedralInput(const gfan::ZCone zc, const gfan::ZVector p);
17
18#endif //SING_NDEBUG
19
20#endif
int p
Definition: cfModGcd.cc:4078
const CanonicalForm int s
Definition: facAbsFact.cc:51
const CanonicalForm & w
Definition: facAbsFact.cc:51
bool checkWeightVector(const ideal I, const ring r, const gfan::ZVector &weightVector, bool checkBorder=0)
bool checkPolyhedralInput(const gfan::ZCone zc, const gfan::ZVector p)
bool checkForNonPositiveEntries(const gfan::ZVector &w)
bool checkOrderingAndCone(const ring r, const gfan::ZCone zc)
bool checkPolynomialInput(const ideal I, const ring r)
bool areIdealsEqual(ideal I, ring r, ideal J, ring s)
bool checkForNonPositiveLaterEntries(const gfan::ZVector &w)