Definition at line 122 of file ARingRRiTest.cpp.
123{
127 R.init(a);
128 R.init(b);
129 R.init(c);
130 R.init(d);
131 R.init(e);
132 for (
int i = 0; i <
ntrials; i++)
133 {
134
135 gen.nextElement(a);
136 gen.nextElement(b);
137 R.add(c, a, b);
138 R.negate(d, b);
139 R.add(e, c, d);
140 EXPECT_TRUE(R.is_subset(a,e));
141 }
142 R.clear(e);
143 R.clear(d);
144 R.clear(c);
145 R.clear(b);
146 R.clear(a);
147}
aring-style adapter for arbitrary-precision real intervals, backed by MPFI.
References M2::ARingRRi::add(), M2::ARingRRi::clear(), M2::ARingRRi::init(), M2::ARingRRi::is_subset(), M2::ARingRRi::negate(), ARingElementGenerator< RingType >::nextElement(), and ntrials.