Issue #3581:Implement arg.rewrite(atan2)
mark some solve tests as slow
Add Ben Fishbein to the .mailmap file
Merge pull request #1979 from smichr/slow

mark some solve tests as slow
Merge branch 'master' of github.com:sympy/sympy
Merge pull request #1928 from amitjamadagni/trig

Issue #3581:Implement arg.rewrite(atan2)
AppliedUndef.is_number -> False
exp_polar related changes

* define is_number for exp_polar

* move abs after test for exp_polar (which has been changed to a test
that arg.is_Number or pure_complex rather than testing for the _prec i
attribute).
modify equals and is_constant

** Inline notes describe why the minimal_polynomial is not being used
at present to prove an nsimplify result. solve, however, may be able
to prove that an expression is zero by getting a self-consistent solution
when solving for a surd of the expression. An test was added for this.

** In addition, cancel is used on the expression to try facilitate
simplification to zero (and an expression that motivated the change
has been included).

** don't use equals in sign and abs because it can be very slow

Thanks to Mario Pernici for finding good examples of when the
method used in equals is going to take a long time to solve.
The discussion that I had with him is on the PR page.