[numeric] The first neq rows in A and
b are treated as linear equalities.
nleq
[numeric] The nleq rows after neq are treated as
inequations of the form a.x<=b. All remaining rows are treated as strict inequations
of the form a.x<b.
eps
[numeric] Coefficients with absolute value <= eps are treated as zero.
using Fourier-Motzkin elimination.