evalue_floor2frac: don't assume coefficients of floors are floors
commit01ac9e8c314af703bed0e522daf9a52ab930e60e
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 11 Nov 2010 16:29:42 +0000 (11 17:29 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 12 Nov 2010 11:23:59 +0000 (12 12:23 +0100)
tree505b79765dc12905e3ace2e9f5b20325cc8556f4
parentd190d3ef654afad38f3ca95d78c7a7e9b442fb4c
evalue_floor2frac: don't assume coefficients of floors are floors

In particular, if an inner floor has already been converted to a fractional,
the result may appear as a coefficient of an outer floor that still needs
to be converted.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
evalue.c
tests/pwqp/floors.pwqp [new file with mode: 0644]