From 4c2817b04f9e8a2e50e0fdbc23ec5faffca9fa31 Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Mon, 30 Oct 2017 11:53:35 -0400 Subject: [PATCH] define opposites even if just have cayley table. --- gap/quasigroups.gi | 5 +++++ 1 file changed, 5 insertions(+) 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 ## -------------------------------------------------------------------------