diff --git a/src/GroupRings.jl b/src/GroupRings.jl index b87b1ae..e2aa5ef 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -387,10 +387,12 @@ function divexact{T}(X::GroupRingElem{T}, Y::GroupRingElem{T}) else idx = findfirst(Y) c = Y[idx] + c == 0 || throw("Can not invert") g = parent(Y).basis[idx] return X*1//c*parent(Y)(inv(g)) end end + ############################################################################### # # *-involution