projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cca53b7) | patch
basis_reduction_tab.c: use isl_tab_product to construct product tableau
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 25 Sep 2009 10:57:10 +0000 (12:57 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 9 Oct 2009 08:41:15 +0000 (10:41 +0200)
commit6eab0709d5d12e25f5ae29ccc27a797b3035b808
tree7dfeb352c3dd92e051f04b1366e039b8a0417ce0tree | snapshot
parentcca53b75cba3b0f730f18bfec8b912eb236eaf4fcommit | diff
basis_reduction_tab.c: use isl_tab_product to construct product tableau

Before, we would manually construct a tableau for the Cartesian
product of a set with itself.  Now, we first create a tableau
for the set and then construct the product tableau.
This should be more efficient and allows us to refactor
the code to pass in a tableau instead of a set.
basis_reduction_tab.c diff | blob | history
Domain: System / Uncategorized;