diff options
Diffstat (limited to 'src/algebra/moebius.spad.pamphlet')
| -rw-r--r-- | src/algebra/moebius.spad.pamphlet | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/algebra/moebius.spad.pamphlet b/src/algebra/moebius.spad.pamphlet index a6b10b66..d0681a82 100644 --- a/src/algebra/moebius.spad.pamphlet +++ b/src/algebra/moebius.spad.pamphlet @@ -1,16 +1,20 @@ \documentclass{article} \usepackage{axiom} \begin{document} -\title{\$SPAD/src/algebra moebius.spad} + +\title{src/algebra moebius.spad} \author{Stephen M. Watt} \maketitle + \begin{abstract} \end{abstract} -\eject + \tableofcontents \eject + \section{domain MOEBIUS MoebiusTransform} <<domain MOEBIUS MoebiusTransform>>= +import OnePointCompletion )abbrev domain MOEBIUS MoebiusTransform ++ 2-by-2 matrices acting on P1(F). ++ Author: Stephen "Say" Watt @@ -79,7 +83,7 @@ MoebiusTransform(F): Exports == Implementation where shift(t,f) == moebius(a(t) + f*c(t), b(t) + f*d(t), c(t), d(t)) scale(t,f) == moebius(f*a(t),f*b(t),c(t),d(t)) - recip t == moebius(c(t),d(t),a(t),b(t)) + recip(t: %): % == moebius(c(t),d(t),a(t),b(t)) eval(t:%,f:F) == (a(t)*f + b(t))/(c(t)*f + d(t)) eval(t:%,f:P1F) == |