sympy/sympy — pull request #8015 by zanzibar7 (2014-09-11 15:13:29+00:00)
Title: Small changes for integration of Abs

- rewritten as Abs as Heaviside
- rewritten as Heavisides as sign
- integrals with simple heaviside terms
- added ExprCondPair.is_polynomial