![]() |
#include <libpolys/polys/simpleideals.h>#include <kernel/GBEngine/kstd1.h>#include <gfanlib/gfanlib.h>#include <std_wrapper.h>#include <callgfanlib_conversion.h>#include <tropical.h>Go to the source code of this file.
Functions | |
| 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) |
| 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) |
| bool areIdealsEqual | ( | ideal | I, |
| ring | r, | ||
| ideal | J, | ||
| ring | s | ||
| ) |
Definition at line 41 of file tropicalDebug.cc.
| bool checkForNonPositiveEntries | ( | const gfan::ZVector & | w | ) |
Definition at line 13 of file tropicalDebug.cc.
| bool checkForNonPositiveLaterEntries | ( | const gfan::ZVector & | w | ) |
Definition at line 27 of file tropicalDebug.cc.
Definition at line 90 of file tropicalDebug.cc.
Definition at line 117 of file tropicalDebug.cc.
Definition at line 110 of file tropicalDebug.cc.
| bool checkWeightVector | ( | const ideal | I, |
| const ring | r, | ||
| const gfan::ZVector & | weightVector, | ||
| bool | checkBorder | ||
| ) |
Definition at line 74 of file tropicalDebug.cc.