lexmin.cc: define max_term over an EDomain rather than a Polyhedron
commit82596b4756910bcf35d905a352635f7da6372b28
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 22 Sep 2006 10:58:52 +0000 (22 12:58 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 22 Sep 2006 10:58:52 +0000 (22 12:58 +0200)
tree20b5cf57a8628cc496c76353571ead72e151d89d
parent8637ee8e911928f29a23de580730f73c72f91576
lexmin.cc: define max_term over an EDomain rather than a Polyhedron
lexmin.cc