2318 docstrings not included in the manual: EllipticCurve extend :: Union{Tuple{S}, Tuple{T}, Tuple{Hecke.AlgAssAbsOrdIdl{S, T}, Hecke.AlgAssAbsOrd{S, T}}, Tuple{Hecke.AlgAssAbsOrdIdl{S, T}, Hecke.AlgAssAbsOrd{S, T}, Symbol}} where {T, S} extend :: Tuple{InfPlc, NumField} points_at_infinity :: Union{Tuple{HypellCrv{T}}, Tuple{T}} where T show_psi :: Tuple{Integer, Union{Int64, Hecke.NfFactorBase}} CPS_height_bounds :: Union{Tuple{EllCrv{T}}, Tuple{T}} where T<:Union{QQFieldElem, nf_elem} nice_order :: Union{Tuple{Hecke.AlgAssAbsOrd{S, T}}, Tuple{T}, Tuple{S}} where {S, T} nice_order :: Union{Tuple{Hecke.AlgAssRelOrd{S, T, U}}, Tuple{U}, Tuple{T}, Tuple{S}} where {S, T, U} common_eigenspaces :: Union{Tuple{Vector{<:MatElem{T}}}, Tuple{T}} where T<:FieldElem isinteger :: Tuple{acb} isinteger :: Tuple{nf_elem} isinteger :: Tuple{ca} isinteger :: Tuple{qqbar} isinteger :: Tuple{arb} isinteger :: Tuple{RealFieldElem} isinteger :: Tuple{ComplexFieldElem} is_less_abs_imag :: Tuple{qqbar, qqbar} division_polynomial :: Union{Tuple{S}, Tuple{EllCrv, S}, Tuple{EllCrv, S, Any}, Tuple{EllCrv, S, Any, Any}} where S<:Union{Integer, ZZRingElem} FqDefaultPolyRing continued_fraction_with_matrix :: Tuple{arb} modular_lambda :: Tuple{acb} modular_lambda :: Union{Tuple{ComplexFieldElem}, Tuple{ComplexFieldElem, Int64}} is_on_curve :: Union{Tuple{T}, Tuple{HypellCrv{T}, Vector{T}}} where T formal_differential_form :: Union{Tuple{EllCrv}, Tuple{EllCrv, Int64}} push_through_isogeny :: Tuple{Isogeny, RingElem} _isotropic_subspace :: Tuple{Hecke.QuadSpace{QQField, QQMatrix}} add_error! :: Tuple{arb, arb} add_error! :: Tuple{RealFieldElem, RealFieldElem} is_unimodular :: Tuple{ZZLat} is_unimodular :: Tuple{ZZGenus} rsqrt :: Tuple{acb} rsqrt :: Union{Tuple{ComplexFieldElem}, Tuple{ComplexFieldElem, Int64}} rsqrt :: Tuple{arb} rsqrt :: Union{Tuple{RealFieldElem}, Tuple{RealFieldElem, Int64}} is_conjugate :: Tuple{ZZMatrix, ZZMatrix} local_mass :: Tuple{HermLat} NGFiniteField :: Union{Tuple{Union{Integer, ZZRingElem}, Int64}, Tuple{Union{Integer, ZZRingElem}, Int64, Union{Char, AbstractString, Symbol}}} NmodMatSpace fixed_field :: Union{Tuple{T}, Tuple{SimpleNumField, T}} where T<:Hecke.NumFieldMor fixed_field :: Tuple{ClassField, GrpAbFinGen} fq_default_mpoly absolute_frobenius :: Union{Tuple{FqFieldElem}, Tuple{FqFieldElem, Any}} isprincipal_maximal fq det_nondegenerate_part :: Tuple{Hecke.LocalQuadSpaceCls} det_nondegenerate_part :: Tuple{Hecke.QuadSpaceCls} resultant_sircana :: Union{Tuple{T}, Tuple{S}, Tuple{PolyRingElem{T}, PolyRingElem{T}}} where {S<:Union{Integer, ZZRingElem}, T<:ResElem{S}} ismaxreal_type norm_div :: Tuple{nf_elem, ZZRingElem, Int64} height_pairing :: Union{Tuple{T}, Tuple{EllCrvPt{T}, EllCrvPt{T}}, Tuple{EllCrvPt{T}, EllCrvPt{T}, Int64}} where T<:Union{QQFieldElem, nf_elem} isindefinite sign_real :: Tuple{qqbar} isdefining_polynomial_nice ProdEnv integer_lattice :: Union{Tuple{Symbol}, Tuple{Symbol, Union{Integer, QQFieldElem, ZZRingElem, Rational}}} is_ordinary :: Union{Tuple{EllCrv{T}}, Tuple{T}} where T<:FinFieldElem isfree_a5_fabi snf_diagonal :: Tuple{ZZMatrix} pow :: Tuple{ca, Int64} zassenhaus :: Tuple{PolyRingElem{nf_elem}, NfOrdIdl} floor :: Tuple{QQFieldElem} floor :: Tuple{ca} floor :: Tuple{qqbar} integral_basis_matrix_wrt :: Tuple{Hecke.AlgAssAbsOrdIdl, Hecke.AlgAssAbsOrd} order_via_schoof :: Union{Tuple{EllCrv{T}}, Tuple{T}} where T<:FinFieldElem locally_isometric_sublattice :: Tuple{HermLat, HermLat, Any} isless_abs_imag _basis_complement :: Tuple{MatElem} TorQuadModElem hasse_invariant :: Tuple{AbstractLat, Any} FqNmodMPolyRing isfree_resolution isless_abs rres :: Union{Tuple{T}, Tuple{S}, Tuple{PolyRingElem{T}, PolyRingElem{T}}} where {S<:Union{Integer, ZZRingElem}, T<:ResElem{S}} rres :: Tuple{ZZPolyRingElem, Z