X-Git-Url: http://gitweb.michael.orlitzky.com/?p=sage.d.git;a=blobdiff_plain;f=mjo%2Feja%2Feja_element.py;fp=mjo%2Feja%2Feja_element.py;h=bef1289bbdd3820b990cf0b3ae0f4ff7334f3b01;hp=0fd1c5f2032151de7d752494b4117825af3109a3;hb=607ba10dfea185af919a1f60b3ec7c7432d93b2b;hpb=1d6c0d98ea24be9bcfec236ad94d6d125dabd8f4

diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py
index 0fd1c5f..bef1289 100644
--- a/mjo/eja/eja_element.py
+++ b/mjo/eja/eja_element.py
@@ -1512,6 +1512,12 @@ class FiniteDimensionalEJAElement(IndexedFreeModuleElement):
             sage: (alpha*x + y).trace() == alpha*x.trace() + y.trace()
             True
 
+        The trace of a square is nonnegative::
+
+            sage: x = random_eja().random_element()
+            sage: (x*x).trace() >= 0
+            True
+
         """
         P = self.parent()
         r = P.rank()