diff options
Diffstat (limited to 'src/interp/setq.lisp.pamphlet')
| -rw-r--r-- | src/interp/setq.lisp.pamphlet | 496 |
1 files changed, 496 insertions, 0 deletions
diff --git a/src/interp/setq.lisp.pamphlet b/src/interp/setq.lisp.pamphlet new file mode 100644 index 00000000..ae3011b7 --- /dev/null +++ b/src/interp/setq.lisp.pamphlet @@ -0,0 +1,496 @@ +%% 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 |$interpOnly| nil) +(SETQ |$testingSystem| NIL) +(SETQ |$publicSystem| NIL) +(SETQ |$newcompMode| NIL) +(SETQ |$newComp| NIL) +(SETQ |$newCompCompare| NIL) +(SETQ |$permitWhere| NIL) +(SETQ |$newSystem| T) +(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 |$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 STAKCOLUMN -1) +(SETQ ECHOMETA NIL) +(SETQ |$checkParseIfTrue| 'NIL) +(SETQ |$oldParserExpandAbbrs| NIL) +(SETQ |S:SPADKEY| NIL) ;" this is augmented by MAKESPADOP" +(SETQ |/EDIT,FT| 'SPAD) +(SETQ |/EDIT,FM| 'A) +(SETQ /EDITFILE NIL) +(SETQ INITCOLUMN 0) +(SETQ |$functionTable| NIL) +(SETQ |$spaddefs| NIL) +(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) + +(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)) + +;; 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 |$dependeeClosureAlist| NIL) +(SETQ |$userModemaps| NIL) +(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 |$existingFiles| (MAKE-HASHTABLE 'UEQUAL)) + +(SETQ |$instantRecord| (MAKE-HASHTABLE 'ID)) +(SETQ |$immediateDataSymbol| '|--immediateData--|) + +(SETQ |$useIntegerSubdomain| 'T) +(SETQ |$useNewFloat| 'T) + +;; the following symbol holds the canonical "failed" value +(SETQ |$failed| "failed") + +(SETQ |$constructorDataTable| NIL) + +(SETQ |$univariateDomains| '( + |UnivariatePolynomial| + |UnivariateTaylorSeries| + |UnivariateLaurentSeries| + |UnivariatePuiseuxSeries| + )) +(SETQ |$multivariateDomains| '( + |MultivariatePolynomial| + |DistributedMultivariatePolynomial| + |HomogeneousDistributedMultivariatePolynomial| + |GeneralDistributedMultivariatePolynomial| + )) + +(SETQ |$DomainsWithoutLisplibs| '( + CAPSULE |Union| |Record| |SubDomain| |Mapping| |Enumeration| |Domain| |Mode|)) + +(SETQ |$tracedMapSignatures| ()) +(SETQ |$highlightAllowed| 'T) + ;" used in BRIGHTPRINT and is a )set variable" + +(SETQ |$printStorageIfTrue| NIL) ;; storage info disabled in common lisp + +(SETQ |$AnonymousFunction| '(|AnonymousFunction|)) +(SETQ |$Any| '(|Any|)) + +(SETQ |$OutputForm| '(|OutputForm|)) + +(SETQ |$ComplexInteger| (LIST '|Complex| |$Integer|)) +(SETQ |$QuotientField| '|Fraction|) +(SETQ |$FunctionalExpression| '|Expression|) +(SETQ |$defaultFunctionTargets| '(())) + +;; New Names +(SETQ |$SingleInteger| '(|SingleInteger|)) + +(SETQ $NE (LIST (LIST NIL))) +(SETQ |$suffix| NIL) +(SETQ |$coerceIntByMapCounter| 0) +(SETQ |$prefix| NIL) +(SETQ |$formalArgList| ()) +(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 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 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} |