# We want the middle equivalent thing in our matrix, but use
# the first equivalent thing instead so that we can pass in
# standard coordinates.
- x = J(W(R.gens()))
+ x = J.from_vector(W(R.gens()))
# Handle the zeroth power separately, because computing
# the unit element in J is mathematically suspect.
TESTS:
- The degree of this algebra is `(n^2 + n) / 2`::
+ The dimension of this algebra is `(n^2 + n) / 2`::
sage: set_random_seed()
sage: n = ZZ.random_element(1,5)
sage: J = RealSymmetricEJA(n)
- sage: J.degree() == (n^2 + n)/2
+ sage: J.dimension() == (n^2 + n)/2
True
The Jordan multiplication is what we think it is::
TESTS:
- The degree of this algebra is `n^2`::
+ The dimension of this algebra is `n^2`::
sage: set_random_seed()
sage: n = ZZ.random_element(1,5)
sage: J = ComplexHermitianEJA(n)
- sage: J.degree() == n^2
+ sage: J.dimension() == n^2
True
The Jordan multiplication is what we think it is::
TESTS:
- The degree of this algebra is `n^2`::
+ The dimension of this algebra is `n^2`::
sage: set_random_seed()
sage: n = ZZ.random_element(1,5)
sage: J = QuaternionHermitianEJA(n)
- sage: J.degree() == 2*(n^2) - n
+ sage: J.dimension() == 2*(n^2) - n
True
The Jordan multiplication is what we think it is::