|
InstallMethod(AntimagmaGeneratorPossibleDiagonals, "for possible antiassociative diagonals", [IsPosInt],
function(n)
return Filtered(EnumeratorOfTuples([1 .. n], n), t -> ForAll([1 .. n], i -> t[i] <> i));
end);
InstallMethod(UpToIsomorphism, "for a list of non-equivalent antimagmas", [IsList],
function(Ms)
local result, m;
result := [];
while not IsEmpty(Ms) do
m := First(Ms);
Add(result, m);
Ms := Filtered(Ms, n -> IsMagmaIsomorphic(m, n) = false);
od;
return result;
end);
[ Dauer der Verarbeitung: 0.25 Sekunden
(vorverarbeitet)
]
|