what can be supported in a general Jordan Algebra.
"""
-from sage.categories.magmatic_algebras import MagmaticAlgebras
+from sage.categories.finite_dimensional_algebras_with_basis import FiniteDimensionalAlgebrasWithBasis
from sage.structure.element import is_Matrix
from sage.structure.category_object import normalize_names
our EJA, and you can't add/multiply/etc. them.
"""
- def __add__(self, other):
+ def _add_(self, other):
"""
Add two EJA morphisms in the obvious way.
check=False)
- def __invert__(self):
+ def _invert_(self):
"""
EXAMPLES::
return FiniteDimensionalEuclideanJordanAlgebraMorphism(self.parent(),
A.inverse())
- def __mul__(self, other):
+ def _lmul_(self, other):
"""
Compose two EJA morphisms using multiplicative notation.
self.matrix()*other.matrix() )
- def __neg__(self):
+ def _neg_(self):
"""
Negate this morphism.
raise ValueError("input is not a multiplication table")
mult_table = tuple(mult_table)
- cat = MagmaticAlgebras(field).FiniteDimensional().WithBasis()
+ cat = FiniteDimensionalAlgebrasWithBasis(field)
cat.or_subcategory(category)
if assume_associative:
cat = cat.Associative()