just can't get InstallImmediateMethod happy

This commit is contained in:
Glen Whitney 2017-10-24 23:26:04 +02:00
parent 59709498a0
commit 6db132346d

View File

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