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
}
buffer::str
char * str()
Definition
buffer.hpp:72
buffer
Definition
buffer.hpp:55
globalZZ
RingZZ * globalZZ
Definition
relem.cpp:13
newline
char newline[]
Definition
m2-types.cpp:49
ring_elem
Definition
ringelem.hpp:85
References
globalZZ
,
newline
, and
buffer::str()
.
Macaulay2
e
unit-tests
RingZZTest.cpp
Generated on
for Macaulay2 Engine by
1.15.0