- def vector_space(self):
- """
- SETUP::
-
- sage: from mjo.eja.eja_algebra import RealSymmetricEJA
- sage: from mjo.eja.eja_subalgebra import FiniteDimensionalEuclideanJordanSubalgebra
-
- EXAMPLES::
-
- sage: J = RealSymmetricEJA(3)
- sage: E11 = matrix(ZZ, [ [1,0,0],
- ....: [0,0,0],
- ....: [0,0,0] ])
- sage: E22 = matrix(ZZ, [ [0,0,0],
- ....: [0,1,0],
- ....: [0,0,0] ])
- sage: b1 = J(E11)
- sage: b2 = J(E22)
- sage: basis = (b1, b2)
- sage: K = FiniteDimensionalEuclideanJordanSubalgebra(J,basis)
- sage: K.vector_space()
- Vector space of degree 6 and dimension 2 over...
- User basis matrix:
- [1 0 0 0 0 0]
- [0 0 1 0 0 0]
- sage: b1.to_vector()
- (1, 0, 0, 0, 0, 0)
- sage: b2.to_vector()
- (0, 0, 1, 0, 0, 0)
-
- """
- return self._vector_space
-
-
- Element = FiniteDimensionalEuclideanJordanSubalgebraElement