For me it will only be a tree node. I would like to have rules like: Trace( product of three DiracMatrixFunction ) -> 0 DiracMatrixFunction(x)*DiracMatrixFunction(y) -> Kronecker(x,y)*Identity
On 1 November 2012 18:47, Matthew Rocklin <[email protected]> wrote: > We do not have a MatrixFunction in MatrixExprs but it would be relatively > simple to make one. What sort of logic would you want it to support? > > > On Thu, Nov 1, 2012 at 12:42 PM, Stefan Krastanov > <[email protected]> wrote: >> >> Is there a way to represent something like M(x) where x is a Symbol >> and M(x) is something matrix-like. >> >> Maybe a MatrixSymbol with a second argument (i.e. M(x) is >> MatrixSymbol('M', 'x'))? >> >> Or something mimicking the Function classes in the core. But I hate >> all the magic with the metaclasses. It seems excessively complicated. >> >> I need this in order to work out some algorithms for simplification of >> Dirac algebra (gamma matrices) expressions. I was thinking about using >> the new rewrite rules module. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sympy" group. >> To post to this group, send email to [email protected]. >> To unsubscribe from this group, send email to >> [email protected]. >> For more options, visit this group at >> http://groups.google.com/group/sympy?hl=en. >> > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
