Deduplicate set_precision! (#1844)

Use "abstract" `set_precision!`
Nemocas · Sep 18, 2024 · 8c90844 · 8c90844
1 parent e1a2e98
commit 8c90844
Show file tree

Hide file tree

Showing 11 changed files with 1 addition and 85 deletions.
diff --git a/src/Nemo.jl b/src/Nemo.jl
@@ -192,6 +192,7 @@ import AbstractAlgebra: Set
 import AbstractAlgebra: set_attribute!
 import AbstractAlgebra: Solve
 import AbstractAlgebra: terse
+import AbstractAlgebra: truncate!
 
 AbstractAlgebra.@include_deprecated_bindings()
 

diff --git a/src/flint/fmpq_abs_series.jl b/src/flint/fmpq_abs_series.jl
@@ -116,13 +116,6 @@ end
 
 characteristic(::QQAbsPowerSeriesRing) = 0
 
-function set_precision!(z::QQAbsPowerSeriesRingElem, k::Int)
-  k < 0 && throw(DomainError(k, "Precision must be non-negative"))
-  z = truncate!(z, k)
-  z.prec = k
-  return z
-end
-
 ###############################################################################
 #
 #   Similar

diff --git a/src/flint/fmpq_rel_series.jl b/src/flint/fmpq_rel_series.jl
@@ -109,16 +109,6 @@ end
 
 characteristic(::QQRelPowerSeriesRing) = 0
 
-function set_precision!(z::QQRelPowerSeriesRingElem, k::Int)
-  k < 0 && throw(DomainError(k, "Precision must be non-negative"))
-  z = truncate!(z, k)
-  z.prec = k
-  if is_zero(z)
-    z.val = k
-  end
-  return z
-end
-
 ###############################################################################
 #
 #   Similar

diff --git a/src/flint/fmpz_abs_series.jl b/src/flint/fmpz_abs_series.jl
@@ -115,13 +115,6 @@ end
 
 characteristic(::ZZAbsPowerSeriesRing) = 0
 
-function set_precision!(z::ZZAbsPowerSeriesRingElem, k::Int)
-  k < 0 && throw(DomainError(k, "Precision must be non-negative"))
-  z = truncate!(z, k)
-  z.prec = k
-  return z
-end
-
 ###############################################################################
 #
 #   Similar

diff --git a/src/flint/fmpz_mod_abs_series.jl b/src/flint/fmpz_mod_abs_series.jl
@@ -135,13 +135,6 @@ for (etype, rtype, ctype, mtype, brtype, flint_fn) in (
 
     characteristic(R::($rtype)) = characteristic(base_ring(R))
 
-    function set_precision!(z::($etype), k::Int)
-      k < 0 && throw(DomainError(k, "Precision must be non-negative"))
-      z = truncate!(z, k)
-      z.prec = k
-      return z
-    end
-
     ###############################################################################
     #
     #   Similar

diff --git a/src/flint/fmpz_mod_rel_series.jl b/src/flint/fmpz_mod_rel_series.jl
@@ -124,16 +124,6 @@ for (etype, rtype, ctype, mtype, brtype, flint_fn) in (
 
     characteristic(R::($rtype)) = modulus(R)
 
-    function set_precision!(z::($etype), k::Int)
-      k < 0 && throw(DomainError(k, "Precision must be non-negative"))
-      z = truncate!(z, k)
-      z.prec = k
-      if is_zero(z)
-        z.val = k
-      end
-      return z
-    end
-
     ###############################################################################
     #
     #   Similar

diff --git a/src/flint/fmpz_rel_series.jl b/src/flint/fmpz_rel_series.jl
@@ -109,16 +109,6 @@ end
 
 characteristic(::ZZRelPowerSeriesRing) = 0
 
-function set_precision!(z::ZZRelPowerSeriesRingElem, k::Int)
-  k < 0 && throw(DomainError(k, "Precision must be non-negative"))
-  z = truncate!(z, k)
-  z.prec = k
-  if is_zero(z)
-    z.val = k
-  end
-  return z
-end
-
 ###############################################################################
 #
 #   Similar

diff --git a/src/flint/fq_abs_series.jl b/src/flint/fq_abs_series.jl
@@ -128,13 +128,6 @@ for (etype, rtype, ctype, btype, flint_fn, flint_tail) in (
 
     characteristic(R::($rtype)) = characteristic(base_ring(R))
 
-    function set_precision!(z::($etype), k::Int)
-      k < 0 && throw(DomainError(k, "Precision must be non-negative"))
-      z = truncate!(z, k)
-      z.prec = k
-      return z
-    end
-
     ###############################################################################
     #
     #   Similar

diff --git a/src/flint/fq_rel_series.jl b/src/flint/fq_rel_series.jl
@@ -120,16 +120,6 @@ for (etype, rtype, ctype, btype, flint_fn, flint_tail) in (
 
     characteristic(R::($rtype)) = characteristic(base_ring(R))
 
-    function set_precision!(z::($etype), k::Int)
-      k < 0 && throw(DomainError(k, "Precision must be non-negative"))
-      z = truncate!(z, k)
-      z.prec = k
-      if is_zero(z)
-        z.val = k
-      end
-      return z
-    end
-
     ###############################################################################
     #
     #   Similar

diff --git a/src/flint/nmod_abs_series.jl b/src/flint/nmod_abs_series.jl
@@ -122,13 +122,6 @@ for (etype, rtype, mtype, brtype, flint_fn) in (
 
     characteristic(R::($rtype)) = characteristic(base_ring(R))
 
-    function set_precision!(z::($etype), k::Int)
-      k < 0 && throw(DomainError(k, "Precision must be non-negative"))
-      z = truncate!(z, k)
-      z.prec = k
-      return z
-    end
-
     ###############################################################################
     #
     #   Similar

diff --git a/src/flint/nmod_rel_series.jl b/src/flint/nmod_rel_series.jl
@@ -115,16 +115,6 @@ for (etype, rtype, mtype, brtype, flint_fn) in (
 
     characteristic(R::($rtype)) = modulus(R)
 
-    function set_precision!(z::($etype), k::Int)
-      k < 0 && throw(DomainError(k, "Precision must be non-negative"))
-      z = truncate!(z, k)
-      z.prec = k
-      if is_zero(z)
-        z.val = k
-      end
-      return z
-    end
-
     ###############################################################################
     #
     #   Similar