Skip to content

Support for arbitrary ring morphisms with number field domains (#1324) #4453

Support for arbitrary ring morphisms with number field domains (#1324)

Support for arbitrary ring morphisms with number field domains (#1324) #4453

Triggered via push December 15, 2023 11:37
Status Success
Total duration 1h 9m 17s
Artifacts

CI.yml

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

Annotations

10 warnings
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Utilities/Utilities.jl#L34
2175 docstrings not included in the manual: NonSimpleNumFieldElem integral_basis_matrix_wrt :: Tuple{Hecke.AlgAssAbsOrdIdl, Hecke.AlgAssAbsOrd} add_verbose_scope ^ :: Tuple{AlgMatElem, Int64} ^ :: Tuple{Union{Hecke.AlgAssAbsOrdElem, Hecke.AlgAssRelOrdElem}, ZZRingElem} ^ :: Tuple{Hecke.AlgAssRelOrdIdl, Int64} ^ :: Tuple{Hecke.AbsAlgAssIdl, Int64} ^ :: Tuple{Hecke.AlgAssAbsOrdIdl, Int64} ^ :: Tuple{TorQuadModuleMor, Integer} root_lattice :: Tuple{Vector{Tuple{Symbol, Int64}}} issimultaneous_diagonalizable const_glaisher :: Union{Tuple{RealField}, Tuple{RealField, Int64}} const_glaisher :: Tuple{ArbField} minimal_subgroups :: Union{Tuple{GrpAbFinGen}, Tuple{GrpAbFinGen, Bool}} finite_maximal_order :: Tuple{AbstractAlgebra.Generic.FunctionField} mul_red! :: Tuple{nf_elem, nf_elem, nf_elem, Bool} log_integral_offset :: Union{Tuple{ComplexFieldElem}, Tuple{ComplexFieldElem, Int64}} log_integral_offset :: Tuple{acb} divisor_sigma :: Tuple{ZZRingElem, Int64} local_symbol :: Union{Tuple{V}, Tuple{U}, Tuple{T}, Tuple{S}, Tuple{Hecke.QuadSpaceCls{S, T, U, V}, T}} where {S, T, U, V} basis_matrix_wrt :: Tuple{Hecke.AlgAssAbsOrdIdl, Hecke.AlgAssAbsOrd} neron_tate_height :: Union{Tuple{EllCrvPt{T}}, Tuple{T}, Tuple{EllCrvPt{T}, Int64}} where T<:Union{QQFieldElem, nf_elem} root :: Tuple{Hecke.MPolyFact.RootCtx, Int64, Int64} isdivisible2 reduced_tate_pairing :: Tuple{EllCrvPt, EllCrvPt, Any} isfrom_db hadamard :: Tuple{ZZMatrixSpace} _doc_stub_nf2 abs2 :: Tuple{qqbar} is_finite :: Tuple{EllCrvPt} is_finite :: Tuple{HypellCrvPt} order_via_exhaustive_search :: Union{Tuple{EllCrv{T}}, Tuple{T}} where T<:FinFieldElem reduce_mod :: Union{Tuple{T}, Tuple{MatElem{T}, MatElem{T}}} where T<:FieldElem reduce_mod :: Tuple{ZZMatrix, ZZRingElem} reduce_mod :: Tuple{ZZMatrix, Integer} _quadratic_L_function_squared :: Tuple{Any, Any} ZpGenus bernoulli :: Tuple{Int64, ArbField} bernoulli :: Tuple{Int64} bernoulli :: Union{Tuple{Int64, RealField}, Tuple{Int64, RealField, Int64}} _convert_type :: Union{Tuple{T}, Tuple{MatrixElem{T}, MatrixElem{T}, T}} where T<:RingElem _convert_type :: Union{Tuple{T}, Tuple{ZZLat, MatrixElem{T}, T}} where T<:RingElem tanpi :: Tuple{qqbar} invmod :: Tuple{ZZRingElem, ZZRingElem} cansolve_with_nullspace :: Tuple{ZZMatrix, ZZMatrix} torsion_points_lutz_nagell :: Tuple{EllCrv{QQFieldElem}} formal_w :: Union{Tuple{EllCrv}, Tuple{EllCrv, Int64}} hasse_interval :: Tuple{EllCrv{<:FinFieldElem}} index :: Tuple{NfAbsOrd} index :: Tuple{ZZLat, ZZLat} TorQuadModElem dedekind_sum :: Tuple{ZZRingElem, ZZRingElem} const_catalan :: Union{Tuple{RealField}, Tuple{RealField, Int64}} const_catalan :: Tuple{ArbField} completion_easy :: Tuple{AnticNumberField, NfOrdIdl} fpMPolyRing islll_reduced gamma_regularized :: Tuple{arb, arb} gamma_regularized :: Union{Tuple{RealFieldElem, RealFieldElem}, Tuple{RealFieldElem, RealFieldElem, Int64}} gamma_regularized :: Tuple{acb, acb} gamma_regularized :: Union{Tuple{ComplexFieldElem, ComplexFieldElem}, Tuple{ComplexFieldElem, ComplexFieldElem, Int64}} FacElemMon issubgroup FqPolyRing norm_div :: Tuple{nf_elem, ZZRingElem, Int64} show_psi :: Tuple{Integer, Union{Int64, Hecke.NfFactorBase}} - :: Tuple{Hecke.LocalQuadSpaceCls, Hecke.LocalQuadSpaceCls} - :: Tuple{MSet, Vararg{Any}} - :: Tuple{AlgMatElem} - :: Tuple{TorQuadModuleMor} - :: Tuple{TorQuadModuleMor, TorQuadModuleMor} real :: Tuple{qqbar} real :: Tuple{ca} gcdinv :: Tuple{ZZRingElem, ZZRingElem} upscale :: Tuple{ZZLaurentSeriesRingElem, Int64} isinteger :: Tuple{RealFieldElem} isinteger :: Tuple{qqbar} isinteger :: Tuple{arb} isinteger :: Tuple{nf_elem} isinteger :: Tuple{acb} isinteger :: Tuple{ca} isinteger :: Tuple{ComplexFieldElem} coprime_base_insert :: Tuple{Any, Any} K1 :: Tuple{AlgAss{<:FinFieldElem}}
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `stable` and linking `stable` to `v0.23.1`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.23` and linking `v0.23` to `v0.23.1`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.22` and linking `v0.22` to `v0.22.9`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.21` and linking `v0.21` to `v0.21.0`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.20` and linking `v0.20` to `v0.20.3`.
Documentation: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.19` and linking `v0.19` to `v0.19.13`.
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`.