From 4126dc2b32ee818635e57990b3e6f647b9a7dbcb Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 18 Sep 2008 14:26:35 +0000 Subject: * interp/c-util.boot (displayAmbiguousSignatures): New. (ambiguousSignatureError): Likewise. * interp/define.boot (hasSigInTargetCategory): Use it to reject ambiguous lhs of a definition. * interp/lisplib.boot (leaveIfErrors): Fix typo. * algebra/aggcat.spad.pamphlet: Disambiguate definitions. * algebra/card.spad.pamphlet: Likewise. * algebra/dhmatrix.spad.pamphlet: Likewise. * algebra/divisor.spad.pamphlet: Likewise. * algebra/expexpan.spad.pamphlet: Likewise. * algebra/ffcat.spad.pamphlet: Likewise. * algebra/ffcg.spad.pamphlet: Likewise. * algebra/ffnb.spad.pamphlet: Likewise. * algebra/ffp.spad.pamphlet: Likewise. * algebra/generic.spad.pamphlet: Likewise. * algebra/groebf.spad.pamphlet: Likewise. * algebra/modring.spad.pamphlet: Likewise. * algebra/moebius.spad.pamphlet: Likewise. * algebra/mts.spad.pamphlet: Likewise. * algebra/naalgc.spad.pamphlet: Likewise. * algebra/ore.spad.pamphlet: Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/pf.spad.pamphlet: Likewise. * algebra/poly.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/prtition.spad.pamphlet: Likewise. * algebra/radix.spad.pamphlet: Likewise. * algebra/rep2.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise. * algebra/tree.spad.pamphlet: Likewise. * algebra/triset.spad.pamphlet: Likewise. * algebra/view2D.spad.pamphlet: Likewise. * algebra/sf.spad.pamphlet: Remove signature for hash. * algebra/si.spad.pamphlet: Likewise. --- src/algebra/moebius.spad.pamphlet | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'src/algebra/moebius.spad.pamphlet') 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} <>= +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) == -- cgit v1.2.3