Loading...
Searching...
No Matches
tropicalDebug.h
Go to the documentation of this file.
#ifndef TROPICALDEBUG_H
#define TROPICALDEBUG_H
#ifndef SING_NDEBUG
#include "libpolys/polys/simpleideals.h"
#include "gfanlib/gfanlib.h"
bool checkForNonPositiveEntries(const gfan::ZVector &w);
bool checkForNonPositiveLaterEntries(const gfan::ZVector &w);
bool areIdealsEqual(ideal I, ring r, ideal J, ring s);
bool checkWeightVector(const ideal I, const ring r, const gfan::ZVector &weightVector, bool checkBorder=0);
bool checkOrderingAndCone(const ring r, const gfan::ZCone zc);
bool checkPolynomialInput(const ideal I, const ring r);
bool checkPolyhedralInput(const gfan::ZCone zc, const gfan::ZVector p);
#endif //SING_NDEBUG
#endif
p
int p
Definition cfModGcd.cc:4086
s
const CanonicalForm int s
Definition facAbsFact.cc:51
w
const CanonicalForm & w
Definition facAbsFact.cc:51
simpleideals.h
checkWeightVector
bool checkWeightVector(const ideal I, const ring r, const gfan::ZVector &weightVector, bool checkBorder=0)
Definition tropicalDebug.cc:74
checkPolyhedralInput
bool checkPolyhedralInput(const gfan::ZCone zc, const gfan::ZVector p)
Definition tropicalDebug.cc:117
checkForNonPositiveEntries
bool checkForNonPositiveEntries(const gfan::ZVector &w)
Definition tropicalDebug.cc:13
checkOrderingAndCone
bool checkOrderingAndCone(const ring r, const gfan::ZCone zc)
Definition tropicalDebug.cc:90
checkPolynomialInput
bool checkPolynomialInput(const ideal I, const ring r)
Definition tropicalDebug.cc:110
areIdealsEqual
bool areIdealsEqual(ideal I, ring r, ideal J, ring s)
Definition tropicalDebug.cc:41
checkForNonPositiveLaterEntries
bool checkForNonPositiveLaterEntries(const gfan::ZVector &w)
Definition tropicalDebug.cc:27