Rename mpoly_ring to base_ring

Author: SoongNoonien

src/generic/GenericTypes.jl

@@ -417,7 +417,7 @@ end
 ###############################################################################
 
 @attributes mutable struct UniversalPolyRing{T <: RingElement} <: AbstractAlgebra.UniversalPolyRing{T}
-   mpoly_ring::AbstractAlgebra.MPolyRing{T}
+   base_ring::AbstractAlgebra.MPolyRing{T}
 
    function UniversalPolyRing{T}(
       R::Ring, s::Vector{Symbol}, internal_ordering::Symbol, cached::Bool=true

src/generic/UnivPoly.jl

@@ -11,7 +11,7 @@
 ###############################################################################
 
 base_ring_type(::Type{<:UniversalPolyRing{T}}) where T = mpoly_ring_type(T)
-base_ring(S::UniversalPolyRing) = S.mpoly_ring::base_ring_type(S)
+base_ring(S::UniversalPolyRing) = S.base_ring::base_ring_type(S)
 
 coefficient_ring_type(::Type{<:UniversalPolyRing{T}}) where T = parent_type(T)
 coefficient_ring(S::UniversalPolyRing) = coefficient_ring(base_ring(S))::coefficient_ring_type(S)
@@ -257,7 +257,7 @@ function _ensure_variables(S::UniversalPolyRing, v::Vector{<:VarName})
    end
    if !isempty(added_symbols)
       new_symbols = vcat(current_symbols, added_symbols)
-      S.mpoly_ring = AbstractAlgebra.polynomial_ring_only(coefficient_ring(S), new_symbols; internal_ordering=internal_ordering(S), cached=false)
+      S.base_ring = AbstractAlgebra.polynomial_ring_only(coefficient_ring(S), new_symbols; internal_ordering=internal_ordering(S), cached=false)
    end
    return idx
 end
@@ -268,7 +268,7 @@ function gen(S::UniversalPolyRing, s::VarName)
       new_symbols = copy(symbols(S))
       push!(new_symbols, Symbol(s))
       i = length(new_symbols)
-      S.mpoly_ring = AbstractAlgebra.polynomial_ring_only(coefficient_ring(S), new_symbols; internal_ordering=internal_ordering(S), cached=false)
+      S.base_ring = AbstractAlgebra.polynomial_ring_only(coefficient_ring(S), new_symbols; internal_ordering=internal_ordering(S), cached=false)
    end
    return @inbounds gen(S, i)
 end
@@ -974,7 +974,7 @@ end
 function _change_univ_poly_ring(R, Rx, cached::Bool)
    P = AbstractAlgebra.polynomial_ring_only(R, symbols(Rx); internal_ordering=internal_ordering(Rx), cached)
    S = universal_polynomial_ring(R; internal_ordering=internal_ordering(Rx), cached)
-   S.mpoly_ring = P
+   S.base_ring = P
    return S
 end