doctest failure in src/number_fields/elements.md:27-40 ```jldoctest julia> Qx, x = QQ["x"]; julia> K, a = number_field(x^2 - 2, "a"); julia> K([1, 2]) 2*a + 1 julia> L, b = radical_extension(3, a, "b") (Relative number field of degree 3 over number field, b) julia> L([a, 1, 1//2]) 1//2*b^2 + b + a ``` Subexpression: K([1, 2]) Evaluated output: ERROR: MethodError: no method matching base_field(::AnticNumberField) Closest candidates are: base_field(!Matched::HermGenus) at ~/work/Hecke.jl/Hecke.jl/src/QuadForm/Herm/Genus.jl:1232 base_field(!Matched::Hecke.LocalGenusSymbol) at ~/work/Hecke.jl/Hecke.jl/src/QuadForm/Quad/Genus.jl:1176 base_field(!Matched::Hecke.NfRel{T}) where T at ~/work/Hecke.jl/Hecke.jl/src/NumField/NfRel/NfRel.jl:93 ... Stacktrace: [1] (::AnticNumberField)(a::Vector{Int64}) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/Elem.jl:333 [2] top-level scope @ none:1 Expected output: 2*a + 1 diff = Warning: Diff output requires color. 2*a + 1ERROR: MethodError: no method matching base_field(::AnticNumberField) Closest candidates are: base_field(!Matched::HermGenus) at ~/work/Hecke.jl/Hecke.jl/src/QuadForm/Herm/Genus.jl:1232 base_field(!Matched::Hecke.LocalGenusSymbol) at ~/work/Hecke.jl/Hecke.jl/src/QuadForm/Quad/Genus.jl:1176 base_field(!Matched::Hecke.NfRel{T}) where T at ~/work/Hecke.jl/Hecke.jl/src/NumField/NfRel/NfRel.jl:93 ... Stacktrace: [1] (::AnticNumberField)(a::Vector{Int64}) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/Elem.jl:333 [2] top-level scope @ none:1

doctest failure in src/number_fields/elements.md:27-40 ```jldoctest julia> Qx, x = QQ["x"]; julia> K, a = number_field(x^2 - 2, "a"); julia> K([1, 2]) 2*a + 1 julia> L, b = radical_extension(3, a, "b") (Relative number field of degree 3 over number field, b) julia> L([a, 1, 1//2]) 1//2*b^2 + b + a ``` Subexpression: L, b = radical_extension(3, a, "b") Evaluated output: ERROR: MethodError: no method matching polynomial_ring(::AnticNumberField; cached=false) Closest candidates are: polynomial_ring(::Ring, !Matched::Tuple{}; kw...) at ~/.julia/packages/AbstractAlgebra/YkCOC/src/MPoly.jl:1367 polynomial_ring(::Ring, !Matched::Tuple{Union{Char, AbstractString, Symbol}, Vararg{Union{Char, AbstractString, Symbol}}}; kw...) at ~/.julia/packages/AbstractAlgebra/YkCOC/src/MPoly.jl:1364 polynomial_ring(::Ring, !Matched::Vector{Symbol}; kw...) at ~/.julia/packages/AbstractAlgebra/YkCOC/src/MPoly.jl:1370 ... Stacktrace: [1] radical_extension(n::Int64, a::nf_elem, s::String; cached::Bool, check::Bool) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/SimpleNumField/Field.jl:70 [2] radical_extension(n::Int64, a::nf_elem, s::String) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/SimpleNumField/Field.jl:67 [3] top-level scope @ none:1 Expected output: (Relative number field of degree 3 over number field, b) diff = Warning: Diff output requires color. (Relative number field of degree 3 over number field, b)ERROR: MethodError: no method matching polynomial_ring(::AnticNumberField; cached=false) Closest candidates are: polynomial_ring(::Ring, !Matched::Tuple{}; kw...) at ~/.julia/packages/AbstractAlgebra/YkCOC/src/MPoly.jl:1367 polynomial_ring(::Ring, !Matched::Tuple{Union{Char, AbstractString, Symbol}, Vararg{Union{Char, AbstractString, Symbol}}}; kw...) at ~/.julia/packages/AbstractAlgebra/YkCOC/src/MPoly.jl:1364 polynomial_ring(::Ring, !Matched::Vector{Symbol}; kw...) at ~/.julia/packages/AbstractAlgebra/YkCOC/src/MPoly.jl:1370 ... Stacktrace: [1] radical_extension(n::Int64, a::nf_elem, s::String; cached::Bool, check::Bool) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/SimpleNumField/Field.jl:70 [2] radical_extension(n::Int64, a::nf_elem, s::String) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/SimpleNumField/Field.jl:67 [3] top-level scope @ none:1

doctest failure in src/number_fields/elements.md:27-40 ```jldoctest julia> Qx, x = QQ["x"]; julia> K, a = number_field(x^2 - 2, "a"); julia> K([1, 2]) 2*a + 1 julia> L, b = radical_extension(3, a, "b") (Relative number field of degree 3 over number field, b) julia> L([a, 1, 1//2]) 1//2*b^2 + b + a ``` Subexpression: L([a, 1, 1//2]) Evaluated output: ERROR: UndefVarError: L not defined Stacktrace: [1] top-level scope @ none:1 Expected output: 1//2*b^2 + b + a diff = Warning: Diff output requires color. 1//2*b^2 + b + aERROR: UndefVarError: L not defined Stacktrace: [1] top-level scope @ none:1

doctest failure in src/number_fields/complex_embeddings.md:110-137 ```jldoctest julia> Qx, x = QQ["x"]; julia> K, a = number_field([x^2 + 1, x^3 + 2], "a"); julia> emb = complex_embeddings(K) 6-element Vector{Hecke.NumFieldEmbNfAbsNS}: Complex embedding corresponding to [1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 - 1.09 * i] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 - 1.09 * i] of non-simple number field julia> k, b = quadratic_field(-1); julia> i = hom(k, K, a[1]); julia> restrict(emb[1], i) Complex embedding corresponding to 1.00 * i of number field with defining polynomial x^2 + 1 over rational field julia> restrict(emb[3], i) Complex embedding corresponding to -1.00 * i of number field with defining polynomial x^2 + 1 over rational field ``` Subexpression: K, a = number_field([x^2 + 1, x^3 + 2], "a"); Evaluated output: ERROR: MethodError: no method matching polynomial_ring(::QQField; cached=false) Closest candidates are: polynomial_ring(::Ring, !Matched::Tuple{}; kw...) at ~/.julia/packages/AbstractAlgebra/YkCOC/src/MPoly.jl:1367 polynomial_ring(::Ring, !Matched::Tuple{Union{Char, AbstractString, Symbol}, Vararg{Union{Char, AbstractString, Symbol}}}; kw...) at ~/.julia/packages/AbstractAlgebra/YkCOC/src/MPoly.jl:1364 polynomial_ring(::Ring, !Matched::Vector{Symbol}; kw...) at ~/.julia/packages/AbstractAlgebra/YkCOC/src/MPoly.jl:1370 ... Stacktrace: [1] trace_assure @ ~/work/Hecke.jl/Hecke.jl/src/NumField/NfAbs/NonSimple.jl:1046 [inlined] [2] tr(a::NfAbsNSElem) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/NfAbs/NonSimple.jl:1067 [3] minpoly_via_trace(a::NfAbsNSElem) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/NfAbs/NonSimple.jl:1092 [4] minpoly @ ~/work/Hecke.jl/Hecke.jl/src/NumField/NfAbs/NonSimple.jl:567 [inlined] [5] _check_consistency(K::NfAbsNS) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/NonSimpleNumField/Field.jl:121 [6] number_field(f::Vector{QQPolyRingElem}, S::Vector{Symbol}; cached::Bool, check::Bool) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/NfAbs/NonSimple.jl:936 [7] number_field(f::Vector{QQPolyRingElem}, s::String; cached::Bool, check::Bool) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/NfAbs/NonSimple.jl:919 [8] number_field(f::Vector{QQPolyRingElem}, s::String) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/NfAbs/NonSimple.jl:912 [9] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: MethodError: no method matching polynomial_ring(::QQField; cached=false) Closest candidates are: polynomial_ring(::Ring, !Matched::Tuple{}; kw...) at ~/.julia/packages/AbstractAlgebra/YkCOC/src/MPoly.jl:1367 polynomial_ring(::Ring, !Matched::Tuple{Union{Char, AbstractString, Symbol}, Vararg{Union{Char, AbstractString, Symbol}}}; kw...) at ~/.julia/packages/AbstractAlgebra/YkCOC/src/MPoly.jl:1364 polynomial_ring(::Ring, !Matched::Vector{Symbol}; kw...) at ~/.julia/packages/AbstractAlgebra/YkCOC/src/MPoly.jl:1370 ... Stacktrace: [1] trace_assure @ ~/work/Hecke.jl/Hecke.jl/src/NumField/NfAbs/NonSimple.jl:1046 [inlined] [2] tr(a::NfAbsNSElem) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/NfAbs/NonSimple.jl:1067 [3] minpoly_via_trace(a::NfAbsNSElem) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/NfAbs/NonSimple.jl:1092 [4] minpoly @ ~/work/Hecke.jl/Hecke.jl/src/NumField/NfAbs/NonSimple.jl:567 [inlined] [5] _check_consistency(K::NfAbsNS) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField/NonSimpleNumField/Field.jl:121 [6] number_field(f::Vector{QQPolyRingElem}, S::Vector{Symbol}; cached::Bool, check::Bool) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumField

doctest failure in src/number_fields/complex_embeddings.md:110-137 ```jldoctest julia> Qx, x = QQ["x"]; julia> K, a = number_field([x^2 + 1, x^3 + 2], "a"); julia> emb = complex_embeddings(K) 6-element Vector{Hecke.NumFieldEmbNfAbsNS}: Complex embedding corresponding to [1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 - 1.09 * i] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 - 1.09 * i] of non-simple number field julia> k, b = quadratic_field(-1); julia> i = hom(k, K, a[1]); julia> restrict(emb[1], i) Complex embedding corresponding to 1.00 * i of number field with defining polynomial x^2 + 1 over rational field julia> restrict(emb[3], i) Complex embedding corresponding to -1.00 * i of number field with defining polynomial x^2 + 1 over rational field ``` Subexpression: emb = complex_embeddings(K) Evaluated output: ERROR: UndefVarError: K not defined Stacktrace: [1] top-level scope @ none:1 Expected output: 6-element Vector{Hecke.NumFieldEmbNfAbsNS}: Complex embedding corresponding to [1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 - 1.09 * i] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 - 1.09 * i] of non-simple number field diff = Warning: Diff output requires color. 6-element Vector{Hecke.NumFieldEmbNfAbsNS}: Complex embedding corresponding to [1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 - 1.09 * i] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 - 1.09 * i] of non-simple number fieldERROR: UndefVarError: K not defined Stacktrace: [1] top-level scope @ none:1

doctest failure in src/number_fields/complex_embeddings.md:110-137 ```jldoctest julia> Qx, x = QQ["x"]; julia> K, a = number_field([x^2 + 1, x^3 + 2], "a"); julia> emb = complex_embeddings(K) 6-element Vector{Hecke.NumFieldEmbNfAbsNS}: Complex embedding corresponding to [1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 - 1.09 * i] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 - 1.09 * i] of non-simple number field julia> k, b = quadratic_field(-1); julia> i = hom(k, K, a[1]); julia> restrict(emb[1], i) Complex embedding corresponding to 1.00 * i of number field with defining polynomial x^2 + 1 over rational field julia> restrict(emb[3], i) Complex embedding corresponding to -1.00 * i of number field with defining polynomial x^2 + 1 over rational field ``` Subexpression: i = hom(k, K, a[1]); Evaluated output: ERROR: UndefVarError: a not defined Stacktrace: [1] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: UndefVarError: a not defined Stacktrace: [1] top-level scope @ none:1

doctest failure in src/number_fields/complex_embeddings.md:110-137 ```jldoctest julia> Qx, x = QQ["x"]; julia> K, a = number_field([x^2 + 1, x^3 + 2], "a"); julia> emb = complex_embeddings(K) 6-element Vector{Hecke.NumFieldEmbNfAbsNS}: Complex embedding corresponding to [1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 - 1.09 * i] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 - 1.09 * i] of non-simple number field julia> k, b = quadratic_field(-1); julia> i = hom(k, K, a[1]); julia> restrict(emb[1], i) Complex embedding corresponding to 1.00 * i of number field with defining polynomial x^2 + 1 over rational field julia> restrict(emb[3], i) Complex embedding corresponding to -1.00 * i of number field with defining polynomial x^2 + 1 over rational field ``` Subexpression: restrict(emb[1], i) Evaluated output: ERROR: UndefVarError: emb not defined Stacktrace: [1] top-level scope @ none:1 Expected output: Complex embedding corresponding to 1.00 * i of number field with defining polynomial x^2 + 1 over rational field diff = Warning: Diff output requires color. Complex embedding corresponding to 1.00 * i of number field with defining polynomial x^2 + 1 over rational fieldERROR: UndefVarError: emb not defined Stacktrace: [1] top-level scope @ none:1

doctest failure in src/number_fields/complex_embeddings.md:110-137 ```jldoctest julia> Qx, x = QQ["x"]; julia> K, a = number_field([x^2 + 1, x^3 + 2], "a"); julia> emb = complex_embeddings(K) 6-element Vector{Hecke.NumFieldEmbNfAbsNS}: Complex embedding corresponding to [1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 + 1.09 * i] of non-simple number field Complex embedding corresponding to [-1.00 * i, -1.26] of non-simple number field Complex embedding corresponding to [-1.00 * i, 0.63 - 1.09 * i] of non-simple number field Complex embedding corresponding to [1.00 * i, 0.63 - 1.09 * i] of non-simple number field julia> k, b = quadratic_field(-1); julia> i = hom(k, K, a[1]); julia> restrict(emb[1], i) Complex embedding corresponding to 1.00 * i of number field with defining polynomial x^2 + 1 over rational field julia> restrict(emb[3], i) Complex embedding corresponding to -1.00 * i of number field with defining polynomial x^2 + 1 over rational field ``` Subexpression: restrict(emb[3], i) Evaluated output: ERROR: UndefVarError: emb not defined Stacktrace: [1] top-level scope @ none:1 Expected output: Complex embedding corresponding to -1.00 * i of number field with defining polynomial x^2 + 1 over rational field diff = Warning: Diff output requires color. Complex embedding corresponding to -1.00 * i of number field with defining polynomial x^2 + 1 over rational fieldERROR: UndefVarError: emb not defined Stacktrace: [1] top-level scope @ none:1

doctest failure in ~/work/Hecke.jl/Hecke.jl/src/NumField/Selmer.jl:38-55 ```jldoctest julia> k, a = wildanger_field(3, 13); julia> zk = maximal_order(k); julia> S = collect(keys(factor(6*zk))); julia> Sel, map = pselmer_group_fac_elem(2, S); julia> g = evaluate(map(Sel[3])); julia> K, _ = radical_extension(2, g); julia> ZK = maximal_order(K); julia> issubset(Set(keys(factor(discriminant(ZK)))) , S) true ``` Subexpression: zk = maximal_order(k); Evaluated output: ERROR: MethodError: no method matching basis(::AnticNumberField) Closest candidates are: basis(!Matched::Union{FlintQadicField, Hecke.LocalField}) at ~/work/Hecke.jl/Hecke.jl/src/LocalField/LocalField.jl:288 basis(!Matched::Hecke.RelFinField) at ~/work/Hecke.jl/Hecke.jl/src/LocalField/neq.jl:452 basis(!Matched::NfAbsOrdIdl; copy) at ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/Ideal/Ideal.jl:425 ... Stacktrace: [1] __equation_order(K::AnticNumberField) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/NfOrd.jl:938 [2] (::Hecke.var"#1961#1962"{AnticNumberField})() @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/NfOrd.jl:923 [3] get! @ ./dict.jl:481 [inlined] [4] get_attribute! @ ~/.julia/packages/AbstractAlgebra/YkCOC/src/Attributes.jl:230 [inlined] [5] EquationOrder @ ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/NfOrd.jl:922 [inlined] [6] EquationOrder @ ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/NfOrd.jl:921 [inlined] [7] equation_order @ ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfRelOrd/NfRelOrd.jl:519 [inlined] [8] any_order(K::AnticNumberField) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/NfOrd.jl:867 [9] #2008 @ ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/MaxOrd/MaxOrd.jl:46 [inlined] [10] get!(default::Hecke.var"#2008#2009"{Vector{ZZRingElem}, AnticNumberField}, h::Dict{Symbol, Any}, key::Symbol) @ Base ./dict.jl:481 [11] get_attribute! @ ~/.julia/packages/AbstractAlgebra/YkCOC/src/Attributes.jl:230 [inlined] [12] #MaximalOrder#2007 @ ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/MaxOrd/MaxOrd.jl:45 [inlined] [13] MaximalOrder(K::AnticNumberField) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/MaxOrd/MaxOrd.jl:44 [14] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: MethodError: no method matching basis(::AnticNumberField) Closest candidates are: basis(!Matched::Union{FlintQadicField, Hecke.LocalField}) at ~/work/Hecke.jl/Hecke.jl/src/LocalField/LocalField.jl:288 basis(!Matched::Hecke.RelFinField) at ~/work/Hecke.jl/Hecke.jl/src/LocalField/neq.jl:452 basis(!Matched::NfAbsOrdIdl; copy) at ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/Ideal/Ideal.jl:425 ... Stacktrace: [1] __equation_order(K::AnticNumberField) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/NfOrd.jl:938 [2] (::Hecke.var"#1961#1962"{AnticNumberField})() @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/NfOrd.jl:923 [3] get! @ ./dict.jl:481 [inlined] [4] get_attribute! @ ~/.julia/packages/AbstractAlgebra/YkCOC/src/Attributes.jl:230 [inlined] [5] EquationOrder @ ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/NfOrd.jl:922 [inlined] [6] EquationOrder @ ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/NfOrd.jl:921 [inlined] [7] equation_order @ ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfRelOrd/NfRelOrd.jl:519 [inlined] [8] any_order(K::AnticNumberField) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/NfOrd.jl:867 [9] #2008 @ ~/work/Hecke.jl/Hecke.jl/src/NumFieldOrd/NfOrd/MaxOrd/MaxOrd.jl:46 [inlined] [10] get!(default::Hecke.var"#2008#2009"{Vector{ZZRingElem}, AnticNumberField}, h::Dict{Symbol, Any}, key::Symbol) @ Base ./dict.jl:481 [11] get_attribute! @ ~/.julia/packages/AbstractAlgebra/YkCOC/src/Attributes.jl:230 [inlined] [12] #MaximalOrder#2007 @ ~/work/Hecke.jl/Hecke.jl/src/NumFieldO

doctest failure in ~/work/Hecke.jl/Hecke.jl/src/NumField/Selmer.jl:38-55 ```jldoctest julia> k, a = wildanger_field(3, 13); julia> zk = maximal_order(k); julia> S = collect(keys(factor(6*zk))); julia> Sel, map = pselmer_group_fac_elem(2, S); julia> g = evaluate(map(Sel[3])); julia> K, _ = radical_extension(2, g); julia> ZK = maximal_order(K); julia> issubset(Set(keys(factor(discriminant(ZK)))) , S) true ``` Subexpression: S = collect(keys(factor(6*zk))); Evaluated output: ERROR: UndefVarError: zk not defined Stacktrace: [1] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: UndefVarError: zk 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.

Process completed with exit code 1.

Process completed with exit code 1.