How hard would this be to implement? Can you suggest the simplest way to
add this to new-assumptions?
On Mon, Nov 5, 2012 at 2:09 PM, Ronan Lamy wrote:
> Le 03/11/2012 18:28, Matthew Rocklin a écrit :
>
> I've run into an issue with the new assumptions system. Can anyone see
>> what is going o
Le 03/11/2012 18:28, Matthew Rocklin a écrit :
I've run into an issue with the new assumptions system. Can anyone see
what is going on? Here is an example
I've written this logic about triangular matrices into an assumptions
handler
In [1]: X = MatrixSymbol('X', 3, 3)
In [2]: Y = Matr