"""
from sage.algebras.quatalg.quaternion_algebra import QuaternionAlgebra
-from sage.categories.finite_dimensional_algebras_with_basis import FiniteDimensionalAlgebrasWithBasis
+from sage.categories.magmatic_algebras import MagmaticAlgebras
from sage.combinat.free_module import CombinatorialFreeModule
from sage.matrix.constructor import matrix
+from sage.matrix.matrix_space import MatrixSpace
from sage.misc.cachefunc import cached_method
from sage.misc.prandom import choice
-from sage.modules.free_module import VectorSpace
+from sage.misc.table import table
+from sage.modules.free_module import FreeModule, VectorSpace
from sage.rings.integer_ring import ZZ
from sage.rings.number_field.number_field import QuadraticField
from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
from mjo.eja.eja_utils import _mat2vec
class FiniteDimensionalEuclideanJordanAlgebra(CombinatorialFreeModule):
+ # This is an ugly hack needed to prevent the category framework
+ # from implementing a coercion from our base ring (e.g. the
+ # rationals) into the algebra. First of all -- such a coercion is
+ # nonsense to begin with. But more importantly, it tries to do so
+ # in the category of rings, and since our algebras aren't
+ # associative they generally won't be rings.
+ _no_generic_basering_coercion = True
+
def __init__(self,
field,
mult_table,
self._natural_basis = natural_basis
if category is None:
- category = FiniteDimensionalAlgebrasWithBasis(field).Unital()
+ category = MagmaticAlgebras(field).FiniteDimensional()
+ category = category.WithBasis().Unital()
+
fda = super(FiniteDimensionalEuclideanJordanAlgebra, self)
fda.__init__(field,
range(len(mult_table)),
# long run to have the multiplication table be in terms of
# algebra elements. We do this after calling the superclass
# constructor so that from_vector() knows what to do.
- self._multiplication_table = matrix(
- [ map(lambda x: self.from_vector(x), ls)
- for ls in mult_table ] )
- self._multiplication_table.set_immutable()
+ self._multiplication_table = [ map(lambda x: self.from_vector(x), ls)
+ for ls in mult_table ]
def _element_constructor_(self, elt):
True
"""
+ if elt == 0:
+ # The superclass implementation of random_element()
+ # needs to be able to coerce "0" into the algebra.
+ return self.zero()
+
natural_basis = self.natural_basis()
if elt not in natural_basis[0].matrix_space():
raise ValueError("not a naturally-represented algebra element")
Ensure that it says what we think it says::
sage: JordanSpinEJA(2, field=QQ)
- Euclidean Jordan algebra of degree 2 over Rational Field
+ Euclidean Jordan algebra of dimension 2 over Rational Field
sage: JordanSpinEJA(3, field=RDF)
- Euclidean Jordan algebra of degree 3 over Real Double Field
+ Euclidean Jordan algebra of dimension 3 over Real Double Field
"""
- # TODO: change this to say "dimension" and fix all the tests.
- fmt = "Euclidean Jordan algebra of degree {} over {}"
+ fmt = "Euclidean Jordan algebra of dimension {} over {}"
return fmt.format(self.dimension(), self.base_ring())
def product_on_basis(self, i, j):
- return self._multiplication_table[i,j]
+ return self._multiplication_table[i][j]
def _a_regular_element(self):
"""
determinant).
"""
z = self._a_regular_element()
- V = self.vector_space()
- V1 = V.span_of_basis( (z**k).to_vector() for k in range(self.rank()) )
+ # Don't use the parent vector space directly here in case this
+ # happens to be a subalgebra. In that case, we would be e.g.
+ # two-dimensional but span_of_basis() would expect three
+ # coordinates.
+ V = VectorSpace(self.base_ring(), self.vector_space().dimension())
+ basis = [ (z**k).to_vector() for k in range(self.rank()) ]
+ V1 = V.span_of_basis( basis )
b = (V1.basis() + V1.complement().basis())
return V.span_of_basis(b)
r = self.rank()
n = self.dimension()
- # Construct a new algebra over a multivariate polynomial ring...
+ # Turn my vector space into a module so that "vectors" can
+ # have multivatiate polynomial entries.
names = tuple('X' + str(i) for i in range(1,n+1))
R = PolynomialRing(self.base_ring(), names)
- # Hack around the fact that our multiplication table is in terms of
- # algebra elements but the constructor wants it in terms of vectors.
- vmt = [ tuple([ self._multiplication_table[i,j].to_vector()
- for j in range(self._multiplication_table.nrows()) ])
- for i in range(self._multiplication_table.ncols()) ]
- J = FiniteDimensionalEuclideanJordanAlgebra(R, tuple(vmt), r)
- idmat = matrix.identity(J.base_ring(), n)
+ # Using change_ring() on the parent's vector space doesn't work
+ # here because, in a subalgebra, that vector space has a basis
+ # and change_ring() tries to bring the basis along with it. And
+ # that doesn't work unless the new ring is a PID, which it usually
+ # won't be.
+ V = FreeModule(R,n)
+
+ # Now let x = (X1,X2,...,Xn) be the vector whose entries are
+ # indeterminates...
+ x = V(names)
+
+ # And figure out the "left multiplication by x" matrix in
+ # that setting.
+ lmbx_cols = []
+ monomial_matrices = [ self.monomial(i).operator().matrix()
+ for i in range(n) ] # don't recompute these!
+ for k in range(n):
+ ek = self.monomial(k).to_vector()
+ lmbx_cols.append(
+ sum( x[i]*(monomial_matrices[i]*ek)
+ for i in range(n) ) )
+ Lx = matrix.column(R, lmbx_cols)
+
+ # Now we can compute powers of x "symbolically"
+ x_powers = [self.one().to_vector(), x]
+ for d in range(2, r+1):
+ x_powers.append( Lx*(x_powers[-1]) )
+
+ idmat = matrix.identity(R, n)
W = self._charpoly_basis_space()
W = W.change_ring(R.fraction_field())
# 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.from_vector(W(R.gens()))
-
- # Handle the zeroth power separately, because computing
- # the unit element in J is mathematically suspect.
- x0 = W.coordinate_vector(self.one().to_vector())
- l1 = [ x0.column() ]
- l1 += [ W.coordinate_vector((x**k).to_vector()).column()
- for k in range(1,r) ]
- l2 = [idmat.column(k-1).column() for k in range(r+1, n+1)]
- A_of_x = matrix.block(R, 1, n, (l1 + l2))
- xr = W.coordinate_vector((x**r).to_vector())
- return (A_of_x, x, xr, A_of_x.det())
+ x_powers = [ W.coordinate_vector(xp) for xp in x_powers ]
+ l2 = [idmat.column(k-1) for k in range(r+1, n+1)]
+ A_of_x = matrix.column(R, n, (x_powers[:r] + l2))
+ return (A_of_x, x, x_powers[r], A_of_x.det())
@cached_method
return x.trace_inner_product(y)
- def multiplication_table(self):
+ def is_trivial(self):
"""
- Return a readable matrix representation of this algebra's
- multiplication table. The (i,j)th entry in the matrix contains
- the product of the ith basis element with the jth.
+ Return whether or not this algebra is trivial.
- This is not extraordinarily useful, but it overrides a superclass
- method that would otherwise just crash and complain about the
- algebra being infinite.
+ A trivial algebra contains only the zero element.
SETUP::
- sage: from mjo.eja.eja_algebra import (JordanSpinEJA,
- ....: RealCartesianProductEJA)
+ sage: from mjo.eja.eja_algebra import ComplexHermitianEJA
EXAMPLES::
- sage: J = RealCartesianProductEJA(3)
- sage: J.multiplication_table()
- [e0 0 0]
- [ 0 e1 0]
- [ 0 0 e2]
+ sage: J = ComplexHermitianEJA(3)
+ sage: J.is_trivial()
+ False
+ sage: A = J.zero().subalgebra_generated_by()
+ sage: A.is_trivial()
+ True
- ::
+ """
+ return self.dimension() == 0
- sage: J = JordanSpinEJA(3)
+
+ def multiplication_table(self):
+ """
+ Return a visual representation of this algebra's multiplication
+ table (on basis elements).
+
+ SETUP::
+
+ sage: from mjo.eja.eja_algebra import JordanSpinEJA
+
+ EXAMPLES::
+
+ sage: J = JordanSpinEJA(4)
sage: J.multiplication_table()
- [e0 e1 e2]
- [e1 e0 0]
- [e2 0 e0]
+ +----++----+----+----+----+
+ | * || e0 | e1 | e2 | e3 |
+ +====++====+====+====+====+
+ | e0 || e0 | e1 | e2 | e3 |
+ +----++----+----+----+----+
+ | e1 || e1 | e0 | 0 | 0 |
+ +----++----+----+----+----+
+ | e2 || e2 | 0 | e0 | 0 |
+ +----++----+----+----+----+
+ | e3 || e3 | 0 | 0 | e0 |
+ +----++----+----+----+----+
"""
- return self._multiplication_table
+ M = list(self._multiplication_table) # copy
+ for i in range(len(M)):
+ # M had better be "square"
+ M[i] = [self.monomial(i)] + M[i]
+ M = [["*"] + list(self.gens())] + M
+ return table(M, header_row=True, header_column=True, frame=True)
def natural_basis(self):
"""
if self._natural_basis is None:
- return tuple( b.to_vector().column() for b in self.basis() )
+ M = self.natural_basis_space()
+ return tuple( M(b.to_vector()) for b in self.basis() )
else:
return self._natural_basis
+ def natural_basis_space(self):
+ """
+ Return the matrix space in which this algebra's natural basis
+ elements live.
+ """
+ if self._natural_basis is None or len(self._natural_basis) == 0:
+ return MatrixSpace(self.base_ring(), self.dimension(), 1)
+ else:
+ return self._natural_basis[0].matrix_space()
+
+
@cached_method
def one(self):
"""
return self.linear_combination(zip(self.gens(), coeffs))
+ def random_element(self):
+ # Temporary workaround for https://trac.sagemath.org/ticket/28327
+ if self.is_trivial():
+ return self.zero()
+ else:
+ s = super(FiniteDimensionalEuclideanJordanAlgebra, self)
+ return s.random_element()
+
+
def rank(self):
"""
Return the rank of this EJA.
sage: e2*e2
e2
+ TESTS:
+
+ We can change the generator prefix::
+
+ sage: RealCartesianProductEJA(3, prefix='r').gens()
+ (r0, r1, r2)
+
+ Our inner product satisfies the Jordan axiom::
+
+ sage: set_random_seed()
+ sage: n = ZZ.random_element(1,5)
+ sage: J = RealCartesianProductEJA(n)
+ sage: x = J.random_element()
+ sage: y = J.random_element()
+ sage: z = J.random_element()
+ sage: (x*y).inner_product(z) == y.inner_product(x*z)
+ True
+
"""
- def __init__(self, n, field=QQ):
+ def __init__(self, n, field=QQ, **kwargs):
V = VectorSpace(field, n)
mult_table = [ [ V.gen(i)*(i == j) for j in range(n) ]
for i in range(n) ]
fdeja = super(RealCartesianProductEJA, self)
- return fdeja.__init__(field, mult_table, rank=n)
+ return fdeja.__init__(field, mult_table, rank=n, **kwargs)
def inner_product(self, x, y):
return _usual_ip(x,y)
TESTS::
sage: random_eja()
- Euclidean Jordan algebra of degree...
+ Euclidean Jordan algebra of dimension...
"""
sage: J(expected) == x*y
True
+ We can change the generator prefix::
+
+ sage: RealSymmetricEJA(3, prefix='q').gens()
+ (q0, q1, q2, q3, q4, q5)
+
+ Our inner product satisfies the Jordan axiom::
+
+ sage: set_random_seed()
+ sage: n = ZZ.random_element(1,5)
+ sage: J = RealSymmetricEJA(n)
+ sage: x = J.random_element()
+ sage: y = J.random_element()
+ sage: z = J.random_element()
+ sage: (x*y).inner_product(z) == y.inner_product(x*z)
+ True
+
"""
- def __init__(self, n, field=QQ):
+ def __init__(self, n, field=QQ, **kwargs):
S = _real_symmetric_basis(n, field=field)
Qs = _multiplication_table_from_matrix_basis(S)
return fdeja.__init__(field,
Qs,
rank=n,
- natural_basis=S)
+ natural_basis=S,
+ **kwargs)
def inner_product(self, x, y):
return _matrix_ip(x,y)
sage: J(expected) == x*y
True
+ We can change the generator prefix::
+
+ sage: ComplexHermitianEJA(2, prefix='z').gens()
+ (z0, z1, z2, z3)
+
+ Our inner product satisfies the Jordan axiom::
+
+ sage: set_random_seed()
+ sage: n = ZZ.random_element(1,5)
+ sage: J = ComplexHermitianEJA(n)
+ sage: x = J.random_element()
+ sage: y = J.random_element()
+ sage: z = J.random_element()
+ sage: (x*y).inner_product(z) == y.inner_product(x*z)
+ True
+
"""
- def __init__(self, n, field=QQ):
+ def __init__(self, n, field=QQ, **kwargs):
S = _complex_hermitian_basis(n)
Qs = _multiplication_table_from_matrix_basis(S)
return fdeja.__init__(field,
Qs,
rank=n,
- natural_basis=S)
+ natural_basis=S,
+ **kwargs)
def inner_product(self, x, y):
sage: J(expected) == x*y
True
+ We can change the generator prefix::
+
+ sage: QuaternionHermitianEJA(2, prefix='a').gens()
+ (a0, a1, a2, a3, a4, a5)
+
+ Our inner product satisfies the Jordan axiom::
+
+ sage: set_random_seed()
+ sage: n = ZZ.random_element(1,5)
+ sage: J = QuaternionHermitianEJA(n)
+ sage: x = J.random_element()
+ sage: y = J.random_element()
+ sage: z = J.random_element()
+ sage: (x*y).inner_product(z) == y.inner_product(x*z)
+ True
+
"""
- def __init__(self, n, field=QQ):
+ def __init__(self, n, field=QQ, **kwargs):
S = _quaternion_hermitian_basis(n)
Qs = _multiplication_table_from_matrix_basis(S)
return fdeja.__init__(field,
Qs,
rank=n,
- natural_basis=S)
+ natural_basis=S,
+ **kwargs)
def inner_product(self, x, y):
# Since a+bi+cj+dk on the diagonal is represented as
sage: e2*e3
0
+ We can change the generator prefix::
+
+ sage: JordanSpinEJA(2, prefix='B').gens()
+ (B0, B1)
+
+ Our inner product satisfies the Jordan axiom::
+
+ sage: set_random_seed()
+ sage: n = ZZ.random_element(1,5)
+ sage: J = JordanSpinEJA(n)
+ sage: x = J.random_element()
+ sage: y = J.random_element()
+ sage: z = J.random_element()
+ sage: (x*y).inner_product(z) == y.inner_product(x*z)
+ True
+
"""
- def __init__(self, n, field=QQ):
+ def __init__(self, n, field=QQ, **kwargs):
V = VectorSpace(field, n)
mult_table = [[V.zero() for j in range(n)] for i in range(n)]
for i in range(n):
# one-dimensional ambient space (because the rank is bounded by
# the ambient dimension).
fdeja = super(JordanSpinEJA, self)
- return fdeja.__init__(field, mult_table, rank=min(n,2))
+ return fdeja.__init__(field, mult_table, rank=min(n,2), **kwargs)
def inner_product(self, x, y):
return _usual_ip(x,y)