2317 docstrings not included in the manual: rational_canonical_form :: Union{Tuple{MatElem{T}}, Tuple{T}} where T<:FieldElem FpMPolyRing lattice :: Tuple{Hecke.QuadSpace{QQField, QQMatrix}, MatElem{<:Union{Integer, QQFieldElem, ZZRingElem, Rational}}} lattice :: Tuple{Hecke.ModAlgAss{QQField}, Hecke.AlgAssAbsOrd, MatElem} lattice :: Tuple{Hecke.JorDec} iscyclic composition_series :: Union{Tuple{Hecke.ModAlgAss{S, T, V}}, Tuple{V}, Tuple{T}, Tuple{S}} where {S, T, V} minimal_subgroups :: Union{Tuple{GrpAbFinGen}, Tuple{GrpAbFinGen, Bool}} components :: Tuple{Type{Field}, Hecke.AbsAlgAss} isfinite :: Tuple{arb} isfinite :: Tuple{RealFieldElem} isfinite :: Tuple{acb} isfinite :: Tuple{ComplexFieldElem} R_soluble :: NTuple{5, Any} FqPolyRepFieldElem fmpz_mod_rel_series isalmost_maximally_ramified local_genera_hermitian prime_field :: Tuple{FqField} coordinates :: Tuple{Union{Hecke.AlgAssAbsOrdElem, Hecke.AlgAssRelOrdElem}} coordinates :: Tuple{Hecke.NfRelOrdElem} coordinates :: Tuple{NfAbsOrdElem} fpMPolyRing acospi :: Tuple{qqbar} islocally_isometric_kirschmer FmpzMPolyRing NfAbsOrdIdlSet :: Tuple{Map, NfOrdIdl} pmaximal_overorder :: Tuple{NfAbsOrd, ZZRingElem} pmaximal_overorder :: Tuple{Hecke.AlgAssRelOrd, Union{NfAbsOrdIdl, Hecke.NfRelOrdIdl}} pselmer_group :: Tuple{Int64, Vector{NfOrdIdl}} fq_nmod_rel_series has_embedding :: Tuple{NumField, NumField} discriminant :: Union{Tuple{Vector{T}}, Tuple{T}} where T<:NumFieldOrdElem discriminant :: Union{Tuple{HypellCrv{T}}, Tuple{T}} where T discriminant :: Union{Tuple{Hecke.AlgAssRelOrd{S, T, U}}, Tuple{U}, Tuple{T}, Tuple{S}} where {S, T, U} discriminant :: Union{Tuple{T}, Tuple{T, NfOrd}} where T<:Map discriminant :: Tuple{Hecke.AlgAssAbsOrd} discriminant :: Tuple{ZZLat} discriminant :: Union{Tuple{EllCrv{T}}, Tuple{T}} where T discriminant :: Tuple{QuadBin} is_less_imag :: Tuple{qqbar, qqbar} hilbert_class_polynomial :: Tuple{Int64, ZZPolyRing} tidy_model :: Tuple{EllCrv{QQFieldElem}} CPS_height_bounds :: Union{Tuple{EllCrv{T}}, Tuple{T}} where T<:Union{QQFieldElem, nf_elem} isrationally_isometric ispower_unram istotally_real fqPolyRepPolyRingElem endomorphism_ring :: Tuple{Hecke.EndAlgMap, Hecke.ModAlgAssLat} isnorm_fac_elem spectrum :: Union{Tuple{T}, Tuple{MatElem{T}, Any}} where T<:FieldElem spectrum :: Union{Tuple{MatElem{T}}, Tuple{T}} where T<:FieldElem ideal_class_monoid :: Tuple{T} where T<:Union{Hecke.AlgAssAbsOrd, NfAbsOrd} narrow_picard_group :: Tuple{NfOrd} ismaximal_order_known ideals :: Tuple{Any} reduction :: Tuple{Hecke.ModAlgAssLat, Union{Integer, ZZRingElem}} reduction :: Tuple{QuadBin{ZZRingElem}} haspreimage :: Tuple{GrpAbFinGenMap, GrpAbFinGenElem} canonical_unit :: Union{Tuple{OrdLocElem{T}}, Tuple{T}} where T<:nf_elem sqrt1pm1 :: Tuple{arb} sqrt1pm1 :: Union{Tuple{RealFieldElem}, Tuple{RealFieldElem, Int64}} ZZModPolyRingElem n_positive_roots :: Tuple{ZZPolyRingElem} n_positive_roots :: Tuple{PolyRingElem{nf_elem}, Hecke.NumFieldEmb} AbsSpace _direct_product :: Tuple{Symbol, Vararg{GrpAbFinGen}} conductor :: Tuple{NfOrd} conductor :: Tuple{EllCrv{QQFieldElem}} conductor :: Tuple{EllCrv{nf_elem}} conductor :: Union{Tuple{Hecke.AlgAssAbsOrd, Hecke.AlgAssAbsOrd}, Tuple{Hecke.AlgAssAbsOrd, Hecke.AlgAssAbsOrd, Symbol}} conductor :: Tuple{NfOrd, NfOrd} conductor :: Tuple{T} where T<:Union{ClassField, Hecke.ClassField_pp} conductor :: Tuple{Union{Integer, ZZRingElem}} function_field :: Tuple{Divisor} center :: Union{Tuple{AlgAss{T}}, Tuple{T}} where T center :: Union{Tuple{AlgMat{T, S}}, Tuple{S}, Tuple{T}} where {T, S} center :: Union{Tuple{AlgGrp{T}}, Tuple{T}} where T has_root :: Tuple{ZZPolyRingElem, AnticNumberField} has_root :: Tuple{PolyRingElem{nf_elem}} prime_form :: Tuple{ZZRingElem, ZZRingElem} hensel_qf :: Union{Tuple{T},