diff options
author | dos-reis <gdr@axiomatics.org> | 2008-05-12 15:46:25 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-05-12 15:46:25 +0000 |
commit | d4221b8a648adc6bf3b44410dedd8b5e8abbeb18 (patch) | |
tree | fa358c786e25cf1a367e453943c51b639c3c951b /src/algebra/moebius.spad.pamphlet | |
parent | 20e1bed66399cce629d08a71ca0552ed24fef1d1 (diff) | |
download | open-axiom-d4221b8a648adc6bf3b44410dedd8b5e8abbeb18.tar.gz |
* algebra/asp.spad.pamphlet (Asp30): Don't name local variable as
record field.
(Asp31): Likewise.
(asp34): Likewise.
(Asp77): Likewise.
(Asp8): Likewise.
(Asp9): Likewise.
* algebra/fortran.spad.pamphlet (FortranCode): Likewise.
* algebra/moebius.spad.pamphlet (MoebiusTransform): Likewise.
Diffstat (limited to 'src/algebra/moebius.spad.pamphlet')
-rw-r--r-- | src/algebra/moebius.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/moebius.spad.pamphlet b/src/algebra/moebius.spad.pamphlet index 2185b426..a6b10b66 100644 --- a/src/algebra/moebius.spad.pamphlet +++ b/src/algebra/moebius.spad.pamphlet @@ -58,14 +58,14 @@ MoebiusTransform(F): Exports == Implementation where Implementation ==> add - Rep := Record(a: F,b: F,c: F,d: F) + Rep := Record(a': F,b': F,c': F,d': F) moebius(aa,bb,cc,dd) == [aa,bb,cc,dd] - a(t:%):F == t.a - b(t:%):F == t.b - c(t:%):F == t.c - d(t:%):F == t.d + a(t:%):F == t.a' + b(t:%):F == t.b' + c(t:%):F == t.c' + d(t:%):F == t.d' 1 == moebius(1,0,0,1) t * s == |