From 5b923dfe4c884bdf2630b25113b937ad5724d799 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Tue, 4 Jun 2019 22:50:00 +0200
Subject: [PATCH] exact division is still TODO

---
 src/ncring_interface.jl | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/src/ncring_interface.jl b/src/ncring_interface.jl
index a45293c..681bd01 100644
--- a/src/ncring_interface.jl
+++ b/src/ncring_interface.jl
@@ -121,6 +121,22 @@ function ==(A::GroupRing, B::GroupRing)
    end
 end
 
+###############################################################################
+#
+#   Exact Division (TODO)
+#
+###############################################################################
+
+function AbstractAlgebra.divexact_left(X::GroupRingElem, Y::GroupRingElem)
+   isunit(Y) || throw(DivideError())
+   return inv(Y)*X
+end
+
+function AbstractAlgebra.divexact_right(X::GroupRingElem, Y::GroupRingElem)
+   isunit(Y) || throw(DivideError())
+   return X*inv(Y)
+end
+
 ###############################################################################
 #
 #   promotion, rand, isapprox