Require non-zero coefficient ring in free associative algebra (#1859)

lgoettgens · web-flow · commit 5d9aaca1854c · 2024-10-11T14:06:30.000+02:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -270,6 +270,7 @@ function free_associative_algebra(`
`270`	`270`	`s::Vector{Symbol};`
`271`	`271`	`cached::Bool = true,`
`272`	`272`	`)`
	`273`	`+ @req !is_trivial(R) "Zero rings are currently not supported as coefficient ring."`
`273`	`274`	`parent_obj = Generic.FreeAssociativeAlgebra{elem_type(R)}(R, s, cached)`
`274`	`275`	`return (parent_obj, gens(parent_obj))`
`275`	`276`	`end`