fix cot fdiff
fix as_real_imag
fix complex expand
fix test_wester.py
Drop aseries methods, added by @raoulb
Add tests for @raoulb changes from pr #914
ImageSet: added a method for intersection
S.Integers: added _eval_imageset method
Generate doc/man/isympy.1 from the isympy.xml source
Remove automatic evaluation
Added conversion to NNF
Add equals to boolean
Changed is_literal
Added tests
Fixed issues with Logical Atom
Fixed issues with count_ops and assumption
Changed count_ops and is_literal
Merge pull request #7527 from KDMOE/sysode_linear_2order_2eq

Sysode linear 2order 2eq
Merge pull request #7432 from hargup/comb_cheat

Comb cheat
Merge pull request #7573 from clsn/egyptians

Make Egyptian fractions a little more robust.