aboutsummaryrefslogtreecommitdiff
path: root/src/input/gonshor.input.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-05-27 22:31:23 +0000
committerdos-reis <gdr@axiomatics.org>2010-05-27 22:31:23 +0000
commit307e4ad0a2676ef94b42121e79e71888f4778883 (patch)
tree15cc67e1c57f7b0efd639bd14472bf3e559c08e3 /src/input/gonshor.input.pamphlet
parent8f5399e77de0741651b0d058b1aa7f57f43aedb0 (diff)
downloadopen-axiom-307e4ad0a2676ef94b42121e79e71888f4778883.tar.gz
cleanup
Diffstat (limited to 'src/input/gonshor.input.pamphlet')
-rw-r--r--src/input/gonshor.input.pamphlet8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/input/gonshor.input.pamphlet b/src/input/gonshor.input.pamphlet
index 51f08777..1bd749ea 100644
--- a/src/input/gonshor.input.pamphlet
+++ b/src/input/gonshor.input.pamphlet
@@ -75,10 +75,10 @@ commutative?()$GonshorGenetic
associative?()$GonshorGenetic
-- The canonical basis:
-e0 : GonshorGenetic := [1, 0, 0, 0] :: Vector R ;
-e1 : GonshorGenetic := [0, 1, 0, 0] :: Vector R ;
-e2 : GonshorGenetic := [0, 0, 1, 0] :: Vector R ;
-e3 : GonshorGenetic := [0, 0, 0, 1] :: Vector R ;
+e0 : GonshorGenetic := [1, 0, 0, 0] :: Vector R
+e1 : GonshorGenetic := [0, 1, 0, 0] :: Vector R
+e2 : GonshorGenetic := [0, 0, 1, 0] :: Vector R
+e3 : GonshorGenetic := [0, 0, 0, 1] :: Vector R
-- A generic element of the algebra: