diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-02-04 11:43:05 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-02-04 11:43:05 +0000 |
| commit | c76dce6ee2f6b6830f1087f83bf452974ce3bf09 (patch) | |
| tree | 40e02b9b2ed5af7e36ebf581f5d58d4557ef94bf /src/algebra/quat.spad.pamphlet | |
| parent | 65045e7285ed629a68ae63529fae61bbcf7bf890 (diff) | |
| download | open-axiom-c76dce6ee2f6b6830f1087f83bf452974ce3bf09.tar.gz | |
* algebra/algfunc.spad.pamphlet: Quote symbols.
* algebra/combfunc.spad.pamphlet: Likewise.
* algebra/drawopt.spad.pamphlet: Likewise.
* algebra/efstruc.spad.pamphlet: Likewise.
* algebra/elemntry.spad.pamphlet: Likewise.
* algebra/expr.spad.pamphlet: Likewise.
* algebra/exprode.spad.pamphlet: Likewise.
* algebra/float.spad.pamphlet: Likewise.
* algebra/gaussian.spad.pamphlet: Likewise.
* algebra/intaux.spad.pamphlet: Likewise.
* algebra/irexpand.spad.pamphlet: Likewise.
* algebra/laplace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/liouv.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Likewise.
* algebra/lmdict.spad.pamphlet: Likewise.
* algebra/manip.spad.pamphlet: Likewise.
* algebra/matcat.spad.pamphlet: Likewise.
* algebra/matrix.spad.pamphlet: Likewise.
* algebra/mkfunc.spad.pamphlet: Likewise.
* algebra/mset.spad.pamphlet: Likewise.
* algebra/oct.spad.pamphlet: Likewise.
* algebra/op.spad.pamphlet: Likewise.
* algebra/patmatch1.spad.pamphlet: Likewise.
* algebra/pattern.spad.pamphlet: Likewise.
* algebra/quat.spad.pamphlet: Likewise.
* algebra/sets.spad.pamphlet: Likewise.
* algebra/transsolve.spad.pamphlet: Likewise.
* algebra/vector.spad.pamphlet: Likewise.
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 |