diff --git a/gap/quasigroups.gi b/gap/quasigroups.gi index 485d1aa..8a3d276 100644 --- a/gap/quasigroups.gi +++ b/gap/quasigroups.gi @@ -866,6 +866,11 @@ InstallMethod( Opposite, "for magma", M -> ConstructorFromTable(M)( TransposedMat( MultiplicationTable( M ) ) ) ); +InstallMethod( Opposite, "for magma", + [ IsMagma and HasCayleyTable], # mult table easy if Cayley table there + M -> ConstructorFromTable(M)( TransposedMat( MultiplicationTable( M ) ) ) +); + ############################################################################# ## DISPLAYING QUASIGROUPS AND LOOPS ## -------------------------------------------------------------------------