-6. Implement spectral projector decomposition for EJA operators
- using jordan_form() or eigenmatrix_right(). I suppose we can
- ignore the problem of base rings for now and just let it crash
- if we're not using AA as our base field.
+ sage: J1 = ComplexHermitianEJA(2)
+ sage: J2 = TrivialEJA()
+ sage: J = cartesian_product([J1,J2])
+ sage: x = J.from_vector(vector(QQ, [-1, -1/2, -1/2, -1/2]))
+ sage: x.is_invertible()
+ True
+ sage: x.det()
+ 0