Macaulay2 Engine
Loading...
Searching...
No Matches

◆ TEST() [4/14]

TEST ( RingZZ ,
create  )

Definition at line 55 of file RingZZTest.cpp.

56{
57 EXPECT_TRUE(globalZZ != nullptr);
58
59 EXPECT_TRUE(dynamic_cast<const RingZZ*>(globalZZ) != nullptr);
60 EXPECT_EQ(globalZZ->coefficient_type(), Ring::COEFF_ZZ);
61 EXPECT_TRUE(globalZZ->is_ZZ());
62 EXPECT_EQ(ringName(*globalZZ), "ZZ");
63}
ringName
std::string ringName(const T &R)
Definition ARingTest.hpp:123
Ring::COEFF_ZZ
@ COEFF_ZZ
Definition ring.hpp:222
RingZZ
Engine-side ring of integers, backed by GMP mpz_ptr elements.
Definition ZZ.hpp:77
globalZZ
RingZZ * globalZZ
Definition relem.cpp:13

References Ring::COEFF_ZZ, globalZZ, and ringName().