diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/interp/construc.lisp (renamed from src/interp/construc.lisp.pamphlet) | 236 | ||||
| -rw-r--r-- | src/interp/domain.lisp (renamed from src/interp/domain.lisp.pamphlet) | 198 | ||||
| -rw-r--r-- | src/interp/guess.boot (renamed from src/interp/guess.boot.pamphlet) | 24 | ||||
| -rw-r--r-- | src/interp/nhyper.boot (renamed from src/interp/nhyper.boot.pamphlet) | 24 |
4 files changed, 201 insertions, 281 deletions
diff --git a/src/interp/construc.lisp.pamphlet b/src/interp/construc.lisp index e97d2501..f038d78a 100644 --- a/src/interp/construc.lisp.pamphlet +++ b/src/interp/construc.lisp @@ -1,100 +1,7 @@ -\documentclass{article} -\usepackage{axiom} -\begin{document} -\title{\$SPAD/src/interp construc.lisp} -\author{Timothy Daly} -\maketitle -\begin{abstract} -\end{abstract} -\eject -\tableofcontents -\eject -\begin{verbatim} - the old compiler splits source files on a domain by domain basis - - the new compiler compiles all of the domains in a file together into a - single output file - - in order to converge these two approaches nrlibs are being combined on - a file basis rather than split on a domain basis. this change should be - transparent to all code that properly accesses the files. - - INTERP.EXPOSED will be enhanced to contain the source file name of - the domain. thus, instead of: - INT Integer - it will be: - INT integer Integer - - which would mean that the library that contains INT would be integer.NRLIB - by using this mechanism we can continue to use the old libraries - since each entry would now contain: - INT INT Integer - which would mean that the library that contains the domain INT is INT.NRLIB - - old file formats for nrlibs: - - first sexpr is integer specifying the byte position of the index of the file - next n sexprs are information in the nrlib - last sexpr is an alist (pointed at by the first number in the file) which - contains triples. e.g. (("slot1info" 0 2550)...) - each triple consists of a string, a zero, and an byte offset into the file - of the information requested e.g. slot1info starts at byte 2550 - - new file formats for libs: - - first sexpr is either an integer (in which case this is exactly an old nrlib - --- or --- - first sexpr is an alist of the form: - ((abbreviation . index) ...) - where each abbreviation is the abbreviation of the domain name and each - index is a pointer to the triples alist - - so, for example, integer.spad contains 5 domains: - INTSLPE, INT, NNI, PI and ROMAN - previously INT.NRLIB/index.KAF contained: - 2550 - (sexpr1...) - (sexpr2....) - (sexpr3...) - (("sexpr1" 0 8) ("sexpr2" 0 22) ("sexpr3 0 45)) - and the individual index.KAF files were similar for the other 4 domains. - - under the new scheme integer.nrlib/index.KAF would contain: - ((INTSLPE . 2000) (INT . 4000) (NNI . 6000) (PI . 8000) (ROMAN . 10000)) - (sexpr1...) --- info for INTSLPE - (sexpr2....) - (sexpr3...) - (("sexpr1" 0 8) ("sexpr2" 0 22) ("sexpr3 0 45)) - (sexpr1...) --- info for INT - (sexpr2....) - (sexpr3...) - (("sexpr1" 0 2800) ("sexpr2" 0 2900) ("sexpr3 0 3000)) - (sexpr1...) --- info for NNI - (sexpr2....) - (sexpr3...) - (("sexpr1" 0 4100) ("sexpr2" 0 4200) ("sexpr3 0 4300)) - (sexpr1...) --- info for PI - (sexpr2....) - (sexpr3...) - (("sexpr1" 0 6100) ("sexpr2" 0 6200) ("sexpr3 0 6300)) - (sexpr1...) --- info for ROMAN - (sexpr2....) - (sexpr3...) - (("sexpr1" 0 8100) ("sexpr2" 0 8200) ("sexpr3 0 8300)) - - when an NRLIB is opened currently the position information is first - read into the libstream-indextable slot, then this information is - overwritten by the index table itself. - - we need the name of the NRLIB passed down to the low level functions - so they can open the new NRLIB format and perform the correct file - position operation. once the NRLIB is open it is only referenced - within one constructor so we can lose the master index table. -\end{verbatim} -\section{License} -<<license>>= ;; Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. ;; All rights reserved. +;; Copyright (C) 2007, Gabriel Dos Reis. +;; All rights reserved. ;; ;; Redistribution and use in source and binary forms, with or without ;; modification, are permitted provided that the following conditions are @@ -124,9 +31,88 @@ ;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS ;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -@ -<<*>>= -<<license>> + +;; the old compiler splits source files on a domain by domain basis + +;; the new compiler compiles all of the domains in a file together into a +;; single output file + +;; in order to converge these two approaches nrlibs are being combined on +;; a file basis rather than split on a domain basis. this change should be +;; transparent to all code that properly accesses the files. + +;; INTERP.EXPOSED will be enhanced to contain the source file name of +;; the domain. thus, instead of: +;; INT Integer +;; it will be: +;; INT integer Integer + +;; which would mean that the library that contains INT would be integer.NRLIB +;; by using this mechanism we can continue to use the old libraries +;; since each entry would now contain: +;; INT INT Integer +;; which would mean that the library that contains the domain INT is INT.NRLIB + +;; old file formats for nrlibs: + +;; first sexpr is integer specifying the byte position of the index of the file +;; next n sexprs are information in the nrlib +;; last sexpr is an alist (pointed at by the first number in the file) which +;; contains triples. e.g. (("slot1info" 0 2550)...) +;; each triple consists of a string, a zero, and an byte offset into the file +;; of the information requested e.g. slot1info starts at byte 2550 + +;; new file formats for libs: + +;; first sexpr is either an integer (in which case this is exactly an old nrlib +;; --- or --- +;; first sexpr is an alist of the form: +;; ((abbreviation . index) ...) +;; where each abbreviation is the abbreviation of the domain name and each +;; index is a pointer to the triples alist + +;; so, for example, integer.spad contains 5 domains: +;; INTSLPE, INT, NNI, PI and ROMAN +;; previously INT.NRLIB/index.KAF contained: +;; 2550 +;; (sexpr1...) +;; (sexpr2....) +;; (sexpr3...) +;; (("sexpr1" 0 8) ("sexpr2" 0 22) ("sexpr3 0 45)) +;; and the individual index.KAF files were similar for the other 4 domains. + +;; under the new scheme integer.nrlib/index.KAF would contain: +;; ((INTSLPE . 2000) (INT . 4000) (NNI . 6000) (PI . 8000) (ROMAN . 10000)) +;; (sexpr1...) --- info for INTSLPE +;; (sexpr2....) +;; (sexpr3...) +;; (("sexpr1" 0 8) ("sexpr2" 0 22) ("sexpr3 0 45)) +;; (sexpr1...) --- info for INT +;; (sexpr2....) +;; (sexpr3...) +;; (("sexpr1" 0 2800) ("sexpr2" 0 2900) ("sexpr3 0 3000)) +;; (sexpr1...) --- info for NNI +;; (sexpr2....) +;; (sexpr3...) +;; (("sexpr1" 0 4100) ("sexpr2" 0 4200) ("sexpr3 0 4300)) +;; (sexpr1...) --- info for PI +;; (sexpr2....) +;; (sexpr3...) +;; (("sexpr1" 0 6100) ("sexpr2" 0 6200) ("sexpr3 0 6300)) +;; (sexpr1...) --- info for ROMAN +;; (sexpr2....) +;; (sexpr3...) +;; (("sexpr1" 0 8100) ("sexpr2" 0 8200) ("sexpr3 0 8300)) + +;; when an NRLIB is opened currently the position information is first +;; read into the libstream-indextable slot, then this information is +;; overwritten by the index table itself. + +;; we need the name of the NRLIB passed down to the low level functions +;; so they can open the new NRLIB format and perform the correct file +;; position operation. once the NRLIB is open it is only referenced +;; within one constructor so we can lose the master index table. + (in-package "BOOT") @@ -223,43 +209,43 @@ (defun loadvol (&rest filearg) (cond ((typep (car filearg) 'libstream) - (load (concat (libstream-dirname (car filearg)) "/code"))) - (t + (load (concat (libstream-dirname (car filearg)) "/code"))) + (t (setq filearg (make-input-filename (boot::mergelib filearg) 'LISPLIB)) - (if (library-file filearg) - (load (concat filearg "/code")) - (load filearg))))) + (if (library-file filearg) + (load (concat filearg "/code")) + (load filearg))))) ; from nlib.lisp ;; (RDEFIOSTREAM ((MODE . IO) (FILE fn ft dir))) IO is I,O,INPUT,OUTPUT (defun rdefiostream (options &optional (missing-file-error-flag t) abbrev) (let ((mode (cdr (assoc 'mode options))) - (file (assoc 'file options)) - (stream nil) - (fullname nil) - (indextable nil)) + (file (assoc 'file options)) + (stream nil) + (fullname nil) + (indextable nil)) (cond ((equal (elt (string mode) 0) #\I) - (setq fullname (make-input-filename (cdr file) 'LISPLIB)) - (setq stream (get-input-index-stream fullname)) + (setq fullname (make-input-filename (cdr file) 'LISPLIB)) + (setq stream (get-input-index-stream fullname)) (if (null stream) - (if missing-file-error-flag - (ERROR (format nil "Library ~s doesn't exist" - (make-filename (cdr file) 'LISPLIB))) - NIL) + (if missing-file-error-flag + (ERROR (format nil "Library ~s doesn't exist" + (make-filename (cdr file) 'LISPLIB))) + NIL) (make-libstream :mode 'input :dirname fullname :indextable (get-index-table-from-stream stream abbrev) :indexstream stream))) ((equal (elt (string mode) 0) #\O) - (setq fullname (make-full-namestring (cdr file) 'LISPLIB)) - (case (directory? fullname) - (-1 (makedir fullname)) - (0 (error (format nil "~s is an existing file, not a library" fullname))) - (otherwise)) - (multiple-value-setq (stream indextable) (get-io-index-stream fullname)) - (make-libstream :mode 'output :dirname fullname - :indextable indextable - :indexstream stream )) + (setq fullname (make-full-namestring (cdr file) 'LISPLIB)) + (case (directory? fullname) + (-1 (makedir fullname)) + (0 (error (format nil "~s is an existing file, not a library" fullname))) + (otherwise)) + (multiple-value-setq (stream indextable) (get-io-index-stream fullname)) + (make-libstream :mode 'output :dirname fullname + :indextable indextable + :indexstream stream )) ('t (ERROR "Unknown MODE"))))) (in-package "BOOT") @@ -851,9 +837,3 @@ (file-position out 0) (print masterpos out) (finish-output out))))) -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} diff --git a/src/interp/domain.lisp.pamphlet b/src/interp/domain.lisp index 775f3526..952b3a5e 100644 --- a/src/interp/domain.lisp.pamphlet +++ b/src/interp/domain.lisp @@ -1,18 +1,7 @@ -\documentclass{article} -\usepackage{axiom} -\begin{document} -\title{\$SPAD/src/interp domain.lisp} -\author{Timothy Daly} -\maketitle -\begin{abstract} -\end{abstract} -\eject -\tableofcontents -\eject -\section{License} -<<license>>= ;; Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. ;; All rights reserved. +;; Copyright (C) 2007, Gabriel Dos Reis. +;; All rights reserved. ;; ;; Redistribution and use in source and binary forms, with or without ;; modification, are permitted provided that the following conditions are @@ -42,9 +31,6 @@ ;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS ;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -@ -<<*>>= -<<license>> ;; lisp support for creating domain stubs @@ -56,55 +42,55 @@ (defstruct (old-compiler-domain (:include domain) (:conc-name oldom-)) (devaluate (if dollar (|devaluate| dollar) - (CONS constructor (MAPCAR #'|devaluate| args)))) + (CONS constructor (MAPCAR #'|devaluate| args)))) (vector nil)) (defun check-dollar-fields (constructor arglist) (if (some #'(lambda (x) (and (domain-p x) (domain-dollar x))) arglist) (apply constructor (mapcar #'(lambda (x) (if (domain-p x) - (or (domain-dollar x) x) - x)) arglist)) + (or (domain-dollar x) x) + x)) arglist)) nil)) (defun |domain?| (x) (domain-p x)) (defun |Mapping| (&rest args) (make-old-compiler-domain :constructor '|Mapping| :args args - :vector '|Mapping0|)) + :vector '|Mapping0|)) (defun |Record| (&rest args) (make-old-compiler-domain :constructor '|Record| :args args - :vector '|Record0|)) + :vector '|Record0|)) (defun |Union| (&rest args) (make-old-compiler-domain :constructor '|Union| :args args - :vector '|Union0|)) + :vector '|Union0|)) (defun |devaluate| (x &aux tag dom) (cond ((REFVECP x) - (if (> (QVSIZE x) 5) - (cond ((equal (qvelt x 3) '(|Category|)) - (qvelt x 0)) + (if (> (QVSIZE x) 5) + (cond ((equal (qvelt x 3) '(|Category|)) + (qvelt x 0)) ;; next line will become obsolete - ((|isFunctor| (qvelt x 0)) (qvelt x 0)) - ((domain-p (qvelt x 0)) (|devaluate| (qvelt x 0))) - (t x)) - x)) - ((and (pairp x) (eq (car x) '|:|) (dcq (tag dom) (cdr x))) - (list (car x) tag (|devaluate| dom))) + ((|isFunctor| (qvelt x 0)) (qvelt x 0)) + ((domain-p (qvelt x 0)) (|devaluate| (qvelt x 0))) + (t x)) + x)) + ((and (pairp x) (eq (car x) '|:|) (dcq (tag dom) (cdr x))) + (list (car x) tag (|devaluate| dom))) ; 20030527 note that domain-p does not exist - ((not (domain-p x)) x) + ((not (domain-p x)) x) ; 20030527 note that old-compiler-domain-p does not exist - ((old-compiler-domain-p x) (oldom-devaluate x)) - (t (error "devaluate of new compiler domain")))) + ((old-compiler-domain-p x) (oldom-devaluate x)) + (t (error "devaluate of new compiler domain")))) (defun |domainEqual| (x y) (cond ((old-compiler-domain-p x) - (if (old-compiler-domain-p y) - (equalp (oldom-devaluate x) (oldom-devaluate y)) - nil)) - ((old-compiler-domain-p y) nil) - (t (error "no new compiler domains yet")))) + (if (old-compiler-domain-p y) + (equalp (oldom-devaluate x) (oldom-devaluate y)) + nil)) + ((old-compiler-domain-p y) nil) + (t (error "no new compiler domains yet")))) (defun |domainSelectDollar| (dom) (or (domain-dollar dom) dom)) @@ -117,14 +103,14 @@ (defun |domainSelectVector| (dom) (let ((vec (oldom-vector dom))) (cond ((vectorp vec) vec) - ((null vec) nil) - ((symbolp vec) ;; case for Records and Unions - (setq vec (funcall vec (domain-args dom))) - (setf (elt vec 0) dom) - (setf (oldom-vector dom) vec)) - ((or (fboundp (car vec)) - (|loadLib| (cdr vec)) t) - (instantiate (car vec) dom))))) + ((null vec) nil) + ((symbolp vec) ;; case for Records and Unions + (setq vec (funcall vec (domain-args dom))) + (setf (elt vec 0) dom) + (setf (oldom-vector dom) vec)) + ((or (fboundp (car vec)) + (|loadLib| (cdr vec)) t) + (instantiate (car vec) dom))))) ;;(defun instantiate (innername dom) ;; (let ((vec (apply innername (domain-args dom)))) @@ -134,13 +120,13 @@ (defun instantiate (innername dom) (let* ((infovec (get (domain-constructor dom) '|infovec|)) - (|$dollarVec| (getrefv (size (car infovec ))))) + (|$dollarVec| (getrefv (size (car infovec ))))) (declare (special |$dollarVec|)) (setf (elt |$dollarVec| 0) dom) (setf (elt |$dollarVec| 1) - (list (symbol-function (|getLookupFun| infovec)) - |$dollarVec| - (elt infovec 1))) + (list (symbol-function (|getLookupFun| infovec)) + |$dollarVec| + (elt infovec 1))) (setf (elt |$dollarVec| 2) (elt infovec 2)) (setf (oldom-vector dom) |$dollarVec|) (apply innername (domain-args dom)) @@ -148,32 +134,32 @@ (defun universal-domain-constructor (&rest args-env) (let* ((args (fix-domain-args (butlast args-env))) - (env (car (last args-env)))) + (env (car (last args-env)))) (check-constructor-cache env args))) (defun fix-domain-args (args) (mapcar #'(lambda (x) (if (and (vectorp x) (domain-p (elt x 0))) - (elt x 0) x)) args)) + (elt x 0) x)) args)) (defun universal-nocache-domain-constructor (&rest args-env) (let* ((args (butlast args-env)) - (env (car (last args-env)))) + (env (car (last args-env)))) (make-old-compiler-domain :constructor (car env) - :args args - :vector (cdr env)))) + :args args + :vector (cdr env)))) (defun universal-category-defaults-constructor (&rest args-env) (let* ((args (butlast args-env)) - (env (car (last args-env)))) + (env (car (last args-env)))) (make-old-compiler-domain :constructor (car env) - :args args - :dollar (car args) - :vector (cdr env)))) + :args args + :dollar (car args) + :vector (cdr env)))) (defun cached-constructor (cname) (if (or (|isCategoryPackageName| cname) - (and (boundp '|$mutableDomains|) - (memq cname |$mutableDomains|))) + (and (boundp '|$mutableDomains|) + (memq cname |$mutableDomains|))) nil t)) @@ -182,66 +168,60 @@ (defun |mkAutoLoad| (fn cname) (cond ((or (memq cname |$CategoryNames|) - (eq (GETDATABSE cname 'CONSTRUCTORKIND) '|category|)) - (function (lambda (&rest args) - (|autoLoad| fn cname) - (apply cname args)))) - (t (|systemDependentMkAutoload| fn cname) - (symbol-function cname)))) + (eq (GETDATABSE cname 'CONSTRUCTORKIND) '|category|)) + (function (lambda (&rest args) + (|autoLoad| fn cname) + (apply cname args)))) + (t (|systemDependentMkAutoload| fn cname) + (symbol-function cname)))) (defun |systemDependentMkAutoload| (fn cname) (let* ((cnameInner (intern (strconc cname ";"))) - (env (list* cname cnameInner fn)) - (spadfun - (cond ((|isCategoryPackageName| cname) - (cons #'universal-category-defaults-constructor env)) - ((and (boundp '|$mutableDomains|) - (memq cname |$mutableDomains|)) - (cons #'universal-nocache-domain-constructor env)) - (t (cons #'universal-domain-constructor env))))) + (env (list* cname cnameInner fn)) + (spadfun + (cond ((|isCategoryPackageName| cname) + (cons #'universal-category-defaults-constructor env)) + ((and (boundp '|$mutableDomains|) + (memq cname |$mutableDomains|)) + (cons #'universal-nocache-domain-constructor env)) + (t (cons #'universal-domain-constructor env))))) (setf (symbol-function cname) (mkConstructor spadfun)) (set cname spadfun))) (defun mkConstructor (spadfun) (function (lambda (&rest args) - (apply (car spadfun) (append args (list (cdr spadfun))))))) + (apply (car spadfun) (append args (list (cdr spadfun))))))) (defun |makeAddDomain| (add-domain dollar) (cond ((old-compiler-domain-p add-domain) - (make-old-compiler-domain :constructor (domain-constructor add-domain) - :args (domain-args add-domain) - :dollar dollar - :vector (cddr (eval (domain-constructor add-domain))))) - (t (error "no new compiler adds supported yet")))) + (make-old-compiler-domain :constructor (domain-constructor add-domain) + :args (domain-args add-domain) + :dollar dollar + :vector (cddr (eval (domain-constructor add-domain))))) + (t (error "no new compiler adds supported yet")))) (defun check-constructor-cache (env arglist) (let ((dollar (check-dollar-fields (car env) arglist))) (if dollar (make-old-compiler-domain :constructor (car env) - :args arglist - :dollar dollar - :vector (cdr env)) + :args arglist + :dollar dollar + :vector (cdr env)) (let* ((constructor (car env)) - (devargs (mapcar #'|devaluate| arglist)) - (cacheddom - (|lassocShiftWithFunction| devargs - (HGET |$ConstructorCache| constructor) - #'|domainEqualList|))) - (if cacheddom (|CDRwithIncrement| cacheddom) - (cdr (|haddProp| |$ConstructorCache| constructor devargs - (cons 1 (make-old-compiler-domain :constructor constructor - :args arglist - :devaluate - (cons constructor devargs) - :vector (cdr env)))))))))) - - - - - - -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} + (devargs (mapcar #'|devaluate| arglist)) + (cacheddom + (|lassocShiftWithFunction| devargs + (HGET |$ConstructorCache| constructor) + #'|domainEqualList|))) + (if cacheddom (|CDRwithIncrement| cacheddom) + (cdr (|haddProp| |$ConstructorCache| constructor devargs + (cons 1 (make-old-compiler-domain :constructor constructor + :args arglist + :devaluate + (cons constructor devargs) + :vector (cdr env)))))))))) + + + + + + diff --git a/src/interp/guess.boot.pamphlet b/src/interp/guess.boot index 4f4d2544..1aeefc88 100644 --- a/src/interp/guess.boot.pamphlet +++ b/src/interp/guess.boot @@ -1,18 +1,7 @@ -\documentclass{article} -\usepackage{axiom} -\begin{document} -\title{\$SPAD/src/interp guess.boot} -\author{The Axiom Team} -\maketitle -\begin{abstract} -\end{abstract} -\eject -\tableofcontents -\eject -\section{License} -<<license>>= -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. -- All rights reserved. +-- Copyright (C) 2007, Gabriel Dos Reis. +-- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without -- modification, are permitted provided that the following conditions are @@ -42,9 +31,6 @@ -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -@ -<<*>>= -<<license>> $minThreshold := 3 $maxThreshold := 7 @@ -361,9 +347,3 @@ forge(word,w,W,entry,e,E,n) == --+ forge(word,w+1,W,entry,e+1,E,d,i,s+1,t) mySort u == listSort(function GLESSEQP,u) -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} diff --git a/src/interp/nhyper.boot.pamphlet b/src/interp/nhyper.boot index d0fb8051..57e4771b 100644 --- a/src/interp/nhyper.boot.pamphlet +++ b/src/interp/nhyper.boot @@ -1,18 +1,7 @@ -\documentclass{article} -\usepackage{axiom} -\begin{document} -\title{\$SPAD/src/interp nhyper.boot} -\author{The Axiom Team} -\maketitle -\begin{abstract} -\end{abstract} -\eject -\tableofcontents -\eject -\section{License} -<<license>>= -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. -- All rights reserved. +-- Copyright (C) 2007, Gabriel Dos Reis. +-- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without -- modification, are permitted provided that the following conditions are @@ -42,9 +31,6 @@ -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -@ -<<*>>= -<<license>> -- HyperTex Spad interface @@ -133,9 +119,3 @@ HTKillPage w == HTErrorSignal() == sockSendInt($MenuServer, $SpadError) -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} |