feat: Add more tests

limakzi · Oct 13, 2024 · b3408be · b3408be
1 parent 88c2e12
commit b3408be
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tst/test_properties_magma_isderangment.tst b/tst/test_properties_magma_isderangment.tst
@@ -10,4 +10,8 @@ gap> List(AllSmallAntimagmas(3), M -> IsRightDerangementInducted(M) );
 gap> List(Filtered(AllSmallAntimagmas(3), M -> IsLeftDerangementInducted(M) ), M -> IsRightDerangementInducted( TransposedMagma(M) ) );
 [ true, true, true, true, true ]
 
+## there-are-4-antimagmas-that-are-both-left-right-derangement-inducted
+gap> Filtered(AllSmallAntimagmas(4), M -> IsLeftDerangementInducted(M) and IsRightDerangementInducted(M) );
+[ <magma with 4 generators> ]
+
 gap> STOP_TEST( "test_properties_magma_isderangment.tst" );