Polyhedron_Sample: factor polyhedron if possible
commit949640a68e646ecda5d8df56debadb500c93393c
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 30 Jun 2007 16:45:00 +0000 (30 18:45 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 30 Jun 2007 20:48:26 +0000 (30 22:48 +0200)
treec4d8ba020b4fa3e12bd6274191079f67358ac018
parent023a5a072431638ac067c46de1188a2c3be3a9e3
Polyhedron_Sample: factor polyhedron if possible

Sampling the factors should be a lot faster than sampling
the product polyhedron.
sample.c