TEST() [3/19]

TEST	(	RingZZmod101	,
		create	)

Definition at line 58 of file RingZZpTest.cpp.

{
  Ring* R = Z_mod::create(101);
  EXPECT_TRUE(R != nullptr);
 
  EXPECT_TRUE(dynamic_cast<const Z_mod*>(R) != nullptr);
  EXPECT_EQ(R->coefficient_type(), Ring::COEFF_BASIC);
  EXPECT_FALSE(R->is_ZZ());
  EXPECT_EQ(ringName(*R), "ZZ/101");
}

References Ring::COEFF_BASIC, Ring::coefficient_type(), Z_mod::create(), Ring::is_ZZ(), and ringName().