Adjust to changes in AA and Nemo #4220

Annotations

8 errors

doctest failure in ~/work/Hecke.jl/Hecke.jl/src/QuadForm/indefiniteLLL.jl:270-280 ```jldoctest julia> G = ZZ[0 1 2; 1 -1 3; 2 3 0]; julia> lll_gram_indef_with_transform(G) ([0 0 1; 0 -16 0; 1 0 1], [1 0 0; 5 2 -1; 1 1 0]) julia> G = ZZ[2 1 2 4;1 8 0 2;2 0 -2 5;4 2 5 0]; julia> lll_gram_indef_with_transform(G) ([2 0 1 0; 0 -4 -1 1; 1 -1 8 0; 0 1 0 -8], [1 0 0 0; -1 0 1 0; 0 1 0 0; -2 0 0 1]) ``` Subexpression: lll_gram_indef_with_transform(G) Evaluated output: ERROR: MethodError: no method matching setindex!(::ZZMatrix, ::QQFieldElem, ::Int64, ::Int64) Closest candidates are: setindex!(::ZZMatrix, !Matched::Int64, ::Int64, ::Int64) @ Nemo ~/.julia/packages/Nemo/oD1Ap/src/flint/fmpz_mat.jl:146 setindex!(::ZZMatrix, !Matched::Integer, ::Int64, ::Int64) @ Nemo ~/.julia/packages/Nemo/oD1Ap/src/flint/fmpz_mat.jl:144 setindex!(::ZZMatrix, !Matched::ZZRingElem, ::Int64, ::Int64) @ Nemo ~/.julia/packages/Nemo/oD1Ap/src/flint/fmpz_mat.jl:135 ... Stacktrace: [1] lll_gram_indef_with_transform(G::ZZMatrix; check::Bool) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/QuadForm/indefiniteLLL.jl:301 [2] lll_gram_indef_with_transform(G::ZZMatrix) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/QuadForm/indefiniteLLL.jl:282 [3] top-level scope @ none:1 Expected output: ([0 0 1; 0 -16 0; 1 0 1], [1 0 0; 5 2 -1; 1 1 0]) diff = Warning: Diff output requires color. ([0 0 1; 0 -16 0; 1 0 1], [1 0 0; 5 2 -1; 1 1 0])ERROR: MethodError: no method matching setindex!(::ZZMatrix, ::QQFieldElem, ::Int64, ::Int64) Closest candidates are: setindex!(::ZZMatrix, !Matched::Int64, ::Int64, ::Int64) @ Nemo ~/.julia/packages/Nemo/oD1Ap/src/flint/fmpz_mat.jl:146 setindex!(::ZZMatrix, !Matched::Integer, ::Int64, ::Int64) @ Nemo ~/.julia/packages/Nemo/oD1Ap/src/flint/fmpz_mat.jl:144 setindex!(::ZZMatrix, !Matched::ZZRingElem, ::Int64, ::Int64) @ Nemo ~/.julia/packages/Nemo/oD1Ap/src/flint/fmpz_mat.jl:135 ... Stacktrace: [1] lll_gram_indef_with_transform(G::ZZMatrix; check::Bool) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/QuadForm/indefiniteLLL.jl:301 [2] lll_gram_indef_with_transform(G::ZZMatrix) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/QuadForm/indefiniteLLL.jl:282 [3] top-level scope @ none:1

src/QuadForm/Types.jl#L316

doctest failure in ~/work/Hecke.jl/Hecke.jl/src/QuadForm/Types.jl:316-366 ```jldoctest julia> L = rescale(root_lattice(:A,3), 3) Integer lattice of rank 3 and degree 3 with gram matrix [ 6 -3 0] [-3 6 -3] [ 0 -3 6] julia> T = discriminant_group(L) Finite quadratic module over integer ring Abelian group: (Z/3)^2 x Z/12 Bilinear value module: Q/Z Quadratic value module: Q/2Z Gram matrix quadratic form: [2//3 0 1//3] [ 0 0 2//3] [1//3 2//3 1//4] julia> N, f = normal_form(T) (Finite quadratic module: (Z/3)^2 x Z/12 -> Q/2Z, Map: finite quadratic module -> finite quadratic module) julia> domain(f) Finite quadratic module over integer ring Abelian group: (Z/3)^2 x Z/12 Bilinear value module: Q/Z Quadratic value module: Q/2Z Gram matrix quadratic form: [2//3 0 1//3] [ 0 0 2//3] [1//3 2//3 1//4] julia> codomain(f) Finite quadratic module over integer ring Abelian group: (Z/3)^2 x Z/12 Bilinear value module: Q/Z Quadratic value module: Q/2Z Gram matrix quadratic form: [1//4 0 0 0] [ 0 4//3 0 0] [ 0 0 4//3 0] [ 0 0 0 4//3] julia> abelian_group_homomorphism(f) Map: GrpAb: (Z/3)^2 x Z/12 -> (General) abelian group with relation matrix [4 0 0 0; 0 3 0 0; 0 0 3 0; 0 0 0 3] with structure of GrpAb: (Z/3)^2 x Z/12 ``` Subexpression: abelian_group_homomorphism(f) Evaluated output: Map from GrpAb: (Z/3)^2 x Z/12 to (General) abelian group with relation matrix [4 0 0 0; 0 3 0 0; 0 0 3 0; 0 0 0 3] with structure of GrpAb: (Z/3)^2 x Z/12 Expected output: Map: GrpAb: (Z/3)^2 x Z/12 -> (General) abelian group with relation matrix [4 0 0 0; 0 3 0 0; 0 0 3 0; 0 0 0 3] with structure of GrpAb: (Z/3)^2 x Z/12 diff = Warning: Diff output requires color. Map: Map from GrpAb: (Z/3)^2 x Z/12 -> Z/12 to (General) abelian group with relation matrix matrix [4 0 0 0; 0 3 0 0; 0 0 3 0; 0 0 0 3] 3] with structure of GrpAb: (Z/3)^2 x Z/12

src/QuadForm/Types.jl#L374

doctest failure in ~/work/Hecke.jl/Hecke.jl/src/QuadForm/Types.jl:374-407 ```jldoctest julia> L = rescale(root_lattice(:A,3), 3); julia> T = discriminant_group(L) Finite quadratic module over integer ring Abelian group: (Z/3)^2 x Z/12 Bilinear value module: Q/Z Quadratic value module: Q/2Z Gram matrix quadratic form: [2//3 0 1//3] [ 0 0 2//3] [1//3 2//3 1//4] julia> T6 = rescale(T, 6) Finite quadratic module over integer ring Abelian group: (Z/3)^2 x Z/12 Bilinear value module: Q/6Z Quadratic value module: Q/12Z Gram matrix quadratic form: [4 0 2] [0 0 4] [2 4 3//2] julia> f = hom(T, T6, gens(T6)) Map: finite quadratic module -> finite quadratic module julia> T[1]*T[1] == f(T[1])*f(T[1]) false julia> is_bijective(f) true ``` Subexpression: f = hom(T, T6, gens(T6)) Evaluated output: Map from finite quadratic module: (Z/3)^2 x Z/12 -> Q/2Z to finite quadratic module: (Z/3)^2 x Z/12 -> Q/12Z Expected output: Map: finite quadratic module -> finite quadratic module diff = Warning: Diff output requires color. Map: Map from finite quadratic module module: (Z/3)^2 x Z/12 -> Q/2Z to finite quadratic modulemodule: (Z/3)^2 x Z/12 -> Q/12Z

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: MethodError: no method matching setindex!(::ZZMatrix, ::QQFieldElem, ::Int64, ::Int64) Closest candidates are: setindex!(::ZZMatrix, !Matched::Int64, ::Int64, ::Int64) @ Nemo ~/.julia/packages/Nemo/oD1Ap/src/flint/fmpz_mat.jl:146 setindex!(::ZZMatrix, !Matched::Integer, ::Int64, ::Int64) @ Nemo ~/.julia/packages/Nemo/oD1Ap/src/flint/fmpz_mat.jl:144 setindex!(::ZZMatrix, !Matched::ZZRingElem, ::Int64, ::Int64) @ Nemo ~/.julia/packages/Nemo/oD1Ap/src/flint/fmpz_mat.jl:135 ... Stacktrace: [1] lll_gram_indef_with_transform(G::ZZMatrix; check::Bool) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/QuadForm/indefiniteLLL.jl:301 [2] lll_gram_indef_with_transform @ ~/work/Hecke.jl/Hecke.jl/src/QuadForm/indefiniteLLL.jl:282 [inlined] [3] lll(L::ZZLat; same_ambient::Bool) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/QuadForm/Quad/ZLattices.jl:1660 [4] lll @ ~/work/Hecke.jl/Hecke.jl/src/QuadForm/Quad/ZLattices.jl:1639 [inlined] [5] embed_in_unimodular(S::ZZLat, pos::Int64, neg::Int64; primitive::Bool, even::Bool) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/QuadForm/Quad/ZGenus.jl:2774 [6] embed_in_unimodular(S::ZZLat, pos::Int64, neg::Int64) @ Hecke ~/work/Hecke.jl/Hecke.jl/src/QuadForm/Quad/ZGenus.jl:2763 [7] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: MethodError: no method matching setindex!(::ZZMatrix, ::QQFieldElem, ::Int64, ::Int64) Closest candidates are: setindex!(::ZZMatrix, !Matched::Int64, ::Int64, ::Int64) @ Nemo ~/.julia/packages/Nemo/oD1Ap/src/flint/fmpz_mat.jl:146 setindex!(::ZZMatrix, !Matched::Integer, ::Int64, ::Int64) @ Nemo ~/.julia/packages/Nemo/oD1Ap/src/flint/fmpz_mat.jl:144 setindex!(::ZZMatrix, !Matched::ZZRingElem, ::Int64, ::Int64) @ Nemo ~/.julia/packages/Nemo/oD1Ap/src/flint/fmpz_mat.jl:135 ... Stacktrace: [1] lll_gram_indef_with_transform(G::ZZMatrix; che

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: iNS Evaluated output: ERROR: UndefVarError: `iNS` not defined Expected output: 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] diff = Warning: Diff output requires color. 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]

src/QuadForm/Quad/ZGenus.jl#L2726

Process completed with exit code 1.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Adjust to changes in AA and Nemo #4220

Documentation

Adjust to changes in AA and Nemo #4220

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...