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.
mpoly_ring
1 parent 21da8aa commit 6b39cacCopy full SHA for 6b39cac
src/generic/UnivPoly.jl
@@ -30,8 +30,6 @@ elem_type(::Type{UniversalPolyRing{T}}) where {T<:RingElement} = UnivPoly{T}
30
31
parent_type(::Type{UnivPoly{T}}) where {T<:RingElement} = UniversalPolyRing{T}
32
33
-mpoly_ring(S::UniversalPolyRing) = base_ring(S)
34
-
35
number_of_variables(S::UniversalPolyRing) = number_of_variables(base_ring(S))
36
37
number_of_generators(S::UniversalPolyRing) = number_of_generators(base_ring(S))
0 commit comments