aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/oct.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/oct.spad.pamphlet')
-rw-r--r--src/algebra/oct.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/oct.spad.pamphlet b/src/algebra/oct.spad.pamphlet
index b1ed406d..e2b6c52e 100644
--- a/src/algebra/oct.spad.pamphlet
+++ b/src/algebra/oct.spad.pamphlet
@@ -89,8 +89,8 @@ OctonionCategory(R: CommutativeRing): Category ==
inv : % -> %
++ inv(o) returns the inverse of o if it exists.
add
- characteristic() ==
- characteristic()$R
+ characteristic ==
+ characteristic$R
conjugate x ==
octon(real x, - imagi x, - imagj x, - imagk x, - imagE x,_
- imagI x, - imagJ x, - imagK x)