From 0e8c63d39d88e75c9b5d3726d4d0607f57df67b4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Fri, 11 Oct 2024 14:09:57 +0200
Subject: [PATCH] Require non-zero coefficient ring in universal polynomial
 ring (#1858)

---
 src/generic/UnivPoly.jl | 1 +
 1 file changed, 1 insertion(+)

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)