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

◆ TEST() [3/14]

TEST ( RingZZ ,
content  )

Definition at line 172 of file RingZZTest.cpp.

173{
174 buffer o;
175 ring_elem a = globalZZ->from_long(-10);
176 ring_elem b = globalZZ->from_long(-15);
177 ring_elem c = globalZZ->from_long(-5);
178 ring_elem d = globalZZ->from_long(5);
179 globalZZ->is_equal(d, globalZZ->preferred_associate(c));
180
181 ring_elem e = globalZZ->from_long(0);
182 bool ret1 = globalZZ->lower_associate_divisor(e, a);
183 o << "ret1=" << (ret1 ? "true" : "false") << " e=";
184 globalZZ->elem_text_out(o, e);
185 o << newline;
186 bool ret2 = globalZZ->lower_associate_divisor(e, b);
187 o << "ret2=" << (ret2 ? "true" : "false") << " e=";
188 globalZZ->elem_text_out(o, e);
189 o << newline;
190 std::cout << o.str();
191}
char * str()
Definition buffer.hpp:72
RingZZ * globalZZ
Definition relem.cpp:13
char newline[]
Definition m2-types.cpp:49

References globalZZ, newline, and buffer::str().