The `quantum` module has a way to represent operators in various ways. It is not necessarily the best way to do it in sympy, but if you want to extend the dirac matrices it is probably the most straightforward one.
Otherwise `diffgeom` has another approach to the same problem of expressing a geometric entity as matrix in a basis. In both cases it seems inappropriate to me to use the assumptions subsystem for this. This is not an assumption about the geometrical object itself, rather about the way you represent it. Doing it explicitly seems more natural. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy?hl=en-US. For more options, visit https://groups.google.com/groups/opt_out.
