| commit | 77d8153e0094cc3addfacd8847537a79b4ffb8c7 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 15 Jun 2009 10:02:54 +0000 (15 12:02 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 15 Jul 2009 10:05:47 +0000 (15 12:05 +0200) | ||
| tree | c943108806664fce89fa6ae05f91ef2e8ee13431 | treesnapshot (tar.gz zip) |
| parent | 9c1e779b6506ccaa7bcc4980be52b7707a4bf8b7 | commitdiff |
introduce generalized basis reduction based sampling
Also make gbr the default for computing sample integer points.
It may be a bit slower than pip on easy problems, but pip can
sometimes get into serious problems, especially in cases where
the given set does not contain any integer points. The gbr
method performs much better in these cases.
Also make gbr the default for computing sample integer points.
It may be a bit slower than pip on easy problems, but pip can
sometimes get into serious problems, especially in cases where
the given set does not contain any integer points. The gbr
method performs much better in these cases.
| Makefile.am | diffblobblamehistory | |
| basis_reduction_tab.c | [new file with mode: 0644] | blob |
| basis_reduction_templ.c | [new file with mode: 0644] | blob |
| include/isl_ctx.h.in | diffblobblamehistory | |
| isl_basis_reduction.h | [new file with mode: 0644] | blob |
| isl_ctx.c | diffblobblamehistory | |
| isl_sample.c | diffblobblamehistory |