Initial population.

1 files changed, 807 insertions, 0 deletions

diff --git a/src/interp/setq.lisp.pamphlet b/src/interp/setq.lisp.pamphlet
new file mode 100644
index 00000000..15d4d241
--- /dev/null
+++ b/src/interp/setq.lisp.pamphlet
@@ -0,0 +1,807 @@
+%% Oh Emacs, this is a -*- Lisp -*- file despite apperance.
+\documentclass{article}
+\usepackage{axiom}
+
+\title{\File{src/interp/setq.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>>
+
+(setq copyrights '(
+ "Copyright The Numerical Algorithms Group Limited 1991-94."
+ "All rights reserved"
+ "Certain derivative-work portions Copyright (C) 1998 by Leslie Lamport."
+ "Portions (c) Copyright Taiichi Yuasa and Masami Hagiya, 1984."
+ "All rights reserved"))
+
+(in-package "BOOT")
+
+(SETQ |/MAJOR-VERSION| 7)
+(SETQ /VERSION 0)
+(SETQ /RELEASE 0)
+
+(defconstant |$cclSystem|
+#+:CCL 't
+#-:CCL nil
+)
+
+;; These two variables are referred to in setvars.boot.
+#+:kcl (setq input-libraries nil)
+#+:kcl (setq output-library nil)
+
+;; For the browser, used for building local databases when a user compiles
+;; their own code.
+(SETQ |$newConstructorList| nil)
+(SETQ |$newConlist| nil)
+(SETQ |$createLocalLibDb| 't)
+
+
+;; These were originally in SPAD LISP
+
+(SETQ $BOOT NIL)
+(SETQ $NBOOT NIL)
+(setq |$interpOnly| nil)
+(SETQ |$testingSystem| NIL)
+(SETQ |$publicSystem| NIL)
+(SETQ |$newcompMode| NIL)
+(SETQ |$newComp| NIL)
+(SETQ |$newCompCompare| NIL)
+(SETQ |$permitWhere| NIL)
+(SETQ |$newSystem| T)
+(SETQ |$noSubsumption| NIL)
+(SETQ |$bootStrapMode| NIL) ;; if true skip functor bodies
+(SETQ |$compileDontDefineFunctions| 'T)
+(SETQ |$compileOnlyCertainItems| NIL)
+(SETQ |$devaluateList| NIL)
+(SETQ |$doNotCompressHashTableIfTrue| NIL)
+(SETQ |$mutableChecking| NIL)	 ; used in DEFINE BOOT
+(SETQ |$mutableDomains| NIL)	 ; checked in DEFINE BOOT
+(SETQ |$maxSignatureLineNumber| 0)
+(SETQ |$functionLocations| NIL)
+(SETQ |$functorLocalParameters| NIL) ; used in compSymbol
+(SETQ /RELEASE '"UNKNOWN")
+(SETQ |$insideCategoryPackageIfTrue| NIL)
+(SETQ |$insideCompileBodyIfTrue| NIL)
+(SETQ |$globalExposureGroupAlist| NIL)
+(SETQ |$localExposureDataDefault|
+  (VECTOR (LIST '|basic| '|categories| '|naglink| '|anna| ) NIL NIL))
+(SETQ |$localExposureData|
+  (VECTOR (LIST '|basic| '|categories| '|naglink| '|anna| ) NIL NIL))
+(SETQ |$compilingInputFile| NIL)
+(SETQ |$minivectorNames| NIL)
+(setq |$ReadingFile| NIL)
+(setq |$NonNullStream| "NonNullStream")
+(setq |$NullStream| "NullStream")
+(setq |$domPvar| nil)
+(defvar $dalymode nil "if true then leading paren implies lisp cmd")
+(setq |$Newline| #\Newline)
+
+
+(setq |$createUpdateFiles| nil)
+
+(SETQ $FUNNAME NIL)   ;; this and next used in COMP,TRAN,1
+(SETQ $FUNNAME_TAIL '(()))
+(SETQ $LASTPREFIX "S:")    ;"default setting"
+(SETQ |$inLispVM| 'T)
+(SETQ $SPAD_ERRORS (VECTOR 0 0 0))
+(SETQ STAKCOLUMN -1)
+(SETQ ECHOMETA NIL)
+(SETQ |$checkParseIfTrue| 'NIL)
+(SETQ |$oldParserExpandAbbrs| NIL)
+(SETQ $DISPLAY NIL)
+(SETQ |S:SPADKEY| NIL) ;" this is augmented by MAKESPADOP"
+(SETQ $OLDLINE NIL)  ;"used to output command lines"
+(SETQ |/EDIT,FT| 'SPAD)
+(SETQ |/EDIT,FM| 'A)
+(SETQ /EDITFILE NIL)
+(SETQ INITCOLUMN 0)
+(SETQ |$functionTable| NIL)
+(SETQ |$spaddefs| NIL)
+(SETQ |$InteractiveMode| T)
+(SETQ |$xeditIsConsole|	 NIL)
+(SETQ |$echoInputLines|	 NIL)	    ;; This is in SETVART also
+(SETQ |$Slot1DataBase| (MAKE-HASHTABLE 'ID))  ;; See NRUNTIME BOOT
+(SETQ |$pfKeysForBrowse|  NIL)
+(SETQ MARG 0)
+  ;" Margin for testing by ?OP"
+(SETQ LCTRUE '|true|)
+(SETQ |$displayParserOutput| 'T)
+
+(SETQ |$insideReadRulesIfTrue| NIL)
+(SETQ |$consistencyCheck| 'T)
+(SETQ |$useUndo| NIL)
+(SETQ |$ruleSetsInitialized| NIL)
+
+;; tell the system not to use the new parser
+(SETQ |$useNewParser| NIL)
+
+(SETQ |$htPrecedenceTable| NIL)
+
+(SETQ |$NRTmakeCompactDirect| NIL)
+(SETQ |$NRTquick| NIL)
+(SETQ |$NRTmakeShortDirect| NIL)
+(SETQ |$newWorld| NIL)
+(SETQ |$returnNowhereFromGoGet| NIL)
+
+(SETQ |$insideCanCoerceFrom| NIL)
+
+(SETQ |$useCoerceOrCroak| T)
+
+(SETQ |$abbreviateJoin| NIL)
+
+(SETQ |$InterpreterMacroAlist|
+      '((|%i| . (|complex| 0 1))
+	(|%e| . (|exp| 1))
+	(|%pi| . (|pi|))
+	(|SF| . (|DoubleFloat|))
+	(|%infinity| . (|infinity|))
+	(|%plusInfinity| . (|plusInfinity|))
+	(|%minusInfinity| . (|minusInfinity|))))
+
+;; variables controlling companion pages (see copage.boot)
+(SETQ |$HTCompanionWindowID| nil)
+(SETQ |$HTPreviousDomain| nil)
+(SETQ |$HTOperationError| nil)
+
+;; Common lisp control variables
+;;(setq *load-verbose* nil)
+(setq *print-array* nil)
+(setq *print-pretty* nil)
+(setq *print-circle* nil)
+
+;; $SYSCOMMANDS is now defined at the top of i-syscmd.boot
+
+(SETQ |$systemCommands| '(
+;;  COMMAND		 USER LEVEL   - )set userlevel
+   (|abbreviations|		     . |compiler|   )
+   (|boot|			     . |development|)
+   (|cd|			     . |interpreter|)
+   (|clear|			     . |interpreter|)
+   (|close|			     . |interpreter|)
+   (|compiler|			     . |compiler|   )
+   (|copyright|			     . |interpreter|)
+   (|credits|			     . |interpreter|)
+   (|display|			     . |interpreter|)
+   (|edit|			     . |interpreter|)
+   (|fin|			     . |development|)
+   (|frame|			     . |interpreter|)
+   (|help|			     . |interpreter|)
+   (|history|			     . |interpreter|)
+;; (|input|			     . |interpreter|)
+   (|lisp|			     . |development|)
+   (|library|			     . |interpreter|)
+   (|load|			     . |interpreter|)
+   (|ltrace|			     . |interpreter|)
+   (|pquit|			     . |interpreter|)
+   (|quit|			     . |interpreter|)
+   (|read|			     . |interpreter|)
+   (|savesystem|		     . |interpreter|)
+   (|set|			     . |interpreter|)
+   (|show|			     . |interpreter|)
+   (|spool|			     . |interpreter|)
+   (|summary|			     . |interpreter|)
+   (|synonym|			     . |interpreter|)
+   (|system|			     . |interpreter|)
+   (|trace|			     . |interpreter|)
+   (|undo|			     . |interpreter|)
+   (|what|			     . |interpreter|)
+   (|with|			     . |interpreter|)
+   (|workfiles|			     . |development|)
+   (|zsystemdevelopment| . |interpreter|)
+ ))
+
+(SETQ |$noParseCommands| '(
+    |boot|
+    |copyright|
+    |credits|
+    |fin|
+    |lisp|
+    |pquit|
+    |quit|
+    |suspend|
+    |synonym|
+    |system|
+    ))
+
+(SETQ |$tokenCommands| '(
+    |abbreviations|
+    |cd|
+    |clear|
+    |close|
+    |compiler|
+    |depends|
+    |display|
+    |edit|
+    |frame|
+    |frame|
+    |help|
+    |history|
+    |input|
+    |library|
+    |load|
+    |ltrace|
+    |read|
+    |savesystem|
+    |set|
+    |spool|
+    |undo|
+    |what|
+    |with|
+    |workfiles|
+    |zsystemdevelopment|
+    ))
+
+(SETQ |S:SPADTOK| 'SPADSYSTOK)
+(SETQ APLMODE NIL)
+(SETQ RLGENSYMFG NIL)
+(SETQ RLGENSYMLST NIL)
+(SETQ XTOKENREADER 'SPADTOK)
+(SETQ |$delimiterTokenList|
+  '(| |	 |)| |(| |{| |}| |[| |]| ENDOFLINECHR EOI EOL |END_LINE|))
+(SETQ |$generalTokenIfTrue| NIL)
+(SETQ OPASSOC NIL)
+(SETQ SPADSYSKEY '(EOI EOL))
+
+(SETQ $cacheAlist NIL)
+(SETQ $streamAlist NIL)
+
+;; following 2 variables are referenced by PREPARSE1
+
+(defvar |$byConstructors| () "list of constructors to be compiled")
+(defvar |$constructorsSeen| () "list of constructors found")
+
+;; These are for the output routines in OUT BOOT
+
+(SETQ $LINELENGTH 77)
+(SETQ $MARGIN 3)
+(SETQ *TALLPAR NIL)
+(SETQ ALLSTAR NIL)
+(SETQ BLANK " ")
+(SETQ COLON ":")
+(SETQ COMMA ",")
+(SETQ DASH "-")
+(SETQ DOLLAR "$")
+(SETQ EQSIGN "=")
+(SETQ LPAR "(")
+(SETQ MATBORCH "*")
+(SETQ PERIOD ".")
+(SETQ PLUSS "+")
+(SETQ RPAR ")")
+(SETQ SLASH "/")
+(SETQ STAR "*")
+(SETQ UNDERBAR "_")
+(SETQ |$fortranArrayStartingIndex| 0)
+
+;; These were originally in INIT LISP
+
+(SETQ |$systemCreation|
+  (STRCONC (SUBSTRING (CURRENTTIME) 0 8) " at "
+	   (SUBSTRING (CURRENTTIME) 8 5)))
+(SETQ |$systemLastChanged| |$systemCreation|)
+
+(SETQ $LISPLIB NIL)
+(SETQ |$dependeeClosureAlist|	    NIL)
+(SETQ |$userModemaps| NIL)
+(SETQ |$forceDatabaseUpdate| NIL)  ;; see "load" function
+(SETQ |$spadSystemDisks|  '(I J K L))
+(SETQ |$functorForm| NIL)
+
+(SETQ |$InitialCommandSynonymAlist| '(
+       (|?|	     . "what commands")
+       (|ap|	     . "what things")
+       (|apr|	     . "what things")
+       (|apropos|    . "what things")
+       (|cache|	     . "set functions cache")
+       (|cl|	     . "clear")
+       (|cls|	     . "zsystemdevelopment )cls")
+       (|cms|	     . "system")
+       (|co|	     . "compiler")
+       (|d|	     . "display")
+       (|dep|	     . "display dependents")
+       (|dependents| . "display dependents")
+       (|e|	     . "edit")
+       (|expose|     . "set expose add constructor")
+       (|fc|	     . "zsystemdevelopment )c")
+       (|fd|	     . "zsystemdevelopment )d")
+       (|fdt|	     . "zsystemdevelopment )dt")
+       (|fct|	     . "zsystemdevelopment )ct")
+       (|fctl|	     . "zsystemdevelopment )ctl")
+       (|fe|	     . "zsystemdevelopment )e")
+       (|fec|	     . "zsystemdevelopment )ec")
+       (|fect|	     . "zsystemdevelopment )ect")
+       (|fns|	     . "exec spadfn")
+       (|fortran|    . "set output fortran")
+       (|h|	     . "help")
+       (|hd|	     . "system hypertex &")
+       (|kclam|	     . "boot clearClams ( )")
+       (|killcaches| . "boot clearConstructorAndLisplibCaches ( )")
+       (|patch|	     . "zsystemdevelopment )patch")
+       (|pause|	     . "zsystemdevelopment )pause")
+       (|prompt|     . "set message prompt")
+       (|recurrence| . "set functions recurrence")
+       (|restore|    . "history )restore")
+       (|save|	     . "history )save")
+       (|startGraphics|    .  "system $AXIOM/lib/viewman &")
+       (|startNAGLink|     .  "system $AXIOM/lib/nagman &")
+       (|stopGraphics|     .  "lisp (|sockSendSignal| 2 15)")
+       (|stopNAGLink|      .  "lisp (|sockSendSignal| 8 15)")
+       (|time|	     . "set message time")
+       (|type|	     . "set message type")
+       (|unexpose|   . "set expose drop constructor")
+       (|up|	     . "zsystemdevelopment )update")
+       (|version|    . "lisp *yearweek*")
+       (|w|	     . "what")
+       (|wc|	     . "what categories")
+       (|wd|	     . "what domains")
+       (|who|        . "lisp (pprint credits)")
+       (|wp|	     . "what packages")
+       (|ws|	     . "what synonyms")
+))
+
+(SETQ |$CommandSynonymAlist| (COPY |$InitialCommandSynonymAlist|))
+
+(SETQ |$spadLibFT| 'LISPLIB)
+
+(SETQ |$existingFiles| (MAKE-HASHTABLE 'UEQUAL))
+(SETQ |$updateCatTableIfTrue| 'T)
+
+(SETQ |$ConstructorCache| (MAKE-HASHTABLE 'ID))
+(SETQ |$instantRecord| (MAKE-HASHTABLE 'ID))
+(SETQ |$immediateDataSymbol| '|--immediateData--|)
+
+(SETQ |$useIntegerSubdomain| 'T)
+(SETQ |$useNewFloat| 'T)
+
+;; Directories/disks on which to place various kinds of files
+(SETQ |$libraryDirectory| 'A)
+(SETQ |$listingDirectory| 'A)
+
+;; See CLAMMED BOOT for defs of following functions
+(SETQ |$clamList| '(
+  (|canCoerce| |hash| UEQUAL |count|)
+  (|canCoerceFrom| |hash| UEQUAL |count|)
+  (|coerceConvertMmSelection| |hash| UEQUAL |count|)
+; (|getModemapsFromDatabase| |hash| UEQUAL |count|)
+; (|getOperationAlistFromLisplib| |hash| UEQUAL |count|)
+  (|hasFileProperty| |hash| UEQUAL |count|)
+  (|isLegitimateMode| |hash| UEQUAL |count|)
+  (|isValidType| |hash| UEQUAL |count|)
+  (|resolveTT|	 |hash| UEQUAL |count|)
+  (|selectMms1| |hash| UEQUAL |count|)
+  (|underDomainOf|   |hash| UEQUAL |count|)
+;  (|isSubDomain|   |hash| UEQUAL |count|)
+))
+
+;; following is symbol denoting a failed operation
+(SETQ |$failure| (GENSYM))
+;; the following symbol holds the canonical "failed" value
+(SETQ |$failed| "failed")
+
+(SETQ |$constructorDataTable| NIL)
+
+(SETQ |$underDomainAlist| '())
+;;(SETQ |$underDomainAlist| '(
+;;  (|DistributedMultivariatePolynomial| . 2)
+;;  (|MultivariatePolynomial| . 2)
+;;  (|NewDistributedMultivariatePolynomial| . 2)
+;;  (|RectangularMatrix| . 3)
+;;  (|SquareMatrix| . 2)
+;;  (|UnivariatePoly| . 2)
+;;  (|VVectorSpace| . 2)
+;;))
+
+(SETQ |$univariateDomains| '(
+    |UnivariatePolynomial|
+    |UnivariateTaylorSeries|
+    |UnivariateLaurentSeries|
+    |UnivariatePuiseuxSeries|
+    ))
+(SETQ |$multivariateDomains| '(
+    |MultivariatePolynomial|
+    |DistributedMultivariatePolynomial|
+    |HomogeneousDistributedMultivariatePolynomial|
+    |GeneralDistributedMultivariatePolynomial|
+    ))
+
+(SETQ |$Primitives| '(|Union| |Mapping| |Record| |Enumeration|))
+
+(SETQ |$DomainsWithoutLisplibs| '(
+  CAPSULE |Union| |Record| |SubDomain| |Mapping| |Enumeration| |Domain| |Mode|))
+
+(SETQ |$letAssoc| NIL)
+	;" used for trace of assignments in SPAD code -- see macro LETT"
+(SETQ |$useDCQnotLET| NIL)	;; use DCQs for destructuring := patterns
+(SETQ |$QuickCode| T)
+	 ;" controls generation of QREFELT etc."
+(SETQ |$QuickLet| T)
+	 ;" controls generation of LET tracing."
+(SETQ |$lastUntraced| NIL)
+ ;" used for )restore option of )trace."
+(SETQ |$mathTraceList| NIL)
+	 ;" controls mathprint output for )trace."
+(SETQ |$domainTraceNameAssoc| NIL)
+	;"alist of traced domains"
+(SETQ |$tracedMapSignatures| ())
+(SETQ |$highlightAllowed| 'T)
+	 ;" used in BRIGHTPRINT and is a )set variable"
+
+(SETQ |$leftPren| "(")    ;;[for use in SAY expressions]
+(SETQ |$rightPren| ")")
+
+(SETQ |$abbreviationTable| NIL)
+
+(SETQ |$ConstructorNames| '(
+  |SubDomain| |List| |Union| |Record| |Vector|
+      ))
+	   ;" Used in isFunctor test, and compDefine "
+
+(SETQ |$SpecialDomainNames| '(
+  |add| CAPSULE |SubDomain| |List| |Union| |Record| |Vector|
+      ))
+		 ;" Used in isDomainForm, addEmptyCapsuleIfnecessary"
+
+(SETQ |$DomainNames| '(
+   |Integer| |Float| |Symbol| |Boolean| |String| |Expression|
+   |Mapping| |SubDomain| |List| |Union| |Record| |Vector| |Enumeration|
+      ))
+
+(SETQ |$CategoryNames| '(
+   |Category| |CATEGORY| |RecordCategory| |Join| |EnumerationCategory|
+   |StringCategory| |SubsetCategory| |UnionCategory|
+      ))
+
+(|SETQ| |$BasicDomains| '(|Integer| |Float| |Symbol| |Boolean| |String|))
+
+(SETQ |$PrintCompilerMessagesIfTrue| NIL)
+(SETQ |$printStorageIfTrue| NIL) ;; storage info disabled in common lisp
+(SETQ |$mostRecentOpAlist| NIL)
+(SETQ |$noEnv| NIL)
+(SETQ |$croakIfTrue| NIL) ;" see moan in UT"
+(SETQ |$opFilter| NIL)	 ;" used to |/s a function "
+(SETQ |$evalDomain| NIL)
+
+(SETQ |$SideEffectFreeFunctionList| '(
+  |null| |case| |Zero| |One| \: |::| |has| |Mapping|
+  |elt| = |>| |>=| |<| |<=| MEMBER |is| |isnt| ATOM
+  $= |$>| |$>=| |$<| |$<=| $^= $MEMBER
+))
+
+(SETQ |$AnonymousFunction| '(|AnonymousFunction|))
+(SETQ |$Any|   '(|Any|))
+(SETQ |$BFtag| '|:BF:|)
+(SETQ |$Boolean| '(|Boolean|))
+(SETQ |$Category| '(|Category|))
+(SETQ |$Domain| '(|Domain|))
+(SETQ |$Exit|  '(|Exit|))
+(SETQ |$Expression| '(|OutputForm|))
+
+(SETQ |$OutputForm| '(|OutputForm|))
+(SETQ |$BigFloat| '(|Float|))
+(SETQ |$Float| '(|Float|))
+(SETQ |$DoubleFloat| '(|DoubleFloat|))
+
+(SETQ |$FontTable| '(|FontTable|))
+(SETQ |$Integer| '(|Integer|))
+(SETQ |$ComplexInteger| (LIST '|Complex| |$Integer|))
+(SETQ |$Mode|	'(|Mode|))
+(SETQ |$NegativeInteger| '(|NegativeInteger|))
+(SETQ |$NonNegativeInteger| '(|NonNegativeInteger|))
+(SETQ |$NonPositiveInteger| '(|NonPositiveInteger|))
+(SETQ |$PositiveInteger| '(|PositiveInteger|))
+(SETQ |$RationalNumber| '(|Fraction| (|Integer|)))
+(SETQ |$String| '(|String|))
+(SETQ |$StringCategory| '(|StringCategory|))
+(SETQ |$Symbol| '(|Symbol|))
+(SETQ |$Void|  '(|Void|))
+(SETQ |$QuotientField| '|Fraction|)
+(SETQ |$FunctionalExpression| '|Expression|)
+(SETQ |$defaultFunctionTargets| '(()))
+
+;; Old names
+(SETQ |$SmallInteger| '(|SingleInteger|))
+
+;; New Names
+(SETQ |$SingleFloat| '(|SingleFloat|))
+(SETQ |$DoubleFloat| '(|DoubleFloat|))
+(SETQ |$SingleInteger| '(|SingleInteger|))
+
+(SETQ $TOP_LEVEL T)
+(SETQ $NE (LIST (LIST NIL)))
+(SETQ |$InteractiveFrame| (LIST (LIST NIL)))
+(SETQ |$gauss01| '(|gauss| 0 1))
+(SETQ |$LocalFrame| (LIST (LIST NIL)))
+(SETQ |$DomainsInScope| (LIST NIL))
+(SETQ |$EmptyEnvironment| '((NIL)))
+(SETQ |$NETail| (CONS |$EmptyEnvironment| NIL))
+(SETQ |$EmptyMode| '|$EmptyMode|)
+(SETQ |$DummyFunctorNames| '(|Mapping|))
+(SETQ |$form| NIL)
+(SETQ |$DoubleQuote| '"\"")
+(SETQ |$EmptyString| "")
+(SETQ |$EmptyVector| (VECTOR))
+(SETQ |$EmptyList| ())
+(SETQ |$Index| 0)
+(SETQ |$true| ''T)
+(SETQ |$false| NIL)
+(SETQ |$suffix| NIL)
+(SETQ |$BasicPredicates| '(INTEGERP STRINGP FLOATP))
+(SETQ |$coerceIntByMapCounter| 0)
+(SETQ |$reportCoerce| NIL)
+(SETQ |$reportCompilation| NIL)
+(SETQ |$streamCount| 0)
+(SETQ |$cacheCount| 0)
+(SETQ |$streamIndexing| NIL)
+(SETQ |$reportExitModeStack| NIL)
+(SETQ |$prefix| NIL)
+(SETQ |$Polvar| '(WRAPPED . ((1 . 1))))
+(SETQ |$OneCoef| '(1 1 . 1))
+(SETQ |$Lisp| '(|Lisp|))
+(SETQ |$ExpressionOpt| '(|Expression| . OPT))
+(SETQ |$formalArgList| ())
+(SETQ |$FormalMapVariableList|
+  '(|#1| |#2| |#3| |#4| |#5| |#6| |#7| |#8| |#9| |#10|
+    |#11| |#12| |#13| |#14| |#15| |#16| |#17| |#18| |#19| |#20|
+    |#21| |#22| |#23| |#24| |#25| |#26| |#27| |#28| |#29| |#30|
+    |#31| |#32| |#33| |#34| |#35| |#36| |#37| |#38| |#39| |#40|
+    |#41| |#42| |#43| |#44| |#45| |#46| |#47| |#48| |#49| |#50|
+    ))
+(SETQ |$PatternVariableList|
+  '(*1 *2 *3 *4 *5 *6 *7 *8 *9 *10 *11 *12 *13 *14 *15 *16 *17 *18 *19 *20
+  *21 *22 *23 *24 *25 *26 *27 *28 *29 *30 *31 *32 *33 *34 *35 *36 *37 *38 *39 *40
+  *41 *42 *43 *44 *45 *46 *47 *48 *49 *50))
+(SETQ |$ModeVariableList|
+  '(dv$1 dv$2 dv$3 dv$4 dv$5 dv$6 dv$7 dv$8 dv$9 dv$10 dv$11 dv$12 dv$13 dv$14 dv$15
+	 dv$16 dv$17 dv$18 dv$19 dv$20))
+(SETQ |$DomainVariableList|
+  '($1 $2 $3 $4 $5 $6 $7 $8 $9 $10 $11 $12 $13 $14 $15 $16 $17 $18 $19 $20))
+(SETQ |$TriangleVariableList|
+   '(|t#1| |t#2| |t#3| |t#4| |t#5| |t#6| |t#7| |t#8| |t#9| |t#10|
+     |t#11| |t#12| |t#13| |t#14| |t#15| |t#16| |t#17| |t#18| |t#19| |t#20|
+     |t#21| |t#22| |t#23| |t#24| |t#25| |t#26| |t#27| |t#28| |t#29| |t#30|
+     |t#31| |t#32| |t#33| |t#34| |t#35| |t#36| |t#37| |t#38| |t#39| |t#40|
+     |t#41| |t#42| |t#43| |t#44| |t#45| |t#46| |t#47| |t#48| |t#49| |t#50|))
+
+(SETQ |$PrimitiveDomainNames|
+      '(|List| |Integer| |NonNegativeInteger| |PositiveInteger|
+	|SingleInteger| |String| |Boolean|))
+	    ;" used in mkCategory to avoid generating vector slots"
+	    ;" for primitive domains "
+	    ;" also used by putInLocalDomainReferences and optCall"
+(SETQ |$optimizableConstructorNames|
+   '(|List| |Integer| |PositiveInteger| |NonNegativeInteger| |SingleInteger|
+     |String| |Boolean| |Symbol| |DoubleFloat| |PrimitiveArray| |Vector|))
+	    ;" used by optCallSpecially"
+(SETQ |$Zero| '(|Zero|))
+(SETQ |$One| '(|One|))
+(SETQ |$NonMentionableDomainNames|
+      '($ |Rep| |Record| |Union| |Mapping| |Enumeration|))
+
+;"  modemap:==  ( <map> (p e) (p e) ... (p e) )  "
+;"  modemaplist:= ( modemap ... )  "
+(SETQ |$CategoryFrame| '(((
+  (|Category| .
+    ((|modemap|
+      ( ((|Category|) (|Category|)) (T *) )
+	)))
+  (|Join| .
+    ((|modemap|
+      ( ((|Category|) (|Category|) (|Category|) (|Category|)) (|T| *) )
+      ( ((|Category|) (|Category|) (|List| (|Category|)) (|Category|)) (T *) )
+	)))
+    ))))
+
+(SETQ |$InitialDomainsInScope|
+  '(|$EmptyMode| |$NoValueMode|))
+
+(SETQ |$InitialModemapFrame| '((NIL)))
+
+(SETQ NRTPARSE NIL)
+(SETQ |$NRTflag| T)
+(SETQ |$NRTaddForm| NIL)
+(SETQ |$NRTdeltaList| NIL)
+(SETQ |$NRTbase| 0)
+(SETQ |$NRTdeltaLength| 0)
+(SETQ |$NRTopt| NIL) ;; turns off buggy code
+(SETQ |$Slot1DataBase| NIL)
+(SETQ |$NRTmonitorIfTrue| NIL)
+
+(SETQ |$useConvertForCoercions| NIL)
+
+(MAKEPROP '|One| '|defaultType| |$Integer|)
+(MAKEPROP '|Zero| '|defaultType| |$Integer|)
+
+;; Following were originally in EXPLORE BOOT
+
+(SETQ |$xdatabase|	   NIL)
+(SETQ |$CatOfCatDatabase|  NIL)
+(SETQ |$DomOfCatDatabase|  NIL)
+(SETQ |$JoinOfDomDatabase| NIL)
+(SETQ |$JoinOfCatDatabase| NIL)
+(SETQ |$attributeDb|	   NIL)
+
+(SETQ |$abbreviateIfTrue|  NIL)
+(SETQ |$deltax|	 0)
+(SETQ |$deltay|	 0)
+(SETQ |$displayDomains|	 'T)
+(SETQ |$displayTowardAncestors|	 NIL)
+(SETQ |$focus|	NIL)
+(SETQ |$focusAccessPath|  NIL)
+(SETQ |$minimumSeparation|  3)
+(SETQ |$origMaxColumn|	80)
+(SETQ |$origMaxRow|  20)
+(SETQ |$origMinColumn|	1)
+(SETQ |$origMinRow|  1)
+
+;; ---- start of initial settings for variables used in test.boot
+
+(SETQ |$testOutputLineFlag| NIL)   ;; referenced by charyTop, prnd
+				   ;; to stash lines
+(SETQ |$testOutputLineStack| NIL)  ;; saves lines to be printed
+				   ;; (needed to convert lines for use
+				   ;; in hypertex)
+(SETQ |$runTestFlag| NIL)	   ;; referenced by maPrin to stash
+				   ;; output by recordAndPrint to not
+				   ;; print type/time
+(SETQ |$mkTestFlag| NIL)	   ;; referenced by READLN to stash input
+				   ;; by maPrin to stash output
+				   ;; by recordAndPrint to write i/o
+				   ;; onto $testStream
+(SETQ |$mkTestInputStack| NIL)	   ;; saves input for $testStream
+				   ;; (see READLN)
+(SETQ |$mkTestOutputStack| NIL)	   ;; saves output for $testStream
+				   ;; (see maPrin)
+
+;; ---- end of initial settings for variables used in test.boot
+
+;; Next flag determines whether to use BF as default floating point
+;; type. (actually, now means NewFloat)
+
+(SETQ |$useBFasDefault| 'T)
+
+;; Next are initial values for fluid variables in G-BOOT BOOT
+
+(SETQ |$inDefLET| NIL)
+(SETQ |$inDefIS|  NIL)
+(SETQ |$letGenVarCounter| 1)
+(SETQ |$isGenVarCounter|  1)
+
+;; Next 2 lines originally from CLAM BOOT
+
+;; this node is used in looking up values
+(SETQ |$hashNode| (LIST NIL))
+
+(SETQ ERRORINSTREAM (DEFIOSTREAM
+    '((DEVICE . CONSOLE) (MODE . INPUT) (QUAL . T)) 133 1))
+
+(SETQ ERROROUTSTREAM
+  (DEFIOSTREAM '((DEVICE . CONSOLE)(MODE . OUTPUT)) 80 0) )
+
+(SETQ |$algebraOutputStream|
+  (DEFIOSTREAM '((DEVICE . CONSOLE)(MODE . OUTPUT)) 255 0) )
+
+;; By default, don't generate info files with old compiler.
+(setq |$profileCompiler| nil)
+
+(setq credits '(
+"An alphabetical listing of contributors to AXIOM (to October, 2006):"
+"Cyril Alberga          Roy Adler              Christian Aistleitner"
+"Richard Anderson       George Andrews"
+"Henry Baker            Stephen Balzac         Yurij Baransky"
+"David R. Barton        Gerald Baumgartner     Gilbert Baumslag"
+"Fred Blair             Vladimir Bondarenko    Mark Botch"
+"Alexandre Bouyer       Peter A. Broadbery     Martin Brock"
+"Manuel Bronstein       Florian Bundschuh      Luanne Burns"
+"William Burge"
+"Quentin Carpent        Robert Caviness        Bruce Char"
+"Cheekai Chin           David V. Chudnovsky    Gregory V. Chudnovsky"
+"Josh Cohen             Christophe Conil       Don Coppersmith"
+"George Corliss         Robert Corless         Gary Cornell"
+"Meino Cramer           Claire Di Crescenzo"
+"Timothy Daly Sr.       Timothy Daly Jr.       James H. Davenport"
+"Jean Della Dora        Gabriel Dos Reis       Michael Dewar"
+"Claire DiCrescendo     Sam Dooley             Lionel Ducos"
+"Martin Dunstan         Brian Dupee            Dominique Duval"
+"Robert Edwards         Heow Eide-Goodman      Lars Erickson"
+"Richard Fateman        Bertfried Fauser       Stuart Feldman"
+"Brian Ford             Albrecht Fortenbacher  George Frances"
+"Constantine Frangos    Timothy Freeman        Korrinn Fu"
+"Marc Gaetano           Rudiger Gebauer        Kathy Gerber"
+"Patricia Gianni        Holger Gollan          Teresa Gomez-Diaz"
+"Laureano Gonzalez-Vega Stephen Gortler        Johannes Grabmeier"
+"Matt Grayson           James Griesmer         Vladimir Grinberg"
+"Oswald Gschnitzer      Jocelyn Guidry"
+"Steve Hague            Vilya Harvey           Satoshi Hamaguchi"
+"Martin Hassner         Waldek Hebisch         Ralf Hemmecke"
+"Henderson              Antoine Hersen"
+"Pietro Iglio"
+"Richard Jenks"
+"Kai Kaminski           Grant Keady            Tony Kennedy"
+"Paul Kosinski          Klaus Kusche           Bernhard Kutzler"
+"Larry Lambe            Frederic Lehobey       Michel Levaud"
+"Howard Levy            Rudiger Loos           Michael Lucks"
+"Richard Luczak"
+"Camm Maguire           Bob McElrath           Michael McGettrick"
+"Ian Meikle             David Mentre           Victor S. Miller"
+"Gerard Milmeister      Mohammed Mobarak       H. Michael Moeller"
+"Michael Monagan        Marc Moreno-Maza       Scott Morrison"
+"Mark Murray"
+"William Naylor         C. Andrew Neff         John Nelder"
+"Godfrey Nolan          Arthur Norman          Jinzhong Niu"
+"Michael O'Connor       Kostas Oikonomou"
+"Julian A. Padget       Bill Page              Susan Pelzel"
+"Michel Petitot         Didier Pinchon         Jose Alfredo Portes"
+"Claude Quitte"
+"Norman Ramsey          Michael Richardson     Renaud Rioboo"
+"Jean Rivlin            Nicolas Robidoux       Simon Robinson"
+"Michael Rothstein      Martin Rubey"
+"Philip Santas          Alfred Scheerhorn      William Schelter"
+"Gerhard Schneider      Martin Schoenert       Marshall Schor"
+"Frithjof Schulze       Fritz Schwarz          Nick Simicich"
+"William Sit            Elena Smirnova         Jonathan Steinbach"
+"Christine Sundaresan   Robert Sutor           Moss E. Sweedler"
+"Eugene Surowitz"
+"James Thatcher         Balbir Thomas          Mike Thomas"
+"Dylan Thurston         Barry Trager           Themos T. Tsikas"
+"Gregory Vanuxem"
+"Bernhard Wall          Stephen Watt           Jaap Weel"
+"Juergen Weiss          M. Weller              Mark Wegman"
+"James Wen              Thorsten Werther       Michael Wester"
+"John M. Wiley          Berhard Will           Clifton J. Williamson"
+"Stephen Wilson         Shmuel Winograd        Robert Wisbauer"
+"Sandra Wityak          Waldemar Wiwianka      Knut Wolf"
+"Clifford Yapp          David Yun"
+"Richard Zippel         Evelyn Zoernack        Bruno Zuercher"
+"Dan Zwillinger"
+))
+
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}