try to propagate multiplication tables better

This commit is contained in:
Glen Whitney 2017-10-24 23:22:53 +02:00
parent ca39aef5e4
commit 9fe7800287

View File

@ -343,7 +343,7 @@ InstallMethod(PrintObj, "for an element of magma by multiplication table",
function(obj) Print(String(obj)); end);
## Property of a collection that its elements know their multiplication table
InstallMethod(IsBuiltFromMultiplicationTable, "for a collection",
InstallImmediateMethod(IsBuiltFromMultiplicationTable, "for a collection",
[IsCollection],
C -> HasMultiplicationTable(ElementsFamily(FamilyObj(C)))
);