Skip to content

Improve class group proof #4282

Improve class group proof

Improve class group proof #4282

Triggered via pull request October 23, 2023 13:52
@thofmathofma
synchronize #1258
th/proofpara
Status Failure
Total duration 1h 22m 46s
Artifacts

CI.yml

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

Annotations

6 errors and 10 warnings
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 (nightly, 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 (nightly, ubuntu-latest)
Process completed with exit code 143.
test (1.9, macOS-latest)
Process completed with exit code 1.
test (1.6, ubuntu-latest)
Process completed with exit code 1.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Utilities/Utilities.jl#L34
2322 docstrings not included in the manual: is_subfield :: Tuple{Hecke.KummerExt, Hecke.KummerExt} is_less_root_order :: Tuple{qqbar, qqbar} twists :: Union{Tuple{EllCrv{T}}, Tuple{T}} where T<:FinFieldElem is_algebraic :: Tuple{ca} compose_mod :: Tuple{zzModPolyRingElem, zzModPolyRingElem, zzModPolyRingElem} compose_mod :: Union{Tuple{S}, Tuple{T}, Tuple{S, Vector{Int64}, Vector{S}, Vector{S}}} where {T<:RingElem, S<:MPolyRingElem{T}} abs2 :: Tuple{qqbar} sparse_row :: Union{Tuple{T}, Tuple{Ring, Vector{Int64}, AbstractVector{T}}} where T sparse_row :: Tuple{Ring} sparse_row :: Tuple{Ring, Vector{Tuple{Int64, Int64}}} sparse_row :: Union{Tuple{T}, Tuple{Ring, Array{Tuple{Int64, T}, 1}}} where T gcdinv :: Tuple{ZZRingElem, ZZRingElem} minpoly :: Tuple{ZZPolyRing, qqbar} minpoly :: Tuple{QQPolyRing, qqbar} minpoly :: Tuple{QQPolyRing, nf_elem} solve_dixon :: Tuple{QQMatrix, QQMatrix} solve_dixon :: Tuple{ZZMatrix, ZZMatrix} isGLZ_conjugate knot :: Tuple{ClassField} periods :: Union{Tuple{EllCrv{T}}, Tuple{T}, Tuple{EllCrv{T}, Int64}} where T<:Union{QQFieldElem, nf_elem} fq_default_abs_series absolute_value :: Union{Tuple{NumFieldElem, InfPlc}, Tuple{NumFieldElem, InfPlc, Int64}} minkowski_map :: Union{Tuple{NumFieldOrdElem}, Tuple{NumFieldOrdElem, Int64}} minkowski_map :: Union{Tuple{T}, Tuple{T, Int64}} where T<:NumFieldElem exp_pi_i :: Tuple{qqbar} rational_reconstruction2 :: Tuple{AbstractAlgebra.Generic.Mat{nf_elem}, ZZRingElem} rescale :: Tuple{QuadLat, Any} rescale :: Tuple{AbstractSpace, Any} is_unimodular :: Tuple{ZZGenus} is_unimodular :: Tuple{ZZLat} cokernel :: Union{Tuple{GrpAbFinGenMap}, Tuple{GrpAbFinGenMap, Bool}} ZGenus setintersection :: Tuple{arb, arb} setintersection :: Union{Tuple{RealFieldElem, RealFieldElem}, Tuple{RealFieldElem, RealFieldElem, Int64}} getindex :: Tuple{Ring, GroupsCore.Group} getindex :: Tuple{GrpGen, Int64} getindex :: Tuple{TorQuadModule, Int64} getindex :: Union{Tuple{T}, Tuple{SRow{T}, Int64}} where T<:RingElem rand_bits :: Tuple{ZZRing, Int64} rand_bits :: Tuple{QQField, Int64} FlintPadicField :: Tuple{Integer, Int64} FlintPadicField fmpz acos :: Tuple{ca} embedding :: Tuple{InfPlc} bernoulli :: Union{Tuple{Int64, RealField}, Tuple{Int64, RealField, Int64}} bernoulli :: Tuple{Int64} bernoulli :: Tuple{Int64, ArbField} add_error! :: Tuple{arb, arb} add_error! :: Tuple{RealFieldElem, RealFieldElem} fq_rel_series isogeny_map_psi_squared :: Tuple{Isogeny} FqDefaultRelSeriesRing is_locally_isomorphic :: Union{Tuple{T}, Tuple{T, T}} where T<:Union{Hecke.NfAbsOrdFracIdl{AnticNumberField, nf_elem}, Hecke.AlgAssAbsOrdIdl, NfAbsOrdIdl} ispositive_definite prime :: Tuple{FlintPadicField} prime :: Tuple{FlintQadicField} downscale :: Tuple{ZZLaurentSeriesRingElem, Int64} max_order :: Tuple{GrpGen} isfrom_db extend_easy :: Tuple{Hecke.NfOrdToFqNmodMor, AnticNumberField} QQField rational_reconstruction :: Tuple{ZZRingElem, ZZRingElem} rational_reconstruction :: Tuple{SRow{ZZRingElem}, ZZRingElem} rational_reconstruction :: Union{Tuple{S}, Tuple{PolyRingElem{S}, PolyRingElem{S}, Int64, Int64}} where S rational_reconstruction :: NTuple{4, ZZRingElem} rational_reconstruction :: Tuple{nf_elem, ZZRingElem} rational_reconstruction :: Union{Tuple{T}, Tuple{PolyRingElem{T}, PolyRingElem{T}}} where T infinite_uniformizers :: Tuple{AnticNumberField} issubfield isequal :: Tuple{arb, arb} isequal :: Tuple{RealFieldElem, RealFieldElem} isequal :: Tuple{arb_mat, arb_mat} isequal :: Tuple{ComplexFieldElem, ComplexFieldElem} isequal :: Tuple{ComplexMat, ComplexMat} isequal :: Tuple{ZZLaurentSeriesRingElem, ZZLaurentSeriesRingElem} isequal :: Tuple{RealMat, RealMat} isequal :: Tuple{acb, acb} isequal :: Tuple{acb_mat, acb_mat} divisible :: Tuple{ZZRingElem, Int64} divisible :: Tuple{ZZRingE
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `stable` and linking `stable` to `v0.22.3`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.22` and linking `v0.22` to `v0.22.3`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.21` and linking `v0.21` to `v0.21.0`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.20` and linking `v0.20` to `v0.20.3`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.19` and linking `v0.19` to `v0.19.13`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.18` and linking `v0.18` to `v0.18.16`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.17` and linking `v0.17` to `v0.17.5`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.16` and linking `v0.16` to `v0.16.10`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.15` and linking `v0.15` to `v0.15.8`.