diff --git a/gap/quasigroups.gi b/gap/quasigroups.gi index 400f297..04cbae9 100644 --- a/gap/quasigroups.gi +++ b/gap/quasigroups.gi @@ -260,8 +260,6 @@ end); ## ## For each element e of the magma , binds the identifier named String(e) ## to e. -## collection . For quasigroups, loops, and possibly related structures -## this changes the prefix with which the elements of that family are printed. InstallMethod( BindElmNames, "for a magma", [ IsMagma ],