the trace of a square matrix

Stream: Is there code for X?

[Oliver Nash]

I'd like to be able to talk about the trace of square matrices (and actually contractions in general eventually) but I can't a definition. Does it exist yet?