43 lines
966 B
C++
43 lines
966 B
C++
#include <psemek/test/test.hpp>
|
|
|
|
#include <psemek/group/cyclic.hpp>
|
|
|
|
#include <set>
|
|
|
|
using namespace psemek::group;
|
|
|
|
using group_type = cyclic<7, std::uint8_t>;
|
|
|
|
test_case(group_cyclic_construct)
|
|
{
|
|
expect_equal(group_type::identity().value(), 0);
|
|
|
|
int const n = group_type::size();
|
|
|
|
for (int i = 0; i < 4 * n; ++i)
|
|
expect_equal(group_type::rotation(i).value(), i % n);
|
|
|
|
for (int i = 0; i < 4 * n; ++i)
|
|
expect_equal(group_type::rotation(i - 4 * n).value(), i % n);
|
|
}
|
|
|
|
test_case(group_cyclic_values)
|
|
{
|
|
std::set<group_type> values;
|
|
for (auto g : group_type::values())
|
|
values.insert(g);
|
|
expect_equal(values.size(), group_type::size());
|
|
}
|
|
|
|
test_case(group_cyclic_multiply)
|
|
{
|
|
for (auto g1 : group_type::values())
|
|
for (auto g2 : group_type::values())
|
|
expect_equal(g1 * g2, group_type::rotation(g1.value() + g2.value()));
|
|
}
|
|
|
|
test_case(group_cyclic_inverse)
|
|
{
|
|
for (auto g : group_type::values())
|
|
expect_equal(g * inverse(g), group_type::identity());
|
|
}
|