initial implementation of sympy.physics.quantum.pauli, containing the pauli sigma operators and states that they act on
made pauli operators commute with boson operators
fix bug in use of warnings module. improved support for normal ordering expression of products of mix of differetnt types of operators
improved support for simplification of products that includes an identity operator
Fixed bug in handling of non-operator base Pow instances in sympy.physics.quantum.operatorordering
support for indices for Pauli operators the in quantum.pauli module
Added allSAT
Added Model class.
Fixed variable naming.
Added returning of False for UNSAT theory.
added function for LaTex printing of Xor statements
keep floor(i) unchanged if i is imaginary symbol
`ufuncify` makes actual ufuncs

This is a rough pass at getting ufuncify to make actual ufuncs. It
works, but needs some cleanup, optimizations, tests, and documentation.
update fastcache to most recent version in travis tests
Added yielding False for UNSAT theories.
Merge pull request #7946 from pbrady/update_fastcache

update fastcache to most recent version in travis tests
Printing: print x**-1.0 differently from 1/x

`x**-1.0` and `x**-1` should print differently.  Fixed this and added
tests.  Pretty printing seemed to work already but tests added.
Close #2860 which is related (it seems fixed but added tests).
Fixed sphinx error.
Merge pull request #7874 from SDB1323/AllSAT

AllSAT
6653: modify slow test but keep coverage

Before the original changes were made at 0fa7b9730e56759e5f4bc3752143f5,
the expression added in this PR would also fail in the same way, raising
an assertion. And if the assertion were removed, this wrong expression
was obtained:

1 + O(x**2)

After the changes, the expression covers all added code and gives the
following result:

1 - x**2/2 + O(x**3)