diff --git a/src/TropicalGeometry/initial.jl b/src/TropicalGeometry/initial.jl index 3c07ab71c63f..32ea2dd64794 100644 --- 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