Definition at line 107 of file PolyRingTest.cpp.
108{
109
110
111
112
114
115 EXPECT_TRUE(R != nullptr);
118 std::cout <<
"ring is " << o.
str() << std::endl;
119}
virtual void text_out(buffer &o) const =0
const PolynomialRing * simplePolynomialRing(const Ring *kk, const std::vector< std::string > &names, MonomialOrdering *monorder)
References simplePolynomialRing(), buffer::str(), and Ring::text_out().