fix Param_Polyhedron_Scale_Integer
commita1936c34d07c2269a48d4f1e6e042d5a3cd32d4d
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 19 Mar 2007 22:12:28 +0000 (19 23:12 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 19 Mar 2007 22:12:28 +0000 (19 23:12 +0100)
treeb2117277be942b2c8fabc06e8fa516c6aea8402d
parent01aa2e7a19d8c2bafb650b9772129f59caf4257e
fix Param_Polyhedron_Scale_Integer

The original code mistakenly assumed that all vertices of the scaled
polyhedron are integers.  However, since the constants of the original
constraints are ignored, the constant parts of the scaled vertices may
still be non-integers.

The name of the method may then also have to be changed.
Param_Polyhedron_Scale_Integer.c