Initial population.

1 files changed, 182 insertions, 0 deletions

diff --git a/src/algebra/f07.spad.pamphlet b/src/algebra/f07.spad.pamphlet
new file mode 100644
index 00000000..bc8f4ae0
--- /dev/null
+++ b/src/algebra/f07.spad.pamphlet
@@ -0,0 +1,182 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/algebra f07.spad}
+\author{Godfrey Nolan, Mike Dewar}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+\section{package NAGF07 NagLapack}
+<<package NAGF07 NagLapack>>=
+)abbrev package NAGF07 NagLapack
+++ Author: Godfrey Nolan and Mike Dewar
+++ Date Created: Jan 1994
+++ Date Last Updated: Thu May 12 17:45:42 1994
+++Description:
+++This package uses the NAG Library to compute matrix
+++factorizations, and to solve systems of linear equations
+++following the matrix factorizations.
+++See \downlink{Manual Page}{manpageXXf07}.
+NagLapack(): Exports == Implementation where
+  S ==> Symbol
+  FOP ==> FortranOutputStackPackage
+
+  Exports ==> with
+    f07adf : (Integer,Integer,Integer,Matrix DoubleFloat) -> Result 
+     ++ f07adf(m,n,lda,a)
+     ++ (DGETRF) computes the LU factorization of a real m by n 
+     ++ matrix.
+     ++ See \downlink{Manual Page}{manpageXXf07adf}.
+    f07aef : (String,Integer,Integer,Matrix DoubleFloat,_
+	Integer,Matrix Integer,Integer,Matrix DoubleFloat) -> Result 
+     ++ f07aef(trans,n,nrhs,a,lda,ipiv,ldb,b)
+     ++ (DGETRS) solves a real system of linear equations with 
+     ++                                     T                     
+     ++ multiple right-hand sides, AX=B or A X=B, where A has been 
+     ++ factorized by F07ADF (DGETRF).
+     ++ See \downlink{Manual Page}{manpageXXf07aef}.
+    f07fdf : (String,Integer,Integer,Matrix DoubleFloat) -> Result 
+     ++ f07fdf(uplo,n,lda,a)
+     ++ (DPOTRF) computes the Cholesky factorization of a real 
+     ++ symmetric positive-definite matrix.
+     ++ See \downlink{Manual Page}{manpageXXf07fdf}.
+    f07fef : (String,Integer,Integer,Matrix DoubleFloat,_
+	Integer,Integer,Matrix DoubleFloat) -> Result 
+     ++ f07fef(uplo,n,nrhs,a,lda,ldb,b)
+     ++ (DPOTRS) solves a real symmetric positive-definite system 
+     ++ of linear equations with multiple right-hand sides, AX=B, where A
+     ++ has been factorized by F07FDF (DPOTRF).
+     ++ See \downlink{Manual Page}{manpageXXf07fef}.
+  Implementation ==> add
+
+    import Lisp
+    import DoubleFloat
+    import Any
+    import Record
+    import Integer
+    import Matrix DoubleFloat
+    import Boolean
+    import NAGLinkSupportPackage
+    import AnyFunctions1(Integer)
+    import AnyFunctions1(Matrix DoubleFloat)
+    import AnyFunctions1(String)
+    import AnyFunctions1(Matrix Integer)
+
+
+    f07adf(mArg:Integer,nArg:Integer,ldaArg:Integer,_
+	aArg:Matrix DoubleFloat): Result == 
+	[(invokeNagman(NIL$Lisp,_
+	"f07adf",_
+	["m"::S,"n"::S,"lda"::S,"info"::S,"ipiv"::S,"a"::S]$Lisp,_
+	["ipiv"::S,"info"::S]$Lisp,_
+	[["double"::S,["a"::S,"lda"::S,"n"::S]$Lisp_
+	]$Lisp_
+	,["integer"::S,"m"::S,"n"::S,"lda"::S,["ipiv"::S,"m"::S]$Lisp_
+	,"info"::S]$Lisp_
+	]$Lisp,_
+	["ipiv"::S,"info"::S,"a"::S]$Lisp,_
+	[([mArg::Any,nArg::Any,ldaArg::Any,aArg::Any ])_
+	@List Any]$Lisp)$Lisp)_
+	pretend List (Record(key:Symbol,entry:Any))]$Result
+
+    f07aef(transArg:String,nArg:Integer,nrhsArg:Integer,_
+	aArg:Matrix DoubleFloat,ldaArg:Integer,ipivArg:Matrix Integer,_
+	ldbArg:Integer,bArg:Matrix DoubleFloat): Result == 
+	[(invokeNagman(NIL$Lisp,_
+	"f07aef",_
+	["trans"::S,"n"::S,"nrhs"::S,"lda"::S,"ldb"::S_
+	,"info"::S,"a"::S,"ipiv"::S,"b"::S]$Lisp,_
+	["info"::S]$Lisp,_
+	[["double"::S,["a"::S,"lda"::S,"n"::S]$Lisp_
+	,["b"::S,"ldb"::S,"nrhs"::S]$Lisp]$Lisp_
+	,["integer"::S,"n"::S,"nrhs"::S,"lda"::S,["ipiv"::S,"n"::S]$Lisp_
+	,"ldb"::S,"info"::S]$Lisp_
+	,["character"::S,"trans"::S]$Lisp_
+	]$Lisp,_
+	["info"::S,"b"::S]$Lisp,_
+	[([transArg::Any,nArg::Any,nrhsArg::Any,ldaArg::Any,ldbArg::Any,aArg::Any,ipivArg::Any,bArg::Any ])_
+	@List Any]$Lisp)$Lisp)_
+	pretend List (Record(key:Symbol,entry:Any))]$Result
+
+    f07fdf(uploArg:String,nArg:Integer,ldaArg:Integer,_
+	aArg:Matrix DoubleFloat): Result == 
+	[(invokeNagman(NIL$Lisp,_
+	"f07fdf",_
+	["uplo"::S,"n"::S,"lda"::S,"info"::S,"a"::S]$Lisp,_
+	["info"::S]$Lisp,_
+	[["double"::S,["a"::S,"lda"::S,"n"::S]$Lisp_
+	]$Lisp_
+	,["integer"::S,"n"::S,"lda"::S,"info"::S]$Lisp_
+	,["character"::S,"uplo"::S]$Lisp_
+	]$Lisp,_
+	["info"::S,"a"::S]$Lisp,_
+	[([uploArg::Any,nArg::Any,ldaArg::Any,aArg::Any ])_
+	@List Any]$Lisp)$Lisp)_
+	pretend List (Record(key:Symbol,entry:Any))]$Result
+
+    f07fef(uploArg:String,nArg:Integer,nrhsArg:Integer,_
+	aArg:Matrix DoubleFloat,ldaArg:Integer,ldbArg:Integer,_
+	bArg:Matrix DoubleFloat): Result == 
+	[(invokeNagman(NIL$Lisp,_
+	"f07fef",_
+	["uplo"::S,"n"::S,"nrhs"::S,"lda"::S,"ldb"::S_
+	,"info"::S,"a"::S,"b"::S]$Lisp,_
+	["info"::S]$Lisp,_
+	[["double"::S,["a"::S,"lda"::S,"n"::S]$Lisp_
+	,["b"::S,"ldb"::S,"nrhs"::S]$Lisp]$Lisp_
+	,["integer"::S,"n"::S,"nrhs"::S,"lda"::S,"ldb"::S_
+	,"info"::S]$Lisp_
+	,["character"::S,"uplo"::S]$Lisp_
+	]$Lisp,_
+	["info"::S,"b"::S]$Lisp,_
+	[([uploArg::Any,nArg::Any,nrhsArg::Any,ldaArg::Any,ldbArg::Any,aArg::Any,bArg::Any ])_
+	@List Any]$Lisp)$Lisp)_
+	pretend List (Record(key:Symbol,entry:Any))]$Result
+
+@
+\section{License}
+<<license>>=
+--Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
+--All rights reserved.
+--
+--Redistribution and use in source and binary forms, with or without
+--modification, are permitted provided that the following conditions are
+--met:
+--
+--    - Redistributions of source code must retain the above copyright
+--      notice, this list of conditions and the following disclaimer.
+--
+--    - Redistributions in binary form must reproduce the above copyright
+--      notice, this list of conditions and the following disclaimer in
+--      the documentation and/or other materials provided with the
+--      distribution.
+--
+--    - Neither the name of The Numerical ALgorithms Group Ltd. nor the
+--      names of its contributors may be used to endorse or promote products
+--      derived from this software without specific prior written permission.
+--
+--THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
+--IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
+--TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
+--PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
+--OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
+--EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+--PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
+--PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+--LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
+--NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
+--SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+@
+<<*>>=
+<<license>>
+
+<<package NAGF07 NagLapack>>
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}