aboutsummaryrefslogtreecommitdiff
path: root/src/interp/union.lisp.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2007-09-10 03:30:13 +0000
committerdos-reis <gdr@axiomatics.org>2007-09-10 03:30:13 +0000
commitb8d7cd431a779551cf2c6eac94f6b4463db97273 (patch)
treee52ce35bd564ae64db8623410f6414f0d16f72ea /src/interp/union.lisp.pamphlet
parent383b2385eb1f3fb00f5856a2ddf593ec42c03189 (diff)
downloadopen-axiom-b8d7cd431a779551cf2c6eac94f6b4463db97273.tar.gz
* Makefile.pamphlet (DEP): Adjust path to comp.lisp.
(${DEPSYS}): Likewise for def.lisp, bootlex.lisp, postprop.lisp, metalex.lisp. Use |compileLispFile| instead of COMPILE-FILE. * Makefile.in: Regenerate. * union.lisp: New. * union.lisp.pamphlet: Move content to union.lisp. Remove. * obey.lisp: New. * obey.lisp.pamphlet: Move content to obey.lisp. Remove. * nspadaux.lisp: New. * nspadaux.lisp.pamphlet: Move content to nspadaux.lisp. Remove. * fname.lisp: New. * fname.lisp.pamphlet: Move content to fname.lisp. Remove. * def.lisp: New. * def.lisp.pamphlet: Move content to def.lisp. Remove. * comp.lisp: New. * comp.lisp.pamphlet: Move content to comp.lisp. Remove. * bootlex.lisp: New. * bootlex.lisp.pamphlet: Move content to bootlex.lisp. Remove. * postprop.lisp: New. * postprop.lisp.pamphlet: Move content to postprop.lisp. Remove. * metalex.lisp: New. * metalex.lisp.pamphlet: Move content to metalex.lisp. Remove. * parsing.lisp: New. * parsing.lisp.pamphlet: Move content to parsing.lisp. Remove.
Diffstat (limited to 'src/interp/union.lisp.pamphlet')
-rw-r--r--src/interp/union.lisp.pamphlet185
1 files changed, 0 insertions, 185 deletions
diff --git a/src/interp/union.lisp.pamphlet b/src/interp/union.lisp.pamphlet
deleted file mode 100644
index ea734b48..00000000
--- a/src/interp/union.lisp.pamphlet
+++ /dev/null
@@ -1,185 +0,0 @@
-%% Oh Emacs, this is a -*- Lisp -*- file despite apperance.
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/union.lisp} Pamphlet}
-\author{Timothy Daly}
-
-\begin{document}
-\maketitle
-
-\begin{abstract}
-\end{abstract}
-
-\tableofcontents
-\eject
-
-\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>>
-
-(IMPORT-MODULE "vmlisp")
-(in-package "VMLISP")
-;;macros from file vmlisp are necessary to compile this file
-
-(DEFUN |intersection| (LIST-OF-ITEMS-1 LIST-OF-ITEMS-2)
- (PROG (I H V)
- (SETQ V (SETQ H (CONS NIL NIL)))
- (COND
- ( (NOT (LISTP LIST-OF-ITEMS-1))
- (SETQ LIST-OF-ITEMS-1 (LIST LIST-OF-ITEMS-1)) ) )
- (COND
- ( (NOT (LISTP LIST-OF-ITEMS-2))
- (SETQ LIST-OF-ITEMS-2 (LIST LIST-OF-ITEMS-2)) ) )
- LP (COND
- ( (NOT (PAIRP LIST-OF-ITEMS-1))
- (RETURN (QCDR H)) )
- ( (|member|
- (SETQ I (QCAR (RESETQ LIST-OF-ITEMS-1 (QCDR LIST-OF-ITEMS-1))))
- (QCDR H)) )
- ( (|member| I LIST-OF-ITEMS-2)
- (QRPLACD V (SETQ V (CONS I NIL))) ) )
- (GO LP) ) )
-
-(DEFUN INTERSECTIONQ (LIST-OF-ITEMS-1 LIST-OF-ITEMS-2)
- (PROG (I H V)
- (SETQ V (SETQ H (CONS NIL NIL)))
- (COND
- ( (NOT (LISTP LIST-OF-ITEMS-1))
- (SETQ LIST-OF-ITEMS-1 (LIST LIST-OF-ITEMS-1)) ) )
- (COND
- ( (NOT (LISTP LIST-OF-ITEMS-2))
- (SETQ LIST-OF-ITEMS-2 (LIST LIST-OF-ITEMS-2)) ) )
- LP (COND
- ( (NOT (PAIRP LIST-OF-ITEMS-1))
- (RETURN (QCDR H)) )
- ( (QMEMQ
- (SETQ I (QCAR (RESETQ LIST-OF-ITEMS-1 (QCDR LIST-OF-ITEMS-1))))
- (QCDR H)) )
- ( (QMEMQ I LIST-OF-ITEMS-2)
- (QRPLACD V (SETQ V (CONS I NIL))) ) )
- (GO LP) ) )
-
-(DEFUN |union| (LIST-OF-ITEMS-1 LIST-OF-ITEMS-2)
- (PROG (I H V)
- (SETQ H (SETQ V (CONS NIL NIL)))
- (COND
- ( (NOT (LISTP LIST-OF-ITEMS-1))
- (SETQ LIST-OF-ITEMS-1 (LIST LIST-OF-ITEMS-1)) ) )
- (COND
- ( (NOT (LISTP LIST-OF-ITEMS-2))
- (SETQ LIST-OF-ITEMS-2 (LIST LIST-OF-ITEMS-2)) ) )
- LP1 (COND
- ( (NOT (PAIRP LIST-OF-ITEMS-1))
- (COND
- ( (PAIRP LIST-OF-ITEMS-2)
- (SETQ LIST-OF-ITEMS-1 (RESETQ LIST-OF-ITEMS-2 NIL)) )
- ( 'T
- (RETURN (QCDR H)) ) ) )
- ( (NOT
- (|member|
- (SETQ I (QCAR (RESETQ LIST-OF-ITEMS-1 (QCDR LIST-OF-ITEMS-1))))
- (QCDR H)))
- (QRPLACD V (SETQ V (CONS I NIL))) ) )
- (GO LP1) ) )
-
-(DEFUN UNIONQ (LIST-OF-ITEMS-1 LIST-OF-ITEMS-2)
- (PROG (I H V)
- (SETQ H (SETQ V (CONS NIL NIL)))
- (COND
- ( (NOT (LISTP LIST-OF-ITEMS-1))
- (SETQ LIST-OF-ITEMS-1 (LIST LIST-OF-ITEMS-1)) ) )
- (COND
- ( (NOT (LISTP LIST-OF-ITEMS-2))
- (SETQ LIST-OF-ITEMS-2 (LIST LIST-OF-ITEMS-2)) ) )
- LP1 (COND
- ( (NOT (PAIRP LIST-OF-ITEMS-1))
- (COND
- ( (PAIRP LIST-OF-ITEMS-2)
- (SETQ LIST-OF-ITEMS-1 (RESETQ LIST-OF-ITEMS-2 NIL)) )
- ( 'T
- (RETURN (QCDR H)) ) ) )
- ( (NOT
- (QMEMQ
- (SETQ I (QCAR (RESETQ LIST-OF-ITEMS-1 (QCDR LIST-OF-ITEMS-1))))
- (QCDR H)))
- (QRPLACD V (SETQ V (CONS I NIL))) ) )
- (GO LP1) ) )
-
-(DEFUN SETDIFFERENCE (LIST-OF-ITEMS-1 LIST-OF-ITEMS-2)
- (PROG (I H V)
- (SETQ H (SETQ V (CONS NIL NIL)))
- (COND
- ( (NOT (LISTP LIST-OF-ITEMS-1))
- (SETQ LIST-OF-ITEMS-1 (LIST LIST-OF-ITEMS-1)) ) )
- (COND
- ( (NOT (LISTP LIST-OF-ITEMS-2))
- (SETQ LIST-OF-ITEMS-2 (LIST LIST-OF-ITEMS-2)) ) )
- LP1 (COND
- ( (NOT (PAIRP LIST-OF-ITEMS-1))
- (RETURN (QCDR H)) )
- ( (|member|
- (SETQ I (QCAR (RESETQ LIST-OF-ITEMS-1 (QCDR LIST-OF-ITEMS-1))))
- (QCDR H)) )
- ( (NOT (|member| I LIST-OF-ITEMS-2))
- (QRPLACD V (SETQ V (CONS I NIL))) ) )
- (GO LP1) ) )
-
-(DEFUN SETDIFFERENCEQ (LIST-OF-ITEMS-1 LIST-OF-ITEMS-2)
- (PROG (I H V)
- (SETQ H (SETQ V (CONS NIL NIL)))
- (COND
- ( (NOT (LISTP LIST-OF-ITEMS-1))
- (SETQ LIST-OF-ITEMS-1 (LIST LIST-OF-ITEMS-1)) ) )
- (COND
- ( (NOT (LISTP LIST-OF-ITEMS-2))
- (SETQ LIST-OF-ITEMS-2 (LIST LIST-OF-ITEMS-2)) ) )
- LP1 (COND
- ( (NOT (PAIRP LIST-OF-ITEMS-1))
- (RETURN (QCDR H)) )
- ( (QMEMQ
- (SETQ I (QCAR (RESETQ LIST-OF-ITEMS-1 (QCDR LIST-OF-ITEMS-1))))
- (QCDR H)) )
- ( (NOT (QMEMQ I LIST-OF-ITEMS-2))
- (QRPLACD V (SETQ V (CONS I NIL))) ) )
- (GO LP1) ) )
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}