1 2 3 4 5
#define DOCSTRING "inetools 0.10\ \n\ rat2int takes a polytope file with rational coefficients,\n\ and outputs an equivalent one with integer coefficients.\n\ "