\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} <>= )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} <>= --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. @ <<*>>= <> <> @ \eject \begin{thebibliography}{99} \bibitem{1} nothing \end{thebibliography} \end{document}