1 #ifndef GFANLIB_TROPICALVARIETYOFPOLYNOMIALS_H
2 #define GFANLIB_TROPICALVARIETYOFPOLYNOMIALS_H
4 #include <gfanlib/gfanlib.h>
17 bool operator() (
const gfan::ZCone &zc,
const gfan::ZCone &zd)
const
19 int n = zc.dimension();
20 int m = zd.dimension();
implementation of the class tropicalStrategy
Class used for (list of) interpreter objects.
BOOLEAN tropicalVariety01(leftv res, leftv args)
const CanonicalForm CFMap CFMap int &both_non_zero int n
ZConesSortedByDimension tropicalVarietySortedByDimension(const poly g, const ring r, const tropicalStrategy *currentCase)
BOOLEAN tropicalVariety00(leftv res, leftv args)
std::set< gfan::ZCone, ZConeCompareDimensionFirst > ZConesSortedByDimension
std::set< gfan::ZCone > tropicalVariety(const poly g, const ring r, const tropicalStrategy *currentCase)
bool operator()(const gfan::ZCone &zc, const gfan::ZCone &zd) const