Misc changes

src/HeckeMoreStuff.jl

@@ -351,6 +351,7 @@
   ccall((:nf_elem_sub, libflint), Nothing,
         (Ref{AbsSimpleNumFieldElem}, Ref{AbsSimpleNumFieldElem}, Ref{AbsSimpleNumFieldElem}, Ref{AbsSimpleNumField}),
         a, b, c, a.parent)
+  return a
 end
 
 function lift(R::ZZAbsPowerSeriesRing, f::ZZModAbsPowerSeriesRingElem)
@@ -1053,6 +1054,7 @@
   for i = 0:degree(f)
     setcoeff!(f, i, mod_sym(coeff(f, i), p))
   end
+  return f
 end
 
 function mod_sym(a::AbsSimpleNumFieldElem, b::ZZRingElem, b2::ZZRingElem)

src/flint/FlintTypes.jl

@@ -754,13 +754,8 @@ mutable struct fpPolyRingElem <: PolyRingElem{fpFieldElem}
     return z
   end
 
-  function fpPolyRingElem(n::UInt, a::Int)
-    z = new()
-    ccall((:nmod_poly_init, libflint), Nothing, (Ref{fpPolyRingElem}, UInt), z, n)
-    ccall((:nmod_poly_set_coeff_ui, libflint), Nothing,
-          (Ref{fpPolyRingElem}, Int, UInt), z, 0, mod(a, n))
-    finalizer(_gfp_poly_clear_fn, z)
-    return z
+  function fpPolyRingElem(n::UInt, a::Integer)
+    return fpPolyRingElem(n, mod(a, n) % UInt)
   end
 
   function fpPolyRingElem(n::UInt, arr::Vector{ZZRingElem})

src/flint/fmpq.jl

@@ -369,6 +369,16 @@
   return cmp(a, b) < 0
 end
 
+function Base.isapprox(x::QQFieldElem, y::QQFieldElem;
+                       atol::Real=0, rtol::Real=0,
+                       nans::Bool=false, norm::Function=abs)
+  if norm === abs && atol < 1 && rtol == 0
+    return x == y
+  else
+    return norm(x - y) <= max(atol, rtol*max(norm(x), norm(y)))
+  end
+end
+
 ###############################################################################
 #
 #   Ad hoc comparison

src/flint/fmpz.jl

@@ -860,6 +860,16 @@
 
 isless(x::Integer, y::ZZRingElem) = ZZRingElem(x) < y
 
+function Base.isapprox(x::ZZRingElem, y::ZZRingElem;
+                       atol::Real=0, rtol::Real=0,
+                       nans::Bool=false, norm::Function=abs)
+  if norm === abs && atol < 1 && rtol == 0
+    return x == y
+  else
+    return norm(x - y) <= max(atol, rtol*max(norm(x), norm(y)))
+  end
+end
+
 ###############################################################################
 #
 #   Ad hoc comparison
@@ -1425,15 +1435,6 @@
   return d, x, y
 end
 
-@doc raw"""
-    gcdinv(a::ZZRingElem, b::ZZRingElem)
-
-Return a tuple $g, s$ where $g$ is the greatest common divisor of $a$ and
-$b$ and where $s$ is the inverse of $a$ modulo $b$ if $g = 1$. This function
-can be used to detect impossible inverses, i.e. where $a$ and $b$ are not
-coprime, and to yield the common factor of $a$ and $b$ if they are not
-coprime. We require $b \geq a \geq 0$.
-"""
 function gcdinv(a::ZZRingElem, b::ZZRingElem)
   a < 0 && throw(DomainError(a, "First argument must be non-negative"))
   b < a && throw(DomainError((a, b), "First argument must be smaller than second argument"))

src/flint/fq_default_poly.jl

@@ -509,17 +509,6 @@ function gcd(x::FqPolyRingElem, y::FqPolyRingElem)
   return z
 end
 
-function gcdinv(x::FqPolyRingElem, y::FqPolyRingElem)
-  check_parent(x,y)
-  z = parent(x)()
-  s = parent(x)()
-  t = parent(x)()
-  ccall((:fq_default_poly_xgcd, libflint), Nothing,
-        (Ref{FqPolyRingElem}, Ref{FqPolyRingElem}, Ref{FqPolyRingElem}, Ref{FqPolyRingElem}, Ref{FqPolyRingElem},
-         Ref{FqField}), z, s, t, x, y, base_ring(parent(x)))
-  return z, s
-end
-
 function gcdx(x::FqPolyRingElem, y::FqPolyRingElem)
   check_parent(x,y)
   z = parent(x)()

src/flint/fq_nmod_poly.jl

@@ -515,18 +515,6 @@ function gcd(x::fqPolyRepPolyRingElem, y::fqPolyRepPolyRingElem)
   return z
 end
 
-function gcdinv(x::fqPolyRepPolyRingElem, y::fqPolyRepPolyRingElem)
-  check_parent(x,y)
-  z = parent(x)()
-  s = parent(x)()
-  t = parent(x)()
-  ccall((:fq_nmod_poly_xgcd, libflint), Nothing,
-        (Ref{fqPolyRepPolyRingElem}, Ref{fqPolyRepPolyRingElem}, Ref{fqPolyRepPolyRingElem},
-         Ref{fqPolyRepPolyRingElem}, Ref{fqPolyRepPolyRingElem},
-         Ref{fqPolyRepField}), z, s, t, x, y, base_ring(parent(x)))
-  return z, s
-end
-
 function gcdx(x::fqPolyRepPolyRingElem, y::fqPolyRepPolyRingElem)
   check_parent(x,y)
   z = parent(x)()

src/flint/fq_poly.jl

@@ -515,17 +515,6 @@ function gcd(x::FqPolyRepPolyRingElem, y::FqPolyRepPolyRingElem)
   return z
 end
 
-function gcdinv(x::FqPolyRepPolyRingElem, y::FqPolyRepPolyRingElem)
-  check_parent(x,y)
-  z = parent(x)()
-  s = parent(x)()
-  t = parent(x)()
-  ccall((:fq_poly_xgcd, libflint), Nothing,
-        (Ref{FqPolyRepPolyRingElem}, Ref{FqPolyRepPolyRingElem}, Ref{FqPolyRepPolyRingElem}, Ref{FqPolyRepPolyRingElem}, Ref{FqPolyRepPolyRingElem},
-         Ref{FqPolyRepField}), z, s, t, x, y, base_ring(parent(x)))
-  return z, s
-end
-
 function gcdx(x::FqPolyRepPolyRingElem, y::FqPolyRepPolyRingElem)
   check_parent(x,y)
   z = parent(x)()

src/gaussiannumbers/ZZi.jl

@@ -627,11 +627,6 @@ function invmod(a::ZZiRingElem, b::ZZiRingElem)
   return x
 end
 
-function gcdinv(a::ZZiRingElem, b::ZZiRingElem)
-  g, x, y = gcdx(a, b)
-  return (g, x)
-end
-
 function remove(a::ZZiRingElem, b::ZZiRingElem)
   if (iszero(b) || is_unit(b))
     throw(ArgumentError("Second argument must be a non-zero non-unit"))