diff --git a/src/GroupRings.jl b/src/GroupRings.jl index f052e04..fb64647 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -445,20 +445,6 @@ function *{T<:Number, S<:Number}(X::GroupRingElem{T}, Y::GroupRingElem{S}, check return result end - - -function divexact{T}(X::GroupRingElem{T}, Y::GroupRingElem{T}) - if length(Y) != 1 - throw("Can not divide by a non-primitive element: $(Y)!") - else - idx = findfirst(Y) - c = Y[idx] - c != 0 || throw("Can not invert: $c not found in $Y") - g = parent(Y).basis[idx] - return X*1//c*parent(Y)(inv(g)) - end -end - ############################################################################### # # *-involution