diff options
Diffstat (limited to 'src/algebra/oct.spad.pamphlet')
-rw-r--r-- | src/algebra/oct.spad.pamphlet | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/algebra/oct.spad.pamphlet b/src/algebra/oct.spad.pamphlet index e2b6c52e..35805e37 100644 --- a/src/algebra/oct.spad.pamphlet +++ b/src/algebra/oct.spad.pamphlet @@ -284,7 +284,6 @@ OctonionCategory(R: CommutativeRing): Category == ++ imaginary part, the k imaginary part, (as with quaternions) ++ and in addition the imaginary parts E, I, J, K. -- Examples: octonion.input ---)boot $noSubsumption := true Octonion(R:CommutativeRing): export == impl where QR ==> Quaternion R |