mirror of
https://github.com/kalmarek/GroupRings.jl.git
synced 2024-11-19 06:30:27 +01:00
remove broken divexact
This commit is contained in:
parent
e472a42d09
commit
68c6d116a9
@ -445,20 +445,6 @@ function *{T<:Number, S<:Number}(X::GroupRingElem{T}, Y::GroupRingElem{S}, check
|
|||||||
return result
|
return result
|
||||||
end
|
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
|
# *-involution
|
||||||
|
Loading…
Reference in New Issue
Block a user