isl_tab_pip.c: ignore dead columns when checking integrality
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 1 Nov 2009 13:36:32 +0000 (14:36 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 1 Nov 2009 14:28:08 +0000 (15:28 +0100)
commit91e7b730ab626b5dbacc5351d241598adc16ae05
tree50cb9da14e1f57cb2532d14315eb991ab006a717
parentdd6dd5b5a1ff05ef2f665ba52b181bbce8e5ae9f
isl_tab_pip.c: ignore dead columns when checking integrality

The dead columns are zero, which means that it does not matter
that they may have a fractional coefficient.
Moreover, dead columns can't be used to pivot, so it is actually
wrong to take them into account.
isl_tab_pip.c