chore: Rename IsLeftRightFPFs tests

limakzi · Sep 5, 2024 · 65adf68 · 65adf68
1 parent 910b2ef
commit 65adf68
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 19 deletions.
diff --git a/tst/test_properties_magma_ileftrightfpf.tst b/tst/test_properties_magma_ileftrightfpf.tst
@@ -0,0 +1,19 @@
+gap> START_TEST( "test_properties_magma_leftrightisfpf.tst" );
+
+## fixed-point-free failes for operations with fixed points
+gap> IsLeftFPFInducted(MagmaByMultiplicationTable([ [1, 1], [2, 2] ] ));
+false
+
+## fixed-point-free failes for operations with fixed points
+gap> IsRightFPFInducted(MagmaByMultiplicationTable([ [1, 2], [1, 2] ] ));
+false
+
+## fixed-point-free failes for operations with fixed points
+gap> IsRightFPFInducted(MagmaByMultiplicationTable([ [1, 1], [2, 2] ] ));
+false
+
+## no-fixed-point-free-antimagma-is-both-left-hand-and-right-hand
+gap> Filtered( Filtered(AllSmallAntimagmas([2 .. 3]), M -> IsLeftFPFInducted(M)), M -> IsRightFPFInducted(M) );
+[  ]
+
+gap> STOP_TEST( "test_properties_magma_leftrightisfpf.tst" );
diff --git a/tst/test_properties_magma_isfpf.tst b/tst/test_properties_magma_isfpf.tst