From 4370091678454ab9c27be626fbe67723fc4e4ccd Mon Sep 17 00:00:00 2001 From: Travis Scrimshaw Date: Tue, 16 May 2023 14:29:38 +0900 Subject: [PATCH] Small tweaks to the doc. --- src/sage/algebras/octonion_algebra.pyx | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/sage/algebras/octonion_algebra.pyx b/src/sage/algebras/octonion_algebra.pyx index 3e06884a60b..990ee0cd295 100644 --- a/src/sage/algebras/octonion_algebra.pyx +++ b/src/sage/algebras/octonion_algebra.pyx @@ -596,7 +596,7 @@ class OctonionAlgebra(UniqueRepresentation, Parent): non-commutative unital 8-dimensional `R`-algebra that is a deformation of the usual octonions, which are when `a = b = c = -1`. The octonions were originally constructed by Graves and independently discovered by - Cayley (who due to first publishing them, they are sometimes called + Cayley (due to being published first, these are sometimes called the Cayley numbers) and can also be built from the Cayley-Dickson construction with the :class:`quaternions `. @@ -816,8 +816,8 @@ class OctonionAlgebra(UniqueRepresentation, Parent): r""" Test that ``self`` is an Hurwitz algebra. - An algebra `A` is *Hurwitz* if there exists a quadratic form `N` - such that `N(x y) = N(x) N(y)` for all `x, y \in A`. + An algebra `A` is *Hurwitz* if there exists a nondegenerate quadratic + form `N` such that `N(x y) = N(x) N(y)` for all `x, y \in A`. EXAMPLES::