glen/RAQ
1
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity

add quotients for direct product elements

Browse Source
This commit is contained in:
Glen Whitney 2017-10-29 14:50:33 -04:00
parent b089e131d1
commit 6428dddf56
1 changed files with 27 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
gap/structure.gi
View File

@ -641,6 +641,33 @@ InstallOtherMethod(DirectProductOp, "for a list and non-quasigroup magma",
return MagmaByGenerators(gens);
end);
# Make sure that we can take quotients properly in the direct product
InstallOtherMethod(LeftQuotient,
IsIdenticalObj,
[IsDirectProductElement, IsDirectProductElement],
function (l,r)
local i, comps;
comps := [];
for i in [1..Length(l)] do
Add(comps, LeftQuotient(l![i],r![i]));
od;
return DirectProductElement(comps);
end);
InstallOtherMethod(\/,
IsIdenticalObj,
[IsDirectProductElement, IsDirectProductElement],
function (l,r)
local i, comps;
comps := [];
for i in [1..Length(l)] do
Add(comps, l![i] / r![i]);
od;
return DirectProductElement(comps);
end);
## Coversions among the structure types
InstallMethod(AsLeftQuasigroup, "for a left quasigroup",
[IsLeftQuasigroup], IdFunc);