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