]> gitweb.michael.orlitzky.com - sage.d.git/commit
eja: text the inner product axiom of an EJA.
authorMichael Orlitzky <michael@orlitzky.com>
Fri, 19 Jul 2019 20:15:55 +0000 (16:15 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 29 Jul 2019 03:19:01 +0000 (23:19 -0400)
commit5a2de76fe9fa3a4b25ad44f8b3a64ce12cea83b9
treeade16273f22f3b507ba1e9f9d6dc0c33923573f9
parent5978697af0b924d2d2b6174975bf06f1830746f3
eja: text the inner product axiom of an EJA.
mjo/eja/euclidean_jordan_algebra.py