Rename stuff to new names once again

thofma · Nov 22, 2023 · 1478170 · 1478170
1 parent 0003169
commit 1478170
Show file tree

Hide file tree

Showing 5 changed files with 9 additions and 9 deletions.
diff --git a/src/EllCrv/Finite.jl b/src/EllCrv/Finite.jl
@@ -835,7 +835,7 @@ julia> order(E)
 100
 ```
 """
-@attr fmpz function order(E::EllCrv{T}) where T<:FinFieldElem
+@attr ZZRingElem function order(E::EllCrv{T}) where T<:FinFieldElem
   R = base_field(E)
   p = characteristic(R)
   q = order(R)
@@ -859,7 +859,7 @@ end
 function _order_factored(E::EllCrv{<:FinFieldElem})
   return get_attribute!(E, :order_factored) do
     return factor(order(E))
-  end::Fac{fmpz}
+  end::Fac{ZZRingElem}
 end
 
 @doc raw"""
@@ -1095,7 +1095,7 @@ end
 # DOI: 10.1007/s00145-004-0315-8
 #
 #
-@attr Tuple{Vector{fmpz}, Vector{EllCrvPt{T}}} function _grp_struct_with_gens(E::EllCrv{T}) where {T <: FinFieldElem}
+@attr Tuple{Vector{ZZRingElem}, Vector{EllCrvPt{T}}} function _grp_struct_with_gens(E::EllCrv{T}) where {T <: FinFieldElem}
   N = order(E)
   K = base_field(E)
   # TODO:
@@ -1187,7 +1187,7 @@ GrpAb: Z/2 x Z/5200
 function abelian_group(E::EllCrv{U}) where {U <: FinFieldElem}
   _invdiv, _gens = _grp_struct_with_gens(E)
   if length(_gens) == 0
-    strct = fmpz[]
+    strct = ZZRingElem[]
     gens = elem_type(E)[]
   elseif length(_gens) == 1
     strct = copy(_invdiv)

diff --git a/src/LocalField/neq.jl b/src/LocalField/neq.jl
@@ -27,7 +27,7 @@ end
 ########### any_root computes a single root in the finite field extensions####
 
 import Nemo: any_root
-function any_root(F::Union{fqPolyRepField, Hecke.RelFinField, FqField}, f::PolyElem)
+function any_root(F::Union{fqPolyRepField, Hecke.RelFinField, FqField}, f::PolyRingElem)
    g = change_base_ring(F, f; cached = false)
    return any_root(g)
 end

diff --git a/src/QuadForm/Torsion.jl b/src/QuadForm/Torsion.jl
@@ -2207,7 +2207,7 @@ end
 ################################################################################
 
 @doc raw"""
-    submodules(T::TorQuadMod; kw...)
+    submodules(T::TorQuadModule; kw...)
 
 Return the submodules of `T` as an iterator. Possible keyword arguments to
 restrict the submodules:
@@ -2224,7 +2224,7 @@ function submodules(T::TorQuadModule; kw...)
 end
 
 @doc raw"""
-    stable_submodules(T::TorQuadMod, act::Vector{TorQuadModuleMor}; kw...)
+    stable_submodules(T::TorQuadModule, act::Vector{TorQuadModuleMor}; kw...)
 
 Return the submodules of `T` stable under the endomorphisms in `act` as
 an iterator. Possible keyword arguments to restrict the submodules:

diff --git a/test/NumFieldOrd/NumFieldOrd.jl b/test/NumFieldOrd/NumFieldOrd.jl
@@ -129,7 +129,7 @@ end
   @test Order(K, [1]) == equation_order(K)
   @test Order(K, []) == equation_order(K)
 
-  K, a = NumberField(x^4 - 10*x^2 + 1, "a")
+  K, a = number_field(x^4 - 10*x^2 + 1, "a")
   x = 1//2*a^3 - 9//2*a # sqrt(2)
   y = 1//2*a^3 - 11//2*a # sqrt(3)
   O = Order(K, [x, y, x*y])

diff --git a/test/QuadForm/Quad/Spaces.jl b/test/QuadForm/Quad/Spaces.jl
@@ -22,7 +22,7 @@
   w = QQ[1 1;]
   p = @inferred inner_product(q, v, w)
   @test p == v * gram_matrix(q) * transpose(w)
-  for T in [Int, BigInt, fmpz, Rational{BigInt}, Rational{Int}]
+  for T in [Int, BigInt, ZZRingElem, Rational{BigInt}, Rational{Int}]
     @test inner_product(q, [1, 1], [1, 2]) == 3
   end