1998 docstrings not included in the manual: FpMatrix elementary_divisors :: Union{Tuple{MatElem{T}}, Tuple{T}} where T elementary_divisors :: Tuple{TorQuadModule} tan :: Tuple{CalciumFieldElem} canonical_projections :: Tuple{FinGenAbGroup} natural_lattice :: Tuple{Hecke.AlgAssAbsOrd{<:MatAlgebra{QQFieldElem, QQMatrix}}} gen :: Tuple{FinGenAbGroup, Int64} gcdx :: Union{Tuple{T}, Tuple{OrdLocElem{T}, OrdLocElem{T}}} where T<:AbsSimpleNumFieldElem oct :: Tuple{ZZRingElem} valuation :: Tuple{Integer, AbsNumFieldOrderIdeal} valuation :: Tuple{AbsNumFieldOrderIdeal, AbsNumFieldOrderIdeal} valuation :: Tuple{Divisor, Hecke.GenOrdIdl} valuation :: Union{Tuple{T}, Tuple{OrdLocElem{T}, AbsNumFieldOrderIdeal{AbsSimpleNumField, T}}} where T<:AbsSimpleNumFieldElem valuation :: Union{Tuple{Hecke.LocalFieldElem{S, T}}, Tuple{T}, Tuple{S}} where {S<:FieldElem, T<:Hecke.LocalFieldParameter} valuation :: Tuple{ZZRingElem, AbsNumFieldOrderIdeal} valuation :: Tuple{FunFldDiff, Hecke.GenOrdIdl} valuation :: Tuple{Hecke.AbsNumFieldOrderFractionalIdeal, AbsNumFieldOrderIdeal} QQMPolyRing subalgebra :: Union{Tuple{T}, Tuple{Hecke.AbstractAssociativeAlgebra{T}, Hecke.AbstractAssociativeAlgebraElem{T}}, Tuple{Hecke.AbstractAssociativeAlgebra{T}, Hecke.AbstractAssociativeAlgebraElem{T}, Bool}, Tuple{Hecke.AbstractAssociativeAlgebra{T}, Hecke.AbstractAssociativeAlgebraElem{T}, Bool, Symbol}} where T subalgebra :: Union{Tuple{T}, Tuple{Hecke.AbstractAssociativeAlgebra{T}, Vector{<:Hecke.AbstractAssociativeAlgebraElem{T}}}} where T subalgebra :: Union{Tuple{T}, Tuple{StructureConstantAlgebra{T}, AssociativeAlgebraElem{T, StructureConstantAlgebra{T}}}, Tuple{StructureConstantAlgebra{T}, AssociativeAlgebraElem{T, StructureConstantAlgebra{T}}, Bool}, Tuple{StructureConstantAlgebra{T}, AssociativeAlgebraElem{T, StructureConstantAlgebra{T}}, Bool, Symbol}} where T subalgebra :: Union{Tuple{T}, Tuple{StructureConstantAlgebra{T}, Array{AssociativeAlgebraElem{T, StructureConstantAlgebra{T}}, 1}}} where T trivial_morphism :: Tuple{TorQuadModule} trivial_morphism :: Tuple{TorQuadModule, TorQuadModule} kodaira_symbols :: Tuple{EllipticCurve{QQFieldElem}} kodaira_symbols :: Tuple{EllipticCurve{AbsSimpleNumFieldElem}} hasse_interval :: Tuple{EllipticCurve{<:FinFieldElem}} is_real :: Tuple{InfPlc} integral :: Union{Tuple{RelPowerSeriesRingElem{T}}, Tuple{T}} where T is_less_real :: Tuple{QQBarFieldElem, QQBarFieldElem} trace_of_frobenius :: Union{Tuple{EllipticCurve{T}}, Tuple{T}} where T<:FinFieldElem trace_of_frobenius :: Union{Tuple{T}, Tuple{EllipticCurve{T}, Int64}} where T<:FinFieldElem asinpi :: Tuple{QQBarFieldElem} complementary_divisor :: Tuple{Divisor} is_reduced :: Tuple{QuadBin{ZZRingElem}} _block_indices_vals :: Tuple{Union{ZZModMatrix, zzModMatrix}, Any} prime_decomposition_type :: Union{Tuple{T}, Tuple{AbsSimpleNumFieldOrder, T}} where T<:Union{Integer, ZZRingElem} prime_decomposition_type :: Union{Tuple{T}, Tuple{T, AbsNumFieldOrderIdeal}} where T<:Union{ClassField, Hecke.ClassField_pp} sqrtpos :: Union{Tuple{RealFieldElem}, Tuple{RealFieldElem, Int64}} sqrtpos :: Tuple{ArbFieldElem} group_structure :: Tuple{AbsSimpleNumFieldOrderQuoRing} eigenvalues_with_multiplicities :: Tuple{QQBarField, Union{QQMatrix, ZZMatrix}} eigenvalues_with_multiplicities :: Tuple{AcbMatrix} eigenvalues_with_multiplicities :: Tuple{ComplexMat} eigenvalues_with_multiplicities :: Union{Tuple{MatElem{T}}, Tuple{T}} where T<:FieldElem eigenvalues_with_multiplicities :: Union{Tuple{T}, Tuple{Field, MatElem{T}}} where T<:RingElem zero_divisor :: Tuple{AbstractAlgebra.Generic.FunctionFieldElem} zero_divisor :: Tuple{Divisor} Order :: Union{Tuple{T}, Tuple{S}, Tuple{S, Vector{T}}} where {S<:NumField{QQFieldElem}, T<:NumFieldElem{QQFieldElem}} Order :: Union{Tuple{S}, Tuple{S, QQMatrix}} where S<:NumField{QQFieldElem} Order :: Union{Tuple{S}, Tuple{S, QQMatrix}} where S<:Union{A