Dirac's invariant formalism
Feature: An implementation of abstract linear operations in the guise of Dirac notation.
A minimum working set would include addition (scalar, vector, operator),scalar multiplication, inner product, and operator application, compositon and creation (projection).
Edited by Thomas Clark