Require non-zero coefficient ring in universal polynomial ring (#1858)

Nemocas · Oct 11, 2024 · 0e8c63d · 0e8c63d
1 parent 5d9aaca
commit 0e8c63d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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)