rational division for integral group rings

2017-05-18 12:19:41 +02:00 · 2017-05-18 12:19:41 +02:00 · 148c8e2611
parent 486f2cff9a
commit 148c8e2611
1 changed files with 6 additions and 0 deletions
--- 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))