sympy/sympy — pull request #1600 by mrocklin (2012-10-22 22:57:36+00:00)
Title: Matexpr assumptions

This pull request starts a new assumptions system for Matrix Expressions

Currently I have only added the symmetric and invertible predicates

Question: Should new assumptions be arranged so that MatExpr handlers and predicates live in matrices/expressions ?

Question: Is some of the code in ask.py auto-generated? If so is this process automated somehow?