doctest failure in src/mseries.md:115-148 ```jldoctest julia> R, (x, y) = power_series_ring(ZZ, [2, 3], ["x", "y"]) (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(y^3) + O(x^2), y + O(y^3) + O(x^2)]) julia> f = R() O(y^3) + O(x^2) julia> g = R(123) 123 + O(y^3) + O(x^2) julia> h = R(BigInt(1234)) 1234 + O(y^3) + O(x^2) julia> k = R(x + 1) 1 + x + O(y^3) + O(x^2) julia> m = x + y + O(y^2) y + x + O(y^2) + O(x^2) julia> R, (x, y) = power_series_ring(ZZ, 3, ["x", "y"]) (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(y^3) + O(x^3), y + O(y^3) + O(x^3)]) julia> n = x + y + O(R, 2) y + x + O(y^2) + O(x^2) julia> R, (x, y) = power_series_ring(ZZ, [2, 3], 10, ["x", "y"]) (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(10), y + O(10)]) julia> R() O(10) julia> R(x) x + O(10) ``` Subexpression: R, (x, y) = power_series_ring(ZZ, [2, 3], 10, ["x", "y"]) Evaluated output: ERROR: MethodError: no method matching power_series_ring(::AbstractAlgebra.Integers{BigInt}, ::Int64, ::Vector{Symbol}; weights::Vector{Int64}, cached::Bool, model::Symbol) Closest candidates are: power_series_ring(::Ring, ::Int64, ::Vector{Symbol}; cached, model) got unsupported keyword argument "weights" @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbsMSeries.jl:246 power_series_ring(::Ring, ::Int64, ::AbstractVector{<:Union{Char, AbstractString, Symbol}}; cached, model) got unsupported keyword argument "weights" @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbsMSeries.jl:251 power_series_ring(::Ring, ::Int64, !Matched::Union{Char, AbstractString, Symbol}; cached, model) got unsupported keyword argument "weights" @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/RelSeries.jl:1420 ... Stacktrace: [1] kwerr(::NamedTuple{(:weights, :cached, :model), Tuple{Vector{Int64}, Bool, Symbol}}, ::Function, ::AbstractAlgebra.Integers{BigInt}, ::Int64, ::Vector{Symbol}) @ Base ./error.jl:165 [2] power_series_ring(R::AbstractAlgebra.Integers{BigInt}, weights::Vector{Int64}, prec::Int64, s::Vector{Symbol}; kw::Base.Pairs{Symbol, Any, Tuple{Symbol, Symbol}, NamedTuple{(:cached, :model), Tuple{Bool, Symbol}}}) @ AbstractAlgebra ./deprecated.jl:105 [3] power_series_ring(R::AbstractAlgebra.Integers{BigInt}, weights::Vector{Int64}, prec::Int64, s::Vector{String}; cached::Bool, model::Symbol) @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbsMSeries.jl:243 [4] power_series_ring(R::AbstractAlgebra.Integers{BigInt}, weights::Vector{Int64}, prec::Int64, s::Vector{String}) @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbsMSeries.jl:240 [5] top-level scope @ none:1 Expected output: (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(10), y + O(10)]) diff = Warning: Diff output requires color. (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(10), y + O(10)])ERROR: MethodError: no method matching power_series_ring(::AbstractAlgebra.Integers{BigInt}, ::Int64, ::Vector{Symbol}; weights::Vector{Int64}, cached::Bool, model::Symbol) Closest candidates are: power_series_ring(::Ring, ::Int64, ::Vector{Symbol}; cached, model) got unsupported keyword argument "weights" @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbsMSeries.jl:246 power_series_ring(::Ring, ::Int64, ::AbstractVector{<:Union{Char, AbstractString, Symbol}}; cached, model) got unsupported keyword argument "weights" @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbsMSeries.jl:251 power_series_rin

doctest failure in src/mseries.md:115-148 ```jldoctest julia> R, (x, y) = power_series_ring(ZZ, [2, 3], ["x", "y"]) (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(y^3) + O(x^2), y + O(y^3) + O(x^2)]) julia> f = R() O(y^3) + O(x^2) julia> g = R(123) 123 + O(y^3) + O(x^2) julia> h = R(BigInt(1234)) 1234 + O(y^3) + O(x^2) julia> k = R(x + 1) 1 + x + O(y^3) + O(x^2) julia> m = x + y + O(y^2) y + x + O(y^2) + O(x^2) julia> R, (x, y) = power_series_ring(ZZ, 3, ["x", "y"]) (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(y^3) + O(x^3), y + O(y^3) + O(x^3)]) julia> n = x + y + O(R, 2) y + x + O(y^2) + O(x^2) julia> R, (x, y) = power_series_ring(ZZ, [2, 3], 10, ["x", "y"]) (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(10), y + O(10)]) julia> R() O(10) julia> R(x) x + O(10) ``` Subexpression: R() Evaluated output: O(y^3) + O(x^3) Expected output: O(10) diff = Warning: Diff output requires color. O(10)O(y^3) + O(x^3)

doctest failure in src/mseries.md:115-148 ```jldoctest julia> R, (x, y) = power_series_ring(ZZ, [2, 3], ["x", "y"]) (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(y^3) + O(x^2), y + O(y^3) + O(x^2)]) julia> f = R() O(y^3) + O(x^2) julia> g = R(123) 123 + O(y^3) + O(x^2) julia> h = R(BigInt(1234)) 1234 + O(y^3) + O(x^2) julia> k = R(x + 1) 1 + x + O(y^3) + O(x^2) julia> m = x + y + O(y^2) y + x + O(y^2) + O(x^2) julia> R, (x, y) = power_series_ring(ZZ, 3, ["x", "y"]) (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(y^3) + O(x^3), y + O(y^3) + O(x^3)]) julia> n = x + y + O(R, 2) y + x + O(y^2) + O(x^2) julia> R, (x, y) = power_series_ring(ZZ, [2, 3], 10, ["x", "y"]) (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(10), y + O(10)]) julia> R() O(10) julia> R(x) x + O(10) ``` Subexpression: R(x) Evaluated output: x + O(y^3) + O(x^3) Expected output: x + O(10) diff = Warning: Diff output requires color. x + O(10)O(y^3) + O(x^3)

doctest failure in src/mseries.md:170-217 ```jldoctest julia> R, (x,) = power_series_ring(ZZ, [5], ["x"]) (Multivariate power series ring in 1 variable over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(x^5)]) julia> f = x^3 + 3x + 21 21 + 3*x + x^3 + O(x^5) julia> h = zero(R) O(x^5) julia> k = one(R) 1 + O(x^5) julia> isone(k) true julia> iszero(f) false julia> n = length(f) 3 julia> U = base_ring(R) Integers julia> v = symbols(R) 1-element Vector{Symbol}: :x julia> T = parent(x + 1) Multivariate power series ring in 1 variable x over integers julia> f == deepcopy(f) true julia> t = divexact(f*x, 1 + x) 21*x - 18*x^2 + 18*x^3 - 17*x^4 + O(x^5) julia> R, (x, y) = power_series_ring(ZZ, [2, 3], 10, ["x", "y"]) (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(10), y + O(10)]) julia> f = 3x^2*y + 1 1 + 3*y*x^2 + O(10) julia> one(R) 1 + O(10) ``` Subexpression: R, (x, y) = power_series_ring(ZZ, [2, 3], 10, ["x", "y"]) Evaluated output: ERROR: MethodError: no method matching power_series_ring(::AbstractAlgebra.Integers{BigInt}, ::Int64, ::Vector{Symbol}; weights::Vector{Int64}, cached::Bool, model::Symbol) Closest candidates are: power_series_ring(::Ring, ::Int64, ::Vector{Symbol}; cached, model) got unsupported keyword argument "weights" @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbsMSeries.jl:246 power_series_ring(::Ring, ::Int64, ::AbstractVector{<:Union{Char, AbstractString, Symbol}}; cached, model) got unsupported keyword argument "weights" @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbsMSeries.jl:251 power_series_ring(::Ring, ::Int64, !Matched::Union{Char, AbstractString, Symbol}; cached, model) got unsupported keyword argument "weights" @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/RelSeries.jl:1420 ... Stacktrace: [1] kwerr(::NamedTuple{(:weights, :cached, :model), Tuple{Vector{Int64}, Bool, Symbol}}, ::Function, ::AbstractAlgebra.Integers{BigInt}, ::Int64, ::Vector{Symbol}) @ Base ./error.jl:165 [2] power_series_ring(R::AbstractAlgebra.Integers{BigInt}, weights::Vector{Int64}, prec::Int64, s::Vector{Symbol}; kw::Base.Pairs{Symbol, Any, Tuple{Symbol, Symbol}, NamedTuple{(:cached, :model), Tuple{Bool, Symbol}}}) @ AbstractAlgebra ./deprecated.jl:105 [3] power_series_ring(R::AbstractAlgebra.Integers{BigInt}, weights::Vector{Int64}, prec::Int64, s::Vector{String}; cached::Bool, model::Symbol) @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbsMSeries.jl:243 [4] power_series_ring(R::AbstractAlgebra.Integers{BigInt}, weights::Vector{Int64}, prec::Int64, s::Vector{String}) @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbsMSeries.jl:240 [5] top-level scope @ none:1 Expected output: (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(10), y + O(10)]) diff = Warning: Diff output requires color. (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(10), y + O(10)])ERROR: MethodError: no method matching power_series_ring(::AbstractAlgebra.Integers{BigInt}, ::Int64, ::Vector{Symbol}; weights::Vector{Int64}, cached::Bool, model::Symbol) Closest candidates are: power_series_ring(::Ring, ::Int64, ::Vector{Symbol}; cached, model) got unsupported keyword argument "weights" @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbsMSeries.jl:246 power_series_ring(::Ring, ::Int64, ::AbstractVector{<:Union{Char, AbstractString, Symbol}}; cached, model) got unsupported keyword argument "weights" @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbsMSeries.jl:251 power_series_ring(::Ring, ::Int64, !Matched::Union{Char, AbstractString, Symbol}; cached,

doctest failure in src/mseries.md:170-217 ```jldoctest julia> R, (x,) = power_series_ring(ZZ, [5], ["x"]) (Multivariate power series ring in 1 variable over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(x^5)]) julia> f = x^3 + 3x + 21 21 + 3*x + x^3 + O(x^5) julia> h = zero(R) O(x^5) julia> k = one(R) 1 + O(x^5) julia> isone(k) true julia> iszero(f) false julia> n = length(f) 3 julia> U = base_ring(R) Integers julia> v = symbols(R) 1-element Vector{Symbol}: :x julia> T = parent(x + 1) Multivariate power series ring in 1 variable x over integers julia> f == deepcopy(f) true julia> t = divexact(f*x, 1 + x) 21*x - 18*x^2 + 18*x^3 - 17*x^4 + O(x^5) julia> R, (x, y) = power_series_ring(ZZ, [2, 3], 10, ["x", "y"]) (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(10), y + O(10)]) julia> f = 3x^2*y + 1 1 + 3*y*x^2 + O(10) julia> one(R) 1 + O(10) ``` Subexpression: f = 3x^2*y + 1 Evaluated output: ERROR: UndefVarError: `y` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: 1 + 3*y*x^2 + O(10) diff = Warning: Diff output requires color. 1 + 3*y*x^2 + O(10)ERROR: UndefVarError: `y` not defined Stacktrace: [1] top-level scope @ none:1

doctest failure in src/mseries.md:170-217 ```jldoctest julia> R, (x,) = power_series_ring(ZZ, [5], ["x"]) (Multivariate power series ring in 1 variable over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(x^5)]) julia> f = x^3 + 3x + 21 21 + 3*x + x^3 + O(x^5) julia> h = zero(R) O(x^5) julia> k = one(R) 1 + O(x^5) julia> isone(k) true julia> iszero(f) false julia> n = length(f) 3 julia> U = base_ring(R) Integers julia> v = symbols(R) 1-element Vector{Symbol}: :x julia> T = parent(x + 1) Multivariate power series ring in 1 variable x over integers julia> f == deepcopy(f) true julia> t = divexact(f*x, 1 + x) 21*x - 18*x^2 + 18*x^3 - 17*x^4 + O(x^5) julia> R, (x, y) = power_series_ring(ZZ, [2, 3], 10, ["x", "y"]) (Multivariate power series ring in 2 variables over integers, AbstractAlgebra.Generic.AbsMSeries{BigInt, AbstractAlgebra.Generic.MPoly{BigInt}}[x + O(10), y + O(10)]) julia> f = 3x^2*y + 1 1 + 3*y*x^2 + O(10) julia> one(R) 1 + O(10) ``` Subexpression: one(R) Evaluated output: 1 + O(x^5) Expected output: 1 + O(10) diff = Warning: Diff output requires color. 1 + O(10)O(x^5)