various suggestions

src/TropicalGeometry/matrix.jl

@@ -43,19 +43,21 @@ function det(A::Matrix{TropicalSemiringElem{minOrMax}}) where {minOrMax<:Union{t
 end
 
 @doc raw"""
-    tropically_generic(A::Generic.MatSpaceElem{<: TropicalSemiringElem}, minOrMax)
-Checks if a collection of vectors in the tropical torus (given as columns of a matrix `A`) are in tropical general position with respect to the `minOrMax` convention.
+    is_tropically_generic(A::MatrixElem{<:TropicalSemiringElem}, minOrMax)
+
+Check if a collection of vectors in the tropical torus (given as columns of a matrix `A`) are in tropical general position with respect to the `minOrMax` convention.
+
 # Examples
 ```jldoctest
 julia> A = matrix(tropical_semiring(),[1 0;0 1])
 [(1)   (0)]
 [(0)   (1)]
 
-julia> tropically_generic(A,min)
+julia> is_tropically_generic(A,min)
 true
 ```
 """
-function tropically_generic(A::Generic.MatSpaceElem{<:TropicalSemiringElem}, minOrMax)
+function is_tropically_generic(A::MatrixElem{<:TropicalSemiringElem}, minOrMax)
     @req convention(A) == minOrMax "Semiring convention not as declared"
     if ncols(A) == nrows(A)
         return Polymake.tropical.tsgn(A) != 0

src/exports.jl

@@ -861,6 +861,7 @@ export is_total
 export is_transitive
 export is_transverse_intersection
 export is_trivial
+export is_tropically_generic
 export is_two_sided
 export is_unipotent
 export is_unit
@@ -1447,7 +1448,6 @@ export tropical_median_consensus
 export tropical_pluecker_vector
 export tropical_polynomial
 export tropical_variety
-export tropically_generic
 export truncate
 export turn_denominator_into_polyhedron
 export tutte_connectivity

test/TropicalGeometry/matrix.jl

@@ -12,7 +12,7 @@ end
 
 @testset "tropical general position" begin
 	A = matrix(tropical_semiring(),[1 0;0 1])
-	@test tropically_generic(A,min) == true
+	@test is_tropically_generic(A,min) == true
 	A = matrix(tropical_semiring(max),[1 0;0 1])
-	@test_throws ArgumentError tropically_generic(A,min)
+	@test_throws ArgumentError is_tropically_generic(A,min)
 end