Introduce low-level analogs for Flint structs #2997
lgoettgensCI.yml
on: pull_request
Documentation
16m 42s
Matrix: test
Annotations
16 errors and 1 notice
|
test (1.10, macOS-latest)
Process completed with exit code 1.
|
|
test (1.10, windows-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.
|
|
Documentation:
docs/src/polynomial.md#L298
doctest failure in src/polynomial.md:298-322
```jldoctest
julia> R, = residue_ring(ZZ, 23)
(Integers modulo 23, Map: ZZ -> ZZ/(23))
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over ZZ/(23), x)
julia> f = x^2 + 2x + 1
x^2 + 2*x + 1
julia> g = x^3 + 3x + 1
x^3 + 3*x + 1
julia> R = factor(f*g)
1 * (x + 1)^2 * (x^3 + 3*x + 1)
julia> S = factor_squarefree(f*g)
1 * (x + 1)^2 * (x^3 + 3*x + 1)
julia> T = factor_distinct_deg((x + 1)*g*(x^5+x^3+x+1))
Dict{Int64, zzModPolyRingElem} with 3 entries:
4 => x^4 + 7*x^3 + 4*x^2 + 5*x + 13
3 => x^3 + 3*x + 1
1 => x^2 + 17*x + 16
```
Subexpression:
R = factor(f*g)
Evaluated output:
ERROR: type nmod_poly_struct has no field mod_n
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] _factor(x::zzModPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/nmod_poly.jl:667
[3] factor(x::zzModPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/nmod_poly.jl:661
[4] top-level scope
@ none:1
Expected output:
1 * (x + 1)^2 * (x^3 + 3*x + 1)
diff =
Warning: Diff output requires color.
1 * (x + 1)^2 * (x^3 + 3*x + 1)ERROR: type nmod_poly_struct has no field mod_n
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] _factor(x::zzModPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/nmod_poly.jl:667
[3] factor(x::zzModPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/nmod_poly.jl:661
[4] top-level scope
@ none:1
|
|
Documentation:
docs/src/polynomial.md#L298
doctest failure in src/polynomial.md:298-322
```jldoctest
julia> R, = residue_ring(ZZ, 23)
(Integers modulo 23, Map: ZZ -> ZZ/(23))
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over ZZ/(23), x)
julia> f = x^2 + 2x + 1
x^2 + 2*x + 1
julia> g = x^3 + 3x + 1
x^3 + 3*x + 1
julia> R = factor(f*g)
1 * (x + 1)^2 * (x^3 + 3*x + 1)
julia> S = factor_squarefree(f*g)
1 * (x + 1)^2 * (x^3 + 3*x + 1)
julia> T = factor_distinct_deg((x + 1)*g*(x^5+x^3+x+1))
Dict{Int64, zzModPolyRingElem} with 3 entries:
4 => x^4 + 7*x^3 + 4*x^2 + 5*x + 13
3 => x^3 + 3*x + 1
1 => x^2 + 17*x + 16
```
Subexpression:
S = factor_squarefree(f*g)
Evaluated output:
ERROR: type nmod_poly_struct has no field mod_n
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] _factor_squarefree(x::zzModPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/nmod_poly.jl:686
[3] factor_squarefree(x::zzModPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/nmod_poly.jl:682
[4] top-level scope
@ none:1
Expected output:
1 * (x + 1)^2 * (x^3 + 3*x + 1)
diff =
Warning: Diff output requires color.
1 * (x + 1)^2 * (x^3 + 3*x + 1)ERROR: type nmod_poly_struct has no field mod_n
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] _factor_squarefree(x::zzModPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/nmod_poly.jl:686
[3] factor_squarefree(x::zzModPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/nmod_poly.jl:682
[4] top-level scope
@ none:1
|
|
Documentation:
docs/src/polynomial.md#L298
doctest failure in src/polynomial.md:298-322
```jldoctest
julia> R, = residue_ring(ZZ, 23)
(Integers modulo 23, Map: ZZ -> ZZ/(23))
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over ZZ/(23), x)
julia> f = x^2 + 2x + 1
x^2 + 2*x + 1
julia> g = x^3 + 3x + 1
x^3 + 3*x + 1
julia> R = factor(f*g)
1 * (x + 1)^2 * (x^3 + 3*x + 1)
julia> S = factor_squarefree(f*g)
1 * (x + 1)^2 * (x^3 + 3*x + 1)
julia> T = factor_distinct_deg((x + 1)*g*(x^5+x^3+x+1))
Dict{Int64, zzModPolyRingElem} with 3 entries:
4 => x^4 + 7*x^3 + 4*x^2 + 5*x + 13
3 => x^3 + 3*x + 1
1 => x^2 + 17*x + 16
```
Subexpression:
T = factor_distinct_deg((x + 1)*g*(x^5+x^3+x+1))
Evaluated output:
ERROR: type nmod_poly_struct has no field mod_n
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] factor_distinct_deg(x::zzModPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/nmod_poly.jl:708
[3] top-level scope
@ none:1
Expected output:
Dict{Int64, zzModPolyRingElem} with 3 entries:
4 => x^4 + 7*x^3 + 4*x^2 + 5*x + 13
3 => x^3 + 3*x + 1
1 => x^2 + 17*x + 16
diff =
Warning: Diff output requires color.
Dict{Int64, zzModPolyRingElem} with 3 entries:
4 => x^4 + 7*x^3 + 4*x^2 + 5*x + 13
3 => x^3 + 3*x + 1
1 => x^2 + 17*x + 16ERROR: type nmod_poly_struct has no field mod_n
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] factor_distinct_deg(x::zzModPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/nmod_poly.jl:708
[3] top-level scope
@ none:1
|
|
Documentation:
docs/src/numberfield.md#L59
doctest failure in src/numberfield.md:59-86
```jldoctest
julia> R, x = polynomial_ring(QQ, "x")
(Univariate polynomial ring in x over QQ, x)
julia> K, a = number_field(x^3 + 3x + 1, "a")
(Number field of degree 3 over QQ, a)
julia> L, b = cyclotomic_field(5, "b")
(Cyclotomic field of order 5, b)
julia> M, c = cyclotomic_real_subfield(5, "c")
(Maximal real subfield of cyclotomic field of order 5, c)
julia> d = K(3)
3
julia> f = L(b)
b
julia> g = L(ZZ(11))
11
julia> h = L(ZZ(11)//3)
11//3
julia> k = M(x)
c
```
Subexpression:
K, a = number_field(x^3 + 3x + 1, "a")
Evaluated output:
ERROR: type fmpz_poly_factor has no field num
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] _factor(x::QQPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpq_poly.jl:550
[3] is_irreducible(x::QQPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpq_poly.jl:562
[4] AbsSimpleNumField
@ ~/work/Nemo.jl/Nemo.jl/src/antic/AnticTypes.jl:42 [inlined]
[5] number_field(f::QQPolyRingElem, s::String; cached::Bool, check::Bool)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/antic/nf_elem.jl:1068
[6] number_field(f::QQPolyRingElem, s::String)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/antic/nf_elem.jl:1067
[7] top-level scope
@ none:1
Expected output:
(Number field of degree 3 over QQ, a)
diff =
Warning: Diff output requires color.
(Number ERROR: type fmpz_poly_factor has no field of degree 3 over QQ, a)num
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] _factor(x::QQPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpq_poly.jl:550
[3] is_irreducible(x::QQPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpq_poly.jl:562
[4] AbsSimpleNumField
@ ~/work/Nemo.jl/Nemo.jl/src/antic/AnticTypes.jl:42 [inlined]
[5] number_field(f::QQPolyRingElem, s::String; cached::Bool, check::Bool)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/antic/nf_elem.jl:1068
[6] number_field(f::QQPolyRingElem, s::String)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/antic/nf_elem.jl:1067
[7] top-level scope
@ none:1
|
|
Documentation:
docs/src/numberfield.md#L59
doctest failure in src/numberfield.md:59-86
```jldoctest
julia> R, x = polynomial_ring(QQ, "x")
(Univariate polynomial ring in x over QQ, x)
julia> K, a = number_field(x^3 + 3x + 1, "a")
(Number field of degree 3 over QQ, a)
julia> L, b = cyclotomic_field(5, "b")
(Cyclotomic field of order 5, b)
julia> M, c = cyclotomic_real_subfield(5, "c")
(Maximal real subfield of cyclotomic field of order 5, c)
julia> d = K(3)
3
julia> f = L(b)
b
julia> g = L(ZZ(11))
11
julia> h = L(ZZ(11)//3)
11//3
julia> k = M(x)
c
```
Subexpression:
d = K(3)
Evaluated output:
ERROR: UndefVarError: `K` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
3
diff =
Warning: Diff output requires color.
3ERROR: UndefVarError: `K` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
docs/src/numberfield.md#L100
doctest failure in src/numberfield.md:100-112
```jldoctest
julia> R, x = polynomial_ring(QQ, "x")
(Univariate polynomial ring in x over QQ, x)
julia> K, a = number_field(x^3 + 3x + 1, "a")
(Number field of degree 3 over QQ, a)
julia> d = gen(K)
a
julia> f = a^2 + 2a - 7
a^2 + 2*a - 7
```
Subexpression:
K, a = number_field(x^3 + 3x + 1, "a")
Evaluated output:
ERROR: type fmpz_poly_factor has no field num
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] _factor(x::QQPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpq_poly.jl:550
[3] is_irreducible(x::QQPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpq_poly.jl:562
[4] AbsSimpleNumField
@ ~/work/Nemo.jl/Nemo.jl/src/antic/AnticTypes.jl:42 [inlined]
[5] number_field(f::QQPolyRingElem, s::String; cached::Bool, check::Bool)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/antic/nf_elem.jl:1068
[6] number_field(f::QQPolyRingElem, s::String)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/antic/nf_elem.jl:1067
[7] top-level scope
@ none:1
Expected output:
(Number field of degree 3 over QQ, a)
diff =
Warning: Diff output requires color.
(Number ERROR: type fmpz_poly_factor has no field of degree 3 over QQ, a)num
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] _factor(x::QQPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpq_poly.jl:550
[3] is_irreducible(x::QQPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpq_poly.jl:562
[4] AbsSimpleNumField
@ ~/work/Nemo.jl/Nemo.jl/src/antic/AnticTypes.jl:42 [inlined]
[5] number_field(f::QQPolyRingElem, s::String; cached::Bool, check::Bool)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/antic/nf_elem.jl:1068
[6] number_field(f::QQPolyRingElem, s::String)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/antic/nf_elem.jl:1067
[7] top-level scope
@ none:1
|
|
Documentation:
docs/src/numberfield.md#L100
doctest failure in src/numberfield.md:100-112
```jldoctest
julia> R, x = polynomial_ring(QQ, "x")
(Univariate polynomial ring in x over QQ, x)
julia> K, a = number_field(x^3 + 3x + 1, "a")
(Number field of degree 3 over QQ, a)
julia> d = gen(K)
a
julia> f = a^2 + 2a - 7
a^2 + 2*a - 7
```
Subexpression:
d = gen(K)
Evaluated output:
ERROR: UndefVarError: `K` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
a
diff =
Warning: Diff output requires color.
aERROR: UndefVarError: `K` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
docs/src/numberfield.md#L100
doctest failure in src/numberfield.md:100-112
```jldoctest
julia> R, x = polynomial_ring(QQ, "x")
(Univariate polynomial ring in x over QQ, x)
julia> K, a = number_field(x^3 + 3x + 1, "a")
(Number field of degree 3 over QQ, a)
julia> d = gen(K)
a
julia> f = a^2 + 2a - 7
a^2 + 2*a - 7
```
Subexpression:
f = a^2 + 2a - 7
Evaluated output:
ERROR: UndefVarError: `a` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
a^2 + 2*a - 7
diff =
Warning: Diff output requires color.
a^2 + 2*a - 7ERROR: UndefVarError: `a` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
docs/src/numberfield.md#L146
doctest failure in src/numberfield.md:146-158
```jldoctest
julia> R, x = polynomial_ring(QQ, "x")
(Univariate polynomial ring in x over QQ, x)
julia> K, a = number_field(x^3 + 3x + 1, "a")
(Number field of degree 3 over QQ, a)
julia> f = R(a^2 + 2a + 3)
x^2 + 2*x + 3
julia> g = K(x^2 + 2x + 1)
a^2 + 2*a + 1
```
Subexpression:
K, a = number_field(x^3 + 3x + 1, "a")
Evaluated output:
ERROR: type fmpz_poly_factor has no field num
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] _factor(x::QQPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpq_poly.jl:550
[3] is_irreducible(x::QQPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpq_poly.jl:562
[4] AbsSimpleNumField
@ ~/work/Nemo.jl/Nemo.jl/src/antic/AnticTypes.jl:42 [inlined]
[5] number_field(f::QQPolyRingElem, s::String; cached::Bool, check::Bool)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/antic/nf_elem.jl:1068
[6] number_field(f::QQPolyRingElem, s::String)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/antic/nf_elem.jl:1067
[7] top-level scope
@ none:1
Expected output:
(Number field of degree 3 over QQ, a)
diff =
Warning: Diff output requires color.
(Number ERROR: type fmpz_poly_factor has no field of degree 3 over QQ, a)num
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] _factor(x::QQPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpq_poly.jl:550
[3] is_irreducible(x::QQPolyRingElem)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpq_poly.jl:562
[4] AbsSimpleNumField
@ ~/work/Nemo.jl/Nemo.jl/src/antic/AnticTypes.jl:42 [inlined]
[5] number_field(f::QQPolyRingElem, s::String; cached::Bool, check::Bool)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/antic/nf_elem.jl:1068
[6] number_field(f::QQPolyRingElem, s::String)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/antic/nf_elem.jl:1067
[7] top-level scope
@ none:1
|
|
Documentation:
docs/src/numberfield.md#L146
doctest failure in src/numberfield.md:146-158
```jldoctest
julia> R, x = polynomial_ring(QQ, "x")
(Univariate polynomial ring in x over QQ, x)
julia> K, a = number_field(x^3 + 3x + 1, "a")
(Number field of degree 3 over QQ, a)
julia> f = R(a^2 + 2a + 3)
x^2 + 2*x + 3
julia> g = K(x^2 + 2x + 1)
a^2 + 2*a + 1
```
Subexpression:
f = R(a^2 + 2a + 3)
Evaluated output:
ERROR: UndefVarError: `a` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
x^2 + 2*x + 3
diff =
Warning: Diff output requires color.
x^2 + 2*x + 3ERROR: UndefVarError: `a` 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.
|