+ return Qs
+
+
+def RealSymmetricSimpleEJA(n):
+ """
+ The rank-n simple EJA consisting of real symmetric n-by-n
+ matrices, the usual symmetric Jordan product, and the trace inner
+ product. It has dimension `(n^2 + n)/2` over the reals.
+ """
+ pass
+
+def ComplexHermitianSimpleEJA(n):
+ """
+ The rank-n simple EJA consisting of complex Hermitian n-by-n
+ matrices over the real numbers, the usual symmetric Jordan product,
+ and the real-part-of-trace inner product. It has dimension `n^2 over
+ the reals.
+ """
+ pass
+
+def QuaternionHermitianSimpleEJA(n):
+ """
+ The rank-n simple EJA consisting of self-adjoint n-by-n quaternion
+ matrices, the usual symmetric Jordan product, and the
+ real-part-of-trace inner product. It has dimension `2n^2 - n` over
+ the reals.
+ """
+ pass
+
+def OctonionHermitianSimpleEJA(n):
+ """
+ This shit be crazy. It has dimension 27 over the reals.
+ """
+ n = 3
+ pass
+
+def JordanSpinSimpleEJA(n):
+ """
+ The rank-2 simple EJA consisting of real vectors ``x=(x0, x_bar)``
+ with the usual inner product and jordan product ``x*y =
+ (<x_bar,y_bar>, x0*y_bar + y0*x_bar)``. It has dimension `n` over
+ the reals.
+ """
+ pass