code should work even if there is such a thing as an infinite table

This commit is contained in:
Glen Whitney 2017-10-20 16:31:22 +02:00
parent ef55f230e3
commit 9af5d627d8

View File

@ -40,11 +40,12 @@ end);
## And now create them from multiplication tables
#First a helper function
FiniteMagmaCreator@ := function(tbl, const, filts)
FiniteMagmaCreator@ := function(tbl, cnstr, filts)
local M;
M := MagmaByMultiplicationTableCreatorNC(
tbl, const, filts and IsMagmaByMultiplicationTableObj);
SetIsFinite(ElementsFamily(FamilyObject(M)));
tbl, cnstr, filts and IsMagmaByMultiplicationTableObj);
# Is there such a thing as a non-finite table in GAP? Anyhow...
SetIsFinite(ElementsFamily(FamilyObj(M)), IsFinite(tbl));
return M;
end;