Sven Verdoolaege a écrit :
On Fri, Oct 23, 2009 at 07:15:01PM +0200, Francois Galea wrote:
This should not be of a real problem. I should be able to do that soon. However, I got trouble finding documentation about these files, in particular what the first column of matrices is for. If you know, please tell me.
Ah... this is the standard PolyLib format. The first column indicates whether the row describes an equality (0) or an inequality (1). The constant term is in the final column. In the second polytope, the coefficients of the parameters appear after those of the unknowns.
You can assume that the "big parameter" is -1. That's what I do too.
Also, do you require output in piplib's parenthesed format ?
I don't do that in either of my solvers, so I certainly wouldn't insist you do that.
I just commited a new version of the standalone solver.
It now reads Polylib-formatted files, and it can read PIPlib files when using the '-p' switch.
Though, it seems the example problems in piplib are revealing a(nother) flaw in the solver. I am currently investigating about this.
Best,
François