diff options
Diffstat (limited to 'src/algebra/quat.spad.pamphlet')
| -rw-r--r-- | src/algebra/quat.spad.pamphlet | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/algebra/quat.spad.pamphlet b/src/algebra/quat.spad.pamphlet index 98701089..72f99f76 100644 --- a/src/algebra/quat.spad.pamphlet +++ b/src/algebra/quat.spad.pamphlet @@ -134,7 +134,7 @@ QuaternionCategory(R: CommutativeRing): Category == not zero?(imagI(x)) => y := quatern(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 @@ -144,14 +144,14 @@ QuaternionCategory(R: CommutativeRing): Category == not zero?(imagJ(x)) => y := quatern(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 and i and j parts are 0 - part := "k"::Symbol::OutputForm + part := 'k::OutputForm -- one? imagK(x) => part (imagK(x) = 1) => part (imagK(x) :: OutputForm) * part @@ -269,6 +269,8 @@ QuaternionCategoryFunctions2(QR,R,QS,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 |