Skip to content

Add documentation for elliptic curves over finite fields #4044

Add documentation for elliptic curves over finite fields

Add documentation for elliptic curves over finite fields #4044

Triggered via pull request July 21, 2023 07:07
@thofmathofma
synchronize #1172
th/ellc
Status Success
Total duration 1h 50m 28s
Artifacts

CI.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Utilities/Utilities.jl#L34
2350 docstrings not included in the manual: residual_polynomial :: Tuple{NewtonPolygon{ZZPolyRingElem}, Line} root_lattice :: Tuple{Vector{Tuple{Symbol, Int64}}} divisor_lenstra :: Tuple{ZZRingElem, ZZRingElem, ZZRingElem} prime_decomposition :: Union{Tuple{NfAbsOrd{NfAbsNS, NfAbsNSElem}, Union{Integer, ZZRingElem}}, Tuple{NfAbsOrd{NfAbsNS, NfAbsNSElem}, Union{Integer, ZZRingElem}, Int64}, Tuple{NfAbsOrd{NfAbsNS, NfAbsNSElem}, Union{Integer, ZZRingElem}, Int64, Int64}} prime_decomposition :: Union{Tuple{Map, NfOrdIdl}, Tuple{Map, NfOrdIdl, NfOrd}} issimple_known zeros :: Tuple{ZZPolyRingElem} EquationOrder :: Tuple{QQPolyRingElem} EquationOrder :: Tuple{ZZPolyRingElem} EquationOrder :: Union{Tuple{NumField{QQFieldElem}}, Tuple{NumField{QQFieldElem}, Bool}} chain_complex :: Tuple{Vararg{Map{GrpAbFinGen, GrpAbFinGen}}} ray_class_field :: Tuple{NfAbsOrdIdl, Vector{<:InfPlc}} ray_class_field :: Union{Tuple{T}, Tuple{S}, Tuple{S, T}} where {S<:Union{Hecke.MapClassGrp, MapRayClassGrp}, T} _local_genera :: Tuple{ZZRingElem, Int64, Int64, Int64, Int64, Bool} mul_red! :: Tuple{nf_elem, nf_elem, nf_elem, Bool} roots_upper_bound :: Tuple{arb_poly} roots_upper_bound :: Tuple{acb_poly} roots_upper_bound :: Tuple{RealPoly} roots_upper_bound :: Tuple{ComplexPoly} fmpz_mod is_similar :: Union{Tuple{T}, Tuple{MatElem{T}, MatElem{T}}} where T<:FieldElem compose :: Tuple{TorQuadModuleMor, TorQuadModuleMor} compose :: Tuple{QuadBin{ZZRingElem}, QuadBin{ZZRingElem}} compose :: Tuple{Vector{Isogeny}} compose :: Tuple{Isogeny, Isogeny} ZZModMatrixSpace csgn :: Tuple{ca} csgn :: Tuple{qqbar} isbijective is_integral :: Tuple{Hecke.AbsAlgAssElem} isrepresented_by FqPolyRingElem isindex_divisor fpMPolyRingElem conductor :: Tuple{T} where T<:Union{ClassField, Hecke.ClassField_pp} conductor :: Union{Tuple{Hecke.AlgAssAbsOrd, Hecke.AlgAssAbsOrd}, Tuple{Hecke.AlgAssAbsOrd, Hecke.AlgAssAbsOrd, Symbol}} conductor :: Tuple{EllCrv{nf_elem}} conductor :: Tuple{Union{Integer, ZZRingElem}} conductor :: Tuple{NfOrd, NfOrd} conductor :: Tuple{EllCrv{QQFieldElem}} conductor :: Tuple{NfOrd} GFPFmpzAbsSeriesRing tate_pairing :: Union{Tuple{T}, Tuple{EllCrvPt{T}, EllCrvPt{T}, Union{Integer, ZZRingElem}}} where T<:FinFieldElem is_supersingular :: Union{Tuple{EllCrv{T}}, Tuple{T}} where T<:FinFieldElem zero_map :: Tuple{GrpAbFinGen} normal_basis :: Union{Tuple{T}, Tuple{T, T}} where T<:FinField transitive_closure :: Tuple{Nemo.FinFieldMorphism} field :: Tuple{Hecke.MPolyFact.RootCtx, MatElem} isequivalent_with_isometry artin_schreier_equation :: Tuple{Int64, FinFieldElem} local_multiplicative_group_modulo_squares :: Tuple{Vector{ZZRingElem}} _isotropic_subspace :: Tuple{Hecke.QuadSpace{QQField, QQMatrix}} coprime_base_insert :: Tuple{Any, Any} nullspace :: Union{Tuple{SMat{T}}, Tuple{T}} where T<:FieldElement tan :: Tuple{ca} pmaximal_overorder :: Tuple{Hecke.AlgAssRelOrd, Union{NfAbsOrdIdl, Hecke.NfRelOrdIdl}} pmaximal_overorder :: Tuple{NfAbsOrd, ZZRingElem} GaloisFmpzMatSpace FqDefaultMPolyRing hasroot asin :: Tuple{ca} isdefinite torsion_points :: Tuple{EllCrv{QQFieldElem}} islocally_represented_by isabsolute hermitian_structure :: Tuple{ZZLat, QQMatrix} prevpow2 :: Tuple{ZZRingElem} rres :: Union{Tuple{T}, Tuple{S}, Tuple{PolyRingElem{T}, PolyRingElem{T}}} where {S<:Union{Integer, ZZRingElem}, T<:ResElem{S}} rres :: Tuple{ZZPolyRingElem, ZZPolyRingElem} hensel_qf :: Union{Tuple{T}, Tuple{T, T, Any, Any, Any}} where T<:Union{ZZModMatrix, zzModMatrix} clrbit! :: Tuple{ZZRingElem, Int64} FqNmodMatSpace rising_factorial2 :: Union{Tuple{RealFieldElem, Int64}, Tuple{RealFieldElem, Int64, Int64}} rising_factorial2 :: Tuple{acb, Int64} rising_factorial2 :: Tuple{ComplexFieldElem, Int64} rising_factorial2 :: Tuple{arb, Int64} const_glaisher :: Tuple{ArbField} con
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `stable` and linking `stable` to `v0.19.8`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.19` and linking `v0.19` to `v0.19.8`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.18` and linking `v0.18` to `v0.18.16`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.17` and linking `v0.17` to `v0.17.5`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.16` and linking `v0.16` to `v0.16.10`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.15` and linking `v0.15` to `v0.15.8`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.14` and linking `v0.14` to `v0.14.13`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.13` and linking `v0.13` to `v0.13.4`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.12` and linking `v0.12` to `v0.12.0`.