diff options
author | dos-reis <gdr@axiomatics.org> | 2010-05-27 22:31:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-05-27 22:31:23 +0000 |
commit | 307e4ad0a2676ef94b42121e79e71888f4778883 (patch) | |
tree | 15cc67e1c57f7b0efd639bd14472bf3e559c08e3 /src/input/gonshor.input.pamphlet | |
parent | 8f5399e77de0741651b0d058b1aa7f57f43aedb0 (diff) | |
download | open-axiom-307e4ad0a2676ef94b42121e79e71888f4778883.tar.gz |
cleanup
Diffstat (limited to 'src/input/gonshor.input.pamphlet')
-rw-r--r-- | src/input/gonshor.input.pamphlet | 8 |
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: |