Improve class group proof #4284
Annotations
10 warnings
../../../.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
|
../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `stable` and linking `stable` to `v0.22.3`.
|
../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.22` and linking `v0.22` to `v0.22.3`.
|
../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.21` and linking `v0.21` to `v0.21.0`.
|
../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.20` and linking `v0.20` to `v0.20.3`.
|
../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.19` and linking `v0.19` to `v0.19.13`.
|
../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.18` and linking `v0.18` to `v0.18.16`.
|
../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.17` and linking `v0.17` to `v0.17.5`.
|
../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.16` and linking `v0.16` to `v0.16.10`.
|
../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.15` and linking `v0.15` to `v0.15.8`.
|
The logs for this run have expired and are no longer available.
Loading