X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feuclidean_jordan_algebra.py;h=9414d2cf27fd2728ef205650b128ab37d1b83949;hb=38ca36bf7be2feb446d99c7cb85ae77e1fb5013c;hp=2b00302dc73461f089390a715bb1f12dc7aef6c1;hpb=fac7c7f89eb71a0af23af6aeb5e822032ebf8e27;p=sage.d.git diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py index 2b00302..9414d2c 100644 --- a/mjo/eja/euclidean_jordan_algebra.py +++ b/mjo/eja/euclidean_jordan_algebra.py @@ -5,7 +5,7 @@ are used in optimization, and have some additional nice methods beyond 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 @@ -39,7 +39,7 @@ class FiniteDimensionalEuclideanJordanAlgebraMorphism(FiniteDimensionalAlgebraMo 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. @@ -86,7 +86,7 @@ class FiniteDimensionalEuclideanJordanAlgebraMorphism(FiniteDimensionalAlgebraMo check=False) - def __invert__(self): + def _invert_(self): """ EXAMPLES:: @@ -124,7 +124,7 @@ class FiniteDimensionalEuclideanJordanAlgebraMorphism(FiniteDimensionalAlgebraMo return FiniteDimensionalEuclideanJordanAlgebraMorphism(self.parent(), A.inverse()) - def __mul__(self, other): + def _lmul_(self, other): """ Compose two EJA morphisms using multiplicative notation. @@ -162,7 +162,7 @@ class FiniteDimensionalEuclideanJordanAlgebraMorphism(FiniteDimensionalAlgebraMo self.matrix()*other.matrix() ) - def __neg__(self): + def _neg_(self): """ Negate this morphism. @@ -282,7 +282,7 @@ class FiniteDimensionalEuclideanJordanAlgebra(FiniteDimensionalAlgebra): 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()