<div dir="ltr">Hello,<div><br></div><div>My name is Jeff Summers, and I'm a PhD student. I'm an experienced user of the Sage interface to PPL, but I am new to using it directly (and new to C++). I am aiming low, and trying to print a single constraint as described in the C++ manual for users (page 218). I simplified the code to:</div><div><br></div><div><br></div><div><div>#include <iostream></div><div>#include <ppl.hh></div><div>using namespace std;</div><div>using namespace Parma_Polyhedra_Library;</div><div><br></div><div>int main()</div><div>{</div><div>  Variable x(0);</div><div>  Variable y(1);</div><div>  Constraint c1(x - 5*y<= 4);</div><div><br></div><div>  cout << "Constraint c1: " << c1 << endl;</div><div>  return 0l</div><div>}</div><div><br></div></div><div><br></div><div><div>which I attempt to compile using: g++ -g test.cpp -lppl -lgmpxx -lgmp</div><div><br></div><div>I get the following:</div><div><br></div><div><div>test.cpp: In function ‘int main()’:</div><div>test.cpp:12:29: error: no match for ‘operator<<’ (operand types are ‘std::basic_ostream<char>’ and ‘Parma_Polyhedra_Library::Constraint’)</div><div>   cout << "Constraint c1: " << c1 << endl;</div></div></div><div>[...]</div><div><br></div><div>The compiler does not like that I am trying to print c1. I assume that I have done something foolish, and I appreciate any help. Thanks!</div><div><br></div><div><br></div><div>Best,</div><div><br></div><div>Jeff</div></div>