Skip to content

Improve class group proof #4284

Improve class group proof

Improve class group proof #4284

Re-run triggered October 24, 2023 18:07
Status Failure
Total duration 38m 27s
Artifacts

CI.yml

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

Annotations

4 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.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Utilities/Utilities.jl#L34
2315 docstrings not included in the manual: sparse_row :: Tuple{Ring, Vector{Tuple{Int64, Int64}}} sparse_row :: Union{Tuple{T}, Tuple{Ring, Vector{Int64}, AbstractVector{T}}} where T sparse_row :: Union{Tuple{T}, Tuple{Ring, Array{Tuple{Int64, T}, 1}}} where T sparse_row :: Tuple{Ring} elliptic_k :: Tuple{acb} elliptic_k :: Union{Tuple{ComplexFieldElem}, Tuple{ComplexFieldElem, Int64}} exponent :: Union{Tuple{ClassField{S, T}}, Tuple{T}, Tuple{S}} where {S, T} exponent :: Tuple{TorQuadModule} isprincipal_maximal_fac_elem elementary_divisors :: Union{Tuple{MatElem{T}}, Tuple{T}} where T elementary_divisors :: Tuple{TorQuadModule} issmooth const_catalan :: Union{Tuple{RealField}, Tuple{RealField, Int64}} const_catalan :: Tuple{ArbField} sinhcosh :: Tuple{acb} sinhcosh :: Union{Tuple{ComplexFieldElem}, Tuple{ComplexFieldElem, Int64}} zzModRing _blocks :: Union{Tuple{Array{Int64}}, Tuple{Array{Int64}, Any}} set_verbose_level rescale :: Tuple{AbstractSpace, Any} rescale :: Tuple{QuadLat, Any} isfinite :: Tuple{ComplexFieldElem} isfinite :: Tuple{acb} isfinite :: Tuple{RealFieldElem} isfinite :: Tuple{arb} isogeny_map_psi_squared :: Tuple{Isogeny} iterated_neighbours :: Tuple{HermLat, Any} inertia_subgroup :: Tuple{ClassField, NfOrdIdl} tr :: Tuple{nf_elem} tr :: Tuple{FqFieldElem} tr :: Tuple{FqPolyRepFieldElem} NfAbsOrdIdlSet :: Tuple{Map, NfOrdIdl} GFPFmpzRelSeriesRing ZZModMatrix rational_maps :: Tuple{Isogeny} rational_maps :: Tuple{Hecke.EllCrvIso} hasse_interval :: Tuple{EllCrv{<:FinFieldElem}} FqPolyRepPolyRing powermod :: Tuple{ZZRingElem, ZZRingElem, ZZRingElem} powermod :: Tuple{ZZRingElem, Int64, ZZRingElem} ZZMPolyRing saturate :: Tuple{AbstractLat, AbstractLat} lll_gram_indef_ternary_hyperbolic :: Tuple{MatElem{ZZRingElem}} coefficients :: Tuple{Hecke.AbsAlgAssElem} coefficients :: Tuple{AlgMatElem} local_genera_quadratic faltings_height :: Union{Tuple{EllCrv{QQFieldElem}}, Tuple{EllCrv{QQFieldElem}, Int64}} is_algebraic_integer :: Tuple{qqbar} isreal :: Tuple{ca} isreal :: Tuple{qqbar} hnf_modular :: Tuple{ZZMatrix, ZZRingElem} cos_integral :: Tuple{acb} cos_integral :: Union{Tuple{ComplexFieldElem}, Tuple{ComplexFieldElem, Int64}} semi_global_minimal_model :: Tuple{EllCrv{nf_elem}} is_cyclic :: Tuple{GrpGen} ismaximal_known FlintFiniteField :: Union{Tuple{ZZRingElem, Int64}, Tuple{ZZRingElem, Int64, Union{Char, AbstractString, Symbol}}} FlintFiniteField :: Union{Tuple{FqPolyRepField, Int64}, Tuple{FqPolyRepField, Int64, Union{Char, AbstractString, Symbol}}} FlintFiniteField :: Union{Tuple{Union{FpPolyRingElem, ZZModPolyRingElem}}, Tuple{Union{FpPolyRingElem, ZZModPolyRingElem}, Union{Char, AbstractString, Symbol}}} integral_model :: Union{Tuple{EllCrv{T}}, Tuple{T}} where T<:Union{QQFieldElem, nf_elem} preimage :: Tuple{TorQuadModuleMor, TorQuadModuleElem} preimage :: Tuple{Hecke.EllCrvIso, EllCrvPt} preimage :: Tuple{GrpGenToGrpGenMor, GrpGenElem} rels_from_partial :: Tuple{Int64, Int64} solve :: Tuple{ZZMatrix, ZZMatrix} group :: Tuple{AlgGrp} iseisenstein_polynomial reduced_charpoly :: Tuple{Hecke.AbsAlgAssElem} iscm_field_easy isnilpotent modular_proj :: Tuple{AbstractAlgebra.Generic.Poly{nf_elem}, Hecke.modular_env} modular_proj :: Tuple{AbstractAlgebra.Generic.Mat{nf_elem}, Hecke.modular_env} modular_proj :: Tuple{nf_elem, Hecke.modular_env} FqDefaultMatSpace var :: Tuple{AnticNumberField} is_prime_known :: Tuple{Hecke.GenOrdIdl} is_prime_known :: Tuple{NfAbsOrdIdl} isinfinite isweakly_ramified _mass_squared :: Tuple{ZZLocalGenus} fq_abs_series index :: Tuple{ZZLat, ZZLat} index :: Tuple{NfAbsOrd} isindex_divisor maximal_central_subfield :: Tuple{ClassField} product_of_components_with_projection :: Tuple{Hecke.AbsAlgAss, Vector{Int64}} set_assert_level Embed
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`.