A *Jordan algebra* is a non-associative algebra over the reals
with a bilinear multiplication that satisfies the following
identities:

(the second identity is known as the Jordan identity). In literature one usually indicates multiplication by juxtaposition but one sometimes sees

For more detail, see the package vignette

`vignette("jordan")`