Generalize physics.quantum.OuterProduct so that it can handle scale kets/bras and sums of kets and bras
Unit tests for updated OuterProduct in the physics.quantum module
Evaluate dif for inequalities only if arguments are reals

fixes #8288
Fix tests
Sum evalf of non rational term
Eval Abs(exp(x*I)) as 1 if x is real

- also rewrite re and im in terms of each other
Improve handing of Abs(b**e) when b is real
fixes Abs(x)**-3 bug
Integrate functions multiplied by Heavisides

- uses manualintegrate to deal with complicated cases
fix issue #8342
Unions with infinite elements now interleave.
Uses the roundrobin recipe from the documentation for itertools.
Add test for #8075

fixes #8075
Update sets.py
modify major/minor detection of ellipse
make sure meijerint returns sympified result and 0 for equal limits
Merge pull request #8375 from skirpichev/8075-tests

Add test for #8075
Inequalities: test for simplifying

These should not simplify automatically.  But should do so if requested
with `simplify()`.
Assumptions: is_zero: add XFAIL test for issue #7993
Equality: add examples to docstring

Show effect of simplify and evaluate=False kwarg.
reposition Pow and exp handling in Abs; add coverage test
Update sets.py

Added reference to roundrobin recipe, changed so that we always roundrobin the Union's arguments.