Initial population.

1 files changed, 55 insertions, 0 deletions

diff --git a/src/input/efi.input.pamphlet b/src/input/efi.input.pamphlet
new file mode 100644
index 00000000..5df35de1
--- /dev/null
+++ b/src/input/efi.input.pamphlet
@@ -0,0 +1,55 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input efi.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+\section{License}
+<<license>>=
+--Copyright The Numerical Algorithms Group Limited 1994.
+@
+<<*>>=
+<<license>>
+--
+)clear all
+EFI:=Expression Integer
+
+ber:=operator 'ber
+s:=operator 's
+--s:OP EFI:=operator 's
+
+br:LIST EFI->EFI
+-- br(x|(x.1)~=0)==(x.1)/(exp((x.1))-1)
+-- br has a removable singularity at the origin
+-- br(x|(x.1)=0)== limit(br([y]),y=0)
+br(x) == 
+ (x.1) = 0 => limit(br([y]),y=0) 
+ (x.1)/(exp((x.1))-1) 
+
+br([1])
+br([0])
+
+fJ:List FRAC INT -> EFI
+J(i:PI,j:PI):EFI==ber(s(i)-s(j))
+
+function(J(1,2),'fJ,['s])
+evaluate(ber,br)$BOP1(EFI);
+
+ss:=[1,2]
+fJ(ss)
+
+ss:=[1,1]
+-- fJ doesn't know about the special definition at the origin
+fJ(ss)
+
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}