From 069ac336d9b6369713fb3669b09d377052be7f26 Mon Sep 17 00:00:00 2001 From: Martin Wagner Date: Tue, 7 Oct 2025 17:58:19 +0200 Subject: [PATCH] Avoid `base_ring` for universal polynomial rings in `ActionPolyRing` --- experimental/ActionPolyRing/src/Content.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/experimental/ActionPolyRing/src/Content.jl b/experimental/ActionPolyRing/src/Content.jl index f8b94d317ff0..df52941bd28d 100644 --- a/experimental/ActionPolyRing/src/Content.jl +++ b/experimental/ActionPolyRing/src/Content.jl @@ -225,7 +225,7 @@ factor(apr::ActionPolyRingElem) = __wrap_factorization_apr(factor(data(apr)), pa ##### Rings ##### -base_ring(apr::ActionPolyRing) = base_ring(__upr(apr)) +base_ring(apr::ActionPolyRing) = coefficient_ring(__upr(apr)) @doc raw""" n_elementary_symbols(A::ActionPolyRing) -> Int