HACK: temporarily turn bad implication into immediate method with error

gap-system · May 12, 2018 · a9674b2 · a9674b2
1 parent ee883e7
commit a9674b2
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/lib/magma.gd b/lib/magma.gd
@@ -130,8 +130,9 @@ DeclareCategory( "IsMagmaWithInverses",
     and IsMultiplicativeElementWithInverseCollection );
 
 # FIXME: this is wrong for empty magmas
-# InstallTrueMethod( IsMagmaWithInverses,
-#     IsFiniteOrderElementCollection and IsMagma );
+InstallImmediateMethod( IsMagmaWithInverses,
+    IsFiniteOrderElementCollection and IsMagma, function(x) Error("should not happen"); end );
+
 
 #############################################################################
 ##