TropicalGeometry: Add some forgotten suggestions for docs (#4761)

Co-authored-by: Benjamin Lorenz

Author: lkastner

docs/src/TropicalGeometry/variety.md

@@ -37,6 +37,7 @@ is_pure(TropV::TropicalVariety)
 is_simplicial(TropV::TropicalVariety)
 rays(TropV::TropicalVariety)
 rays_modulo_lineality(TropV::TropicalVariety)
+tropical_prevariety
 vertices_and_rays(TropV::TropicalVariety)
 vertices(TropV::TropicalVariety)
 visualize(TropV::TropicalVariety)

src/TropicalGeometry/hypersurface.jl

@@ -263,15 +263,20 @@ end
 #
 
 @doc raw"""
-   tropical_prevariety(F::Vector{MPolyRingElem},nu::TropicalSemiringMap)
+    tropical_prevariety(F::Vector{MPolyRingElem},nu::TropicalSemiringMap)
 
-Return the tropical prevariety generated by intersecting tropical hypersurfaces corresponding to elements of `F`.
+Return the tropical prevariety generated by intersecting tropical hypersurfaces
+corresponding to elements of `F`.
 
-If `F` is a finite collection of polynomials with coefficients from a given field, return the tropical prevariety obtained by tropicalizing elements of `F` with respect to a given tropicalization map `nu`.
+If `F` is a finite collection of polynomials with coefficients from a given
+field, return the tropical prevariety obtained by tropicalizing elements of `F`
+with respect to a given tropicalization map `nu`.
 
 If no `nu` is given, default to trivial valuation with `min` convention.
 
-If `F` is a collection of tropical polynomials, the function computes and intersects the associated hypersurfaces.
+If `F` is a collection of tropical polynomials, the function computes and
+intersects the associated hypersurfaces.
+
 # Example
 We compute the Dressian $\text{Dr}(2,5)$ below.
 ```jldoctest
@@ -283,8 +288,7 @@ Ideal generated by
   x[[1, 3]]*x[[4, 5]] - x[[1, 4]]*x[[3, 5]] + x[[1, 5]]*x[[3, 4]]
   x[[2, 3]]*x[[4, 5]] - x[[2, 4]]*x[[3, 5]] + x[[2, 5]]*x[[3, 4]]
 
-#Compute Dressian without specified tropicalization map.
-julia> Dr25 = tropical_prevariety(gens(Gr25))
+julia> Dr25 = tropical_prevariety(gens(Gr25)) #Compute Dressian without specified tropicalization map.
 Polyhedral complex in ambient dimension 10
 
 julia> rays_modulo_lineality(Dr25)[1]
@@ -300,19 +304,16 @@ julia> rays_modulo_lineality(Dr25)[1]
  [-1, -1, 3, -1, 1, -1, 1, -1, 1, -1]
  [-1, -1, 1, 1, 3, -1, -1, -1, -1, 1]
 
-#Compute with respect to max convention
-julia> nu = tropical_semiring_map(QQ,max)
+julia> nu = tropical_semiring_map(QQ,max) #Compute with respect to max convention
 Map into Max tropical semiring encoding the trivial valuation on Rational field
 
 julia> Dr25max = tropical_prevariety(gens(Gr25),nu)
 Polyhedral complex in ambient dimension 10
 
-#Give input as tropical polynomials
-Dr25 = tropical_prevariety(tropical_polynomial.([f for f in gens(Gr25)]))
+julia> Dr25 = tropical_prevariety(tropical_polynomial.([f for f in gens(Gr25)])) #Give input as tropical polynomials
 Polyhedral complex in ambient dimension 10
 ```
 """
-#Input array of tropical polynomials
 function tropical_prevariety(F::Vector{<:AbstractAlgebra.Generic.MPoly{TropicalSemiringElem{minmax}}}) where {minmax<:Union{typeof(min),typeof(max)}}
     length(F) > 0 || error("Empty array.")
     HTF = tropical_hypersurface.(F)