barvinok_maximize: let user specify variables over which to maximize as a list
commit44465d60d88506dff91fe2713791e149bc58d2ff
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 26 Feb 2007 21:22:28 +0000 (26 22:22 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 26 Feb 2007 21:55:50 +0000 (26 22:55 +0100)
treec3976130603c41986f1eaf918b942c771e5595a9
parent1a855cad80cad78a1efa72f5e760aaebb5d9f4e5
barvinok_maximize: let user specify variables over which to maximize as a list

Simply specifying the number is not very convenient since
the set of all variables is discovered as each variable occurs
in a constraint or polynomial.
maximize.cc