Skip to content

More functionality for sparse matrices and rows #4191

More functionality for sparse matrices and rows

More functionality for sparse matrices and rows #4191

Triggered via pull request September 21, 2023 11:30
Status Cancelled
Total duration 31m 57s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

CI.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

16 errors
test (1.9, windows-latest)
Process completed with exit code 1.
test (1.9, macOS-latest)
Process completed with exit code 1.
test (1.9, ubuntu-latest)
Process completed with exit code 1.
test (1.6, ubuntu-latest)
Process completed with exit code 1.
test (~1.10.0-0, ubuntu-latest)
Process completed with exit code 1.
Documentation: src/NumField/Selmer.jl#L38
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: Sel, map = pselmer_group_fac_elem(2, S); Evaluated output: ERROR: StackOverflowError: Stacktrace: [1] *(b::ZZRingElem, A::SRow{ZZRingElem, Hecke.ZZRingElem_Array_Mod.ZZRingElem_Array}) (repeats 79984 times) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/Sparse/Row.jl:493 Expected output: diff = Warning: Diff output requires color. ERROR: StackOverflowError: Stacktrace: [1] *(b::ZZRingElem, A::SRow{ZZRingElem, Hecke.ZZRingElem_Array_Mod.ZZRingElem_Array}) (repeats 79984 times) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/Sparse/Row.jl:493
Documentation: src/NumField/Selmer.jl#L38
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: g = evaluate(map(Sel[3])); Evaluated output: ERROR: UndefVarError: `Sel` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: UndefVarError: `Sel` not defined Stacktrace: [1] top-level scope @ none:1
Documentation: src/NumField/Selmer.jl#L38
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: K, _ = radical_extension(2, g); Evaluated output: ERROR: UndefVarError: `g` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: UndefVarError: `g` not defined Stacktrace: [1] top-level scope @ none:1
Documentation: src/NumField/Selmer.jl#L38
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: UndefVarError: `K` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: UndefVarError: `K` not defined Stacktrace: [1] top-level scope @ none:1
Documentation: src/NumField/Selmer.jl#L38
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: issubset(Set(keys(factor(discriminant(ZK)))) , S) Evaluated output: ERROR: UndefVarError: `ZK` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: true diff = Warning: Diff output requires color. trueERROR: UndefVarError: `ZK` not defined Stacktrace: [1] top-level scope @ none:1
Documentation: src/NumField/Selmer.jl#L215
doctest failure in ~/work/Hecke.jl/Hecke.jl/src/NumField/Selmer.jl:215-229 ```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> sel, mmap = pselmer_group_fac_elem(2, [-1, 2, 3]); julia> h = hom(Sel, sel, [preimage(mmap, Hecke.factored_norm(map(g), parent = codomain(mmap))) for g = gens(Sel)]); julia> k, mk = kernel(h); ``` Subexpression: Sel, map = pselmer_group_fac_elem(2, S); Evaluated output: ERROR: StackOverflowError: Stacktrace: [1] *(b::ZZRingElem, A::SRow{ZZRingElem, Hecke.ZZRingElem_Array_Mod.ZZRingElem_Array}) (repeats 79984 times) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/Sparse/Row.jl:493 Expected output: diff = Warning: Diff output requires color. ERROR: StackOverflowError: Stacktrace: [1] *(b::ZZRingElem, A::SRow{ZZRingElem, Hecke.ZZRingElem_Array_Mod.ZZRingElem_Array}) (repeats 79984 times) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/Sparse/Row.jl:493
Documentation: src/NumField/Selmer.jl#L215
doctest failure in ~/work/Hecke.jl/Hecke.jl/src/NumField/Selmer.jl:215-229 ```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> sel, mmap = pselmer_group_fac_elem(2, [-1, 2, 3]); julia> h = hom(Sel, sel, [preimage(mmap, Hecke.factored_norm(map(g), parent = codomain(mmap))) for g = gens(Sel)]); julia> k, mk = kernel(h); ``` Subexpression: h = hom(Sel, sel, [preimage(mmap, Hecke.factored_norm(map(g), parent = codomain(mmap))) for g = gens(Sel)]); Evaluated output: ERROR: UndefVarError: `Sel` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: UndefVarError: `Sel` not defined Stacktrace: [1] top-level scope @ none:1
Documentation: src/NumField/Selmer.jl#L215
doctest failure in ~/work/Hecke.jl/Hecke.jl/src/NumField/Selmer.jl:215-229 ```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> sel, mmap = pselmer_group_fac_elem(2, [-1, 2, 3]); julia> h = hom(Sel, sel, [preimage(mmap, Hecke.factored_norm(map(g), parent = codomain(mmap))) for g = gens(Sel)]); julia> k, mk = kernel(h); ``` Subexpression: k, mk = kernel(h); Evaluated output: ERROR: UndefVarError: `h` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: UndefVarError: `h` not defined Stacktrace: [1] top-level scope @ none:1
Documentation: src/QuadForm/Quad/ZGenus.jl#L2726
doctest failure in ~/work/Hecke.jl/Hecke.jl/src/QuadForm/Quad/ZGenus.jl:2726-2761 ```jldoctest julia> NS = direct_sum(integer_lattice(:U), rescale(root_lattice(:A, 16), -1))[1]; julia> LK3, iNS, i = embed_in_unimodular(NS, 3, 19); julia> genus(LK3) Genus symbol for integer lattices Signatures: (3, 0, 19) Local symbol: Local genus symbol at 2: 1^22 julia> iNS Integer lattice of rank 18 and degree 22 with gram matrix [0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 1 -2 1 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2 1 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2 1 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2 1] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2] julia> is_primitive(LK3, iNS) true ``` Subexpression: LK3, iNS, i = embed_in_unimodular(NS, 3, 19); Evaluated output: ERROR: StackOverflowError: Stacktrace: [1] *(b::ZZRingElem, A::SRow{ZZRingElem, Hecke.ZZRingElem_Array_Mod.ZZRingElem_Array}) (repeats 79984 times) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/Sparse/Row.jl:493 Expected output: diff = Warning: Diff output requires color. ERROR: StackOverflowError: Stacktrace: [1] *(b::ZZRingElem, A::SRow{ZZRingElem, Hecke.ZZRingElem_Array_Mod.ZZRingElem_Array}) (repeats 79984 times) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/Sparse/Row.jl:493
Documentation: src/QuadForm/Quad/ZGenus.jl#L2726
doctest failure in ~/work/Hecke.jl/Hecke.jl/src/QuadForm/Quad/ZGenus.jl:2726-2761 ```jldoctest julia> NS = direct_sum(integer_lattice(:U), rescale(root_lattice(:A, 16), -1))[1]; julia> LK3, iNS, i = embed_in_unimodular(NS, 3, 19); julia> genus(LK3) Genus symbol for integer lattices Signatures: (3, 0, 19) Local symbol: Local genus symbol at 2: 1^22 julia> iNS Integer lattice of rank 18 and degree 22 with gram matrix [0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 1 -2 1 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2 1 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2 1 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2 1] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2] julia> is_primitive(LK3, iNS) true ``` Subexpression: genus(LK3) Evaluated output: ERROR: UndefVarError: `LK3` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: Genus symbol for integer lattices Signatures: (3, 0, 19) Local symbol: Local genus symbol at 2: 1^22 diff = Warning: Diff output requires color. Genus symbol for integer lattices Signatures: (3, 0, 19) Local symbol: Local genus symbol at 2: 1^22ERROR: UndefVarError: `LK3` not defined Stacktrace: [1] top-level scope @ none:1
test (nightly, ubuntu-latest)
The operation was canceled.