Skip to content

Improve Plesken--Souvignier (#1320) #69

Improve Plesken--Souvignier (#1320)

Improve Plesken--Souvignier (#1320) #69

Triggered via push December 15, 2023 08:35
Status Success
Total duration 1h 17m 31s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

CI.yml

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

Annotations

1 warning
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Utilities/Utilities.jl#L34
2178 docstrings not included in the manual: ischaracteristic lll_gram_with_transform :: Union{Tuple{ZZMatrix}, Tuple{ZZMatrix, lll_ctx}} is_totally_isotropic :: Tuple{TorQuadModule} lift :: Tuple{Hecke.MPolyFact.RootCtxSingle} quartic_rational_point_search :: Union{NTuple{7, Any}, NTuple{8, Any}, NTuple{9, Any}} NGFiniteField :: Union{Tuple{Union{Integer, ZZRingElem}, Int64}, Tuple{Union{Integer, ZZRingElem}, Int64, Union{Char, AbstractString, Symbol}}} factor_mod_pk :: Tuple{Hecke.HenselCtx, Int64} factor_mod_pk :: Tuple{ZZPolyRingElem, Int64, Int64} totally_ramified_completion :: Union{Tuple{AnticNumberField, NfOrdIdl}, Tuple{AnticNumberField, NfOrdIdl, Int64}} complex_conjugation :: Tuple{ClassField, InfPlc} kummer_generator_of_local_unramified_quadratic_extension :: Tuple{Any} quo :: Tuple{Union{Hecke.AlgAssAbsOrd, NfAbsOrd}, 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{GrpAbFinGen, Union{Integer, ZZRingElem}}, Tuple{GrpAbFinGen, Union{Integer, ZZRingElem}, Bool}, Tuple{GrpAbFinGen, Union{Integer, ZZRingElem}, Bool, Hecke.RelLattice{GrpAbFinGen, ZZMatrix}}} quo :: Tuple{Union{Hecke.AlgAssAbsOrdIdl, NfAbsOrdIdl}, 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{GrpAbFinGen, GrpAbFinGen}, Tuple{GrpAbFinGen, GrpAbFinGen, Bool}, Tuple{GrpAbFinGen, GrpAbFinGen, Bool, Hecke.RelLattice{GrpAbFinGen, ZZMatrix}}} 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{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{U}, Tuple{T}, Tuple{S}, Tuple{Hecke.AbsAlgAssIdl{S, T, U}, Hecke.AbsAlgAssIdl{S, T, U}}} where {S, T, U} cyclotomic :: Tuple{Int64, ZZPolyRingElem} det_divisor :: Tuple{ZZMatrix} FpMPolyRing induce_image :: Tuple{NfToNfMor, InfPlc} is_root_of_unity :: Tuple{qqbar} PosInf _subgroups_all :: Tuple{GrpGen} bessel_k :: Tuple{acb, acb} bessel_k :: Union{Tuple{ComplexFieldElem, ComplexFieldElem}, Tuple{ComplexFieldElem, ComplexFieldElem, Int64}} norm_group :: Union{Tuple{T}, Tuple{PolyRingElem, T}, Tuple{PolyRingElem, T, Bool}} where T<:Union{Hecke.MapClassGrp, MapRayClassGrp} norm_group :: Union{Tuple{T}, Tuple{Hecke.NfRel{nf_elem}, T}, Tuple{Hecke.NfRel{nf_elem}, T, Bool}} where T<:Union{Hecke.MapClassGrp, MapRayClassGrp} islocal_norm docstring :: Tuple{Symbol, Symbol} + :: Union{Tuple{U}, Tuple{T}, Tuple{S}, Tuple{Hecke.AlgAssRelOrdIdl{S, T, U}, Hecke.AlgAssRelOrdIdl{S, T, U}}} where {S, T, U} + :: Tuple{TorQuadModule, TorQuadModule} + :: Union{Tuple{T}, Tuple{S}, Tuple{Hecke.AlgAssAbsOrdIdl{S, T}, Hecke.AlgAssAbsOrdIdl{S, T}}} where {S, T} + :: Tuple{Hecke.LocalQuadSpaceCls, Hecke.LocalQuadSpaceCls} + :: Tuple{TorQuadModuleMor, TorQuadModuleMor} + :: Union{Tuple{U}, Tuple{T}, Tuple{S}, Tuple{Hecke.QuadSpaceCls{S, T, U}, Hecke.QuadSpaceCls{S, T, U}}} where {S, T, U} + :: Union{Tuple{U}, Tuple{T}, Tuple{S}, Tuple{Hecke.AbsAlgAssIdl{S, T, U}, Hecke.AbsAlgAssIdl{S, T, U}}} where {S, T, U} local_mass :: Tuple{HermLat} modular_proj :