sgkruk / fm-eliminator Goto Github PK

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!

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

Currently only < and > are supported

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. 

This causes no end of trouble every time.  

Needs to be changed.

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