TEST()

TEST	(	ExponentVector	,
		All	)

Monoid tests ExponentVector tests

Definition at line 44 of file MonoidTest.cpp.

{
  int n = 3;
  int a0[3] = {1, 2, 3}, b0[3] = {7, 5, 3}, c0[3], d0[3];
  exponents_t a = static_cast<exponents_t>(a0), b = static_cast<exponents_t>(b0),
            c = static_cast<exponents_t>(c0), d = static_cast<exponents_t>(d0);
  exponents::copy(n, a, c);
  EXPECT_EQ(exponents::equal(n, a, c), true);
  EXPECT_EQ(exponents::equal(n, b, c), false);
  EXPECT_EQ(exponents::simple_degree(n, a), 6);
  exponents::one(n, c);
  EXPECT_EQ(exponents::is_one(n, a), false);
  EXPECT_EQ(exponents::is_one(n, c), true);
  exponents::mult(n, a, a, c);
  exponents::power(n, a, 2, d);
  EXPECT_EQ(exponents::equal(n, c, d), true);
  EXPECT_EQ(exponents::divides(n, a, b), true);
  EXPECT_EQ(exponents::divides(n, b, a), false);
  exponents::divide(n, c, a, d);
  EXPECT_EQ(exponents::equal(n, a, d), true);
  exponents::divide(n, a, c, d);
  exponents::power(n, d, -1, d);
  EXPECT_EQ(exponents::equal(n, a, d), true);
  exponents::quotient(n, a, b, d);
  EXPECT_EQ(exponents::is_one(n, d), true);
  exponents::gcd(n, b, c, d);
  EXPECT_TRUE(d0[0] == 2 && d0[1] == 4 && d0[2] == 3);
  exponents::lcm(n, b, c, d);
  EXPECT_TRUE(d0[0] == 7 && d0[1] == 5 && d0[2] == 6);
  exponents::multpower(n, b, a, 2, d);
  EXPECT_TRUE(d0[0] == 9 && d0[1] == 9 && d0[2] == 9);
  EXPECT_EQ(exponents::lex_compare(n, a, b), LT);
  EXPECT_EQ(exponents::lex_compare(n, b, a), GT);
  EXPECT_EQ(exponents::lex_compare(n, a, a), EQ);
  EXPECT_EQ(exponents::weight(n, a, std::vector<int> {3, 2, 1}), 10);
  // TODO: improve mask and syz tests
  EXPECT_EQ(exponents::mask(n, a), 7);
  exponents::syz(n, a, b, c, d);
  EXPECT_TRUE(c0[0] == 6 && c0[1] == 3 && c0[2] == 0);
  EXPECT_TRUE(d0[0] == 0 && d0[1] == 0 && d0[2] == 0);
}

References ExponentVector< int, true >::copy(), ExponentVector< int, true >::divide(), ExponentVector< int, true >::divides(), EQ, ExponentVector< int, true >::equal(), ExponentVector< int, true >::gcd(), GT, ExponentVector< int, true >::is_one(), ExponentVector< int, true >::lcm(), ExponentVector< int, true >::lex_compare(), LT, ExponentVector< int, true >::mask(), ExponentVector< int, true >::mult(), ExponentVector< int, true >::multpower(), ExponentVector< int, true >::one(), ExponentVector< int, true >::power(), ExponentVector< int, true >::quotient(), ExponentVector< int, true >::simple_degree(), ExponentVector< int, true >::syz(), and ExponentVector< int, true >::weight().