- sage: J = RealCartesianProductEJA(5)
- sage: J.one()
- e0 + e1 + e2 + e3 + e4
- sage: x = sum(J.gens())
- sage: A = x.subalgebra_generated_by()
- sage: A.one()
- f0
- sage: A.one().superalgebra_element()
- e0 + e1 + e2 + e3 + e4
-
- TESTS:
-
- The identity element acts like the identity over the rationals::
-
- sage: set_random_seed()
- sage: x = random_eja().random_element()
- sage: A = x.subalgebra_generated_by()
- sage: x = A.random_element()
- sage: A.one()*x == x and x*A.one() == x
- True
-
- The identity element acts like the identity over the algebraic
- reals with an orthonormal basis::
-
- sage: set_random_seed()
- sage: x = random_eja(AA).random_element()
- sage: A = x.subalgebra_generated_by(orthonormalize_basis=True)
- sage: x = A.random_element()
- sage: A.one()*x == x and x*A.one() == x
- True
-
- The matrix of the unit element's operator is the identity over
- the rationals::
-
- sage: set_random_seed()
- sage: x = random_eja().random_element()
- sage: A = x.subalgebra_generated_by()
- sage: actual = A.one().operator().matrix()
- sage: expected = matrix.identity(A.base_ring(), A.dimension())
- sage: actual == expected
- True
-
- The matrix of the unit element's operator is the identity over
- the algebraic reals with an orthonormal basis::
-
- sage: set_random_seed()
- sage: x = random_eja(AA).random_element()
- sage: A = x.subalgebra_generated_by(orthonormalize_basis=True)
- sage: actual = A.one().operator().matrix()
- sage: expected = matrix.identity(A.base_ring(), A.dimension())
- sage: actual == expected
+ sage: J = HadamardEJA(4)
+ sage: A = J.one().subalgebra_generated_by()
+ sage: iota = A.superalgebra_embedding()
+ sage: iota
+ Linear operator between finite-dimensional Euclidean Jordan algebras represented by the matrix:
+ [1/2]
+ [1/2]
+ [1/2]
+ [1/2]
+ Domain: Euclidean Jordan algebra of dimension 1 over Algebraic Real Field
+ Codomain: Euclidean Jordan algebra of dimension 4 over Algebraic Real Field
+ sage: iota(A.one()) == J.one()