2321 docstrings not included in the manual: morphisms :: Tuple{GrpGen, GrpGen} _quadratic_form_solve_triv :: Tuple{MatElem{ZZRingElem}} ispositive_entry has_norm :: Tuple{Hecke.GenOrdIdl} has_norm :: Tuple{NfAbsOrdIdl} lll_with_removal_transform :: Union{Tuple{ZZMatrix, ZZRingElem}, Tuple{ZZMatrix, ZZRingElem, lll_ctx}} is_cyclic :: Tuple{GrpGen} order_via_schoof :: Union{Tuple{EllCrv{T}}, Tuple{T}} where T<:FinFieldElem FpField polygamma :: Tuple{acb, acb} polygamma :: Union{Tuple{ComplexFieldElem, ComplexFieldElem}, Tuple{ComplexFieldElem, ComplexFieldElem, Int64}} minimal_discriminant :: Tuple{EllCrv{QQFieldElem}} minimal_discriminant :: Tuple{EllCrv{nf_elem}} howell_form :: Tuple{ZZModMatrix} howell_form :: Tuple{zzModMatrix} howell_form :: Tuple{fpMatrix} ischaracteristic regulator_iwasawa :: Union{Tuple{T}, Tuple{Vector{T}, qAdicConj}, Tuple{Vector{T}, qAdicConj, Int64}} where T<:Union{FacElem{nf_elem, AnticNumberField}, nf_elem} direct_product :: Tuple{Vector{AnticNumberField}} direct_product :: Union{Tuple{Vector{T}}, Tuple{T}} where T<:AbstractLat direct_product :: Union{Tuple{Vector{T}}, Tuple{T}} where T<:AbstractSpace direct_product :: Union{Tuple{Vector{<:AlgAss{T}}}, Tuple{T}} where T lcm :: Tuple{ZZRingElem, ZZRingElem, Vararg{ZZRingElem}} lcm :: Tuple{Vector{ZZRingElem}} issimultaneous_diagonalizable PrimeIdealsSet :: Union{Tuple{S}, Tuple{T}, Tuple{NfOrd, T, S}} where {T<:Union{Integer, ZZRingElem}, S<:Union{Integer, ZZRingElem}} next_calkin_wilf :: Tuple{QQFieldElem} FqNmodMatSpace equation_order :: Tuple{NfAbsOrd} has_matrix_action :: Union{Tuple{Hecke.ModAlgAss{S, T, U}}, Tuple{U}, Tuple{T}, Tuple{S}} where {S, T, U} is_uinf :: Tuple{ca} reduce :: Union{Tuple{T}, Tuple{SMat{T}, SRow{T}}} where T reduce :: Union{Tuple{T}, Tuple{SMat{T}, SRow{T}, T}} where T add_verbose_scope iszero_mod_hnf! isprincipal_fac_elem ZZModPolyRing FqDefaultFiniteField fq_nmod_poly isequal_abs_imag FqPolyRepMPolyRingElem lift :: Tuple{FqPolyRing, FqFieldElem} lift :: Tuple{QQPolyRing, qadic} lift :: Tuple{ZZRing, padic} lift :: Tuple{ZZPolyRing, fpPolyRingElem} lift :: Tuple{fpMatrix} lift :: Tuple{ZZPolyRing, qadic} lift :: Tuple{padic} lift :: Tuple{T} where T<:Union{fpMatrix, zzModMatrix} lift :: Tuple{QQField, padic} lift :: Tuple{ZZPolyRing, zzModPolyRingElem} lift :: Tuple{ZZPolyRing, ZZModPolyRingElem} lift :: Tuple{FpPolyRing, FqPolyRepFieldElem} lift :: Tuple{ZZPolyRing, FpPolyRingElem} lift :: Tuple{AbstractAlgebra.Generic.Mat{AbstractAlgebra.Generic.ResidueRingElem{ZZRingElem}}} nullspace_right_rational :: Tuple{ZZMatrix} torsion_points_division_poly :: Tuple{EllCrv{QQFieldElem}} disc_log_bs_gs :: Union{Tuple{T}, Tuple{T, T, Integer}} where T<:RingElem height :: Tuple{qqbar} height :: Tuple{QQFieldElem} height :: Tuple{ZZPolyRingElem} + :: Tuple{TorQuadModule, TorQuadModule} + :: Union{Tuple{U}, Tuple{T}, Tuple{S}, Tuple{Hecke.AlgAssRelOrdIdl{S, T, U}, Hecke.AlgAssRelOrdIdl{S, T, U}}} where {S, T, U} + :: Tuple{Hecke.LocalQuadSpaceCls, Hecke.LocalQuadSpaceCls} + :: Union{Tuple{T}, Tuple{S}, Tuple{Hecke.AlgAssAbsOrdIdl{S, T}, Hecke.AlgAssAbsOrdIdl{S, T}}} where {S, T} + :: Union{Tuple{U}, Tuple{T}, Tuple{S}, Tuple{Hecke.AbsAlgAssIdl{S, T, U}, Hecke.AbsAlgAssIdl{S, T, U}}} where {S, T, U} + :: 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} gfp_fmpz_mpoly elliptic_e :: Tuple{acb} elliptic_e :: Union{Tuple{ComplexFieldElem}, Tuple{ComplexFieldElem, Int64}} factor_absolute :: Tuple{QQMPolyRingElem} R_soluble :: NTuple{5, Any} resultant_sircana :: Union{Tuple{T}, Tuple{S}, Tuple{PolyRingElem{T}, PolyRingElem{T}}} where {S<:Union{Integer, ZZRingElem}, T<:ResElem{S}} contains_negative :: Tuple{arb} contains_n