rlamy/sympy — pull request #4 by smichr (2012-04-22 11:02:19+00:00)
Title: Assume

let copy be handled by the parent class. But is the update line necessary?

The InconsistenAssumptions is covered, but it doesn't appear so in the report.
Make the output message a little more legible.

WildFunction is not callable so the __call__ is not needed. WildFunction
should probably derive from Symbol and be renamed(?).

The secondquant __new__ method just calls to eval after checking args
and that returns a product or 0 (which are Basic) so I think the lines
that were deleted are just dead lines.