Make comparison of polynomials error if parent check fails #3403
Annotations
6 errors
|
Run julia-actions/julia-docdeploy@v1:
docs/src/function_field.md#L283
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
|
|
Run julia-actions/julia-docdeploy@v1:
docs/src/function_field.md#L283
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
|
|
Run julia-actions/julia-docdeploy@v1:
docs/src/function_field.md#L283
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
|
|
Run julia-actions/julia-docdeploy@v1:
docs/src/function_field.md#L283
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
|
|
Run julia-actions/julia-docdeploy@v1:
docs/src/function_field.md#L283
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
|
|
Run julia-actions/julia-docdeploy@v1
Process completed with exit code 1.
|
Loading