Update src/TropicalGeometry/positive_variety.jl

Co-authored-by: Lars Göttgens <[email protected]>

Author: YueRen

src/TropicalGeometry/positive_variety.jl

@@ -4,8 +4,8 @@
 Return the positive tropical variety of `I` as a `PolyhedralComplex` as per the definition in [SW05](@cite).
 
 Assumes that `I` is generated either by binomials or by linear polynomials and that `I` is defined either over
-(a) the rational numbers and that `nu` encodes the trivial valuation,
-(b) the rational function field over the rational numbers and that `nu` encodes the t-adic valuation.
+1. the rational numbers and that `nu` encodes the trivial valuation,
+2. the rational function field over the rational numbers and that `nu` encodes the t-adic valuation.
 
 # Examples
 ```jldoctest