kalmar
/
GroupRings.jl
mirror of https://github.com/kalmarek/GroupRings.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

exact division is still TODO

This commit is contained in:
kalmarek 2019-06-04 22:50:00 +02:00
parent 194cdf64eb
commit 5b923dfe4c
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/ncring_interface.jl
View File

@ -121,6 +121,22 @@ function ==(A::GroupRing, B::GroupRing)
end
end
###############################################################################
#
# Exact Division (TODO)
#
###############################################################################
function AbstractAlgebra.divexact_left(X::GroupRingElem, Y::GroupRingElem)
isunit(Y) || throw(DivideError())
return inv(Y)*X
end
function AbstractAlgebra.divexact_right(X::GroupRingElem, Y::GroupRingElem)
isunit(Y) || throw(DivideError())
return X*inv(Y)
end
###############################################################################
#
# promotion, rand, isapprox