Fix bug #3926: Various limits give UND where they should give IND
commitdf1748a88b2906aac866297a2cec48747e2d3728
authorKris Katterjohn <katterjohn@gmail.com>
Tue, 9 Aug 2022 14:54:10 +0000 (9 10:54 -0400)
committerKris Katterjohn <katterjohn@gmail.com>
Tue, 9 Aug 2022 14:54:10 +0000 (9 10:54 -0400)
tree5cc1c61a8f7df623ad808a34dc342caaa458774c
parentd9aa2ab37b2614e8f571f8c8593fa9aafd50bb56
Fix bug #3926: Various limits give UND where they should give IND
and bug #3071: limit of expressions with signum not very powerful

BOTH-SIDE finds one-sided limits and compares them to attempt to find
a two-sided limit.  BOTH-SIDE has not been correctly distinguishing
between und and ind; it has (basically) always been returning und when
the one-sided limits are not equal and not both infinities.

Now BOTH-SIDE has an additional check to distinguish between und and
ind.

This caused 13 test suite tests to fail and one test that was expected
to fail to pass.  The 13 tests that failed were actually incorrect:
they had expected results of und when they should have been ind.

No problems with the test suite, share test suite or rtest_translator.
New tests have been added to rtest_limit and the 13 tests that failed
have been changed so that the expected results are ind.
src/limit.lisp
src/testsuite.lisp
tests/rtest_limit.mac
tests/rtest_limit_extra.mac
tests/rtest_signum.mac