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

magmawithinverseS

Browse source
This commit is contained in:
Glen Whitney 2017-10-22 18:37:24 +02:00
parent 503562f7ab
commit cc19d81941
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
gap/structure.gi
View file

@ -460,10 +460,10 @@ InstallMethod(Opposite, "for a finitely generated magma with one",
end); end);
InstallMethod(Opposite, "for a finitely generated magma with inverse", InstallMethod(Opposite, "for a finitely generated magma with inverse",
[IsMagmaWithInverse and HasGeneratorsOfMagmaWithInverse], [IsMagmaWithInverse and HasGeneratorsOfMagmaWithInverses],
function(M) function(M)
local fam, elts; local fam, elts;
fam := CollectionsFamily(OppositeFamily(ElementsFamily(FamilyObj(M)))); fam := CollectionsFamily(OppositeFamily(ElementsFamily(FamilyObj(M))));
elts := List(GeneratorsOfMagmaWithInverse(M), m -> OppositeObj(m)); elts := List(GeneratorsOfMagmaWithInverses(M), m -> OppositeObj(m));
return MagmaWithInverse(fam, elts); return MagmaWithInverses(fam, elts);
end); end);