trace package:linear

Compute the trace of a matrix
>>> trace (V2 (V2 a b) (V2 c d))
a + d
Compute the trace of a matrix
>>> trace (V2 (V2 a b) (V2 c d))
a + d
Simple matrix operation for low-dimensional primitives.