diff options
Diffstat (limited to 'src/algebra/oct.spad.pamphlet')
| -rw-r--r-- | src/algebra/oct.spad.pamphlet | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/src/algebra/oct.spad.pamphlet b/src/algebra/oct.spad.pamphlet index 680cb040..fbaa68ed 100644 --- a/src/algebra/oct.spad.pamphlet +++ b/src/algebra/oct.spad.pamphlet @@ -155,7 +155,7 @@ OctonionCategory(R: CommutativeRing): Category == y := octon(0$R,0$R,imagj(x),imagk(x),imagE(x), imagI(x),imagJ(x),imagK(x)) z := - part := "i"::Symbol::OutputForm + part := 'i::OutputForm -- one? imagi(x) => part (imagi(x) = 1) => part (imagi(x) :: OutputForm) * part @@ -166,7 +166,7 @@ OctonionCategory(R: CommutativeRing): Category == y := octon(0$R,0$R,0$R,imagk(x),imagE(x), imagI(x),imagJ(x),imagK(x)) z := - part := "j"::Symbol::OutputForm + part := 'j::OutputForm -- one? imagj(x) => part (imagj(x) = 1) => part (imagj(x) :: OutputForm) * part @@ -177,7 +177,7 @@ OctonionCategory(R: CommutativeRing): Category == y := octon(0$R,0$R,0$R,0$R,imagE(x), imagI(x),imagJ(x),imagK(x)) z := - part := "k"::Symbol::OutputForm + part := 'k::OutputForm -- one? imagk(x) => part (imagk(x) = 1) => part (imagk(x) :: OutputForm) * part @@ -188,7 +188,7 @@ OctonionCategory(R: CommutativeRing): Category == y := octon(0$R,0$R,0$R,0$R,0$R, imagI(x),imagJ(x),imagK(x)) z := - part := "E"::Symbol::OutputForm + part := 'E::OutputForm -- one? imagE(x) => part (imagE(x) = 1) => part (imagE(x) :: OutputForm) * part @@ -198,7 +198,7 @@ OctonionCategory(R: CommutativeRing): Category == not zero?(imagI(x)) => y := octon(0$R,0$R,0$R,0$R,0$R,0$R,imagJ(x),imagK(x)) z := - part := "I"::Symbol::OutputForm + part := 'I::OutputForm -- one? imagI(x) => part (imagI(x) = 1) => part (imagI(x) :: OutputForm) * part @@ -208,14 +208,14 @@ OctonionCategory(R: CommutativeRing): Category == not zero?(imagJ(x)) => y := octon(0$R,0$R,0$R,0$R,0$R,0$R,0$R,imagK(x)) z := - part := "J"::Symbol::OutputForm + part := 'J::OutputForm -- one? imagJ(x) => part (imagJ(x) = 1) => part (imagJ(x) :: OutputForm) * part zero? y => z z + (y :: OutputForm) -- we know that the real part,i,j,k,E,I,J parts are 0 - part := "K"::Symbol::OutputForm + part := 'K::OutputForm -- one? imagK(x) => part (imagK(x) = 1) => part (imagK(x) :: OutputForm) * part @@ -371,6 +371,8 @@ OctonionCategoryFunctions2(OR,R,OS,S) : Exports == <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. +--Copyright (C) 2007-2009, Gabriel Dos Reis. +--All rights reserved. -- --Redistribution and use in source and binary forms, with or without --modification, are permitted provided that the following conditions are |