Skip to content

Compute LLL basis in subfields if the field is large (#1316) #4430

Compute LLL basis in subfields if the field is large (#1316)

Compute LLL basis in subfields if the field is large (#1316) #4430

Triggered via push December 8, 2023 11:19
Status Success
Total duration 1h 11m 54s
Artifacts

CI.yml

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

Annotations

10 warnings
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Utilities/Utilities.jl#L34
2177 docstrings not included in the manual: isfree_a5_fabi next_calkin_wilf :: Tuple{QQFieldElem} getindex :: Union{Tuple{T}, Tuple{SRow{T}, Int64}} where T<:RingElem getindex :: Tuple{GrpGen, Int64} getindex :: Tuple{TorQuadModule, Int64} getindex :: Tuple{Ring, GroupsCore.Group} action :: Tuple{Hecke.ModAlgAssLat, Any} action :: Tuple{Hecke.ModAlgAss{<:Any, <:MatElem}, Hecke.AbsAlgAssElem} action :: Tuple{Hecke.ModAlgAss} is_supersingular :: Union{Tuple{EllCrv{T}}, Tuple{T}} where T<:FinFieldElem is_absolutely_irreducible :: Tuple{QQMPolyRingElem} NumFieldOrd real_field _doc_stub_nf _quadratic_form_solve_triv :: Tuple{MatElem{ZZRingElem}} Nemo squaredivisors :: Tuple{Any} radius :: Tuple{arb} radius :: Tuple{RealFieldElem} islinearly_disjoint isramified decomposition_field :: Tuple{ClassField, NfOrdIdl} is_split :: Tuple{Hecke.AbsAlgAss, Any} is_split :: Tuple{Hecke.AbsAlgAss{QQFieldElem}} is_positive :: Tuple{arb} is_positive :: Tuple{RealFieldElem} divexact_left :: Union{Tuple{T}, Tuple{S}, Tuple{Hecke.AlgAssAbsOrdIdl{S, T}, Hecke.AlgAssAbsOrdIdl{S, T}}} where {S, T} divexact_left :: Union{Tuple{U}, Tuple{T}, Tuple{S}, Tuple{Hecke.AlgAssRelOrdIdl{S, T, U}, Hecke.AlgAssRelOrdIdl{S, T, U}}} where {S, T, U} divexact_left :: Union{Tuple{T}, Tuple{T, T}, Tuple{T, T, Bool}} where T<:Union{Hecke.AlgAssAbsOrdElem, Hecke.AlgAssRelOrdElem} divexact_left :: Tuple{Hecke.AbsAlgAssElem, Hecke.AbsAlgAssElem} fqPolyRepPolyRingElem SMat _isglobal_genus :: Tuple{ZZGenus} FacElemMon quo :: Tuple{Union{Hecke.AlgAssAbsOrd, NfAbsOrd}, Union{Hecke.AlgAssAbsOrdIdl, NfAbsOrdIdl}, Union{Integer, ZZRingElem}} quo :: Union{Tuple{GrpAbFinGen, ZZMatrix}, Tuple{GrpAbFinGen, ZZMatrix, Bool}, Tuple{GrpAbFinGen, ZZMatrix, Bool, Hecke.RelLattice{GrpAbFinGen, ZZMatrix}}} quo :: Union{Tuple{U}, Tuple{T}, Tuple{S}, Tuple{Hecke.AbsAlgAssIdl{S, T, U}, Hecke.AbsAlgAssIdl{S, T, U}}} where {S, T, U} quo :: Tuple{Union{Hecke.AlgAssAbsOrdIdl, NfAbsOrdIdl}, Union{Hecke.AlgAssAbsOrdIdl, NfAbsOrdIdl}, Union{Integer, ZZRingElem}} quo :: Union{Tuple{S}, Tuple{T}, Tuple{Union{Hecke.AlgAssRelOrd{T, S}, Hecke.NfRelOrd{T, S}}, Union{Hecke.AlgAssRelOrdIdl{T, S}, Hecke.NfRelOrdIdl{T, S}}, Union{Hecke.NfRelOrdIdl, NfOrdIdl}}} where {T, S} quo :: Union{Tuple{S}, Tuple{T}, Tuple{Union{Hecke.AlgAssRelOrdIdl{T, S}, Hecke.NfRelOrdIdl{T, S}}, Union{Hecke.AlgAssRelOrdIdl{T, S}, Hecke.NfRelOrdIdl{T, S}}, Union{Hecke.NfRelOrdIdl, NfOrdIdl}}, Tuple{Union{Hecke.AlgAssRelOrdIdl{T, S}, Hecke.NfRelOrdIdl{T, S}}, Union{Hecke.AlgAssRelOrdIdl{T, S}, Hecke.NfRelOrdIdl{T, S}}, Union{Hecke.NfRelOrdIdl, NfOrdIdl}, Any}} where {T, S} quo :: Union{Tuple{GrpAbFinGen, Union{Integer, ZZRingElem}}, Tuple{GrpAbFinGen, Union{Integer, ZZRingElem}, Bool}, Tuple{GrpAbFinGen, Union{Integer, ZZRingElem}, Bool, Hecke.RelLattice{GrpAbFinGen, ZZMatrix}}} quo :: Union{Tuple{U}, Tuple{T}, Tuple{S}, Tuple{S, Hecke.AbsAlgAssIdl{S, T, U}}} where {S, T, U} quo :: Union{Tuple{GrpAbFinGen, Vector{GrpAbFinGenElem}}, Tuple{GrpAbFinGen, Vector{GrpAbFinGenElem}, Bool}, Tuple{GrpAbFinGen, Vector{GrpAbFinGenElem}, Bool, Hecke.RelLattice{GrpAbFinGen, ZZMatrix}}} quo :: Union{Tuple{GrpAbFinGen, GrpAbFinGen}, Tuple{GrpAbFinGen, GrpAbFinGen, Bool}, Tuple{GrpAbFinGen, GrpAbFinGen, Bool, Hecke.RelLattice{GrpAbFinGen, ZZMatrix}}} tstbit :: Tuple{ZZRingElem, Int64} is_coprime :: Tuple{NfAbsOrdIdl, NfAbsOrdIdl} randseed! :: Union{Tuple{}, Tuple{Union{Nothing, Integer}}} real :: Tuple{qqbar} real :: Tuple{ca} canonical_frobenius :: Tuple{NfOrdIdl, Hecke.KummerExt} _brown_indecomposable :: Tuple{MatElem, ZZRingElem} contract :: Tuple{Hecke.AlgAssAbsOrdIdl, Hecke.AlgAssAbsOrd} rational_isometry_class :: Tuple{ZZGenus} rational_isometry_class :: Tuple{ZZLocalGenus} faltings_height :: Union{Tuple{EllCrv{QQFieldElem}}, Tuple{EllCrv{QQFieldElem}, Int64}} isogeny_map_omega :: Tuple{Isogeny} improper_spinor_generato
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `stable` and linking `stable` to `v0.23.0`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.23` and linking `v0.23` to `v0.23.0`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.22` and linking `v0.22` to `v0.22.9`.
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`.