Ensure that theano are not run under py.test if theano is not installed
replace is with == comparison
additional bounded -> finite changes
sort when prining tree; unSKIP doctest
only print non-None keys
use two symbols
Merge pull request #8113 from smichr/bound2

additional bounded -> finite changes
Merge pull request #8110 from pbrady/pytest_theano

Ensure that theano tests are not run under py.test if theano is not installed
Merge pull request #8111 from pbrady/test_sympify_mpmath

Fix broken test::test_sympify_mpmath
do not use foo < 0 if foo can be symbolic
Merge pull request #8119 from smichr/bound2

do not use < if arg might be symbolic