separate out isl_tab_reduced_basis from isl_basic_set_reduced_basis
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 26 Sep 2009 11:20:40 +0000 (13:20 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 9 Oct 2009 08:41:15 +0000 (10:41 +0200)
commit42b080be093dbc334e758891b07552b24c73963d
treefe9b5d505b388ecaaa7b287db7c30d2a3261001a
parent6eab0709d5d12e25f5ae29ccc27a797b3035b808
separate out isl_tab_reduced_basis from isl_basic_set_reduced_basis

This allows us to compute a reduced basis on a set given in tableau form.
basis_reduction_tab.c
basis_reduction_templ.c
isl_basis_reduction.h