1
#ifndef TROPICALMAP_H_INCLUDED
2
#define TROPICALMAP_H_INCLUDED
4
#include "polyhedralfan.h"
5
#include "polynomial.h"
7
PolyhedralCone imageOfConeUnderTropicalMap(PolynomialSet const &polynomialMap, PolyhedralCone const &cone);
8
PolyhedralFan imageOfTropicalMapGivenLinearityCones(PolynomialSet const &polynomialMap, PolyhedralFan linearityCones);
11
This routine computes the image of the support of the fan domain
12
under the tropicalization of the polynomial map.
14
PolyhedralFan imageOfTropicalMap(PolynomialSet const &polynomialMap, PolyhedralFan domain);