CurrentModule = Oscar
A tropical curve is a graph with multiplicities on its edges. If embedded, it is a polyhedral complex of dimension (at most) one.
In addition to converting from TropicalVariety, objects of type TropicalCurve can be constructed from:
In addition to the properties inherited from TropicalVariety, objects of type TropicalCurve have the following exclusive properties:
graph(tc::TropicalCurve)