next up previous
: endEcart : Macro Operators : doPolymake

eliminatev

[g1 g2 g3 ...gm] [list of variables] eliminatev [r1 ... rp]
Example: [(x y z - 1). (z-1). (y-1).] [(x) (y)] eliminatev [ z-1 ]



Nobuki Takayama 平成20年1月30日