TropicalGeometry: allow point_vector as input for initial

oscar-system · Aug 19, 2024 · 988b607 · 988b607
1 parent 6b48af3
commit 988b607
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/TropicalGeometry/initial.jl b/src/TropicalGeometry/initial.jl
@@ -46,7 +46,7 @@ x + y + 1
 
 ```
 """
-function initial(f::MPolyRingElem, nu::TropicalSemiringMap, w::Vector{<:Union{QQFieldElem,ZZRingElem,Rational,Integer}}; perturbation::Union{Nothing,Vector{<:Union{QQFieldElem,ZZRingElem,Rational,Integer}}}=nothing)
+function initial(f::MPolyRingElem, nu::TropicalSemiringMap, w::AbstractVector{<:Union{QQFieldElem,ZZRingElem,Rational,Integer}}; perturbation::Union{Nothing,AbstractVector{<:Union{QQFieldElem,ZZRingElem,Rational,Integer}}}=nothing)
 
     ###
     # Evaluate the tropicalization of f and all its terms at w,
@@ -110,7 +110,7 @@ Ideal generated by
   -2*x^2*y + 3*y^3
 ```
 """
-function initial(I::MPolyIdeal, nu::TropicalSemiringMap, w::Vector{<:Union{QQFieldElem,ZZRingElem,Rational,Integer}}; skip_groebner_basis_computation::Bool=false)
+function initial(I::MPolyIdeal, nu::TropicalSemiringMap, w::AbstractVector{<:Union{QQFieldElem,ZZRingElem,Rational,Integer}}; skip_groebner_basis_computation::Bool=false)
     G = (skip_groebner_basis_computation ? gens(G) : groebner_basis(I,nu,w))
     return ideal(initial.(G,Ref(nu),Ref(w)))
 end