From 65adf685e114cdc6132709ba7b60d68fe258372c Mon Sep 17 00:00:00 2001
From: Kamil Zabielski <50334623+limakzi@users.noreply.github.com>
Date: Thu, 5 Sep 2024 20:25:53 +0000
Subject: [PATCH] chore: Rename IsLeftRightFPFs tests

---
 tst/test_properties_magma_ileftrightfpf.tst | 19 +++++++++++++++++++
 tst/test_properties_magma_isfpf.tst         | 19 -------------------
 2 files changed, 19 insertions(+), 19 deletions(-)
 create mode 100644 tst/test_properties_magma_ileftrightfpf.tst
 delete mode 100644 tst/test_properties_magma_isfpf.tst

diff --git a/tst/test_properties_magma_ileftrightfpf.tst b/tst/test_properties_magma_ileftrightfpf.tst
new file mode 100644
index 0000000..e0f77f4
--- /dev/null
+++ 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" );
\ No newline at end of file
diff --git a/tst/test_properties_magma_isfpf.tst b/tst/test_properties_magma_isfpf.tst
deleted file mode 100644
index 1e82301..0000000
--- a/tst/test_properties_magma_isfpf.tst
+++ /dev/null
@@ -1,19 +0,0 @@
-gap> START_TEST( "test_properties_magma_isfpf.tst" );
-
-gap> M := MagmaByMultiplicationTable([ [1, 1], [2, 2] ] );;
-gap> IsLeftFPFInducted(MagmaByMultiplicationTable([ [1, 1], [2, 2] ] ));
-false
-gap> IsRightFPFInducted(MagmaByMultiplicationTable([ [1, 1], [2, 2] ] ));
-false
-
-gap> M := SmallAntimagma(2, 1);      
-<magma with 2 generators>
-gap> IsLeftFPFInducted( M );
-false
-gap> IsRightFPFInducted( M );
-true
-
-gap> Filtered( Filtered(AllSmallAntimagmas([2 .. 3]), M -> IsLeftFPFInducted(M)), M -> IsRightFPFInducted(M) );
-[  ]
-
-gap> STOP_TEST( "test_properties_magma_isfpf.tst" );
\ No newline at end of file