We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 653f220 commit 3ecbd77Copy full SHA for 3ecbd77
src/generic/UnivPoly.jl
@@ -14,7 +14,7 @@ base_ring_type(::Type{<:UniversalPolyRing{T}}) where T = mpoly_ring_type(T)
14
base_ring(S::UniversalPolyRing) = S.mpoly_ring::base_ring_type(S)
15
16
coefficient_ring_type(::Type{<:UniversalPolyRing{T}}) where T = parent_type(T)
17
-coefficient_ring(S::UniversalPolyRing) = base_ring(base_ring(S))::coefficient_ring_type(S)
+coefficient_ring(S::UniversalPolyRing) = coefficient_ring(base_ring(S))::coefficient_ring_type(S)
18
19
function is_domain_type(::Type{<:UnivPoly{S}}) where {S <: RingElement}
20
return is_domain_type(S)
0 commit comments