From fdc75d538d135ab98290c57f39c5dc3bf4d8c62e Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 25 Aug 2019 18:45:22 -0400 Subject: [PATCH] eja: use precomputed operator in two tests. --- mjo/eja/eja_element.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py index 7c86183..b8db12e 100644 --- a/mjo/eja/eja_element.py +++ b/mjo/eja/eja_element.py @@ -968,10 +968,10 @@ class FiniteDimensionalEuclideanJordanAlgebraElement(IndexedFreeModuleElement): sage: not x.is_invertible() or ( ....: x.quadratic_representation(x.inverse())*Qx ....: == - ....: 2*x.operator()*Qex - Qx ) + ....: 2*Lx*Qex - Qx ) True - sage: 2*x.operator()*Qex - Qx == Lxx + sage: 2*Lx*Qex - Qx == Lxx True Property 5: -- 2.43.2