isl_tab_pip.c: extract_sample_sequence: handle rational rows
commitc0455a07529775ff743e1abb6bf47bf7fbdbee59
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 27 Jul 2017 07:11:51 +0000 (27 09:11 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 18 Aug 2017 14:26:19 +0000 (18 16:26 +0200)
tree2e7212fc8174755080192333129874ba972b4087
parent303941494b75b43dce5b0d10b1696df2ef1d4c98
isl_tab_pip.c: extract_sample_sequence: handle rational rows

Even though extract_sample_sequence is only called on tableaus
with an integral sample value, some of the corresponding rows
may still have a denominator different from 1.
If these denominators happen to be the same across all relevant rows,
then this does not affect the correctness because the result
is only used to check linear constraints.
However, there is no guarantee that these denominators are the same.
This problem was introduced together with the initial extract_sample_sequence
implementation in 83fb8c8 (isl_tab_basic_set_non_trivial_lexmin:
take triviality directions, Wed May 3 12:55:00 2017 +0200).
Take into account the denominators.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_tab_pip.c