TropicalCycle -- a Type for working with tropical cycles

Description

This is the main type for tropical cycles. A TropicalCycle consists of a Fan with an extra HashKey Multiplicities, which is the list of multiplicities on the maximal cones listed in the order that the maximal cones appear in the MaxCones list. A TropicalCycle is saved as a hash table which contains the Fan and the Multiplicities.

Functions and methods returning a tropical cycle :

stableIntersection -- computes the stable intersection of two tropical varieties
tropicalCycle -- constructs a TropicalCycle from a Fan and a list with multiplicities
tropicalVariety -- the tropical variety associated to an ideal

Methods that use a tropical cycle :

ambDim(TropicalCycle) -- computes the dimension of the ambient space of a tropical cycle
cones(ZZ,TropicalCycle) -- computes the cones of a tropical cycle
dim(TropicalCycle) -- computes the dimension of a tropical cycle
fan(TropicalCycle) -- outputs the fan associated to the tropical cycle
fVector(TropicalCycle) -- computes the fVector of a tropical cycle
isBalanced(TropicalCycle) -- see isBalanced -- checks whether a tropical cycle is balanced
isPure(TropicalCycle) -- checks whether a tropical cycle is pure
isSimplicial(TropicalCycle) -- checks whether a tropical cycle is simplicial
linealitySpace(TropicalCycle) -- computes the lineality space of a tropical cycle
maxCones(TropicalCycle) -- computes the maximal cone of a tropical cycle
multiplicities(TropicalCycle) -- see multiplicities -- returns the list of multiplicities on maximal cones in a tropical cycle
rays(TropicalCycle) -- computes the rays of a tropical cycle
stableIntersection(TropicalCycle,TropicalCycle) -- see stableIntersection -- computes the stable intersection of two tropical varieties
star(TropicalCycle,Polyhedron) (missing documentation)

For the programmer

The object TropicalCycle is a type, with ancestor classes MutableHashTable < HashTable < Thing.