From 148c8e2611018bca77357bbafcd9332cc87e8b10 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Thu, 18 May 2017 12:19:41 +0200
Subject: [PATCH] rational division for integral group rings

---
 src/GroupRings.jl | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/GroupRings.jl b/src/GroupRings.jl
index 258e46e..8b1e7bd 100644
--- a/src/GroupRings.jl
+++ b/src/GroupRings.jl
@@ -233,6 +233,12 @@ end
 
 (/)(X::GroupRingElem, a) = scalar_mult(1/a, X)
 
+function (//){T<:Integer, S<:Integer}(X::GroupRingElem{T}, a::S)
+   U = typeof(X[1]//a)
+   warn("Rational division: promoting result to $U")
+   return convert(U, X)//a
+end
+
 (//){T<:Rational, S<:Rational}(X::GroupRingElem{T}, a::S) =
    GroupRingElem(X.coeffs//a, parent(X))