sgkruk / fm-eliminator Goto Github PK

Currently only < and > are supported

Maybe the CDD format and the possibility of integer or rational numbers
instead of floats with 5 decimals. 

This causes no end of trouble every time.  

Needs to be changed.

Issuing the command fm with any parameters and a file will immediately
produce a series of blank spaces.  Probably die to the lexer or parser. 

We support the .lp format.  But we could be even more lax.  Currently
constant must appear on the rhs and variables on the left.  Why?  

Change the parser!

The projection onto x1 of the polytope
x1 >= 0
x1 >= 1
x1 <= 2
x2 >= 0
X2 <= 3
2x1 + 2x2 <= 3

should be [1,1.5] indicated by
x1 >= 1
x1 <= 1.5 (or 2x1 <= 3)

Instead I get
-1.00000 x1   <= 0.00000
+2.00000 x1   <= 3.00000
which is [0,1.5]

It seems that having both x>=0 and x