TropicalGeometry: fixed initials w.r.t. t-adic valuation (#4040)

oscar-system · Aug 30, 2024 · 43ab57b · 43ab57b
1 parent 8385005
commit 43ab57b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/TropicalGeometry/semiring_map.jl b/src/TropicalGeometry/semiring_map.jl
@@ -254,5 +254,5 @@ function initial(c::Union{RingElem,Integer,Rational}, nu::TropicalSemiringMap{Kt
     c = valued_field(nu)(c)
     iszero(c) && return zero(residue_field(nu)) # if c is zero, return 0
     c *= valued_field(nu)(uniformizer(nu))^(-t_adic_valuation(c,uniformizer(nu)))
-    return residue_field(nu)(c)
+    return evaluate(numerator(c),0)
 end