Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

doctest failure in src/function_field.md:283-308 ```jldoctest julia> R, x = rational_function_field(GF(23), "x") # characteristic p (Rational function field over finite field F_23, x) julia> U, z = R["z"] (Univariate polynomial ring in z over rational function field, z) julia> g = z^2 + 3z + 1 z^2 + 3*z + 1 julia> S, y = function_field(g, "y") (Function Field over finite field F_23 with defining polynomial y^2 + 3*y + 1, y) julia> f = (x + 1)*y + 1 (x + 1)*y + 1 julia> base_ring(f) Rational function field over finite field F_23 julia> f^2 (20*x^2 + 19*x + 22)*y + 22*x^2 + 21*x julia> f*inv(f) 1 ``` Subexpression: S, y = function_field(g, "y") Evaluated output: ERROR: parents do not match Stacktrace: [1] error(s::String) @ Base ./error.jl:35 [2] check_parent @ ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbstractAlgebra.jl:209 [inlined] [3] isequal(x::AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}}, y::AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}}) @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/Poly.jl:872 [4] _isequal @ ./tuple.jl:471 [inlined] [5] isequal(t1::Tuple{AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}}, AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}, Symbol}, t2::Tuple{AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}}, AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}, Symbol}) @ Base ./tuple.jl:468 [6] ht_keyindex(h::Dict{Tuple{AbstractAlgebra.Generic.Poly, PolyRingElem, Symbol}, WeakRef}, key::Tuple{AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}}, AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}, Symbol}) @ Base ./dict.jl:275 [7] haskey @ ./dict.jl:569 [inlined] [8] (::AbstractAlgebra.var"#50#51"{AbstractAlgebra.Generic.var"#45#46"{AbstractAlgebra.GFElem{Int64}, AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}}, AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}, Symbol}, AbstractAlgebra.WeakValueDict{Tuple{AbstractAlgebra.Generic.Poly, PolyRingElem, Symbol}, Field}, Tuple{AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}}, AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}, Symbol}})() @ AbstractAlgebra ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/WeakValueDict.jl:544 [9] lock(f::AbstractAlgebra.var"#50#51"{AbstractAlgebra.Generic.var"#45#46"{AbstractAlgebra.GFElem{Int64}, AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}}, AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}, Symbol}, AbstractAlgebra.WeakValueDict{Tuple{AbstractAlgebra.Generic.Poly, PolyRingElem, Symbol}, Field}, Tuple{AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}}, AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}, Symbol}}, l::ReentrantLock) @ Base ./lock.jl:229 [10] lock @ ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/WeakValueDict.jl:512 [inlined] [11] get! @ ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/WeakValueDict.jl:542 [inlined] [12] get_cached! @ ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/AbstractAlgebra.jl:159 [inlined] [13] FunctionField @ ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/generic/GenericTypes.jl:1034 [inlined] [14] #function_field#356 @ ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/generic/FunctionField.jl:1366 [inlined] [15] function_field(p::AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.RationalFunctionFieldElem{AbstractAlgebra.GFElem{Int64}, AbstractAlgebra.Generic.Poly{AbstractAlgebra.GFElem{Int64}}}}, s::String) @ AbstractAlgebra.Generic ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/generic/FunctionField.jl:1362 [16] top-level scope @ none:1 Expected output: (Function Field over finite field F_23 with defining polynomia

doctest failure in src/function_field.md:283-308 ```jldoctest julia> R, x = rational_function_field(GF(23), "x") # characteristic p (Rational function field over finite field F_23, x) julia> U, z = R["z"] (Univariate polynomial ring in z over rational function field, z) julia> g = z^2 + 3z + 1 z^2 + 3*z + 1 julia> S, y = function_field(g, "y") (Function Field over finite field F_23 with defining polynomial y^2 + 3*y + 1, y) julia> f = (x + 1)*y + 1 (x + 1)*y + 1 julia> base_ring(f) Rational function field over finite field F_23 julia> f^2 (20*x^2 + 19*x + 22)*y + 22*x^2 + 21*x julia> f*inv(f) 1 ``` Subexpression: f = (x + 1)*y + 1 Evaluated output: ERROR: UndefVarError: `y` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: (x + 1)*y + 1 diff = Warning: Diff output requires color. (x + 1)*y + 1ERROR: UndefVarError: `y` not defined Stacktrace: [1] top-level scope @ none:1

doctest failure in src/function_field.md:283-308 ```jldoctest julia> R, x = rational_function_field(GF(23), "x") # characteristic p (Rational function field over finite field F_23, x) julia> U, z = R["z"] (Univariate polynomial ring in z over rational function field, z) julia> g = z^2 + 3z + 1 z^2 + 3*z + 1 julia> S, y = function_field(g, "y") (Function Field over finite field F_23 with defining polynomial y^2 + 3*y + 1, y) julia> f = (x + 1)*y + 1 (x + 1)*y + 1 julia> base_ring(f) Rational function field over finite field F_23 julia> f^2 (20*x^2 + 19*x + 22)*y + 22*x^2 + 21*x julia> f*inv(f) 1 ``` Subexpression: base_ring(f) Evaluated output: ERROR: UndefVarError: `f` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: Rational function field over finite field F_23 diff = Warning: Diff output requires color. Rational function field over finite field F_23ERROR: UndefVarError: `f` not defined Stacktrace: [1] top-level scope @ none:1

doctest failure in src/function_field.md:283-308 ```jldoctest julia> R, x = rational_function_field(GF(23), "x") # characteristic p (Rational function field over finite field F_23, x) julia> U, z = R["z"] (Univariate polynomial ring in z over rational function field, z) julia> g = z^2 + 3z + 1 z^2 + 3*z + 1 julia> S, y = function_field(g, "y") (Function Field over finite field F_23 with defining polynomial y^2 + 3*y + 1, y) julia> f = (x + 1)*y + 1 (x + 1)*y + 1 julia> base_ring(f) Rational function field over finite field F_23 julia> f^2 (20*x^2 + 19*x + 22)*y + 22*x^2 + 21*x julia> f*inv(f) 1 ``` Subexpression: f^2 Evaluated output: ERROR: UndefVarError: `f` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: (20*x^2 + 19*x + 22)*y + 22*x^2 + 21*x diff = Warning: Diff output requires color. (20*x^2 + 19*x + 22)*y + 22*x^2 + 21*xERROR: UndefVarError: `f` not defined Stacktrace: [1] top-level scope @ none:1

doctest failure in src/function_field.md:283-308 ```jldoctest julia> R, x = rational_function_field(GF(23), "x") # characteristic p (Rational function field over finite field F_23, x) julia> U, z = R["z"] (Univariate polynomial ring in z over rational function field, z) julia> g = z^2 + 3z + 1 z^2 + 3*z + 1 julia> S, y = function_field(g, "y") (Function Field over finite field F_23 with defining polynomial y^2 + 3*y + 1, y) julia> f = (x + 1)*y + 1 (x + 1)*y + 1 julia> base_ring(f) Rational function field over finite field F_23 julia> f^2 (20*x^2 + 19*x + 22)*y + 22*x^2 + 21*x julia> f*inv(f) 1 ``` Subexpression: f*inv(f) Evaluated output: ERROR: UndefVarError: `f` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: 1 diff = Warning: Diff output requires color. 1ERROR: UndefVarError: `f` not defined Stacktrace: [1] top-level scope @ none:1

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.