examples,mjo-eja: add the Jordan-algebraic trace \tr{}

diff --git a/examples.tex b/examples.tex
index accec5d13898e65f2f62cbf0ebbfe05ab6caf837..f8165b680f295f815108900a8af12b01d9e1c2e1 100644 (file)
--- a/examples.tex
+++ b/examples.tex
@@ -170,7 +170,8 @@
     $\JAut{V}$. Two popular operators in an EJA are its quadratic
     representation and ``left multiplication by'' operator. For a
     given $x$, they are, respectively, $\quadrepr{x}$ and
-    $\leftmult{x}$.
+    $\leftmult{x}$. The Jordan-algebraic trace is available either as
+    a function $\tr{x}$, or in its operator form $\tr{}$.
 
     The one EJA that fits better here than anywhere else is the Jordan
     spin algebra, $\spineja$. Its ambient space is $\Rn$, but having a

diff --git a/mjo-eja.tex b/mjo-eja.tex
index b9e072e830660ab9429bbe0d16d84f82c7100a27..1d245facc4cba714b3148a93bee535cf532151d2 100644 (file)
--- a/mjo-eja.tex
+++ b/mjo-eja.tex
@@ -22,6 +22,22 @@
 % a (bilinear) algebra multiplication in any other context.
 \newcommand*{\jp}[2]{{#1} \circ {#2}}
 
+% The Jordan-algebraic trace (sum of eigenvalues) of its argument.
+% Use a blank argument to get the "tr" operator itself.
+\newcommand*{\tr}[1]{%
+  \operatorname{tr}%
+    \if\relax\detokenize{#1}\relax\else
+    \of{#1}%
+  \fi%
+}
+\ifdefined\newglossaryentry
+  \newglossaryentry{tr}{
+    name={\ensuremath{\tr{x}}},
+    description={the Jordan-algebraic trace of $x$},
+    sort=tr
+  }
+\fi
+
 % The "quadratic representation" of the ambient space applied to its
 % argument. We have standardized on the "P" used by Faraut and Korányi
 % rather than the "U" made popular by Jacobson.