From 4fb1f9b15e80c99b4900675b4f4b8544da2aa4f0 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Fri, 22 Dec 2023 08:42:46 +0100
Subject: [PATCH] Add missing 'check' argument to several divexact methods
 (#1332)

---
 examples/MultDep.jl                       |  4 ++--
 examples/Suri.jl                          |  2 +-
 src/AlgAss/Elem.jl                        |  6 +++---
 src/AlgAssAbsOrd/Elem.jl                  | 12 ++++++------
 src/AlgAssAbsOrd/Ideal.jl                 |  4 ++--
 src/AlgAssRelOrd/Ideal.jl                 |  4 ++--
 src/Deprecations.jl                       |  8 ++++++++
 src/GrpAb/Dual.jl                         |  6 +++---
 src/LocalField/Elem.jl                    | 12 ++++++------
 src/LocalField/Poly.jl                    |  2 +-
 src/LocalField/Ring.jl                    |  2 +-
 src/NumField/NfRel/NfRel.jl               |  8 ++++----
 src/NumFieldOrd/NfOrd/Ideal/Arithmetic.jl | 18 +++++++++---------
 src/NumFieldOrd/NfRelOrd/FracIdeal.jl     |  6 +++---
 src/NumFieldOrd/NfRelOrd/Ideal.jl         |  2 +-
 src/NumFieldOrd/NumFieldOrdElem.jl        |  4 ++--
 src/QuadForm/QuadBin.jl                   |  7 ++++---
 src/Sparse/Row.jl                         | 10 +++++-----
 test/NfOrd/Elem.jl                        |  8 ++++----
 19 files changed, 67 insertions(+), 58 deletions(-)

diff --git a/examples/MultDep.jl b/examples/MultDep.jl
index 4b0d50d839..8fc2016e2c 100644
--- a/examples/MultDep.jl
+++ b/examples/MultDep.jl
@@ -163,9 +163,9 @@ function *(a::GeIdeal, b::GeIdeal)
   return GeIdeal(a.a * b.a)
 end
 
-function divexact(a::GeIdeal, b::GeIdeal)
+function divexact(a::GeIdeal, b::GeIdeal; check::Bool=true)
   make_compatible!(a, b)
-  return GeIdeal(divexact(a.a, b.a))
+  return GeIdeal(divexact(a.a, b.a; check=check))
 end
 
 Hecke.norm(a::GeIdeal) = norm(a.a)
diff --git a/examples/Suri.jl b/examples/Suri.jl
index a37795dce2..234c2f30fb 100644
--- a/examples/Suri.jl
+++ b/examples/Suri.jl
@@ -286,7 +286,7 @@ parent(a::RRSelem) = a.R
 +(a::RRSelem, b::RRSelem) = RRSelem(a.R, [mod(a.x[i]+b.x[i], a.R.p[i]) for i=1:length(a.x)], mod(a.r+b.r, a.R.r))
 *(a::RRSelem, b::RRSelem) = RRSelem(a.R, [mod(a.x[i]*b.x[i], a.R.p[i]) for i=1:length(a.x)], mod(a.r*b.r, a.R.r))
 *(a::Integer, b::RRSelem) = RRSelem(b.R, [mod(a*b.x[i], b.R.p[i]) for i=1:length(b.x)], mod(a*b.r, b.R.r))
-divexact(a::RRSelem, b::RRSelem) = RRSelem(a.R, [mod(a.x[i]*invmod(b.x[i], a.R.p[i]), a.R.p[i]) for i=1:length(a.x)], mod(a.r*invmod(b.r, a.R.r), a.R.r))
+divexact(a::RRSelem, b::RRSelem; check::Bool=true) = RRSelem(a.R, [mod(a.x[i]*invmod(b.x[i], a.R.p[i]), a.R.p[i]) for i=1:length(a.x)], mod(a.r*invmod(b.r, a.R.r), a.R.r))
 -(a::RRSelem) = RRSelem(a.R, [mod(-a.x[i], a.R.p[i]) for i=1:length(a.x)], -a.r)
 ^(a::RRSelem, e::Integer) = RRSelem(a.R, [powermod(a.x[i], e, a.R.p[i]) for i=1:length(a.x)], powermod(a.r, e, a.R.r))
 (R::RRS)() = RRSelem(R, ZZRingElem[0 for i=1:length(R.p)], ZZRingElem(0))
diff --git a/src/AlgAss/Elem.jl b/src/AlgAss/Elem.jl
index dcfc11aba8..205cc12910 100644
--- a/src/AlgAss/Elem.jl
+++ b/src/AlgAss/Elem.jl
@@ -413,7 +413,7 @@ function is_divisible(a::AbsAlgAssElem, b::AbsAlgAssElem, action::Symbol)
 end
 
 # Computes a/b if action is :right and b\a if action is :left (and if this is possible)
-function divexact(a::AbsAlgAssElem, b::AbsAlgAssElem, action::Symbol = :left)
+function divexact(a::AbsAlgAssElem, b::AbsAlgAssElem, action::Symbol = :left; check::Bool=true)
   t, c = is_divisible(a, b, action)
   if !t
     error("Division not possible")
@@ -426,14 +426,14 @@ end
 
 Returns an element $c$ such that $a = c \cdot b$.
 """
-divexact_right(a::AbsAlgAssElem, b::AbsAlgAssElem) = divexact(a, b, :right)
+divexact_right(a::AbsAlgAssElem, b::AbsAlgAssElem; check::Bool=true) = divexact(a, b, :right; check=check)
 
 @doc raw"""
     divexact_left(a::AbsAlgAssElem, b::AbsAlgAssElem) -> AbsAlgAssElem
 
 Returns an element $c$ such that $a = b \cdot c$.
 """
-divexact_left(a::AbsAlgAssElem, b::AbsAlgAssElem) = divexact(a, b, :left)
+divexact_left(a::AbsAlgAssElem, b::AbsAlgAssElem; check::Bool=true) = divexact(a, b, :left; check=check)
 
 ################################################################################
 #
diff --git a/src/AlgAssAbsOrd/Elem.jl b/src/AlgAssAbsOrd/Elem.jl
index 3c58be1a52..06a512a55a 100644
--- a/src/AlgAssAbsOrd/Elem.jl
+++ b/src/AlgAssAbsOrd/Elem.jl
@@ -227,26 +227,26 @@ function divexact(a::T, b::T, action::Symbol, check::Bool = true) where { T <: U
 end
 
 @doc raw"""
-    divexact_right(a::AlgAssAbsOrdElem, b::AlgAssAbsOrdElem, check::Bool = true)
-    divexact_right(a::AlgAssRelOrdElem, b::AlgAssRelOrdElem, check::Bool = true)
+    divexact_right(a::AlgAssAbsOrdElem, b::AlgAssAbsOrdElem; check::Bool = true)
+    divexact_right(a::AlgAssRelOrdElem, b::AlgAssRelOrdElem; check::Bool = true)
       -> AlgAssRelOrdElem
 
 Returns an element $c \in O$ such that $a = c \cdot b$ where $O$ is the order
 containing $a$.
 If `check` is `false`, it is not checked whether $c$ is an element of $O$.
 """
-divexact_right(a::T, b::T, check::Bool = true) where { T <: Union{ AlgAssAbsOrdElem, AlgAssRelOrdElem } } = divexact(a, b, :right, check)
+divexact_right(a::T, b::T; check::Bool = true) where { T <: Union{ AlgAssAbsOrdElem, AlgAssRelOrdElem } } = divexact(a, b, :right, check)
 
 @doc raw"""
-    divexact_left(a::AlgAssAbsOrdElem, b::AlgAssAbsOrdElem, check::Bool = true)
-    divexact_left(a::AlgAssRelOrdElem, b::AlgAssRelOrdElem, check::Bool = true)
+    divexact_left(a::AlgAssAbsOrdElem, b::AlgAssAbsOrdElem; check::Bool = true)
+    divexact_left(a::AlgAssRelOrdElem, b::AlgAssRelOrdElem; check::Bool = true)
       -> AlgAssRelOrdElem
 
 Returns an element $c \in O$ such that $a = b \cdot c$ where $O$ is the order
 containing $a$.
 If `check` is `false`, it is not checked whether $c$ is an element of $O$.
 """
-divexact_left(a::T, b::T, check::Bool = true) where { T <: Union{ AlgAssAbsOrdElem, AlgAssRelOrdElem } } = divexact(a, b, :left, check)
+divexact_left(a::T, b::T; check::Bool = true) where { T <: Union{ AlgAssAbsOrdElem, AlgAssRelOrdElem } } = divexact(a, b, :left, check)
 
 ################################################################################
 #
diff --git a/src/AlgAssAbsOrd/Ideal.jl b/src/AlgAssAbsOrd/Ideal.jl
index d6ff25dd9b..cb17b4af6f 100644
--- a/src/AlgAssAbsOrd/Ideal.jl
+++ b/src/AlgAssAbsOrd/Ideal.jl
@@ -1351,7 +1351,7 @@ end
 
 Returns an ideal $c$ such that $a = b \cdot c$.
 """
-function divexact_left(a::AlgAssAbsOrdIdl{S, T}, b::AlgAssAbsOrdIdl{S, T}) where { S, T }
+function divexact_left(a::AlgAssAbsOrdIdl{S, T}, b::AlgAssAbsOrdIdl{S, T}; check::Bool=true) where { S, T }
   @assert algebra(a) === algebra(b)
   M = _colon_raw(a, b, :left)
   c = ideal(algebra(a), M)
@@ -1371,7 +1371,7 @@ end
 
 Returns an ideal $c$ such that $a = c \cdot b$.
 """
-function divexact_right(a::AlgAssAbsOrdIdl{S, T}, b::AlgAssAbsOrdIdl{S, T}) where { S, T }
+function divexact_right(a::AlgAssAbsOrdIdl{S, T}, b::AlgAssAbsOrdIdl{S, T}; check::Bool=true) where { S, T }
   @assert algebra(a) === algebra(b)
   M = _colon_raw(a, b, :right)
   c = ideal(algebra(a), M)
diff --git a/src/AlgAssRelOrd/Ideal.jl b/src/AlgAssRelOrd/Ideal.jl
index 234fa4a641..d871fd36da 100644
--- a/src/AlgAssRelOrd/Ideal.jl
+++ b/src/AlgAssRelOrd/Ideal.jl
@@ -1562,7 +1562,7 @@ end
 
 Returns an ideal $c$ such that $a = b \cdot c$.
 """
-function divexact_left(a::AlgAssRelOrdIdl{S, T, U}, b::AlgAssRelOrdIdl{S, T, U}) where { S, T, U }
+function divexact_left(a::AlgAssRelOrdIdl{S, T, U}, b::AlgAssRelOrdIdl{S, T, U}; check::Bool=true) where { S, T, U }
   @assert algebra(a) === algebra(b)
   PM = _colon_raw(a, b, :left)
   c = ideal(algebra(a), PM)
@@ -1582,7 +1582,7 @@ end
 
 Returns an ideal $c$ such that $a = c \cdot b$.
 """
-function divexact_right(a::AlgAssRelOrdIdl{S, T, U}, b::AlgAssRelOrdIdl{S, T, U}) where { S, T, U }
+function divexact_right(a::AlgAssRelOrdIdl{S, T, U}, b::AlgAssRelOrdIdl{S, T, U}; check::Bool=true) where { S, T, U }
   @assert algebra(a) === algebra(b)
   PM = _colon_raw(a, b, :right)
   c = ideal(algebra(a), PM)
diff --git a/src/Deprecations.jl b/src/Deprecations.jl
index 6e6fa136a1..464dc3958a 100644
--- a/src/Deprecations.jl
+++ b/src/Deprecations.jl
@@ -127,6 +127,14 @@
 
 @deprecate field_of_fractions(O::GenOrd) function_field(O::GenOrd)
 
+# Deprecated during 0.23.*
+
+@deprecate divexact_right(a::T, b::T, check::Bool) where { T <: Union{ AlgAssAbsOrdElem, AlgAssRelOrdElem } } divexact(a, b, :right, check)
+@deprecate divexact_left(a::T, b::T, check::Bool) where { T <: Union{ AlgAssAbsOrdElem, AlgAssRelOrdElem } } divexact(a, b, :left, check)
+@deprecate divexact(a::NumFieldOrdElem, b::Integer, check::Bool) divexact(a, b; check=check)
+@deprecate divexact(a::NumFieldOrdElem, b::ZZRingElem, check::Bool) divexact(a, b; check=check)
+@deprecate divexact(x::T, y::T, check::Bool) where T <: NumFieldOrdElem divexact(x, y; check=check)
+
 # Things that moved to Nemo
 
 # > 0.18.1
diff --git a/src/GrpAb/Dual.jl b/src/GrpAb/Dual.jl
index 106e8749e1..9277aa091d 100644
--- a/src/GrpAb/Dual.jl
+++ b/src/GrpAb/Dual.jl
@@ -103,12 +103,12 @@ function *(a::Integer, b::QmodnZElem)
   return QmodnZElem(b.parent, a*b.elt)
 end
 
-function divexact(a::QmodnZElem, b::ZZRingElem)
+function divexact(a::QmodnZElem, b::ZZRingElem; check::Bool=true)
   iszero(b) && throw(DivideError())
   return QmodnZElem(a.parent, a.elt // b)
 end
 
-function divexact(a::QmodnZElem, b::Integer)
+function divexact(a::QmodnZElem, b::Integer; check::Bool=true)
   iszero(b) && throw(DivideError())
   return QmodnZElem(a.parent, a.elt // b)
 end
@@ -292,7 +292,7 @@ function H2_G_QmodZ_restriction(G::GrpAbFinGen, U::Vector{GrpAbFinGen})
     sigma should be unique if g, h run through the generattors
 
     Let chi in Dual(H)  and U < G a subgrooup
-    Dual(G) -> Dual(U) is the composition: U->G 
+    Dual(G) -> Dual(U) is the composition: U->G
   =#
   #function chi(sigma) #in H return the cocycle
   #  return (g, h) -> mD(sigma)(H([g[i]*h[j] - g[j]*h[i] for i=1:length(e) for j=i+1:length(e)]))
diff --git a/src/LocalField/Elem.jl b/src/LocalField/Elem.jl
index a200e3be73..9fa02ee0e4 100644
--- a/src/LocalField/Elem.jl
+++ b/src/LocalField/Elem.jl
@@ -172,7 +172,7 @@ end
 #
 ################################################################################
 
-iszero(a::LocalFieldElem) = iszero(a.data) 
+iszero(a::LocalFieldElem) = iszero(a.data)
 
 #in ramified fields the generator is the uniformizer and has valuation 1
 # precision is measured in powers of a uniformizer, but the uniformizer
@@ -304,7 +304,7 @@ end
 @doc raw"""
     valuation(a::LocalFieldElem) -> QQFieldElem
 
-The valuation of $a$, normalized so that $v(p) = 1$. Scale by the 
+The valuation of $a$, normalized so that $v(p) = 1$. Scale by the
 `absolute_ramification_index` to get a surjection onto ZZ.
 """
 function valuation(a::LocalFieldElem{S, T}) where {S <: FieldElem, T <: LocalFieldParameter}
@@ -634,15 +634,15 @@ end
 
 function uniformizer(L::LocalField, v::Int; prec::Int = 20)  #precision????
   if v > 0
-    return setprecision(L, prec) do 
+    return setprecision(L, prec) do
       uniformizer(L)^v
     end
   end
- 
+
   if !isa(L, LocalField{<:Any, EisensteinLocalField})
     return L(uniformizer(base_field(L), v, prec = prec))
   end
-  
+
   #possibly compute the pi^v only for v mod e the complicated way, and scale
   #by prime number afterwards
   #also: find out abs and rel prec....
@@ -836,7 +836,7 @@ function _log_one_units(a::LocalFieldElem)
   return r
 end
 
-function divexact(a::LocalFieldElem, b::Union{Integer, ZZRingElem})
+function divexact(a::LocalFieldElem, b::Union{Integer, ZZRingElem}; check::Bool=true)
   iszero(a) && return a
   p = prime(parent(a))
   v = valuation(b, p)
diff --git a/src/LocalField/Poly.jl b/src/LocalField/Poly.jl
index 7f73468d99..b90642cd4a 100644
--- a/src/LocalField/Poly.jl
+++ b/src/LocalField/Poly.jl
@@ -463,7 +463,7 @@ function gcdx(f::Generic.Poly{T}, g::Generic.Poly{T}) where T <: Union{padic, qa
   return (DD, UU, VV)::Tuple{Generic.Poly{T}, Generic.Poly{T}, Generic.Poly{T}}
 end
 
-function divexact(f1::AbstractAlgebra.PolyRingElem{T}, g1::AbstractAlgebra.PolyRingElem{T}) where T <: Union{padic, qadic, LocalFieldElem}
+function divexact(f1::AbstractAlgebra.PolyRingElem{T}, g1::AbstractAlgebra.PolyRingElem{T}; check::Bool=true) where T <: Union{padic, qadic, LocalFieldElem}
    check_parent(f1, g1)
    iszero(g1) && throw(DivideError())
    if iszero(f1)
diff --git a/src/LocalField/Ring.jl b/src/LocalField/Ring.jl
index 7725cee704..1ecde914d9 100644
--- a/src/LocalField/Ring.jl
+++ b/src/LocalField/Ring.jl
@@ -61,7 +61,7 @@ end
 
 ==(a::QadicRingElem, b::QadicRingElem) = a.x == b.x
 
-function divexact(a::QadicRingElem, b::QadicRingElem)
+function divexact(a::QadicRingElem, b::QadicRingElem; check::Bool=true)
   @assert !iszero(b.x)
   iszero(a) && return a
   valuation(a.x) >= valuation(b.x) || error("division not exact")
diff --git a/src/NumField/NfRel/NfRel.jl b/src/NumField/NfRel/NfRel.jl
index 9e0c294d7d..70254c440d 100644
--- a/src/NumField/NfRel/NfRel.jl
+++ b/src/NumField/NfRel/NfRel.jl
@@ -376,8 +376,8 @@ function Base.:(-)(a::T, b::NfRelElem{T}) where {T <: NumFieldElem}
   return parent(b)(a - data(b))
 end
 
-function divexact(a::NfRelElem{T}, b::T) where {T <: NumFieldElem}
-  return parent(a)(divexact(data(a), b))
+function divexact(a::NfRelElem{T}, b::T; check::Bool=true) where {T <: NumFieldElem}
+  return parent(a)(divexact(data(a), b; check=check))
 end
 
 Base.:(//)(a::NfRelElem{T}, b::T) where {T <: NumFieldElem} = divexact(a, b)
@@ -404,8 +404,8 @@ for F in [ZZRingElem, QQFieldElem, Int]
       return parent(b)(a - data(b))
     end
 
-    function divexact(a::NfRelElem{T}, b::$F) where {T <: NumFieldElem}
-      return parent(a)(divexact(data(a), b))
+    function divexact(a::NfRelElem{T}, b::$F; check::Bool=true) where {T <: NumFieldElem}
+      return parent(a)(divexact(data(a), b; check=check))
     end
 
     Base.:(//)(a::NfRelElem{T}, b::$F) where {T <: NumFieldElem} = divexact(a, b)
diff --git a/src/NumFieldOrd/NfOrd/Ideal/Arithmetic.jl b/src/NumFieldOrd/NfOrd/Ideal/Arithmetic.jl
index ce673c8a46..8844ca8f51 100644
--- a/src/NumFieldOrd/NfOrd/Ideal/Arithmetic.jl
+++ b/src/NumFieldOrd/NfOrd/Ideal/Arithmetic.jl
@@ -864,51 +864,51 @@ end
 #
 ################################################################################
 
-divexact(A::NfAbsOrdIdl, b::Integer) = divexact(A, ZZRingElem(b))
+divexact(A::NfAbsOrdIdl, b::Integer; check::Bool=true) = divexact(A, ZZRingElem(b); check=check)
 
 #TODO: write a divexact! to change the ideal?
 #  difficult due to Julia's inability to unset entries...
 
-function divexact(A::NfAbsOrdIdl, b::ZZRingElem)
+function divexact(A::NfAbsOrdIdl, b::ZZRingElem; check::Bool=true)
   if iszero(A)
     return A
   end
   zk = order(A)
   b = abs(b)
   if has_2_elem(A)
-    B = ideal(zk, divexact(A.gen_one, b), divexact(A.gen_two, b))
+    B = ideal(zk, divexact(A.gen_one, b; check=check), divexact(A.gen_two, b; check=check))
     if isdefined(A, :gens_normal)
       B.gens_normal = A.gens_normal
     end
     B.gens_weakly_normal = A.gens_weakly_normal
     if has_basis_matrix(A)
-      B.basis_matrix = divexact(A.basis_matrix, b)
+      B.basis_matrix = divexact(A.basis_matrix, b; check=check)
     end
     if false && has_basis_mat_inv(A)
       error("not defined at all")
       B.basis_mat_inv = b*A.basis_mat_inv
     end
   else
-    B = ideal(zk, divexact(A.basis_matrix, b))
+    B = ideal(zk, divexact(A.basis_matrix, b; check=check))
     if false && has_basis_mat_inv(A)
       error("not defined at all")
       B.basis_mat_inv = b*A.basis_mat_inv
     end
   end
   if has_minimum(A)
-    B.minimum = divexact(A.minimum, b)
+    B.minimum = divexact(A.minimum, b; check=check)
   end
   if has_norm(A)
-    B.norm = divexact(A.norm, b^degree(zk))
+    B.norm = divexact(A.norm, b^degree(zk); check=check)
   end
   if has_princ_gen(A)
-    B.princ_gen = divexact(A.princ_gen, b)
+    B.princ_gen = divexact(A.princ_gen, b; check=check)
   end
   #TODO princ_gen_special missing
   return B
 end
 
-function divexact(A::NfOrdIdl, B::NfOrdIdl)
+function divexact(A::NfOrdIdl, B::NfOrdIdl; check::Bool=true)
   check_parent(A, B)
   # It is assumed that B divides A, that is, A \subseteq B
   t_prod = 0.0
diff --git a/src/NumFieldOrd/NfRelOrd/FracIdeal.jl b/src/NumFieldOrd/NfRelOrd/FracIdeal.jl
index 22346a2068..84d987ea80 100644
--- a/src/NumFieldOrd/NfRelOrd/FracIdeal.jl
+++ b/src/NumFieldOrd/NfRelOrd/FracIdeal.jl
@@ -394,11 +394,11 @@ end
 #
 ################################################################################
 
-divexact(a::NfRelOrdFracIdl{T, S}, b::NfRelOrdFracIdl{T, S}) where {T, S} = a*inv(b)
+divexact(a::NfRelOrdFracIdl{T, S}, b::NfRelOrdFracIdl{T, S}; check::Bool=true) where {T, S} = a*inv(b)
 
-divexact(a::NfRelOrdFracIdl{T, S}, b::NfRelOrdIdl{T, S}) where {T, S} = a*inv(b)
+divexact(a::NfRelOrdFracIdl{T, S}, b::NfRelOrdIdl{T, S}; check::Bool=true) where {T, S} = a*inv(b)
 
-function divexact(a::NfRelOrdIdl{T, S}, b::NfRelOrdFracIdl{T, S}) where {T, S}
+function divexact(a::NfRelOrdIdl{T, S}, b::NfRelOrdFracIdl{T, S}; check::Bool=true) where {T, S}
   O = order(a)
   return fractional_ideal(O, basis_pmatrix(a, copy = false); M_in_hnf=true)*inv(b)
 end
diff --git a/src/NumFieldOrd/NfRelOrd/Ideal.jl b/src/NumFieldOrd/NfRelOrd/Ideal.jl
index a60cf03340..6229645f6e 100644
--- a/src/NumFieldOrd/NfRelOrd/Ideal.jl
+++ b/src/NumFieldOrd/NfRelOrd/Ideal.jl
@@ -652,7 +652,7 @@ end
 #
 ################################################################################
 
-function divexact(a::NfRelOrdIdl{T, S}, b::NfRelOrdIdl{T, S}) where {T, S}
+function divexact(a::NfRelOrdIdl{T, S}, b::NfRelOrdIdl{T, S}; check::Bool=true) where {T, S}
   O = order(a)
   return fractional_ideal(O, basis_pmatrix(a, copy = false); M_in_hnf=true)*inv(b)
 end
diff --git a/src/NumFieldOrd/NumFieldOrdElem.jl b/src/NumFieldOrd/NumFieldOrdElem.jl
index 7a46718f45..16b5cc06c3 100644
--- a/src/NumFieldOrd/NumFieldOrdElem.jl
+++ b/src/NumFieldOrd/NumFieldOrdElem.jl
@@ -117,7 +117,7 @@ function -(x::T, y::T) where T <: NumFieldOrdElem
   return z
 end
 
-function divexact(x::T, y::T, check::Bool = true) where T <: NumFieldOrdElem
+function divexact(x::T, y::T; check::Bool = true) where T <: NumFieldOrdElem
   !check_parent(x, y) && error("Wrong parents")
   a = divexact(x.elem_in_nf, y.elem_in_nf)
   if check
@@ -174,7 +174,7 @@ for T in [Integer, ZZRingElem]
       return z
     end
 
-    function divexact(a::NumFieldOrdElem, b::$T, check::Bool = true)
+    function divexact(a::NumFieldOrdElem, b::$T; check::Bool = true)
       t = divexact(a.elem_in_nf, b)
       if check
         if !in(t, parent(a))
diff --git a/src/QuadForm/QuadBin.jl b/src/QuadForm/QuadBin.jl
index ab854be808..d3c1f48417 100644
--- a/src/QuadForm/QuadBin.jl
+++ b/src/QuadForm/QuadBin.jl
@@ -135,9 +135,10 @@ function Base.:(*)(c::Integer, f::QuadBin)
   return binary_quadratic_form(c * f[1], c * f[2], c * f[3])
 end
 
-function divexact(f::QuadBin{T}, c::T) where T <: RingElem
-  return binary_quadratic_form(divexact(f[1], c), divexact(f[2], c),
-                                                  divexact(f[3], c))
+function divexact(f::QuadBin{T}, c::T; check::Bool=true) where T <: RingElem
+  return binary_quadratic_form(divexact(f[1], c; check=check),
+                               divexact(f[2], c; check=check),
+                               divexact(f[3], c; check=check))
 end
 
 ###############################################################################
diff --git a/src/Sparse/Row.jl b/src/Sparse/Row.jl
index 8b12dad349..270c220edb 100644
--- a/src/Sparse/Row.jl
+++ b/src/Sparse/Row.jl
@@ -537,13 +537,13 @@ function div(A::SRow{T}, b::Integer) where T
   return div(A, base_ring(A)(b))
 end
 
-function divexact(A::SRow{T}, b::T) where T
+function divexact(A::SRow{T}, b::T; check::Bool=true) where T
   B = sparse_row(base_ring(A))
   if iszero(b)
     return error("Division by zero")
   end
   for (p,v) = A
-    nv = divexact(v, b)
+    nv = divexact(v, b; check=check)
     @assert !iszero(nv)
     push!(B.pos, p)
     push!(B.values, nv)
@@ -551,11 +551,11 @@ function divexact(A::SRow{T}, b::T) where T
   return B
 end
 
-function divexact(A::SRow{T}, b::Integer) where T
+function divexact(A::SRow{T}, b::Integer; check::Bool=true) where T
   if length(A.values) == 0
     return deepcopy(A)
   end
-  return divexact(A, base_ring(A)(b))
+  return divexact(A, base_ring(A)(b); check=check)
 end
 
 ################################################################################
@@ -723,7 +723,7 @@ end
 @doc raw"""
     sparse_row(A::MatElem)
 
-Convert `A` to a sparse row. 
+Convert `A` to a sparse row.
 `nrows(A) == 1` must hold.
 """
 function sparse_row(A::MatElem)
diff --git a/test/NfOrd/Elem.jl b/test/NfOrd/Elem.jl
index 853e288eac..51a16562c2 100644
--- a/test/NfOrd/Elem.jl
+++ b/test/NfOrd/Elem.jl
@@ -133,10 +133,10 @@
     c = @inferred divexact(O1(a1^2), O1(a1))
     @test c == O1(a1)
 
-    c = @inferred divexact(O1(a1^2), O1(a1), true)
+    c = @inferred divexact(O1(a1^2), O1(a1); check=true)
     @test c == O1(a1)
 
-    c = @inferred divexact(O1(a1^2), O1(a1), false)
+    c = @inferred divexact(O1(a1^2), O1(a1); check=false)
     @test c == O1(a1)
 
     @test_throws ErrorException divexact(O1(1), O1(2))
@@ -191,9 +191,9 @@
     @test c == O1(a1)
     c = @inferred divexact(b, ZZRingElem(2))
     @test c == O1(a1)
-    c = @inferred divexact(b, ZZRingElem(2), true)
+    c = @inferred divexact(b, ZZRingElem(2); check=true)
     @test c == O1(a1)
-    c = @inferred divexact(b, ZZRingElem(2), false)
+    c = @inferred divexact(b, ZZRingElem(2); check=false)
     @test c == O1(a1)
 
     @test_throws ErrorException divexact(b, O1(4*a1))