diff --git a/tests/test_bmat8.cpp b/tests/test_bmat8.cpp index e14dd95f..a3b4908f 100644 --- a/tests/test_bmat8.cpp +++ b/tests/test_bmat8.cpp @@ -517,37 +517,37 @@ TEST_CASE_METHOD(BMat8Fixture, "BMat8::nr_rows", "[BMat8][025]") { REQUIRE(BMat8({{1, 0, 1}, {1, 1, 0}, {0, 0, 0}}).nr_rows() == 2); } -// TEST_CASE("BMat8::right_perm_action_on_basis_ref", "[BMat8][026]") { -// BMat8 m1({{1, 1, 0}, {1, 0, 1}, {0, 0, 0}}); -// BMat8 m2({{0, 0, 0}, {1, 0, 1}, {1, 1, 0}}); -// REQUIRE(m1.right_perm_action_on_basis_ref(m2) == Perm16({1,0})); -// REQUIRE(m1.right_perm_action_on_basis(m2) == Perm16({1,0})); -// -// m1 = BMat8({{1, 1, 0, 1}, {1, 0, 1, 0}, {0, 0, 0, 1}, {0, 0, 0, 0}}); -// m2 = BMat8({{1, 0, 0, 0}, {0, 1, 0, 1}, {1, 0, 1, 0}, {0, 0, 0, 1}}); -// REQUIRE(m1.right_perm_action_on_basis_ref(m2) == Perm16::one()); -// REQUIRE(m1.right_perm_action_on_basis(m2) == Perm16::one()); -// -// m1 = BMat8({{1, 1, 0, 1}, {1, 0, 1, 0}, {0, 0, 0, 1}, {0, 0, 0, 0}}); -// m2 = BMat8({{0, 0, 0, 0}, {1, 1, 0, 1}, {1, 0, 1, 0}, {0, 0, 0, 1}}); -// REQUIRE(m1.right_perm_action_on_basis_ref(m2) == Perm16::one()); -// REQUIRE(m1.right_perm_action_on_basis(m2) == Perm16::one()); -// -// m1 = BMat8({{0,1,0,0}, {0,0,1,0}, {1,0,0,1}, {0,0,0,0}}); -// m2 = BMat8({{1,0,0,1}, {0,0,1,0}, {0,1,0,0}, {0,0,0,1}}); -// REQUIRE(m1.right_perm_action_on_basis_ref(m2) == Perm16({1,0})); -// REQUIRE(m1.right_perm_action_on_basis(m2) == Perm16({1,0})); -// -// m1 = BMat8({{0,0,0,1}, {1,0,0,0}, {0,0,1,0}, {0,1,0,0}}); -// m2 = BMat8({{0,1,0,0}, {0,0,1,0}, {1,0,0,0}, {0,0,0,1}}); -// REQUIRE(m1.right_perm_action_on_basis_ref(m2) == Perm16({0,2,3,1})); -// REQUIRE(m1.right_perm_action_on_basis(m2) == Perm16({0,2,3,1})); -// -// -// m1 = BMat8({{0,0,0,1}, {0,0,1,0}, {0,1,0,0}, {1,0,0,0}}); -// m2 = BMat8({{0,1,0,0}, {0,0,0,1}, {1,0,0,0}, {0,0,1,0}}); -// REQUIRE(m1.right_perm_action_on_basis_ref(m2) == Perm16({2,0,3,1})); -// REQUIRE(m1.right_perm_action_on_basis(m2) == Perm16({2,0,3,1})); -// } +TEST_CASE("BMat8::right_perm_action_on_basis_ref", "[BMat8][026]") { + BMat8 m1({{1, 1, 0}, {1, 0, 1}, {0, 0, 0}}); + BMat8 m2({{0, 0, 0}, {1, 0, 1}, {1, 1, 0}}); + REQUIRE(m1.right_perm_action_on_basis_ref(m2) == Perm16({1,0})); + REQUIRE(m1.right_perm_action_on_basis(m2) == Perm16({1,0})); + + m1 = BMat8({{1, 1, 0, 1}, {1, 0, 1, 0}, {0, 0, 0, 1}, {0, 0, 0, 0}}); + m2 = BMat8({{1, 0, 0, 0}, {0, 1, 0, 1}, {1, 0, 1, 0}, {0, 0, 0, 1}}); + REQUIRE(m1.right_perm_action_on_basis_ref(m2) == Perm16::one()); + REQUIRE(m1.right_perm_action_on_basis(m2) == Perm16::one()); + + m1 = BMat8({{1, 1, 0, 1}, {1, 0, 1, 0}, {0, 0, 0, 1}, {0, 0, 0, 0}}); + m2 = BMat8({{0, 0, 0, 0}, {1, 1, 0, 1}, {1, 0, 1, 0}, {0, 0, 0, 1}}); + REQUIRE(m1.right_perm_action_on_basis_ref(m2) == Perm16::one()); + REQUIRE(m1.right_perm_action_on_basis(m2) == Perm16::one()); + + m1 = BMat8({{0,1,0,0}, {0,0,1,0}, {1,0,0,1}, {0,0,0,0}}); + m2 = BMat8({{1,0,0,1}, {0,0,1,0}, {0,1,0,0}, {0,0,0,1}}); + REQUIRE(m1.right_perm_action_on_basis_ref(m2) == Perm16({1,0})); + REQUIRE(m1.right_perm_action_on_basis(m2) == Perm16({1,0})); + + m1 = BMat8({{0,0,0,1}, {1,0,0,0}, {0,0,1,0}, {0,1,0,0}}); + m2 = BMat8({{0,1,0,0}, {0,0,1,0}, {1,0,0,0}, {0,0,0,1}}); + REQUIRE(m1.right_perm_action_on_basis_ref(m2) == Perm16({0,2,3,1})); + REQUIRE(m1.right_perm_action_on_basis(m2) == Perm16({0,2,3,1})); + + + m1 = BMat8({{0,0,0,1}, {0,0,1,0}, {0,1,0,0}, {1,0,0,0}}); + m2 = BMat8({{0,1,0,0}, {0,0,0,1}, {1,0,0,0}, {0,0,1,0}}); + REQUIRE(m1.right_perm_action_on_basis_ref(m2) == Perm16({2,0,3,1})); + REQUIRE(m1.right_perm_action_on_basis(m2) == Perm16({2,0,3,1})); +} } // namespace HPCombi