Skip to content

Fixes for zero algebra (#1321) #68

Fixes for zero algebra (#1321)

Fixes for zero algebra (#1321) #68

Triggered via push December 14, 2023 08:49
Status Success
Total duration 1h 24m 54s
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
2176 docstrings not included in the manual: torsion_points :: Tuple{EllCrv{QQFieldElem}} is_integral :: Tuple{Hecke.AbsAlgAssElem} csgn :: Tuple{ca} csgn :: Tuple{qqbar} _two_adic_symbol :: Tuple{ZZMatrix, Int64} valuation :: Tuple{ZZLaurentSeriesRingElem} valuation :: Tuple{QQMatrix, Any} valuation :: Tuple{padic} valuation :: Tuple{qadic} valuation :: Tuple{ZZRingElem, ZZRingElem} fpField QQFieldElem :: Tuple{qqbar} QQFieldElem add_verbose_scope prime_decomposition :: Union{Tuple{NfAbsOrd{<:NumField{QQFieldElem}}, Union{Integer, ZZRingElem}}, Tuple{NfAbsOrd{<:NumField{QQFieldElem}}, Union{Integer, ZZRingElem}, Int64}, Tuple{NfAbsOrd{<:NumField{QQFieldElem}}, Union{Integer, ZZRingElem}, Int64, Int64}} prime_decomposition :: Union{Tuple{Map, NfOrdIdl}, Tuple{Map, NfOrdIdl, NfOrd}} bad_primes :: Tuple{QuadLat} bad_primes :: Tuple{ZZGenus} bad_primes :: Tuple{EllCrv{nf_elem}} bad_primes :: Tuple{EllCrv{QQFieldElem}} bad_primes :: Tuple{HermLat} lattice_with_local_conditions :: Tuple{Hecke.AlgAssAbsOrd, Vector{<:Union{Integer, ZZRingElem}}, Vector{<:Hecke.AlgAssAbsOrdIdl}} exponential_integral :: Tuple{BigFloat} _complete_to_basis :: Union{Tuple{MatElem{ZZRingElem}}, Tuple{MatElem{ZZRingElem}, Bool}} abs2 :: Tuple{qqbar} gram_matrix :: Tuple{Hecke.JorDec} gram_matrix :: Tuple{Hecke.JorDec, Int64} is_complex :: Tuple{InfPlc} similar :: Union{Tuple{MSet{T}}, Tuple{T}} where T eisenstein_g :: Union{Tuple{Int64, ComplexFieldElem}, Tuple{Int64, ComplexFieldElem, Int64}} eisenstein_g :: Tuple{Int64, acb} pohlig_hellman :: Tuple{Any, Any, Any} absolute_representation_matrix :: Tuple{Hecke.NfRelElem} is_fundamental_discriminant :: Tuple{Union{Integer, ZZRingElem}} solve :: Tuple{ZZMatrix, ZZMatrix} Hecke image_of_logarithm_one_units :: Tuple{NonArchLocalField} pol_length :: Tuple{ZZLaurentSeriesRingElem} height_bits :: Tuple{QQFieldElem} height_bits :: Tuple{qqbar} dot :: Union{Tuple{T}, Tuple{SRow{T}, SRow{T}}} where T iszero :: Tuple{ZZLaurentSeriesRingElem} iszero :: Tuple{FlintPuiseuxSeriesElem} iszero :: Tuple{arb} iszero :: Tuple{acb} iszero :: Tuple{ca} iszero :: Tuple{qqbar} iszero :: Tuple{ComplexFieldElem} iszero :: Tuple{RealFieldElem} isalmost_maximally_ramified QQMatrix isstable isogeny_map_psi :: Tuple{Isogeny} fqPolyRepMatrix isreducible extend_easy :: Tuple{Hecke.NfOrdToFqNmodMor, AnticNumberField} rescale :: Tuple{AbstractSpace, Any} rescale :: Tuple{QuadLat, Any} lower_bound :: Tuple{arb, Type{ZZRingElem}} dedekind_sum :: Tuple{ZZRingElem, ZZRingElem} is_bijective :: Tuple{TorQuadModuleMor} is_bijective :: Tuple{GrpAbFinGenMap} semi_global_minimal_model :: Tuple{EllCrv{nf_elem}} pr_torsion_basis :: Union{Tuple{T}, Tuple{EllCrv{T}, Any}, Tuple{EllCrv{T}, Any, Any}} where T<:Union{QQFieldElem, nf_elem} eigvals_simple :: Union{Tuple{ComplexMat}, Tuple{ComplexMat, Symbol}} eigvals_simple :: Union{Tuple{acb_mat}, Tuple{acb_mat, Symbol}} subsets :: Union{Tuple{T}, Tuple{Vector{T}, Int64}} where T subsets :: Tuple{Int64, Int64} subsets :: Union{Tuple{MSet{T}}, Tuple{T}} where T subsets :: Union{Tuple{T}, Tuple{Set{T}, Int64}} where T subsets :: Union{Tuple{Set{T}}, Tuple{T}} where T submodules :: Union{Tuple{Hecke.ModAlgAss{S, T, V}}, Tuple{V}, Tuple{T}, Tuple{S}} where {S, T, V} submodules :: Union{Tuple{V}, Tuple{T}, Tuple{S}, Tuple{Hecke.ModAlgAss{S, T, V}, Int64}} where {S, T, V} submodules :: Tuple{ZpnGModule} flog :: Tuple{ZZRingElem, ZZRingElem} BigFloat :: Union{Tuple{arb}, Tuple{arb, RoundingMode}} BigFloat :: Union{Tuple{RealFieldElem}, Tuple{RealFieldElem, RoundingMode}} NGFiniteField :: Union{Tuple{Union{Integer, ZZRingElem}, Int64}, Tuple{Union{Integer, ZZRingElem}, Int64, Union{Char, AbstractString, Symbol}}} natural_lattice :: Tuple{Hecke.AlgAssAbsOrd{<:AlgMat{QQFieldElem, QQMatrix}}} radica