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

◆ TEST() [5/24]

TEST ( ARingZZp ,
create  )

Definition at line 107 of file ARingZZpTest.cpp.

108{
109 M2::ARingZZp R(101);
110
112 buffer o;
113
115 R.init(a);
116 gen.nextElement(a);
117
118 EXPECT_EQ(ringName(R), "AZZ/101");
119 EXPECT_EQ(R.cardinality(), 101);
120 EXPECT_EQ(R.characteristic(), 101);
121 // Now check what the generator is, as an integer
122 R.init(a);
123 R.set_var(a, 0);
124 R.elem_text_out(o, a, true, true, false);
125 std::cout << "generator is " << o.str() << std::endl;
126 R.clear(a);
127}
std::string ringName(const T &R)
aring-style adapter for Z/p using a discrete-log (Zech) representation: every non-zero residue is its...
Definition aring-zzp.hpp:67
char * str()
Definition buffer.hpp:72

References M2::ARingZZp::cardinality(), M2::ARingZZp::characteristic(), M2::ARingZZp::clear(), M2::ARingZZp::elem_text_out(), M2::ARingZZp::init(), ARingElementGenerator< RingType >::nextElement(), ringName(), M2::ARingZZp::set_var(), and buffer::str().