kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-05 02:11:27 +01:00
Code Issues Releases Wiki Activity

use additive group for objects involving Rings

Browse Source
This commit is contained in:
kalmar 2017-07-12 21:11:50 +02:00
parent a5a67bd7d3
commit d2cb646119
1 changed files with 12 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/DirectProducts.jl
View File

@ -152,9 +152,13 @@ end
############################################################################### ###############################################################################
function direct_mult(g::DirectProductGroupElem, h::DirectProductGroupElem) function direct_mult(g::DirectProductGroupElem, h::DirectProductGroupElem)
parent(g) == parent(h) || throw("Can't multiply elements from different groups: $g, $h")
G = parent(g) G = parent(g)
return G([op(a,b) for (op,a,b) in zip(G.operations, g.elts, h.elts)]) # G == parent(h) || throw("Can't multiply elements from different groups: $G, $parent(h)")
if isa(first(G.factors), Ring)
return G(.+(g.elts,h.elts))
else
return G(.*(g.elts,h.elts))
end
end end
doc""" doc"""
@ -179,7 +183,11 @@ doc"""
# TODO: dirty hack around `+` operation # TODO: dirty hack around `+` operation
function inv(g::DirectProductGroupElem) function inv(g::DirectProductGroupElem)
G = parent(g) G = parent(g)
return G([(op == (*) ? inv(elt): -elt) for (op,elt) in zip(G.operations, g.elts)]) if isa(first(G.factors), Ring)
return DirectProductGroupElem([-a for a in g.elts])
else
return DirectProductGroupElem([inv(a) for a in g.elts])
end
end end
############################################################################### ###############################################################################