diff --git a/src/generic/UnivPoly.jl b/src/generic/UnivPoly.jl index 8f022a7e91..16a395788f 100644 --- a/src/generic/UnivPoly.jl +++ b/src/generic/UnivPoly.jl @@ -1170,6 +1170,7 @@ x*y - z ``` """ function universal_polynomial_ring(R::Ring; cached::Bool=true, internal_ordering::Symbol=:lex) + @req !is_trivial(R) "Zero rings are currently not supported as coefficient ring." T = elem_type(R) U = mpoly_type(R)