From e2019551922b024caa22b84d31b3c55223d64c46 Mon Sep 17 00:00:00 2001
From: Joseph Edwards <josephdavidedwards@gmail.com>
Date: Mon, 18 Nov 2024 19:39:47 +0000
Subject: [PATCH] Add more sifting tests

---
 tests/test-schreier-sims.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/test-schreier-sims.cpp b/tests/test-schreier-sims.cpp
index 535856b0e..43eed888c 100644
--- a/tests/test-schreier-sims.cpp
+++ b/tests/test-schreier-sims.cpp
@@ -66,6 +66,7 @@ namespace libsemigroups {
     S.add_generator(Perm({0, 1}));
     REQUIRE(S.size() == 1);
     REQUIRE(S.sift(Perm({1, 0})) == Perm({1, 0}));
+    REQUIRE(S.sift(Perm({0, 1})) == S.one());
     REQUIRE(!S.contains(Perm({1, 0})));
     REQUIRE(S.contains(Perm({0, 1})));
     REQUIRE(
@@ -337,6 +338,7 @@ namespace libsemigroups {
 
     REQUIRE(S.size() == 8);
     REQUIRE(S.sift(S.generator(0)) == S.one());
+    REQUIRE(S.sift(S.generator(1)) == S.one());
     REQUIRE(S.contains(S.generator(0)));
     REQUIRE(S.contains(S.generator(1)));
     REQUIRE(S.contains(Perm({0, 6, 3, 7, 5, 1, 4, 8, 2})));