diff --git a/src/input_output/AbstractAlgebra.jl b/src/input_output/AbstractAlgebra.jl index 48ac9079..329a4d74 100644 --- a/src/input_output/AbstractAlgebra.jl +++ b/src/input_output/AbstractAlgebra.jl @@ -59,7 +59,7 @@ function io_extract_ring(polynomials) else # Detect that K is either AbstractAlgebra.QQ or Nemo.QQ base = AbstractAlgebra.base_ring(K) - if !(hasmethod(AbstractAlgebra.base_ring, typeof(base))) + if !(hasmethod(AbstractAlgebra.base_ring, (typeof(base),))) ground = :generic elseif !(AbstractAlgebra.base_ring(base) == Union{}) ground = :generic