[21/24] New test for inference rule (!real -> !integer & !positive & !zero & .....
tree2fd0e72a6ec516fc76eddc3e21e19e8302f5b1e3
-rw-r--r-- 76 .hgignore
-rw-r--r-- 854 .hgtags
-rw-r--r-- 1515 LICENSE
-rw-r--r-- 196 MANIFEST.in
-rw-r--r-- 5585 README
-rw-r--r-- 261 TODO
drwxr-xr-x - bin
drwxr-xr-x - data
drwxr-xr-x - doc
drwxr-xr-x - examples
-rwxr-xr-x 8822 setup.py
drwxr-xr-x - sympy