Adjust to changes in AA and Nemo #4221
fingolfinCI.yml
on: pull_request
Documentation
9m 40s
Matrix: test
Annotations
9 errors
|
test (nightly, ubuntu-latest)
Process completed with exit code 1.
|
|
Documentation:
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
|
|
Documentation:
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
|
|
Documentation
Process completed with exit code 1.
|
|
test (~1.10.0-0, ubuntu-latest)
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
|
|
test (~1.10.0-0, ubuntu-latest)
The operation was canceled.
|
|
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.
|