TEST() [15/19]

TEST	(	RingZZmod2	,
		ones	)

Definition at line 122 of file RingZZpTest.cpp.

{
  Z_mod* R = Z_mod::create(2);
  EXPECT_TRUE(R->is_equal(R->one(), R->from_long(1)));
  EXPECT_TRUE(R->is_equal(R->minus_one(), R->from_long(-1)));
  EXPECT_TRUE(R->is_equal(R->zero(), R->from_long(0)));
  EXPECT_TRUE(R->is_zero(R->from_long(0)));
}

References Z_mod::create(), Z_mod::from_long(), Z_mod::is_equal(), Z_mod::is_zero(), Ring::minus_one(), Ring::one(), ones(), and Ring::zero().