diff options
-rw-r--r-- | countrows.h | 1 | ||||
-rw-r--r-- | doc2h.pl | 2 | ||||
-rw-r--r-- | float2rat.h | 1 | ||||
-rw-r--r-- | rat2canon.doc | 4 | ||||
-rw-r--r-- | rat2canon.h | 1 | ||||
-rw-r--r-- | rat2float.h | 1 | ||||
-rw-r--r-- | rat2int.h | 1 |
7 files changed, 8 insertions, 3 deletions
diff --git a/countrows.h b/countrows.h index 6ece766..456dfeb 100644 --- a/countrows.h +++ b/countrows.h @@ -1,5 +1,6 @@ #define DOCSTRING "inetools 0.10\ \n\ +\n\ Reads a polyhedron file on stdin, counts the rows, and outputs an\n\ equivalent file with a corrected row count.\n\ " @@ -6,7 +6,7 @@ my $version = read_file('version.txt'); chomp($version); -printf "#define DOCSTRING \"inetools %s\\\n", $version; +printf "#define DOCSTRING \"inetools %s\\\n\\n\\\n", $version; while(<>){ s|\"|\\"|g; s|\n|\\n\\\n|g; diff --git a/float2rat.h b/float2rat.h index cf60794..287a55b 100644 --- a/float2rat.h +++ b/float2rat.h @@ -1,5 +1,6 @@ #define DOCSTRING "inetools 0.10\ \n\ +\n\ Converts floating point coefficent $f$ to rational by the\n\ simple expedient of outputing 10^k*f/10^k for appropriate\n\ $k$. Does no reduction of numbers. In particular this may cause overflow in\n\ diff --git a/rat2canon.doc b/rat2canon.doc index 882f5b0..b82ab16 100644 --- a/rat2canon.doc +++ b/rat2canon.doc @@ -1,3 +1,3 @@ -rat2canon takes a polytope file with rational or integer coefficents, -and outputs an equivelent one with normalized right hand side. +rat2canon takes a polytope file with rational or integer coefficients, +and outputs an equivalent one with normalized right hand side. diff --git a/rat2canon.h b/rat2canon.h index 470ee69..f3c8745 100644 --- a/rat2canon.h +++ b/rat2canon.h @@ -1,5 +1,6 @@ #define DOCSTRING "inetools 0.10\ \n\ +\n\ rat2canon takes a polytope file with rational or integer coefficients, \n\ and outputs an equivalent one with normalized right hand side.\n\ " diff --git a/rat2float.h b/rat2float.h index 5b120e5..1ae6cf5 100644 --- a/rat2float.h +++ b/rat2float.h @@ -1,5 +1,6 @@ #define DOCSTRING "inetools 0.10\ \n\ +\n\ rat2float takes a polytope file with rational or integer coefficents,\n\ and outputs an approximately equivelent one with floating point\n\ coefficents.\n\ @@ -1,5 +1,6 @@ #define DOCSTRING "inetools 0.10\ \n\ +\n\ rat2int takes a polytope file with rational coefficients,\n\ and outputs an equivalent one with integer coefficients.\n\ " |