From ab8cc85adde879fb963c94d15675783f2cf4b183 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 14 Aug 2007 05:14:52 +0000 Subject: Initial population. --- src/interp/setq.lisp.pamphlet | 807 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 807 insertions(+) create mode 100644 src/interp/setq.lisp.pamphlet (limited to 'src/interp/setq.lisp.pamphlet') 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} + +<>= +;; 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. + +@ +<<*>>= +<> + +(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:== ( (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} -- cgit v1.2.3