n個の変数についての線形不等式系が与えられたとします。
これの解集合の次元がkであるとき、k個のパラメータを使って全ての解を表現できると思いますが、
そういう表示を一つ求めるアルゴリズムはありますか？
kがnに比べてかなり小さい場合(例えばn=300でk=3)に特に興味があります。

n=3,k=1の例を挙げると、
x≧0, y≧0, z≧0
x+y+z≦1
x+y≧1
なら、パラメータpを使って
x = p, y = 1-p, z = 0 ただし0≦p≦1
のように表したいのです。