tropicalCycle -- constructs a TropicalCycle from a Fan and a list with multiplicities

• Usage:

  tropicalCycle(F,mult)

• Inputs:
  • F, an instance of the type Fan, mult:List
• Outputs:
  • T, a tropical cycle,

i1 : F = fan {posHull matrix {{1},{0},{0}}, posHull matrix {{0},{1},{0}}, posHull matrix {{0},{0},{1}}, posHull matrix {{-1},{-1},{-1}}}

o1 = F

o1 : Fan

i2 : mult = {1,2,-3,1}

o2 = {1, 2, -3, 1}

o2 : List

i3 : tropicalCycle(F, mult)

o3 = TropicalCycle{...2...}

o3 : TropicalCycle