Positive tropial varieties (in OSCAR) are weighted polyhedral complexes and as per the definition in SW05. They may arise as tropicalizations of polynomial ideals over an ordered field. Currently, the only ideals supported are linear ideals over rational numbers or rational function fields over rational numbers.
positive_tropical_variety(::MPolyIdeal, ::TropicalSemiringMap)