Update experimental/FTheoryTools/src/auxiliary.jl

Co-authored-by: Max Horn <[email protected]>
oscar-system · Sep 27, 2024 · 1f14c6e · 1f14c6e
1 parent 93491b2
commit 1f14c6e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/experimental/FTheoryTools/src/auxiliary.jl b/experimental/FTheoryTools/src/auxiliary.jl
@@ -179,7 +179,7 @@ function _kodaira_type(id::MPolyIdeal{<:MPolyRingElem}, ords::Tuple{Int64, Int64
 
     # Create new ring with auxiliary variable to construct the monodromy polynomial
     R = parent(f)
-    S, (_psi, _old_gens) = polynomial_ring(QQ, [:_psi; symbols(R)]; cached = false)
+    S, (_psi, _old_gens) = polynomial_ring(QQ, [:_psi], symbols(R); cached = false)
     ring_map = hom(R, S, _old_gens)
     poly_f = ring_map(f)
     poly_g = ring_map(g)