From 5d9aaca1854cc2671754764811af04f77e3e98c7 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:06:30 +0200
Subject: [PATCH] Require non-zero coefficient ring in free associative algebra
 (#1859)

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

diff --git a/src/FreeAssociativeAlgebra.jl b/src/FreeAssociativeAlgebra.jl
index 752c8a397..e0dd2102a 100644
--- a/src/FreeAssociativeAlgebra.jl
+++ b/src/FreeAssociativeAlgebra.jl
@@ -270,6 +270,7 @@ function free_associative_algebra(
   s::Vector{Symbol};
   cached::Bool = true,
 )
+  @req !is_trivial(R) "Zero rings are currently not supported as coefficient ring."
   parent_obj = Generic.FreeAssociativeAlgebra{elem_type(R)}(R, s, cached)
   return (parent_obj, gens(parent_obj))
 end