diff --git a/gap/quasigroups.gd b/gap/quasigroups.gd index e9683c1..acede97 100644 --- a/gap/quasigroups.gd +++ b/gap/quasigroups.gd @@ -80,12 +80,12 @@ DeclareCategory( "IsLoop", IsQuasigroup and IsMagmaWithOne and ## TESTING MULTIPLICATION TABLES ## ------------------------------------------------------------------------- -DeclareProperty( "IsLeftQuasigroupTable", [ IsMatrix ]); -DeclareProperty( "IsRightQuasigroupTable", [ IsMatrix ]); +DeclareProperty( "IsLeftQuasigroupTable", IsMatrix ); +DeclareProperty( "IsRightQuasigroupTable", IsMatrix ); DeclareSynonym( "IsQuasigroupTable", IsLeftQuasigroupTable and IsRightQuasigroupTable ); DeclareSynonym( "IsQuasigroupCayleyTable", IsQuasigroupTable ); -DeclareProperty( "IsLoopTable", [ IsMatrix ] ); +DeclareProperty( "IsLoopTable", IsMatrix ); DeclareSynonym( "IsLoopCayleyTable", IsLoopTable ); DeclareGlobalFunction("CanonicalCayleyTableOfLeftQuasigroupTable"); DeclareOperation( "CanonicalCayleyTable", [ IsMatrix ] );