Add more setcoeff! methods and use them to deduplicate PolyRingElem constructors
#3033
lgoettgensCI.yml
on: pull_request
Documentation
16m 10s
Matrix: test
Annotations
16 errors and 1 notice
|
test (1.10, macOS-latest)
Process completed with exit code 1.
|
|
test (1.10, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.6, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.11, ubuntu-latest)
Process completed with exit code 1.
|
|
test (nightly, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.10, windows-latest)
Process completed with exit code 1.
|
|
Documentation:
docs/src/polynomial.md#L181
doctest failure in src/polynomial.md:181-196
```jldoctest
julia> R, = residue_ring(ZZ, 123456789012345678949)
(Integers modulo 123456789012345678949, Map: ZZ -> ZZ/(123456789012345678949))
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over ZZ/(123456789012345678949), x)
julia> T, y = polynomial_ring(ZZ, "y")
(Univariate polynomial ring in y over ZZ, y)
julia> f = x^2 + 2x + 1
x^2 + 2*x + 1
julia> a = lift(T, f)
y^2 + 2*y + 1
```
Subexpression:
S, x = polynomial_ring(R, "x")
Evaluated output:
ERROR: UndefRefError: access to undefined reference
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] parent
@ ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:13 [inlined]
[3] base_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/fundamental_interface.jl:99 [inlined]
[4] setcoeff!(z::ZZModPolyRingElem, n::Int64, x::ZZRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:783
[5] ZZModPolyRingElem(n::Nemo.fmpz_mod_ctx_struct, a::Vector{ZZRingElem})
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:766
[6] ZZModPolyRingElem
@ ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:773 [inlined]
[7] ZZModPolyRing
@ ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:874 [inlined]
[8] gen(R::ZZModPolyRing)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:57
[9] #polynomial_ring#132
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:758 [inlined]
[10] polynomial_ring(R::ZZModRing, s::String)
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:756
[11] top-level scope
@ none:1
Expected output:
(Univariate polynomial ring in x over ZZ/(123456789012345678949), x)
diff =
Warning: Diff output requires color.
(Univariate polynomial ring in x over ZZ/(123456789012345678949), x)ERROR: UndefRefError: access to undefined reference
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] parent
@ ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:13 [inlined]
[3] base_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/fundamental_interface.jl:99 [inlined]
[4] setcoeff!(z::ZZModPolyRingElem, n::Int64, x::ZZRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:783
[5] ZZModPolyRingElem(n::Nemo.fmpz_mod_ctx_struct, a::Vector{ZZRingElem})
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:766
[6] ZZModPolyRingElem
@ ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:773 [inlined]
[7] ZZModPolyRing
@ ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:874 [inlined]
[8] gen(R::ZZModPolyRing)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:57
[9] #polynomial_ring#132
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:758 [inlined]
[10] polynomial_ring(R::ZZModRing, s::String)
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:756
[11] top-level scope
@ none:1
|
|
Documentation:
docs/src/polynomial.md#L181
doctest failure in src/polynomial.md:181-196
```jldoctest
julia> R, = residue_ring(ZZ, 123456789012345678949)
(Integers modulo 123456789012345678949, Map: ZZ -> ZZ/(123456789012345678949))
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over ZZ/(123456789012345678949), x)
julia> T, y = polynomial_ring(ZZ, "y")
(Univariate polynomial ring in y over ZZ, y)
julia> f = x^2 + 2x + 1
x^2 + 2*x + 1
julia> a = lift(T, f)
y^2 + 2*y + 1
```
Subexpression:
f = x^2 + 2x + 1
Evaluated output:
ERROR: UndefVarError: `x` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
x^2 + 2*x + 1
diff =
Warning: Diff output requires color.
x^2 + 2*x + 1ERROR: UndefVarError: `x` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
docs/src/polynomial.md#L181
doctest failure in src/polynomial.md:181-196
```jldoctest
julia> R, = residue_ring(ZZ, 123456789012345678949)
(Integers modulo 123456789012345678949, Map: ZZ -> ZZ/(123456789012345678949))
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over ZZ/(123456789012345678949), x)
julia> T, y = polynomial_ring(ZZ, "y")
(Univariate polynomial ring in y over ZZ, y)
julia> f = x^2 + 2x + 1
x^2 + 2*x + 1
julia> a = lift(T, f)
y^2 + 2*y + 1
```
Subexpression:
a = lift(T, f)
Evaluated output:
ERROR: UndefVarError: `f` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
y^2 + 2*y + 1
diff =
Warning: Diff output requires color.
y^2 + 2*y + 1ERROR: UndefVarError: `f` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
docs/src/ff_embedding.md#L36
doctest failure in src/ff_embedding.md:36-53
```jldoctest; filter = r"[gG]F"
julia> k2, x2 = finite_field(19, 2, "x2")
(Finite field of degree 2 and characteristic 19, x2)
julia> k4, x4 = finite_field(19, 4, "x4")
(Finite field of degree 4 and characteristic 19, x4)
julia> f = embed(k2, k4)
Morphism of finite fields
from finite field of degree 2 and characteristic 19
to finite field of degree 4 and characteristic 19
julia> y = f(x2)
6*x4^3 + 5*x4^2 + 9*x4 + 17
julia> z = k4(x2)
6*x4^3 + 5*x4^2 + 9*x4 + 17
```
Subexpression:
f = embed(k2, k4)
Evaluated output:
ERROR: UndefRefError: access to undefined reference
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] parent
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:13 [inlined]
[3] base_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/fundamental_interface.jl:99 [inlined]
[4] setcoeff!(z::FpPolyRingElem, n::Int64, x::ZZRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:783
[5] FpPolyRingElem(n::Nemo.fmpz_mod_ctx_struct, a::Vector{ZZRingElem})
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:890
[6] FpPolyRingElem
@ ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:897 [inlined]
[7] FpPolyRing
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:444 [inlined]
[8] gen(R::FpPolyRing)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:57
[9] #polynomial_ring#132
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:758 [inlined]
[10] polynomial_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:756 [inlined]
[11] embed_gens(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:65
[12] embed_matrices(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:107
[13] embed_any
@ ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:178 [inlined]
[14] find_morphism(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:230
[15] embed(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:416
[16] top-level scope
@ none:1
Expected output:
Morphism of finite fields
from finite field of degree 2 and characteristic 19
to finite field of degree 4 and characteristic 19
diff =
Warning: Diff output requires color.
Morphism of finite fields
from finite field of degree 2 and characteristic 19
ERROR: UndefRefError: access to finite field of degree 4 and characteristic 19undefined reference
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] parent
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:13 [inlined]
[3] base_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/fundamental_interface.jl:99 [inlined]
[4] setcoeff!(z::FpPolyRingElem, n::Int64, x::ZZRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:783
[5] FpPolyRingElem(n::Nemo.fmpz_mod_ctx_struct, a::Vector{ZZRingElem})
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:890
[6] FpPolyRingElem
@ ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:897 [inlined]
[7] FpPolyRing
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:444 [inlined]
[8] gen(R::FpPolyRing)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:57
[9] #polynomial_ring#132
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:758 [inlined]
[10] polynomial_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:756 [inlined]
[11] embed_gens(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:65
[12] embed_matrices(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:107
[13] embed_any
@ ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:178 [inlined]
[14] find_morphism(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:230
[15] embed(k::FqField, K::FqField)
@ Nem
|
|
Documentation:
docs/src/ff_embedding.md#L36
doctest failure in src/ff_embedding.md:36-53
```jldoctest; filter = r"[gG]F"
julia> k2, x2 = finite_field(19, 2, "x2")
(Finite field of degree 2 and characteristic 19, x2)
julia> k4, x4 = finite_field(19, 4, "x4")
(Finite field of degree 4 and characteristic 19, x4)
julia> f = embed(k2, k4)
Morphism of finite fields
from finite field of degree 2 and characteristic 19
to finite field of degree 4 and characteristic 19
julia> y = f(x2)
6*x4^3 + 5*x4^2 + 9*x4 + 17
julia> z = k4(x2)
6*x4^3 + 5*x4^2 + 9*x4 + 17
```
Subexpression:
y = f(x2)
Evaluated output:
ERROR: UndefVarError: `f` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
6*x4^3 + 5*x4^2 + 9*x4 + 17
diff =
Warning: Diff output requires color.
6*x4^3 + 5*x4^2 + 9*x4 + 17ERROR: UndefVarError: `f` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
docs/src/ff_embedding.md#L36
doctest failure in src/ff_embedding.md:36-53
```jldoctest; filter = r"[gG]F"
julia> k2, x2 = finite_field(19, 2, "x2")
(Finite field of degree 2 and characteristic 19, x2)
julia> k4, x4 = finite_field(19, 4, "x4")
(Finite field of degree 4 and characteristic 19, x4)
julia> f = embed(k2, k4)
Morphism of finite fields
from finite field of degree 2 and characteristic 19
to finite field of degree 4 and characteristic 19
julia> y = f(x2)
6*x4^3 + 5*x4^2 + 9*x4 + 17
julia> z = k4(x2)
6*x4^3 + 5*x4^2 + 9*x4 + 17
```
Subexpression:
z = k4(x2)
Evaluated output:
ERROR: UndefRefError: access to undefined reference
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] parent
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:13 [inlined]
[3] base_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/fundamental_interface.jl:99 [inlined]
[4] setcoeff!(z::FpPolyRingElem, n::Int64, x::ZZRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:783
[5] FpPolyRingElem(n::Nemo.fmpz_mod_ctx_struct, a::Vector{ZZRingElem})
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:890
[6] FpPolyRingElem
@ ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:897 [inlined]
[7] FpPolyRing
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:444 [inlined]
[8] gen(R::FpPolyRing)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:57
[9] #polynomial_ring#132
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:758 [inlined]
[10] polynomial_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:756 [inlined]
[11] embed_gens(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:65
[12] embed_matrices(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:107
[13] embed_any
@ ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:178 [inlined]
[14] find_morphism(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:230
[15] embed(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:416
[16] (::FqField)(b::FqFieldElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_extended.jl:708
[17] top-level scope
@ none:1
Expected output:
6*x4^3 + 5*x4^2 + 9*x4 + 17
diff =
Warning: Diff output requires color.
6*x4^3 + 5*x4^2 + 9*x4 + 17ERROR: UndefRefError: access to undefined reference
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] parent
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:13 [inlined]
[3] base_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/fundamental_interface.jl:99 [inlined]
[4] setcoeff!(z::FpPolyRingElem, n::Int64, x::ZZRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:783
[5] FpPolyRingElem(n::Nemo.fmpz_mod_ctx_struct, a::Vector{ZZRingElem})
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:890
[6] FpPolyRingElem
@ ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:897 [inlined]
[7] FpPolyRing
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:444 [inlined]
[8] gen(R::FpPolyRing)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:57
[9] #polynomial_ring#132
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:758 [inlined]
[10] polynomial_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:756 [inlined]
[11] embed_gens(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:65
[12] embed_matrices(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:107
[13] embed_any
@ ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:178 [inlined]
[14] find_morphism(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:230
[15] embed(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:416
[16] (::FqField)(b::FqFieldElem)
@ Nemo ~/work
|
|
Documentation:
docs/src/ff_embedding.md#L64
doctest failure in src/ff_embedding.md:64-83
```jldoctest
julia> k7, x7 = finite_field(13, 7, "x7")
(Finite field of degree 7 and characteristic 13, x7)
julia> k21, x21 = finite_field(13, 21, "x21")
(Finite field of degree 21 and characteristic 13, x21)
julia> s = preimage_map(k7, k21)
Preimage of a morphism
from finite field of degree 7 and characteristic 13
to finite field of degree 21 and characteristic 13
julia> y = k21(x7);
julia> z = s(y)
x7
julia> t = k7(y)
x7
```
Subexpression:
s = preimage_map(k7, k21)
Evaluated output:
ERROR: UndefRefError: access to undefined reference
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] parent
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:13 [inlined]
[3] base_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/fundamental_interface.jl:99 [inlined]
[4] setcoeff!(z::FpPolyRingElem, n::Int64, x::ZZRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:783
[5] FpPolyRingElem(n::Nemo.fmpz_mod_ctx_struct, a::Vector{ZZRingElem})
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:890
[6] FpPolyRingElem
@ ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:897 [inlined]
[7] FpPolyRing
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:444 [inlined]
[8] gen(R::FpPolyRing)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:57
[9] #polynomial_ring#132
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:758 [inlined]
[10] polynomial_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:756 [inlined]
[11] embed_gens(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:65
[12] embed_matrices(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:107
[13] embed_any
@ ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:178 [inlined]
[14] find_morphism(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:230
[15] embed(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:416
[16] preimage_map(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:445
[17] top-level scope
@ none:1
Expected output:
Preimage of a morphism
from finite field of degree 7 and characteristic 13
to finite field of degree 21 and characteristic 13
diff =
Warning: Diff output requires color.
Preimage of a morphism
from finite field of degree 7 and characteristic 13
ERROR: UndefRefError: access to finite field of degree 21 and characteristic 13undefined reference
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] parent
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:13 [inlined]
[3] base_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/fundamental_interface.jl:99 [inlined]
[4] setcoeff!(z::FpPolyRingElem, n::Int64, x::ZZRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:783
[5] FpPolyRingElem(n::Nemo.fmpz_mod_ctx_struct, a::Vector{ZZRingElem})
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:890
[6] FpPolyRingElem
@ ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:897 [inlined]
[7] FpPolyRing
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:444 [inlined]
[8] gen(R::FpPolyRing)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:57
[9] #polynomial_ring#132
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:758 [inlined]
[10] polynomial_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:756 [inlined]
[11] embed_gens(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:65
[12] embed_matrices(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:107
[13] embed_any
@ ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:178 [inlined]
[14] find_morphism(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedd
|
|
Documentation:
docs/src/ff_embedding.md#L64
doctest failure in src/ff_embedding.md:64-83
```jldoctest
julia> k7, x7 = finite_field(13, 7, "x7")
(Finite field of degree 7 and characteristic 13, x7)
julia> k21, x21 = finite_field(13, 21, "x21")
(Finite field of degree 21 and characteristic 13, x21)
julia> s = preimage_map(k7, k21)
Preimage of a morphism
from finite field of degree 7 and characteristic 13
to finite field of degree 21 and characteristic 13
julia> y = k21(x7);
julia> z = s(y)
x7
julia> t = k7(y)
x7
```
Subexpression:
y = k21(x7);
Evaluated output:
ERROR: UndefRefError: access to undefined reference
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] parent
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:13 [inlined]
[3] base_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/fundamental_interface.jl:99 [inlined]
[4] setcoeff!(z::FpPolyRingElem, n::Int64, x::ZZRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:783
[5] FpPolyRingElem(n::Nemo.fmpz_mod_ctx_struct, a::Vector{ZZRingElem})
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:890
[6] FpPolyRingElem
@ ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:897 [inlined]
[7] FpPolyRing
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:444 [inlined]
[8] gen(R::FpPolyRing)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:57
[9] #polynomial_ring#132
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:758 [inlined]
[10] polynomial_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:756 [inlined]
[11] embed_gens(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:65
[12] embed_matrices(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:107
[13] embed_any
@ ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:178 [inlined]
[14] find_morphism(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:230
[15] embed(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:416
[16] (::FqField)(b::FqFieldElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_extended.jl:708
[17] top-level scope
@ none:1
Expected output:
diff =
Warning: Diff output requires color.
ERROR: UndefRefError: access to undefined reference
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] parent
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:13 [inlined]
[3] base_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/fundamental_interface.jl:99 [inlined]
[4] setcoeff!(z::FpPolyRingElem, n::Int64, x::ZZRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:783
[5] FpPolyRingElem(n::Nemo.fmpz_mod_ctx_struct, a::Vector{ZZRingElem})
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:890
[6] FpPolyRingElem
@ ~/work/Nemo.jl/Nemo.jl/src/flint/FlintTypes.jl:897 [inlined]
[7] FpPolyRing
@ ~/work/Nemo.jl/Nemo.jl/src/flint/gfp_fmpz_poly.jl:444 [inlined]
[8] gen(R::FpPolyRing)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mod_poly.jl:57
[9] #polynomial_ring#132
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:758 [inlined]
[10] polynomial_ring
@ ~/.julia/packages/AbstractAlgebra/I018A/src/NCPoly.jl:756 [inlined]
[11] embed_gens(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:65
[12] embed_matrices(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_embed.jl:107
[13] embed_any
@ ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:178 [inlined]
[14] find_morphism(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:230
[15] embed(k::FqField, K::FqField)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/embedding/embedding.jl:416
[16] (::FqField)(b::FqFieldElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fq_default_extended.jl:708
[17] top-level scope
@
|
|
Documentation:
docs/src/ff_embedding.md#L64
doctest failure in src/ff_embedding.md:64-83
```jldoctest
julia> k7, x7 = finite_field(13, 7, "x7")
(Finite field of degree 7 and characteristic 13, x7)
julia> k21, x21 = finite_field(13, 21, "x21")
(Finite field of degree 21 and characteristic 13, x21)
julia> s = preimage_map(k7, k21)
Preimage of a morphism
from finite field of degree 7 and characteristic 13
to finite field of degree 21 and characteristic 13
julia> y = k21(x7);
julia> z = s(y)
x7
julia> t = k7(y)
x7
```
Subexpression:
z = s(y)
Evaluated output:
ERROR: UndefVarError: `s` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
x7
diff =
Warning: Diff output requires color.
x7ERROR: UndefVarError: `s` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
docs/src/ff_embedding.md#L64
doctest failure in src/ff_embedding.md:64-83
```jldoctest
julia> k7, x7 = finite_field(13, 7, "x7")
(Finite field of degree 7 and characteristic 13, x7)
julia> k21, x21 = finite_field(13, 21, "x21")
(Finite field of degree 21 and characteristic 13, x21)
julia> s = preimage_map(k7, k21)
Preimage of a morphism
from finite field of degree 7 and characteristic 13
to finite field of degree 21 and characteristic 13
julia> y = k21(x7);
julia> z = s(y)
x7
julia> t = k7(y)
x7
```
Subexpression:
t = k7(y)
Evaluated output:
ERROR: UndefVarError: `y` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
x7
diff =
Warning: Diff output requires color.
x7ERROR: UndefVarError: `y` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
test (1.6, ubuntu-latest)
[setup-julia] If you are testing 1.6 as a Long Term Support (lts) version, consider using the new "lts" version specifier instead of "1.6" explicitly, which will automatically resolve the current lts.
|