\contentsline {chapter}{\numberline {1}Credits}{1}{chapter.1}
\contentsline {subsection}{\numberline {1.0.1}defvar \${credits}}{1}{subsection.1.0.1}
\contentsline {chapter}{\numberline {2}The Interpreter}{5}{chapter.2}
\contentsline {chapter}{\numberline {3}The Fundamental Data Structures}{7}{chapter.3}
\contentsline {section}{\numberline {3.1}The global variables}{7}{section.3.1}
\contentsline {subsection}{\numberline {3.1.1}defvar \${current-directory}}{7}{subsection.3.1.1}
\contentsline {subsection}{\numberline {3.1.2}defvar \${current-directory}}{7}{subsection.3.1.2}
\contentsline {subsection}{\numberline {3.1.3}defvar \${defaultMsgDatabaseName}}{8}{subsection.3.1.3}
\contentsline {subsection}{\numberline {3.1.4}defvar \${defaultMsgDatabaseName}}{8}{subsection.3.1.4}
\contentsline {subsection}{\numberline {3.1.5}defvar \${directory-list}}{8}{subsection.3.1.5}
\contentsline {subsection}{\numberline {3.1.6}defvar \${directory-list}}{8}{subsection.3.1.6}
\contentsline {subsection}{\numberline {3.1.7}defvar \${InitialModemapFrame}}{9}{subsection.3.1.7}
\contentsline {subsection}{\numberline {3.1.8}defvar \${InitialModemapFrame}}{9}{subsection.3.1.8}
\contentsline {subsection}{\numberline {3.1.9}defvar \${library-directory-list}}{9}{subsection.3.1.9}
\contentsline {subsection}{\numberline {3.1.10}defvar \${library-directory-list}}{9}{subsection.3.1.10}
\contentsline {subsection}{\numberline {3.1.11}defvar \${msgDatabaseName}}{9}{subsection.3.1.11}
\contentsline {subsection}{\numberline {3.1.12}defvar \${msgDatabaseName}}{10}{subsection.3.1.12}
\contentsline {subsection}{\numberline {3.1.13}defvar \${openServerIfTrue}}{10}{subsection.3.1.13}
\contentsline {subsection}{\numberline {3.1.14}defvar \${openServerIfTrue}}{10}{subsection.3.1.14}
\contentsline {subsection}{\numberline {3.1.15}defvar \${relative-directory-list}}{10}{subsection.3.1.15}
\contentsline {subsection}{\numberline {3.1.16}defvar \${relative-directory-list}}{11}{subsection.3.1.16}
\contentsline {subsection}{\numberline {3.1.17}defvar \${relative-library-directory-list}}{11}{subsection.3.1.17}
\contentsline {subsection}{\numberline {3.1.18}defvar \${relative-library-directory-list}}{11}{subsection.3.1.18}
\contentsline {subsection}{\numberline {3.1.19}defvar \${spadroot}}{11}{subsection.3.1.19}
\contentsline {subsection}{\numberline {3.1.20}defvar \${spadroot}}{12}{subsection.3.1.20}
\contentsline {subsection}{\numberline {3.1.21}defvar \${SpadServer}}{12}{subsection.3.1.21}
\contentsline {subsection}{\numberline {3.1.22}defvar \${SpadServer}}{12}{subsection.3.1.22}
\contentsline {subsection}{\numberline {3.1.23}defvar \${SpadServerName}}{12}{subsection.3.1.23}
\contentsline {subsection}{\numberline {3.1.24}defvar \${SpadServerName}}{13}{subsection.3.1.24}
\contentsline {chapter}{\numberline {4}Starting Axiom}{15}{chapter.4}
\contentsline {section}{\numberline {4.1}Variables Used}{15}{section.4.1}
\contentsline {section}{\numberline {4.2}Data Structures}{15}{section.4.2}
\contentsline {section}{\numberline {4.3}Functions}{15}{section.4.3}
\contentsline {subsection}{\numberline {4.3.1}Set the restart hook}{15}{subsection.4.3.1}
\contentsline {subsection}{\numberline {4.3.2}restart function (The restart function)}{16}{subsection.4.3.2}
\contentsline {subsection}{\numberline {4.3.3}defun Non-interactive restarts}{18}{subsection.4.3.3}
\contentsline {subsection}{\numberline {4.3.4}defun The startup banner messages}{19}{subsection.4.3.4}
\contentsline {subsection}{\numberline {4.3.5}defun Make a vector of filler characters}{20}{subsection.4.3.5}
\contentsline {subsection}{\numberline {4.3.6}Starts the interpreter but do not read in profiles}{20}{subsection.4.3.6}
\contentsline {subsection}{\numberline {4.3.7}defvar \${quitTag}}{20}{subsection.4.3.7}
\contentsline {subsection}{\numberline {4.3.8}defun runspad}{21}{subsection.4.3.8}
\contentsline {subsection}{\numberline {4.3.9}defun Reset the stack limits}{21}{subsection.4.3.9}
\contentsline {chapter}{\numberline {5}Handling Terminal Input}{23}{chapter.5}
\contentsline {section}{\numberline {5.1}Streams}{23}{section.5.1}
\contentsline {subsection}{\numberline {5.1.1}defvar \${curinstream}}{23}{subsection.5.1.1}
\contentsline {subsection}{\numberline {5.1.2}defvar \${curoutstream}}{23}{subsection.5.1.2}
\contentsline {subsection}{\numberline {5.1.3}defvar \${errorinstream}}{23}{subsection.5.1.3}
\contentsline {subsection}{\numberline {5.1.4}defvar \${erroroutstream}}{24}{subsection.5.1.4}
\contentsline {subsection}{\numberline {5.1.5}defvar \${*eof*}}{24}{subsection.5.1.5}
\contentsline {subsection}{\numberline {5.1.6}defvar \${*whitespace*}}{24}{subsection.5.1.6}
\contentsline {subsection}{\numberline {5.1.7}defvar \${InteractiveMode}}{24}{subsection.5.1.7}
\contentsline {subsection}{\numberline {5.1.8}defvar \${boot}}{25}{subsection.5.1.8}
\contentsline {subsection}{\numberline {5.1.9}Top-level read-parse-eval-print loop}{25}{subsection.5.1.9}
\contentsline {subsection}{\numberline {5.1.10}defun ncIntLoop}{25}{subsection.5.1.10}
\contentsline {subsection}{\numberline {5.1.11}defvar \${intTopLevel}}{26}{subsection.5.1.11}
\contentsline {subsection}{\numberline {5.1.12}defvar \${intRestart}}{26}{subsection.5.1.12}
\contentsline {subsection}{\numberline {5.1.13}defun intloop}{26}{subsection.5.1.13}
\contentsline {subsection}{\numberline {5.1.14}defvar \${ncMsgList}}{27}{subsection.5.1.14}
\contentsline {subsection}{\numberline {5.1.15}defun SpadInterpretStream}{27}{subsection.5.1.15}
\contentsline {subsection}{\numberline {5.1.16}defvar \${promptMsg}}{28}{subsection.5.1.16}
\contentsline {subsection}{\numberline {5.1.17}defun GCL cmpnote function}{28}{subsection.5.1.17}
\contentsline {subsection}{\numberline {5.1.18}defvar \${newcompErrorCount}}{28}{subsection.5.1.18}
\contentsline {subsection}{\numberline {5.1.19}defvar \${nopos}}{28}{subsection.5.1.19}
\contentsline {section}{\numberline {5.2}The Read-Eval-Print Loop}{30}{section.5.2}
\contentsline {subsection}{\numberline {5.2.1}defun intloopReadConsole}{30}{subsection.5.2.1}
\contentsline {section}{\numberline {5.3}Helper Functions}{31}{section.5.3}
\contentsline {subsection}{\numberline {5.3.1}Get the value of an evironment variable}{31}{subsection.5.3.1}
\contentsline {subsection}{\numberline {5.3.2}defvar \${intCoerceFailure}}{32}{subsection.5.3.2}
\contentsline {subsection}{\numberline {5.3.3}defvar \${intSpadReader}}{32}{subsection.5.3.3}
\contentsline {subsection}{\numberline {5.3.4}defun InterpExecuteSpadSystemCommand}{32}{subsection.5.3.4}
\contentsline {subsection}{\numberline {5.3.5}defun ExecuteInterpSystemCommand}{33}{subsection.5.3.5}
\contentsline {subsection}{\numberline {5.3.6}defun Handle Synonyms}{33}{subsection.5.3.6}
\contentsline {subsection}{\numberline {5.3.7}defun Synonym File Reader}{33}{subsection.5.3.7}
\contentsline {subsection}{\numberline {5.3.8}defun init-memory-config}{34}{subsection.5.3.8}
\contentsline {subsection}{\numberline {5.3.9}Set spadroot to be the AXIOM shell variable}{35}{subsection.5.3.9}
\contentsline {subsection}{\numberline {5.3.10}Does the string start with this prefix?}{36}{subsection.5.3.10}
\contentsline {subsection}{\numberline {5.3.11}defun Interpret a line of lisp code}{36}{subsection.5.3.11}
\contentsline {subsection}{\numberline {5.3.12}Get the current directory}{36}{subsection.5.3.12}
\contentsline {subsection}{\numberline {5.3.13}Prepend the absolute path to a filename}{36}{subsection.5.3.13}
\contentsline {subsection}{\numberline {5.3.14}Make the initial modemap frame}{37}{subsection.5.3.14}
\contentsline {subsection}{\numberline {5.3.15}defun ncloopEscaped}{37}{subsection.5.3.15}
\contentsline {subsection}{\numberline {5.3.16}defun intloopProcessString}{37}{subsection.5.3.16}
\contentsline {subsection}{\numberline {5.3.17}defun ncloopParse}{38}{subsection.5.3.17}
\contentsline {subsection}{\numberline {5.3.18}defun next}{38}{subsection.5.3.18}
\contentsline {subsection}{\numberline {5.3.19}defun next1}{38}{subsection.5.3.19}
\contentsline {subsection}{\numberline {5.3.20}defun incString}{39}{subsection.5.3.20}
\contentsline {subsection}{\numberline {5.3.21}Call the garbage collector}{39}{subsection.5.3.21}
\contentsline {subsection}{\numberline {5.3.22}defun reroot}{40}{subsection.5.3.22}
\contentsline {subsection}{\numberline {5.3.23}defun setCurrentLine}{41}{subsection.5.3.23}
\contentsline {subsection}{\numberline {5.3.24}Show the Axiom prompt}{42}{subsection.5.3.24}
\contentsline {subsection}{\numberline {5.3.25}defvar \${frameAlist}}{43}{subsection.5.3.25}
\contentsline {subsection}{\numberline {5.3.26}defvar \${frameNumber}}{43}{subsection.5.3.26}
\contentsline {subsection}{\numberline {5.3.27}defvar \${currentFrameNum}}{43}{subsection.5.3.27}
\contentsline {subsection}{\numberline {5.3.28}defvar \${EndServerSession}}{43}{subsection.5.3.28}
\contentsline {subsection}{\numberline {5.3.29}defvar \${NeedToSignalSessionManager}}{44}{subsection.5.3.29}
\contentsline {subsection}{\numberline {5.3.30}defvar \${sockBufferLength}}{44}{subsection.5.3.30}
\contentsline {subsection}{\numberline {5.3.31}READ-LINE in an Axiom server system}{44}{subsection.5.3.31}
\contentsline {subsection}{\numberline {5.3.32}defun protectedEVAL}{47}{subsection.5.3.32}
\contentsline {subsection}{\numberline {5.3.33}defvar \${QuietCommand}}{47}{subsection.5.3.33}
\contentsline {subsection}{\numberline {5.3.34}defun executeQuietCommand}{47}{subsection.5.3.34}
\contentsline {subsection}{\numberline {5.3.35}defun parseAndInterpret}{48}{subsection.5.3.35}
\contentsline {subsection}{\numberline {5.3.36}defun parseFromString}{48}{subsection.5.3.36}
\contentsline {subsection}{\numberline {5.3.37}defvar \${interpOnly}}{49}{subsection.5.3.37}
\contentsline {subsection}{\numberline {5.3.38}defvar \${minivectorNames}}{49}{subsection.5.3.38}
\contentsline {subsection}{\numberline {5.3.39}defvar \${domPvar}}{49}{subsection.5.3.39}
\contentsline {subsection}{\numberline {5.3.40}defun processInteractive}{49}{subsection.5.3.40}
\contentsline {subsection}{\numberline {5.3.41}defvar \${ProcessInteractiveValue}}{52}{subsection.5.3.41}
\contentsline {subsection}{\numberline {5.3.42}defvar \${HTCompanionWindowID}}{52}{subsection.5.3.42}
\contentsline {subsection}{\numberline {5.3.43}defun processInteractive1}{52}{subsection.5.3.43}
\contentsline {subsection}{\numberline {5.3.44}defun interpretTopLevel}{53}{subsection.5.3.44}
\contentsline {subsection}{\numberline {5.3.45}defvar \${genValue}}{53}{subsection.5.3.45}
\contentsline {subsection}{\numberline {5.3.46}defun Type analyzes and evaluates expression x, returns object}{54}{subsection.5.3.46}
\contentsline {subsection}{\numberline {5.3.47}defun Dispatcher for the type analysis routines}{54}{subsection.5.3.47}
\contentsline {subsection}{\numberline {5.3.48}defun interpret2}{55}{subsection.5.3.48}
\contentsline {subsection}{\numberline {5.3.49}defun Result Output Printing}{56}{subsection.5.3.49}
\contentsline {subsection}{\numberline {5.3.50}defun printStatisticsSummary}{57}{subsection.5.3.50}
\contentsline {subsection}{\numberline {5.3.51}defun printStorage}{58}{subsection.5.3.51}
\contentsline {subsection}{\numberline {5.3.52}defun printTypeAndTime}{58}{subsection.5.3.52}
\contentsline {subsection}{\numberline {5.3.53}defun printTypeAndTimeNormal}{59}{subsection.5.3.53}
\contentsline {subsection}{\numberline {5.3.54}defun printTypeAndTimeSaturn}{60}{subsection.5.3.54}
\contentsline {subsection}{\numberline {5.3.55}defun printAsTeX}{61}{subsection.5.3.55}
\contentsline {subsection}{\numberline {5.3.56}defun sameUnionBranch}{61}{subsection.5.3.56}
\contentsline {subsection}{\numberline {5.3.57}defun msgText}{61}{subsection.5.3.57}
\contentsline {subsection}{\numberline {5.3.58}defun Right-justify the Type output}{62}{subsection.5.3.58}
\contentsline {subsection}{\numberline {5.3.59}defun Destructively fix quotes in strings}{62}{subsection.5.3.59}
\contentsline {subsection}{\numberline {5.3.60}Include a file into the stream}{63}{subsection.5.3.60}
\contentsline {subsection}{\numberline {5.3.61}defun intloopInclude0}{63}{subsection.5.3.61}
\contentsline {subsection}{\numberline {5.3.62}defun intloopProcess}{64}{subsection.5.3.62}
\contentsline {subsection}{\numberline {5.3.63}defun intloopSpadProcess}{64}{subsection.5.3.63}
\contentsline {subsection}{\numberline {5.3.64}defun intloopSpadProcess,interp}{65}{subsection.5.3.64}
\contentsline {subsection}{\numberline {5.3.65}defun phParse}{66}{subsection.5.3.65}
\contentsline {subsection}{\numberline {5.3.66}defun phIntReportMsgs}{66}{subsection.5.3.66}
\contentsline {subsection}{\numberline {5.3.67}defun phInterpret}{67}{subsection.5.3.67}
\contentsline {subsection}{\numberline {5.3.68}defun intInterpretPform}{67}{subsection.5.3.68}
\contentsline {subsection}{\numberline {5.3.69}defun zeroOneTran}{68}{subsection.5.3.69}
\contentsline {subsection}{\numberline {5.3.70}defun ncConversationPhase}{68}{subsection.5.3.70}
\contentsline {subsection}{\numberline {5.3.71}defun ncConversationPhase,wrapup}{68}{subsection.5.3.71}
\contentsline {subsection}{\numberline {5.3.72}defun ncError}{69}{subsection.5.3.72}
\contentsline {subsection}{\numberline {5.3.73}defun intloopEchoParse}{69}{subsection.5.3.73}
\contentsline {subsection}{\numberline {5.3.74}defun ncloopPrintLines}{70}{subsection.5.3.74}
\contentsline {subsection}{\numberline {5.3.75}defun mkLineList}{70}{subsection.5.3.75}
\contentsline {subsection}{\numberline {5.3.76}defun nonBlank}{71}{subsection.5.3.76}
\contentsline {subsection}{\numberline {5.3.77}defun ncloopDQlines}{71}{subsection.5.3.77}
\contentsline {subsection}{\numberline {5.3.78}defun poGlobalLinePosn}{72}{subsection.5.3.78}
\contentsline {subsection}{\numberline {5.3.79}defun streamChop}{72}{subsection.5.3.79}
\contentsline {subsection}{\numberline {5.3.80}defun ncloopInclude0}{73}{subsection.5.3.80}
\contentsline {subsection}{\numberline {5.3.81}defun incStream}{73}{subsection.5.3.81}
\contentsline {subsection}{\numberline {5.3.82}defun incRenumber}{74}{subsection.5.3.82}
\contentsline {subsection}{\numberline {5.3.83}defun incZip}{74}{subsection.5.3.83}
\contentsline {subsection}{\numberline {5.3.84}defun incZip1}{74}{subsection.5.3.84}
\contentsline {subsection}{\numberline {5.3.85}defun incIgen}{75}{subsection.5.3.85}
\contentsline {subsection}{\numberline {5.3.86}defun incIgen1}{75}{subsection.5.3.86}
\contentsline {subsection}{\numberline {5.3.87}defun incRenumberLine}{75}{subsection.5.3.87}
\contentsline {subsection}{\numberline {5.3.88}defun incRenumberItem}{76}{subsection.5.3.88}
\contentsline {subsection}{\numberline {5.3.89}defun incHandleMessage}{76}{subsection.5.3.89}
\contentsline {subsection}{\numberline {5.3.90}defun incLude}{76}{subsection.5.3.90}
\contentsline {subsection}{\numberline {5.3.91}defmacro {Rest}}{77}{subsection.5.3.91}
\contentsline {subsection}{\numberline {5.3.92}defvar \${Top}}{77}{subsection.5.3.92}
\contentsline {subsection}{\numberline {5.3.93}defvar \${IfSkipToEnd}}{77}{subsection.5.3.93}
\contentsline {subsection}{\numberline {5.3.94}defvar \${IfKeepPart}}{77}{subsection.5.3.94}
\contentsline {subsection}{\numberline {5.3.95}defvar \${IfSkipPart}}{78}{subsection.5.3.95}
\contentsline {subsection}{\numberline {5.3.96}defvar \${ElseifSkipToEnd}}{78}{subsection.5.3.96}
\contentsline {subsection}{\numberline {5.3.97}defvar \${ElseifKeepPart}}{78}{subsection.5.3.97}
\contentsline {subsection}{\numberline {5.3.98}defvar \${ElseifSkipPart}}{78}{subsection.5.3.98}
\contentsline {subsection}{\numberline {5.3.99}defvar \${ElseSkipToEnd}}{78}{subsection.5.3.99}
\contentsline {subsection}{\numberline {5.3.100}defvar \${ElseKeepPart}}{79}{subsection.5.3.100}
\contentsline {subsection}{\numberline {5.3.101}defvar \${Top?}}{79}{subsection.5.3.101}
\contentsline {subsection}{\numberline {5.3.102}defvar \${If?}}{79}{subsection.5.3.102}
\contentsline {subsection}{\numberline {5.3.103}defvar \${Elseif?}}{79}{subsection.5.3.103}
\contentsline {subsection}{\numberline {5.3.104}defvar \${Else?}}{80}{subsection.5.3.104}
\contentsline {subsection}{\numberline {5.3.105}defvar \${SkipEnd?}}{80}{subsection.5.3.105}
\contentsline {subsection}{\numberline {5.3.106}defvar \${KeepPart?}}{80}{subsection.5.3.106}
\contentsline {subsection}{\numberline {5.3.107}defvar \${SkipPart?}}{81}{subsection.5.3.107}
\contentsline {subsection}{\numberline {5.3.108}defvar \${Skipping?}}{81}{subsection.5.3.108}
\contentsline {subsection}{\numberline {5.3.109}defun incLude1}{81}{subsection.5.3.109}
\contentsline {subsection}{\numberline {5.3.110}defun xlPrematureEOF}{86}{subsection.5.3.110}
\contentsline {subsection}{\numberline {5.3.111}defun xlMsg}{86}{subsection.5.3.111}
\contentsline {subsection}{\numberline {5.3.112}defun xlOK}{86}{subsection.5.3.112}
\contentsline {subsection}{\numberline {5.3.113}defun xlOK1}{86}{subsection.5.3.113}
\contentsline {subsection}{\numberline {5.3.114}defun incAppend}{87}{subsection.5.3.114}
\contentsline {subsection}{\numberline {5.3.115}defun incAppend1}{87}{subsection.5.3.115}
\contentsline {subsection}{\numberline {5.3.116}defun incLine}{87}{subsection.5.3.116}
\contentsline {subsection}{\numberline {5.3.117}defun incLine1}{88}{subsection.5.3.117}
\contentsline {subsection}{\numberline {5.3.118}defun inclmsgPrematureEOF}{88}{subsection.5.3.118}
\contentsline {subsection}{\numberline {5.3.119}defun theorigin}{88}{subsection.5.3.119}
\contentsline {subsection}{\numberline {5.3.120}defun porigin}{88}{subsection.5.3.120}
\contentsline {subsection}{\numberline {5.3.121}defun ifCond}{89}{subsection.5.3.121}
\contentsline {subsection}{\numberline {5.3.122}defun xlSkip}{89}{subsection.5.3.122}
\contentsline {subsection}{\numberline {5.3.123}defun xlSay}{89}{subsection.5.3.123}
\contentsline {subsection}{\numberline {5.3.124}defun inclmsgSay}{90}{subsection.5.3.124}
\contentsline {subsection}{\numberline {5.3.125}defun theid}{90}{subsection.5.3.125}
\contentsline {subsection}{\numberline {5.3.126}defun xlNoSuchFile}{90}{subsection.5.3.126}
\contentsline {subsection}{\numberline {5.3.127}defun inclmsgNoSuchFile}{91}{subsection.5.3.127}
\contentsline {subsection}{\numberline {5.3.128}defun thefname}{91}{subsection.5.3.128}
\contentsline {subsection}{\numberline {5.3.129}defun pfname}{91}{subsection.5.3.129}
\contentsline {subsection}{\numberline {5.3.130}defun xlCannotRead}{91}{subsection.5.3.130}
\contentsline {subsection}{\numberline {5.3.131}defun inclmsgCannotRead}{92}{subsection.5.3.131}
\contentsline {subsection}{\numberline {5.3.132}defun xlFileCycle}{92}{subsection.5.3.132}
\contentsline {subsection}{\numberline {5.3.133}defun inclmsgFileCycle}{92}{subsection.5.3.133}
\contentsline {subsection}{\numberline {5.3.134}defun xlConActive}{93}{subsection.5.3.134}
\contentsline {subsection}{\numberline {5.3.135}defun inclmsgConActive}{93}{subsection.5.3.135}
\contentsline {subsection}{\numberline {5.3.136}defun xlConStill}{94}{subsection.5.3.136}
\contentsline {subsection}{\numberline {5.3.137}defun inclmsgConStill}{94}{subsection.5.3.137}
\contentsline {subsection}{\numberline {5.3.138}defun xlConsole}{94}{subsection.5.3.138}
\contentsline {subsection}{\numberline {5.3.139}defun inclmsgConsole}{94}{subsection.5.3.139}
\contentsline {subsection}{\numberline {5.3.140}defun xlSkippingFin}{95}{subsection.5.3.140}
\contentsline {subsection}{\numberline {5.3.141}defun inclmsgFinSkipped}{95}{subsection.5.3.141}
\contentsline {subsection}{\numberline {5.3.142}defun xlPrematureFin}{95}{subsection.5.3.142}
\contentsline {subsection}{\numberline {5.3.143}defun inclmsgPrematureFin}{95}{subsection.5.3.143}
\contentsline {subsection}{\numberline {5.3.144}defun assertCond}{96}{subsection.5.3.144}
\contentsline {subsection}{\numberline {5.3.145}defun xlIfSyntax}{96}{subsection.5.3.145}
\contentsline {subsection}{\numberline {5.3.146}defun inclmsgIfSyntax}{97}{subsection.5.3.146}
\contentsline {subsection}{\numberline {5.3.147}defun xlIfBug}{97}{subsection.5.3.147}
\contentsline {subsection}{\numberline {5.3.148}defun inclmsgIfBug}{97}{subsection.5.3.148}
\contentsline {subsection}{\numberline {5.3.149}defun xlCmdBug}{98}{subsection.5.3.149}
\contentsline {subsection}{\numberline {5.3.150}defun inclmsgCmdBug}{98}{subsection.5.3.150}
\contentsline {subsection}{\numberline {5.3.151}defvar \${incCommands}}{98}{subsection.5.3.151}
\contentsline {subsection}{\numberline {5.3.152}defvar \${pfMacros}}{98}{subsection.5.3.152}
\contentsline {subsection}{\numberline {5.3.153}defun incClassify}{99}{subsection.5.3.153}
\contentsline {subsection}{\numberline {5.3.154}defun incCommand?}{100}{subsection.5.3.154}
\contentsline {subsection}{\numberline {5.3.155}defun incPrefix?}{100}{subsection.5.3.155}
\contentsline {subsection}{\numberline {5.3.156}defun incCommandTail}{101}{subsection.5.3.156}
\contentsline {subsection}{\numberline {5.3.157}defun incDrop}{101}{subsection.5.3.157}
\contentsline {subsection}{\numberline {5.3.158}defun inclFname}{102}{subsection.5.3.158}
\contentsline {subsection}{\numberline {5.3.159}defun incFileInput}{102}{subsection.5.3.159}
\contentsline {subsection}{\numberline {5.3.160}defun incConsoleInput}{102}{subsection.5.3.160}
\contentsline {subsection}{\numberline {5.3.161}defun incNConsoles}{103}{subsection.5.3.161}
\contentsline {subsection}{\numberline {5.3.162}defun incActive?}{103}{subsection.5.3.162}
\contentsline {subsection}{\numberline {5.3.163}defun incRgen}{103}{subsection.5.3.163}
\contentsline {subsection}{\numberline {5.3.164}defun Delay}{103}{subsection.5.3.164}
\contentsline {subsection}{\numberline {5.3.165}defvar \${StreamNil}}{104}{subsection.5.3.165}
\contentsline {subsection}{\numberline {5.3.166}defvar \${StreamNil}}{104}{subsection.5.3.166}
\contentsline {subsection}{\numberline {5.3.167}defun incRgen1}{104}{subsection.5.3.167}
\contentsline {chapter}{\numberline {6}The Token Scanner}{105}{chapter.6}
\contentsline {subsection}{\numberline {6.0.168}defvar \${scanKeyWords}}{105}{subsection.6.0.168}
\contentsline {subsection}{\numberline {6.0.169}defvar \${infgeneric}}{107}{subsection.6.0.169}
\contentsline {subsection}{\numberline {6.0.170}defun lineoftoks}{108}{subsection.6.0.170}
\contentsline {subsection}{\numberline {6.0.171}defun nextline}{110}{subsection.6.0.171}
\contentsline {subsection}{\numberline {6.0.172}defun scanIgnoreLine}{110}{subsection.6.0.172}
\contentsline {subsection}{\numberline {6.0.173}defun constoken}{111}{subsection.6.0.173}
\contentsline {subsection}{\numberline {6.0.174}defun scanToken}{111}{subsection.6.0.174}
\contentsline {subsection}{\numberline {6.0.175}defun lfid}{112}{subsection.6.0.175}
\contentsline {subsection}{\numberline {6.0.176}defun startsComment?}{113}{subsection.6.0.176}
\contentsline {subsection}{\numberline {6.0.177}defun scanComment}{113}{subsection.6.0.177}
\contentsline {subsection}{\numberline {6.0.178}defun lfcomment}{114}{subsection.6.0.178}
\contentsline {subsection}{\numberline {6.0.179}defun startsNegComment?}{114}{subsection.6.0.179}
\contentsline {subsection}{\numberline {6.0.180}defun scanNegComment}{114}{subsection.6.0.180}
\contentsline {subsection}{\numberline {6.0.181}defun lfnegcomment}{115}{subsection.6.0.181}
\contentsline {subsection}{\numberline {6.0.182}defun punctuation?}{115}{subsection.6.0.182}
\contentsline {subsection}{\numberline {6.0.183}defun scanPunct}{115}{subsection.6.0.183}
\contentsline {subsection}{\numberline {6.0.184}defun subMatch}{116}{subsection.6.0.184}
\contentsline {subsection}{\numberline {6.0.185}defun substringMatch}{116}{subsection.6.0.185}
\contentsline {subsection}{\numberline {6.0.186}defun scanKeyTr}{117}{subsection.6.0.186}
\contentsline {subsection}{\numberline {6.0.187}defun keyword}{118}{subsection.6.0.187}
\contentsline {subsection}{\numberline {6.0.188}defun keyword?}{118}{subsection.6.0.188}
\contentsline {subsection}{\numberline {6.0.189}defun scanPossFloat}{118}{subsection.6.0.189}
\contentsline {subsection}{\numberline {6.0.190}defun digit?}{119}{subsection.6.0.190}
\contentsline {subsection}{\numberline {6.0.191}defun lfkey}{119}{subsection.6.0.191}
\contentsline {subsection}{\numberline {6.0.192}defun spleI}{119}{subsection.6.0.192}
\contentsline {subsection}{\numberline {6.0.193}defun spleI1}{120}{subsection.6.0.193}
\contentsline {subsection}{\numberline {6.0.194}defun scanEsc}{120}{subsection.6.0.194}
\contentsline {subsection}{\numberline {6.0.195}defvar \${scanCloser}}{122}{subsection.6.0.195}
\contentsline {subsection}{\numberline {6.0.196}defun scanCloser?}{123}{subsection.6.0.196}
\contentsline {subsection}{\numberline {6.0.197}defun scanWord}{123}{subsection.6.0.197}
\contentsline {subsection}{\numberline {6.0.198}defun scanExponent}{124}{subsection.6.0.198}
\contentsline {subsection}{\numberline {6.0.199}defun lffloat}{125}{subsection.6.0.199}
\contentsline {subsection}{\numberline {6.0.200}defmacro {idChar?}}{125}{subsection.6.0.200}
\contentsline {subsection}{\numberline {6.0.201}defun scanW}{125}{subsection.6.0.201}
\contentsline {subsection}{\numberline {6.0.202}defun posend}{126}{subsection.6.0.202}
\contentsline {subsection}{\numberline {6.0.203}defun scanSpace}{127}{subsection.6.0.203}
\contentsline {subsection}{\numberline {6.0.204}defun lfspaces}{127}{subsection.6.0.204}
\contentsline {subsection}{\numberline {6.0.205}defun scanString}{127}{subsection.6.0.205}
\contentsline {subsection}{\numberline {6.0.206}defun lfstring}{128}{subsection.6.0.206}
\contentsline {subsection}{\numberline {6.0.207}defun scanS}{128}{subsection.6.0.207}
\contentsline {subsection}{\numberline {6.0.208}defun scanTransform}{129}{subsection.6.0.208}
\contentsline {subsection}{\numberline {6.0.209}defun scanNumber}{129}{subsection.6.0.209}
\contentsline {subsection}{\numberline {6.0.210}defun rdigit?}{131}{subsection.6.0.210}
\contentsline {subsection}{\numberline {6.0.211}defun lfinteger}{131}{subsection.6.0.211}
\contentsline {subsection}{\numberline {6.0.212}defun lfrinteger}{131}{subsection.6.0.212}
\contentsline {subsection}{\numberline {6.0.213}defun scanCheckRadix}{131}{subsection.6.0.213}
\contentsline {subsection}{\numberline {6.0.214}defun scanEscape}{132}{subsection.6.0.214}
\contentsline {subsection}{\numberline {6.0.215}defun scanError}{132}{subsection.6.0.215}
\contentsline {subsection}{\numberline {6.0.216}defun lferror}{133}{subsection.6.0.216}
\contentsline {subsection}{\numberline {6.0.217}defvar \${scanKeyTable}}{133}{subsection.6.0.217}
\contentsline {subsection}{\numberline {6.0.218}defun scanKeyTableCons}{133}{subsection.6.0.218}
\contentsline {subsection}{\numberline {6.0.219}defvar \${scanDict}}{134}{subsection.6.0.219}
\contentsline {subsection}{\numberline {6.0.220}defun scanDictCons}{134}{subsection.6.0.220}
\contentsline {subsection}{\numberline {6.0.221}defun scanInsert}{135}{subsection.6.0.221}
\contentsline {subsection}{\numberline {6.0.222}defvar \${scanPun}}{136}{subsection.6.0.222}
\contentsline {subsection}{\numberline {6.0.223}defun scanPunCons}{137}{subsection.6.0.223}
\contentsline {chapter}{\numberline {7}Input Stream Parser}{139}{chapter.7}
\contentsline {subsection}{\numberline {7.0.224}defun Input Stream Parser}{139}{subsection.7.0.224}
\contentsline {subsection}{\numberline {7.0.225}defun npItem}{140}{subsection.7.0.225}
\contentsline {subsection}{\numberline {7.0.226}defun npItem1}{140}{subsection.7.0.226}
\contentsline {subsection}{\numberline {7.0.227}defun npFirstTok}{141}{subsection.7.0.227}
\contentsline {subsection}{\numberline {7.0.228}defun Push one item onto \$stack}{141}{subsection.7.0.228}
\contentsline {subsection}{\numberline {7.0.229}defun Pop one item off \$stack}{142}{subsection.7.0.229}
\contentsline {subsection}{\numberline {7.0.230}defun Pop the second item off \$stack}{142}{subsection.7.0.230}
\contentsline {subsection}{\numberline {7.0.231}defun Pop the third item off \$stack}{142}{subsection.7.0.231}
\contentsline {subsection}{\numberline {7.0.232}defun npQualDef}{143}{subsection.7.0.232}
\contentsline {subsection}{\numberline {7.0.233}defun Advance over a keyword}{143}{subsection.7.0.233}
\contentsline {subsection}{\numberline {7.0.234}defun Advance the input stream}{143}{subsection.7.0.234}
\contentsline {subsection}{\numberline {7.0.235}defun npComma}{144}{subsection.7.0.235}
\contentsline {subsection}{\numberline {7.0.236}defun npTuple}{144}{subsection.7.0.236}
\contentsline {subsection}{\numberline {7.0.237}defun npCommaBackSet}{144}{subsection.7.0.237}
\contentsline {subsection}{\numberline {7.0.238}defun npQualifiedDefinition}{145}{subsection.7.0.238}
\contentsline {subsection}{\numberline {7.0.239}defun npQualified}{145}{subsection.7.0.239}
\contentsline {subsection}{\numberline {7.0.240}defun npDefinitionOrStatement}{145}{subsection.7.0.240}
\contentsline {subsection}{\numberline {7.0.241}defun npBackTrack}{146}{subsection.7.0.241}
\contentsline {subsection}{\numberline {7.0.242}defun npGives}{146}{subsection.7.0.242}
\contentsline {subsection}{\numberline {7.0.243}defun npLambda}{146}{subsection.7.0.243}
\contentsline {subsection}{\numberline {7.0.244}defun npType}{147}{subsection.7.0.244}
\contentsline {subsection}{\numberline {7.0.245}defun npMatch}{148}{subsection.7.0.245}
\contentsline {subsection}{\numberline {7.0.246}defun npSuch}{148}{subsection.7.0.246}
\contentsline {subsection}{\numberline {7.0.247}defun npWith}{148}{subsection.7.0.247}
\contentsline {subsection}{\numberline {7.0.248}defun npCompMissing}{149}{subsection.7.0.248}
\contentsline {subsection}{\numberline {7.0.249}defun npMissing}{149}{subsection.7.0.249}
\contentsline {subsection}{\numberline {7.0.250}defun npRestore}{150}{subsection.7.0.250}
\contentsline {subsection}{\numberline {7.0.251}defun Peek for keyword s, no advance of token stream}{150}{subsection.7.0.251}
\contentsline {subsection}{\numberline {7.0.252}defun npCategoryL}{150}{subsection.7.0.252}
\contentsline {subsection}{\numberline {7.0.253}defun npCategory}{151}{subsection.7.0.253}
\contentsline {subsection}{\numberline {7.0.254}defun npSCategory}{151}{subsection.7.0.254}
\contentsline {subsection}{\numberline {7.0.255}defun npSignature}{152}{subsection.7.0.255}
\contentsline {subsection}{\numberline {7.0.256}defun npSigItemlist}{152}{subsection.7.0.256}
\contentsline {subsection}{\numberline {7.0.257}defun npListing}{153}{subsection.7.0.257}
\contentsline {subsection}{\numberline {7.0.258}defun Always produces a list, fn is applied to it}{153}{subsection.7.0.258}
\contentsline {subsection}{\numberline {7.0.259}defun npSigItem}{154}{subsection.7.0.259}
\contentsline {subsection}{\numberline {7.0.260}defun npTypeVariable}{154}{subsection.7.0.260}
\contentsline {subsection}{\numberline {7.0.261}defun npSignatureDefinee}{154}{subsection.7.0.261}
\contentsline {subsection}{\numberline {7.0.262}defun npTypeVariablelist}{155}{subsection.7.0.262}
\contentsline {subsection}{\numberline {7.0.263}defun npSigDecl}{155}{subsection.7.0.263}
\contentsline {subsection}{\numberline {7.0.264}defun npPrimary}{155}{subsection.7.0.264}
\contentsline {subsection}{\numberline {7.0.265}defun npPrimary2}{156}{subsection.7.0.265}
\contentsline {subsection}{\numberline {7.0.266}defun npADD}{156}{subsection.7.0.266}
\contentsline {subsection}{\numberline {7.0.267}defun npAdd}{157}{subsection.7.0.267}
\contentsline {subsection}{\numberline {7.0.268}defun npAtom2}{157}{subsection.7.0.268}
\contentsline {subsection}{\numberline {7.0.269}defun npInfixOperator}{158}{subsection.7.0.269}
\contentsline {subsection}{\numberline {7.0.270}defun npInfixOp}{159}{subsection.7.0.270}
\contentsline {subsection}{\numberline {7.0.271}defun npPrefixColon}{159}{subsection.7.0.271}
\contentsline {subsection}{\numberline {7.0.272}defun npApplication}{160}{subsection.7.0.272}
\contentsline {subsection}{\numberline {7.0.273}defun npDotted}{160}{subsection.7.0.273}
\contentsline {subsection}{\numberline {7.0.274}defun npAnyNo}{160}{subsection.7.0.274}
\contentsline {subsection}{\numberline {7.0.275}defun npSelector}{161}{subsection.7.0.275}
\contentsline {subsection}{\numberline {7.0.276}defun npApplication2}{161}{subsection.7.0.276}
\contentsline {subsection}{\numberline {7.0.277}defun npPrimary1}{162}{subsection.7.0.277}
\contentsline {subsection}{\numberline {7.0.278}defun npMacro}{162}{subsection.7.0.278}
\contentsline {subsection}{\numberline {7.0.279}defun npMdef}{162}{subsection.7.0.279}
\contentsline {subsection}{\numberline {7.0.280}defun npMDEF}{163}{subsection.7.0.280}
\contentsline {subsection}{\numberline {7.0.281}defun npMDEFinition}{163}{subsection.7.0.281}
\contentsline {subsection}{\numberline {7.0.282}defun npFix}{164}{subsection.7.0.282}
\contentsline {subsection}{\numberline {7.0.283}defun npLet}{164}{subsection.7.0.283}
\contentsline {subsection}{\numberline {7.0.284}defun npLetQualified}{164}{subsection.7.0.284}
\contentsline {subsection}{\numberline {7.0.285}defun npDefinition}{165}{subsection.7.0.285}
\contentsline {subsection}{\numberline {7.0.286}defun npDefinitionItem}{165}{subsection.7.0.286}
\contentsline {subsection}{\numberline {7.0.287}defun npTyping}{166}{subsection.7.0.287}
\contentsline {subsection}{\numberline {7.0.288}defun npDefaultItemlist}{166}{subsection.7.0.288}
\contentsline {subsection}{\numberline {7.0.289}defun npSDefaultItem}{167}{subsection.7.0.289}
\contentsline {subsection}{\numberline {7.0.290}defun npDefaultItem}{167}{subsection.7.0.290}
\contentsline {subsection}{\numberline {7.0.291}defun npDefaultDecl}{168}{subsection.7.0.291}
\contentsline {subsection}{\numberline {7.0.292}defun npStatement}{168}{subsection.7.0.292}
\contentsline {subsection}{\numberline {7.0.293}defun npExport}{169}{subsection.7.0.293}
\contentsline {subsection}{\numberline {7.0.294}defun npLocalItemlist}{169}{subsection.7.0.294}
\contentsline {subsection}{\numberline {7.0.295}defun npSLocalItem}{170}{subsection.7.0.295}
\contentsline {subsection}{\numberline {7.0.296}defun npLocalItem}{170}{subsection.7.0.296}
\contentsline {subsection}{\numberline {7.0.297}defun npLocalDecl}{170}{subsection.7.0.297}
\contentsline {subsection}{\numberline {7.0.298}defun npLocal}{171}{subsection.7.0.298}
\contentsline {subsection}{\numberline {7.0.299}defun npFree}{171}{subsection.7.0.299}
\contentsline {subsection}{\numberline {7.0.300}defun npInline}{172}{subsection.7.0.300}
\contentsline {subsection}{\numberline {7.0.301}defun npIterate}{172}{subsection.7.0.301}
\contentsline {subsection}{\numberline {7.0.302}defun npBreak}{172}{subsection.7.0.302}
\contentsline {subsection}{\numberline {7.0.303}defun npLoop}{173}{subsection.7.0.303}
\contentsline {subsection}{\numberline {7.0.304}defun npIterators}{173}{subsection.7.0.304}
\contentsline {subsection}{\numberline {7.0.305}defun npIterator}{174}{subsection.7.0.305}
\contentsline {subsection}{\numberline {7.0.306}defun npSuchThat}{174}{subsection.7.0.306}
\contentsline {subsection}{\numberline {7.0.307}defun Apply argument 0 or more times}{175}{subsection.7.0.307}
\contentsline {subsection}{\numberline {7.0.308}defun npWhile}{175}{subsection.7.0.308}
\contentsline {subsection}{\numberline {7.0.309}defun npForIn}{175}{subsection.7.0.309}
\contentsline {subsection}{\numberline {7.0.310}defun npReturn}{176}{subsection.7.0.310}
\contentsline {subsection}{\numberline {7.0.311}defun npVoid}{177}{subsection.7.0.311}
\contentsline {subsection}{\numberline {7.0.312}defun npExpress}{177}{subsection.7.0.312}
\contentsline {subsection}{\numberline {7.0.313}defun npExpress1}{177}{subsection.7.0.313}
\contentsline {subsection}{\numberline {7.0.314}defun npConditionalStatement}{178}{subsection.7.0.314}
\contentsline {subsection}{\numberline {7.0.315}defun npImport}{178}{subsection.7.0.315}
\contentsline {subsection}{\numberline {7.0.316}defun npQualTypelist}{178}{subsection.7.0.316}
\contentsline {subsection}{\numberline {7.0.317}defun npSQualTypelist}{179}{subsection.7.0.317}
\contentsline {subsection}{\numberline {7.0.318}defun npQualType}{179}{subsection.7.0.318}
\contentsline {subsection}{\numberline {7.0.319}defun npAndOr}{179}{subsection.7.0.319}
\contentsline {subsection}{\numberline {7.0.320}defun npEncAp}{180}{subsection.7.0.320}
\contentsline {subsection}{\numberline {7.0.321}defun npEncl}{180}{subsection.7.0.321}
\contentsline {subsection}{\numberline {7.0.322}defun npAtom1}{181}{subsection.7.0.322}
\contentsline {subsection}{\numberline {7.0.323}defun npPDefinition}{181}{subsection.7.0.323}
\contentsline {subsection}{\numberline {7.0.324}defun npDollar}{181}{subsection.7.0.324}
\contentsline {subsection}{\numberline {7.0.325}defun npConstTok}{182}{subsection.7.0.325}
\contentsline {subsection}{\numberline {7.0.326}defun npBDefinition}{183}{subsection.7.0.326}
\contentsline {subsection}{\numberline {7.0.327}defun npBracketed}{183}{subsection.7.0.327}
\contentsline {subsection}{\numberline {7.0.328}defun npParened}{183}{subsection.7.0.328}
\contentsline {subsection}{\numberline {7.0.329}defun npBracked}{184}{subsection.7.0.329}
\contentsline {subsection}{\numberline {7.0.330}defun npBraced}{184}{subsection.7.0.330}
\contentsline {subsection}{\numberline {7.0.331}defun npAngleBared}{184}{subsection.7.0.331}
\contentsline {subsection}{\numberline {7.0.332}defun npDefn}{185}{subsection.7.0.332}
\contentsline {subsection}{\numberline {7.0.333}defun npDef}{185}{subsection.7.0.333}
\contentsline {subsection}{\numberline {7.0.334}defun npBPileDefinition}{186}{subsection.7.0.334}
\contentsline {subsection}{\numberline {7.0.335}defun npPileBracketed}{186}{subsection.7.0.335}
\contentsline {subsection}{\numberline {7.0.336}defun npPileDefinitionlist}{187}{subsection.7.0.336}
\contentsline {subsection}{\numberline {7.0.337}defun npListAndRecover}{187}{subsection.7.0.337}
\contentsline {subsection}{\numberline {7.0.338}defun npRecoverTrap}{188}{subsection.7.0.338}
\contentsline {subsection}{\numberline {7.0.339}defun npMoveTo}{189}{subsection.7.0.339}
\contentsline {subsection}{\numberline {7.0.340}defun syIgnoredFromTo}{189}{subsection.7.0.340}
\contentsline {subsection}{\numberline {7.0.341}defun syGeneralErrorHere}{190}{subsection.7.0.341}
\contentsline {subsection}{\numberline {7.0.342}defun sySpecificErrorHere}{190}{subsection.7.0.342}
\contentsline {subsection}{\numberline {7.0.343}defun sySpecificErrorAtToken}{190}{subsection.7.0.343}
\contentsline {subsection}{\numberline {7.0.344}defun npDefinitionlist}{191}{subsection.7.0.344}
\contentsline {subsection}{\numberline {7.0.345}defun npSemiListing}{191}{subsection.7.0.345}
\contentsline {subsection}{\numberline {7.0.346}defun npSemiBackSet}{191}{subsection.7.0.346}
\contentsline {subsection}{\numberline {7.0.347}defun npRule}{191}{subsection.7.0.347}
\contentsline {subsection}{\numberline {7.0.348}defun npSingleRule}{192}{subsection.7.0.348}
\contentsline {subsection}{\numberline {7.0.349}defun npDefTail}{192}{subsection.7.0.349}
\contentsline {subsection}{\numberline {7.0.350}defun npDefaultValue}{192}{subsection.7.0.350}
\contentsline {subsection}{\numberline {7.0.351}defun npWConditional}{193}{subsection.7.0.351}
\contentsline {subsection}{\numberline {7.0.352}defun npConditional}{193}{subsection.7.0.352}
\contentsline {subsection}{\numberline {7.0.353}defun npElse}{194}{subsection.7.0.353}
\contentsline {subsection}{\numberline {7.0.354}defun npBacksetElse}{195}{subsection.7.0.354}
\contentsline {subsection}{\numberline {7.0.355}defun npLogical}{195}{subsection.7.0.355}
\contentsline {subsection}{\numberline {7.0.356}defun npDisjand}{195}{subsection.7.0.356}
\contentsline {subsection}{\numberline {7.0.357}defun npDiscrim}{195}{subsection.7.0.357}
\contentsline {subsection}{\numberline {7.0.358}defun npQuiver}{196}{subsection.7.0.358}
\contentsline {subsection}{\numberline {7.0.359}defun npRelation}{196}{subsection.7.0.359}
\contentsline {subsection}{\numberline {7.0.360}defun npSynthetic}{196}{subsection.7.0.360}
\contentsline {subsection}{\numberline {7.0.361}defun npBy}{197}{subsection.7.0.361}
\contentsline {subsection}{\numberline {7.0.362}defun }{197}{subsection.7.0.362}
\contentsline {subsection}{\numberline {7.0.363}defun npSegment}{198}{subsection.7.0.363}
\contentsline {subsection}{\numberline {7.0.364}defun npArith}{198}{subsection.7.0.364}
\contentsline {subsection}{\numberline {7.0.365}defun npSum}{199}{subsection.7.0.365}
\contentsline {subsection}{\numberline {7.0.366}defun npTerm}{199}{subsection.7.0.366}
\contentsline {subsection}{\numberline {7.0.367}defun npRemainder}{199}{subsection.7.0.367}
\contentsline {subsection}{\numberline {7.0.368}defun npProduct}{200}{subsection.7.0.368}
\contentsline {subsection}{\numberline {7.0.369}defun npPower}{200}{subsection.7.0.369}
\contentsline {subsection}{\numberline {7.0.370}defun npAmpersandFrom}{200}{subsection.7.0.370}
\contentsline {subsection}{\numberline {7.0.371}defun npFromdom}{200}{subsection.7.0.371}
\contentsline {subsection}{\numberline {7.0.372}defun npFromdom1}{201}{subsection.7.0.372}
\contentsline {subsection}{\numberline {7.0.373}defun npAmpersand}{202}{subsection.7.0.373}
\contentsline {subsection}{\numberline {7.0.374}defun npName}{202}{subsection.7.0.374}
\contentsline {subsection}{\numberline {7.0.375}defvar \${npPParg}}{202}{subsection.7.0.375}
\contentsline {subsection}{\numberline {7.0.376}defun npId}{202}{subsection.7.0.376}
\contentsline {subsection}{\numberline {7.0.377}defun npSymbolVariable}{203}{subsection.7.0.377}
\contentsline {subsection}{\numberline {7.0.378}defun npRightAssoc}{204}{subsection.7.0.378}
\contentsline {subsection}{\numberline {7.0.379}defun p o p o p o p = (((p o p) o p) o p)}{204}{subsection.7.0.379}
\contentsline {subsection}{\numberline {7.0.380}defun npInfGeneric}{205}{subsection.7.0.380}
\contentsline {subsection}{\numberline {7.0.381}defun npDDInfKey}{206}{subsection.7.0.381}
\contentsline {subsection}{\numberline {7.0.382}defun npInfKey}{206}{subsection.7.0.382}
\contentsline {subsection}{\numberline {7.0.383}defun npPushId}{207}{subsection.7.0.383}
\contentsline {subsection}{\numberline {7.0.384}defvar \${npPParg}}{207}{subsection.7.0.384}
\contentsline {subsection}{\numberline {7.0.385}defun npPP}{207}{subsection.7.0.385}
\contentsline {subsection}{\numberline {7.0.386}defun npPPff}{208}{subsection.7.0.386}
\contentsline {subsection}{\numberline {7.0.387}defun npPPg}{208}{subsection.7.0.387}
\contentsline {subsection}{\numberline {7.0.388}defun npPPf}{209}{subsection.7.0.388}
\contentsline {subsection}{\numberline {7.0.389}defun npEnclosed}{209}{subsection.7.0.389}
\contentsline {subsection}{\numberline {7.0.390}defun npState}{210}{subsection.7.0.390}
\contentsline {subsection}{\numberline {7.0.391}defun npTrap}{210}{subsection.7.0.391}
\contentsline {subsection}{\numberline {7.0.392}defun npTrapForm}{210}{subsection.7.0.392}
\contentsline {subsection}{\numberline {7.0.393}defun npVariable}{211}{subsection.7.0.393}
\contentsline {subsection}{\numberline {7.0.394}defun npVariablelist}{211}{subsection.7.0.394}
\contentsline {subsection}{\numberline {7.0.395}defun npVariableName}{211}{subsection.7.0.395}
\contentsline {subsection}{\numberline {7.0.396}defun npDecl}{212}{subsection.7.0.396}
\contentsline {subsection}{\numberline {7.0.397}defun npParenthesized}{212}{subsection.7.0.397}
\contentsline {subsection}{\numberline {7.0.398}defun npParenthesize}{213}{subsection.7.0.398}
\contentsline {subsection}{\numberline {7.0.399}defun npMissingMate}{213}{subsection.7.0.399}
\contentsline {subsection}{\numberline {7.0.400}defun npExit}{213}{subsection.7.0.400}
\contentsline {subsection}{\numberline {7.0.401}defun npPileExit}{214}{subsection.7.0.401}
\contentsline {subsection}{\numberline {7.0.402}defun npAssign}{214}{subsection.7.0.402}
\contentsline {subsection}{\numberline {7.0.403}defun npAssignment}{215}{subsection.7.0.403}
\contentsline {subsection}{\numberline {7.0.404}defun npAssignVariable}{215}{subsection.7.0.404}
\contentsline {subsection}{\numberline {7.0.405}defun npColon}{215}{subsection.7.0.405}
\contentsline {subsection}{\numberline {7.0.406}defun npTagged}{216}{subsection.7.0.406}
\contentsline {subsection}{\numberline {7.0.407}defun npTypedForm1}{216}{subsection.7.0.407}
\contentsline {subsection}{\numberline {7.0.408}defun npTypified}{216}{subsection.7.0.408}
\contentsline {subsection}{\numberline {7.0.409}defun npTypeStyle}{217}{subsection.7.0.409}
\contentsline {subsection}{\numberline {7.0.410}defun npPretend}{217}{subsection.7.0.410}
\contentsline {subsection}{\numberline {7.0.411}defun npColonQuery}{217}{subsection.7.0.411}
\contentsline {subsection}{\numberline {7.0.412}defun npCoerceTo}{218}{subsection.7.0.412}
\contentsline {subsection}{\numberline {7.0.413}defun npTypedForm}{218}{subsection.7.0.413}
\contentsline {subsection}{\numberline {7.0.414}defun npRestrict}{218}{subsection.7.0.414}
\contentsline {subsection}{\numberline {7.0.415}defun npListofFun}{219}{subsection.7.0.415}
\contentsline {section}{\numberline {7.1}Macro handling}{219}{section.7.1}
\contentsline {subsection}{\numberline {7.1.1}defun phMacro}{219}{subsection.7.1.1}
\contentsline {subsection}{\numberline {7.1.2}defun macroExpanded}{220}{subsection.7.1.2}
\contentsline {subsection}{\numberline {7.1.3}defun macExpand}{220}{subsection.7.1.3}
\contentsline {subsection}{\numberline {7.1.4}defun macApplication}{221}{subsection.7.1.4}
\contentsline {subsection}{\numberline {7.1.5}defun mac0MLambdaApply}{221}{subsection.7.1.5}
\contentsline {subsection}{\numberline {7.1.6}defun mac0ExpandBody}{222}{subsection.7.1.6}
\contentsline {subsection}{\numberline {7.1.7}defun mac0InfiniteExpansion}{223}{subsection.7.1.7}
\contentsline {subsection}{\numberline {7.1.8}defun mac0InfiniteExpansion,name}{224}{subsection.7.1.8}
\contentsline {subsection}{\numberline {7.1.9}defun mac0GetName}{224}{subsection.7.1.9}
\contentsline {subsection}{\numberline {7.1.10}defun macId}{225}{subsection.7.1.10}
\contentsline {subsection}{\numberline {7.1.11}defun mac0Get}{226}{subsection.7.1.11}
\contentsline {subsection}{\numberline {7.1.12}defun macWhere}{226}{subsection.7.1.12}
\contentsline {subsection}{\numberline {7.1.13}defun macWhere,mac}{226}{subsection.7.1.13}
\contentsline {subsection}{\numberline {7.1.14}defun macLambda}{226}{subsection.7.1.14}
\contentsline {subsection}{\numberline {7.1.15}defun macLambda,mac}{227}{subsection.7.1.15}
\contentsline {subsection}{\numberline {7.1.16}defun Add appropriate definition the a Macro pform}{227}{subsection.7.1.16}
\contentsline {subsection}{\numberline {7.1.17}defun Add a macro to the global pfMacros list}{228}{subsection.7.1.17}
\contentsline {subsection}{\numberline {7.1.18}defun macSubstituteOuter}{228}{subsection.7.1.18}
\contentsline {subsection}{\numberline {7.1.19}defun mac0SubstituteOuter}{229}{subsection.7.1.19}
\contentsline {subsection}{\numberline {7.1.20}defun macLambdaParameterHandling}{229}{subsection.7.1.20}
\contentsline {subsection}{\numberline {7.1.21}defun macSubstituteId}{230}{subsection.7.1.21}
\contentsline {chapter}{\numberline {8}Pftrees}{231}{chapter.8}
\contentsline {section}{\numberline {8.1}Abstract Syntax Trees Overview}{231}{section.8.1}
\contentsline {section}{\numberline {8.2}Structure handlers}{233}{section.8.2}
\contentsline {subsection}{\numberline {8.2.1}defun pfGlobalLinePosn}{233}{subsection.8.2.1}
\contentsline {subsection}{\numberline {8.2.2}defun pfCharPosn}{233}{subsection.8.2.2}
\contentsline {subsection}{\numberline {8.2.3}defun pfLinePosn}{233}{subsection.8.2.3}
\contentsline {subsection}{\numberline {8.2.4}defun pfFileName}{234}{subsection.8.2.4}
\contentsline {subsection}{\numberline {8.2.5}defun pfCopyWithPos}{234}{subsection.8.2.5}
\contentsline {subsection}{\numberline {8.2.6}defun pfMapParts}{234}{subsection.8.2.6}
\contentsline {subsection}{\numberline {8.2.7}defun pf0ApplicationArgs}{235}{subsection.8.2.7}
\contentsline {subsection}{\numberline {8.2.8}defun pf0FlattenSyntacticTuple}{235}{subsection.8.2.8}
\contentsline {subsection}{\numberline {8.2.9}defun pfSourcePosition}{236}{subsection.8.2.9}
\contentsline {subsection}{\numberline {8.2.10}defun Convert a Sequence node to a list}{236}{subsection.8.2.10}
\contentsline {subsection}{\numberline {8.2.11}defun pfSpread}{237}{subsection.8.2.11}
\contentsline {subsection}{\numberline {8.2.12}defun Deconstruct nodes to lists}{237}{subsection.8.2.12}
\contentsline {subsection}{\numberline {8.2.13}defun pfCheckMacroOut}{238}{subsection.8.2.13}
\contentsline {subsection}{\numberline {8.2.14}defun pfCheckArg}{239}{subsection.8.2.14}
\contentsline {subsection}{\numberline {8.2.15}defun pfCheckId}{239}{subsection.8.2.15}
\contentsline {subsection}{\numberline {8.2.16}defun pfFlattenApp}{239}{subsection.8.2.16}
\contentsline {subsection}{\numberline {8.2.17}defun pfCollect1?}{240}{subsection.8.2.17}
\contentsline {subsection}{\numberline {8.2.18}defun pfCollectVariable1}{240}{subsection.8.2.18}
\contentsline {subsection}{\numberline {8.2.19}defun pfPushMacroBody}{241}{subsection.8.2.19}
\contentsline {subsection}{\numberline {8.2.20}defun pfSourceStok}{241}{subsection.8.2.20}
\contentsline {subsection}{\numberline {8.2.21}defun pfTransformArg}{242}{subsection.8.2.21}
\contentsline {subsection}{\numberline {8.2.22}defun pfTaggedToTyped1}{242}{subsection.8.2.22}
\contentsline {subsection}{\numberline {8.2.23}defun pfSuch}{242}{subsection.8.2.23}
\contentsline {section}{\numberline {8.3}Special Nodes}{243}{section.8.3}
\contentsline {subsection}{\numberline {8.3.1}defun Create a Listof node}{243}{subsection.8.3.1}
\contentsline {subsection}{\numberline {8.3.2}defun pfNothing}{243}{subsection.8.3.2}
\contentsline {subsection}{\numberline {8.3.3}defun Is this a Nothing node?}{243}{subsection.8.3.3}
\contentsline {section}{\numberline {8.4}Leaves}{244}{section.8.4}
\contentsline {subsection}{\numberline {8.4.1}defun Create a Document node}{244}{subsection.8.4.1}
\contentsline {subsection}{\numberline {8.4.2}defun Construct an Id node}{244}{subsection.8.4.2}
\contentsline {subsection}{\numberline {8.4.3}defun Is this an Id node?}{244}{subsection.8.4.3}
\contentsline {subsection}{\numberline {8.4.4}defun Construct an Id leaf node}{244}{subsection.8.4.4}
\contentsline {subsection}{\numberline {8.4.5}defun Return the Id part}{245}{subsection.8.4.5}
\contentsline {subsection}{\numberline {8.4.6}defun Construct a Leaf node}{245}{subsection.8.4.6}
\contentsline {subsection}{\numberline {8.4.7}defun Is this a leaf node?}{245}{subsection.8.4.7}
\contentsline {subsection}{\numberline {8.4.8}defun Return the token position of a leaf node}{246}{subsection.8.4.8}
\contentsline {subsection}{\numberline {8.4.9}defun Return the Leaf Token}{246}{subsection.8.4.9}
\contentsline {subsection}{\numberline {8.4.10}defun Is this a Literal node?}{246}{subsection.8.4.10}
\contentsline {subsection}{\numberline {8.4.11}defun Create a LiteralClass node}{246}{subsection.8.4.11}
\contentsline {subsection}{\numberline {8.4.12}defun Return the LiteralString}{247}{subsection.8.4.12}
\contentsline {subsection}{\numberline {8.4.13}defun Return the parts of a tree node}{247}{subsection.8.4.13}
\contentsline {subsection}{\numberline {8.4.14}defun Return the argument unchanged}{247}{subsection.8.4.14}
\contentsline {subsection}{\numberline {8.4.15}defun pfPushBody}{247}{subsection.8.4.15}
\contentsline {subsection}{\numberline {8.4.16}defun An S-expression which people can read.}{248}{subsection.8.4.16}
\contentsline {subsection}{\numberline {8.4.17}defun Create a human readable S-expression}{248}{subsection.8.4.17}
\contentsline {subsection}{\numberline {8.4.18}defun Construct a Symbol or Expression node}{249}{subsection.8.4.18}
\contentsline {subsection}{\numberline {8.4.19}defun Construct a Symbol leaf node}{249}{subsection.8.4.19}
\contentsline {subsection}{\numberline {8.4.20}defun Is this a Symbol node?}{250}{subsection.8.4.20}
\contentsline {subsection}{\numberline {8.4.21}defun Return the Symbol part}{250}{subsection.8.4.21}
\contentsline {section}{\numberline {8.5}Trees}{250}{section.8.5}
\contentsline {subsection}{\numberline {8.5.1}defun Construct a tree node}{250}{subsection.8.5.1}
\contentsline {subsection}{\numberline {8.5.2}defun Construct an Add node}{250}{subsection.8.5.2}
\contentsline {subsection}{\numberline {8.5.3}defun Construct an And node}{251}{subsection.8.5.3}
\contentsline {subsection}{\numberline {8.5.4}defun pfAttribute}{251}{subsection.8.5.4}
\contentsline {subsection}{\numberline {8.5.5}defun Return an Application node}{251}{subsection.8.5.5}
\contentsline {subsection}{\numberline {8.5.6}defun Return the Arg part of an Application node}{252}{subsection.8.5.6}
\contentsline {subsection}{\numberline {8.5.7}defun Return the Op part of an Application node}{252}{subsection.8.5.7}
\contentsline {subsection}{\numberline {8.5.8}defun Is this an And node?}{252}{subsection.8.5.8}
\contentsline {subsection}{\numberline {8.5.9}defun Return the Left part of an And node}{252}{subsection.8.5.9}
\contentsline {subsection}{\numberline {8.5.10}defun Return the Right part of an And node}{253}{subsection.8.5.10}
\contentsline {subsection}{\numberline {8.5.11}defun Flatten a list of lists}{253}{subsection.8.5.11}
\contentsline {subsection}{\numberline {8.5.12}defun Is this an Application node?}{253}{subsection.8.5.12}
\contentsline {subsection}{\numberline {8.5.13}defun Create an Assign node}{253}{subsection.8.5.13}
\contentsline {subsection}{\numberline {8.5.14}defun Is this an Assign node?}{254}{subsection.8.5.14}
\contentsline {subsection}{\numberline {8.5.15}defun Return the parts of an LhsItem of an Assign node}{254}{subsection.8.5.15}
\contentsline {subsection}{\numberline {8.5.16}defun Return the LhsItem of an Assign node}{254}{subsection.8.5.16}
\contentsline {subsection}{\numberline {8.5.17}defun Return the RHS of an Assign node}{254}{subsection.8.5.17}
\contentsline {subsection}{\numberline {8.5.18}defun Construct an application node for a brace}{255}{subsection.8.5.18}
\contentsline {subsection}{\numberline {8.5.19}defun Construct an Application node for brace-bars}{255}{subsection.8.5.19}
\contentsline {subsection}{\numberline {8.5.20}defun Construct an Application node for a bracket}{255}{subsection.8.5.20}
\contentsline {subsection}{\numberline {8.5.21}defun Construct an Application node for bracket-bars}{255}{subsection.8.5.21}
\contentsline {subsection}{\numberline {8.5.22}defun Create a Break node}{256}{subsection.8.5.22}
\contentsline {subsection}{\numberline {8.5.23}defun Is this a Break node?}{256}{subsection.8.5.23}
\contentsline {subsection}{\numberline {8.5.24}defun Return the From part of a Break node}{256}{subsection.8.5.24}
\contentsline {subsection}{\numberline {8.5.25}defun Construct a Coerceto node}{257}{subsection.8.5.25}
\contentsline {subsection}{\numberline {8.5.26}defun Is this a CoerceTo node?}{257}{subsection.8.5.26}
\contentsline {subsection}{\numberline {8.5.27}defun Return the Expression part of a CoerceTo node}{257}{subsection.8.5.27}
\contentsline {subsection}{\numberline {8.5.28}defun Return the Type part of a CoerceTo node}{257}{subsection.8.5.28}
\contentsline {subsection}{\numberline {8.5.29}defun Return the Body of a Collect node}{258}{subsection.8.5.29}
\contentsline {subsection}{\numberline {8.5.30}defun Return the Iterators of a Collect node}{258}{subsection.8.5.30}
\contentsline {subsection}{\numberline {8.5.31}defun Create a Collect node}{258}{subsection.8.5.31}
\contentsline {subsection}{\numberline {8.5.32}defun Is this a Collect node?}{258}{subsection.8.5.32}
\contentsline {subsection}{\numberline {8.5.33}defun pfDefinition}{259}{subsection.8.5.33}
\contentsline {subsection}{\numberline {8.5.34}defun Return the Lhs of a Definition node}{259}{subsection.8.5.34}
\contentsline {subsection}{\numberline {8.5.35}defun Return the Rhs of a Definition node}{259}{subsection.8.5.35}
\contentsline {subsection}{\numberline {8.5.36}defun Is this a Definition node?}{259}{subsection.8.5.36}
\contentsline {subsection}{\numberline {8.5.37}defun Return the parts of a Definition node}{260}{subsection.8.5.37}
\contentsline {subsection}{\numberline {8.5.38}defun Create a Do node}{260}{subsection.8.5.38}
\contentsline {subsection}{\numberline {8.5.39}defun Is this a Do node?}{260}{subsection.8.5.39}
\contentsline {subsection}{\numberline {8.5.40}defun Return the Body of a Do node}{260}{subsection.8.5.40}
\contentsline {subsection}{\numberline {8.5.41}defun Construct a Sequence node}{261}{subsection.8.5.41}
\contentsline {subsection}{\numberline {8.5.42}defun Construct an Exit node}{261}{subsection.8.5.42}
\contentsline {subsection}{\numberline {8.5.43}defun Is this an Exit node?}{261}{subsection.8.5.43}
\contentsline {subsection}{\numberline {8.5.44}defun Return the Cond part of an Exit}{261}{subsection.8.5.44}
\contentsline {subsection}{\numberline {8.5.45}defun Return the Expression part of an Exit}{262}{subsection.8.5.45}
\contentsline {subsection}{\numberline {8.5.46}defun Create an Export node}{262}{subsection.8.5.46}
\contentsline {subsection}{\numberline {8.5.47}defun Construct an Expression leaf node}{262}{subsection.8.5.47}
\contentsline {subsection}{\numberline {8.5.48}defun pfFirst}{262}{subsection.8.5.48}
\contentsline {subsection}{\numberline {8.5.49}defun Create an Application Fix node}{263}{subsection.8.5.49}
\contentsline {subsection}{\numberline {8.5.50}defun Create a Free node}{263}{subsection.8.5.50}
\contentsline {subsection}{\numberline {8.5.51}defun Is this a Free node?}{263}{subsection.8.5.51}
\contentsline {subsection}{\numberline {8.5.52}defun Return the parts of the Items of a Free node}{264}{subsection.8.5.52}
\contentsline {subsection}{\numberline {8.5.53}defun Return the Items of a Free node}{264}{subsection.8.5.53}
\contentsline {subsection}{\numberline {8.5.54}defun Construct a Forin node}{264}{subsection.8.5.54}
\contentsline {subsection}{\numberline {8.5.55}defun Is this a ForIn node?}{264}{subsection.8.5.55}
\contentsline {subsection}{\numberline {8.5.56}defun Return all the parts of the LHS of a ForIn node}{265}{subsection.8.5.56}
\contentsline {subsection}{\numberline {8.5.57}defun Return the LHS part of a ForIn node}{265}{subsection.8.5.57}
\contentsline {subsection}{\numberline {8.5.58}defun Return the Whole part of a ForIn node}{265}{subsection.8.5.58}
\contentsline {subsection}{\numberline {8.5.59}defun pfFromDom}{265}{subsection.8.5.59}
\contentsline {subsection}{\numberline {8.5.60}defun Construct a Fromdom node}{266}{subsection.8.5.60}
\contentsline {subsection}{\numberline {8.5.61}defun Is this a Fromdom mode?}{266}{subsection.8.5.61}
\contentsline {subsection}{\numberline {8.5.62}defun Return the What part of a Fromdom node}{266}{subsection.8.5.62}
\contentsline {subsection}{\numberline {8.5.63}defun Return the Domain part of a Fromdom node}{267}{subsection.8.5.63}
\contentsline {subsection}{\numberline {8.5.64}defun Construct a Hide node}{267}{subsection.8.5.64}
\contentsline {subsection}{\numberline {8.5.65}defun pfIf}{267}{subsection.8.5.65}
\contentsline {subsection}{\numberline {8.5.66}defun Is this an If node?}{267}{subsection.8.5.66}
\contentsline {subsection}{\numberline {8.5.67}defun Return the Cond part of an If}{268}{subsection.8.5.67}
\contentsline {subsection}{\numberline {8.5.68}defun Return the Then part of an If}{268}{subsection.8.5.68}
\contentsline {subsection}{\numberline {8.5.69}defun pfIfThenOnly}{268}{subsection.8.5.69}
\contentsline {subsection}{\numberline {8.5.70}defun Return the Else part of an If}{268}{subsection.8.5.70}
\contentsline {subsection}{\numberline {8.5.71}defun Construct an Import node}{269}{subsection.8.5.71}
\contentsline {subsection}{\numberline {8.5.72}defun Construct an Iterate node}{269}{subsection.8.5.72}
\contentsline {subsection}{\numberline {8.5.73}defun Is this an Iterate node?}{269}{subsection.8.5.73}
\contentsline {subsection}{\numberline {8.5.74}defun Handle an infix application}{269}{subsection.8.5.74}
\contentsline {subsection}{\numberline {8.5.75}defun Create an Inline node}{270}{subsection.8.5.75}
\contentsline {subsection}{\numberline {8.5.76}defun pfLam}{270}{subsection.8.5.76}
\contentsline {subsection}{\numberline {8.5.77}defun pfLambda}{271}{subsection.8.5.77}
\contentsline {subsection}{\numberline {8.5.78}defun Return the Body part of a Lambda node}{271}{subsection.8.5.78}
\contentsline {subsection}{\numberline {8.5.79}defun Return the Rets part of a Lambda node}{271}{subsection.8.5.79}
\contentsline {subsection}{\numberline {8.5.80}defun Is this a Lambda node?}{271}{subsection.8.5.80}
\contentsline {subsection}{\numberline {8.5.81}defun Return the Args part of a Lambda node}{272}{subsection.8.5.81}
\contentsline {subsection}{\numberline {8.5.82}defun Return the Args of a Lambda Node}{272}{subsection.8.5.82}
\contentsline {subsection}{\numberline {8.5.83}defun Construct a Local node}{272}{subsection.8.5.83}
\contentsline {subsection}{\numberline {8.5.84}defun Is this a Local node?}{272}{subsection.8.5.84}
\contentsline {subsection}{\numberline {8.5.85}defun Return the parts of Items of a Local node}{273}{subsection.8.5.85}
\contentsline {subsection}{\numberline {8.5.86}defun Return the Items of a Local node}{273}{subsection.8.5.86}
\contentsline {subsection}{\numberline {8.5.87}defun Construct a Loop node}{273}{subsection.8.5.87}
\contentsline {subsection}{\numberline {8.5.88}defun pfLoop1}{273}{subsection.8.5.88}
\contentsline {subsection}{\numberline {8.5.89}defun Is this a Loop node?}{274}{subsection.8.5.89}
\contentsline {subsection}{\numberline {8.5.90}defun Return the Iterators of a Loop node}{274}{subsection.8.5.90}
\contentsline {subsection}{\numberline {8.5.91}defun pf0LoopIterators}{274}{subsection.8.5.91}
\contentsline {subsection}{\numberline {8.5.92}defun pfLp}{274}{subsection.8.5.92}
\contentsline {subsection}{\numberline {8.5.93}defun Create a Macro node}{275}{subsection.8.5.93}
\contentsline {subsection}{\numberline {8.5.94}defun Is this a Macro node?}{275}{subsection.8.5.94}
\contentsline {subsection}{\numberline {8.5.95}defun Return the Lhs of a Macro node}{275}{subsection.8.5.95}
\contentsline {subsection}{\numberline {8.5.96}defun Return the Rhs of a Macro node}{275}{subsection.8.5.96}
\contentsline {subsection}{\numberline {8.5.97}defun Construct an MLambda node}{276}{subsection.8.5.97}
\contentsline {subsection}{\numberline {8.5.98}defun Is this an MLambda node?}{276}{subsection.8.5.98}
\contentsline {subsection}{\numberline {8.5.99}defun Return the Args of an MLambda}{276}{subsection.8.5.99}
\contentsline {subsection}{\numberline {8.5.100}defun Return the parts of an MLambda argument}{276}{subsection.8.5.100}
\contentsline {subsection}{\numberline {8.5.101}defun pfMLambdaBody}{277}{subsection.8.5.101}
\contentsline {subsection}{\numberline {8.5.102}defun Is this a Not node?}{277}{subsection.8.5.102}
\contentsline {subsection}{\numberline {8.5.103}defun Return the Arg part of a Not node}{277}{subsection.8.5.103}
\contentsline {subsection}{\numberline {8.5.104}defun Construct a NoValue node}{277}{subsection.8.5.104}
\contentsline {subsection}{\numberline {8.5.105}defun Is this a Novalue node?}{278}{subsection.8.5.105}
\contentsline {subsection}{\numberline {8.5.106}defun Return the Expr part of a Novalue node}{278}{subsection.8.5.106}
\contentsline {subsection}{\numberline {8.5.107}defun Construct an Or node}{278}{subsection.8.5.107}
\contentsline {subsection}{\numberline {8.5.108}defun Is this an Or node?}{278}{subsection.8.5.108}
\contentsline {subsection}{\numberline {8.5.109}defun Return the Left part of an Or node}{279}{subsection.8.5.109}
\contentsline {subsection}{\numberline {8.5.110}defun Return the Right part of an Or node}{279}{subsection.8.5.110}
\contentsline {subsection}{\numberline {8.5.111}defun Return the part of a parenthesised expression}{279}{subsection.8.5.111}
\contentsline {subsection}{\numberline {8.5.112}defun pfPretend}{279}{subsection.8.5.112}
\contentsline {subsection}{\numberline {8.5.113}defun Is this a Pretend node?}{280}{subsection.8.5.113}
\contentsline {subsection}{\numberline {8.5.114}defun Return the Expression part of a Pretend node}{280}{subsection.8.5.114}
\contentsline {subsection}{\numberline {8.5.115}defun Return the Type part of a Pretend node}{280}{subsection.8.5.115}
\contentsline {subsection}{\numberline {8.5.116}defun Construct a QualType node}{280}{subsection.8.5.116}
\contentsline {subsection}{\numberline {8.5.117}defun Construct a Restrict node}{281}{subsection.8.5.117}
\contentsline {subsection}{\numberline {8.5.118}defun Is this a Restrict node?}{281}{subsection.8.5.118}
\contentsline {subsection}{\numberline {8.5.119}defun Return the Expr part of a Restrict node}{281}{subsection.8.5.119}
\contentsline {subsection}{\numberline {8.5.120}defun Return the Type part of a Restrict node}{281}{subsection.8.5.120}
\contentsline {subsection}{\numberline {8.5.121}defun Construct a RetractTo node}{282}{subsection.8.5.121}
\contentsline {subsection}{\numberline {8.5.122}defun Construct a Return node}{282}{subsection.8.5.122}
\contentsline {subsection}{\numberline {8.5.123}defun Is this a Return node?}{282}{subsection.8.5.123}
\contentsline {subsection}{\numberline {8.5.124}defun Return the Expr part of a Return node}{282}{subsection.8.5.124}
\contentsline {subsection}{\numberline {8.5.125}defun pfReturnNoName}{283}{subsection.8.5.125}
\contentsline {subsection}{\numberline {8.5.126}defun Construct a ReturnTyped node}{283}{subsection.8.5.126}
\contentsline {subsection}{\numberline {8.5.127}defun Construct a Rule node}{283}{subsection.8.5.127}
\contentsline {subsection}{\numberline {8.5.128}defun Return the Lhs of a Rule node}{284}{subsection.8.5.128}
\contentsline {subsection}{\numberline {8.5.129}defun Return the Rhs of a Rule node}{284}{subsection.8.5.129}
\contentsline {subsection}{\numberline {8.5.130}defun Is this a Rule node?}{284}{subsection.8.5.130}
\contentsline {subsection}{\numberline {8.5.131}defun pfSecond}{284}{subsection.8.5.131}
\contentsline {subsection}{\numberline {8.5.132}defun Construct a Sequence node}{285}{subsection.8.5.132}
\contentsline {subsection}{\numberline {8.5.133}defun Return the Args of a Sequence node}{285}{subsection.8.5.133}
\contentsline {subsection}{\numberline {8.5.134}defun Is this a Sequence node?}{285}{subsection.8.5.134}
\contentsline {subsection}{\numberline {8.5.135}defun Return the parts of the Args of a Sequence node}{285}{subsection.8.5.135}
\contentsline {subsection}{\numberline {8.5.136}defun Create a Suchthat node}{286}{subsection.8.5.136}
\contentsline {subsection}{\numberline {8.5.137}defun Is this a SuchThat node?}{286}{subsection.8.5.137}
\contentsline {subsection}{\numberline {8.5.138}defun Return the Cond part of a SuchThat node}{286}{subsection.8.5.138}
\contentsline {subsection}{\numberline {8.5.139}defun Create a Tagged node}{286}{subsection.8.5.139}
\contentsline {subsection}{\numberline {8.5.140}defun Is this a Tagged node?}{287}{subsection.8.5.140}
\contentsline {subsection}{\numberline {8.5.141}defun Return the Expression portion of a Tagged node}{287}{subsection.8.5.141}
\contentsline {subsection}{\numberline {8.5.142}defun Return the Tag of a Tagged node}{287}{subsection.8.5.142}
\contentsline {subsection}{\numberline {8.5.143}defun pfTaggedToTyped}{287}{subsection.8.5.143}
\contentsline {subsection}{\numberline {8.5.144}defun pfTweakIf}{288}{subsection.8.5.144}
\contentsline {subsection}{\numberline {8.5.145}defun Construct a Typed node}{288}{subsection.8.5.145}
\contentsline {subsection}{\numberline {8.5.146}defun Is this a Typed node?}{289}{subsection.8.5.146}
\contentsline {subsection}{\numberline {8.5.147}defun Return the Type of a Typed node}{289}{subsection.8.5.147}
\contentsline {subsection}{\numberline {8.5.148}defun Return the Id of a Typed node}{289}{subsection.8.5.148}
\contentsline {subsection}{\numberline {8.5.149}defun Construct a Typing node}{289}{subsection.8.5.149}
\contentsline {subsection}{\numberline {8.5.150}defun Return a Tuple node}{290}{subsection.8.5.150}
\contentsline {subsection}{\numberline {8.5.151}defun Return a Tuple from a List}{290}{subsection.8.5.151}
\contentsline {subsection}{\numberline {8.5.152}defun Is this a Tuple node?}{290}{subsection.8.5.152}
\contentsline {subsection}{\numberline {8.5.153}defun Return the Parts of a Tuple node}{291}{subsection.8.5.153}
\contentsline {subsection}{\numberline {8.5.154}defun Return the parts of a Tuple}{291}{subsection.8.5.154}
\contentsline {subsection}{\numberline {8.5.155}defun Return a list from a Sequence node}{291}{subsection.8.5.155}
\contentsline {subsection}{\numberline {8.5.156}defun The comment is attached to all signatutres}{291}{subsection.8.5.156}
\contentsline {subsection}{\numberline {8.5.157}defun Construct a WDeclare node}{292}{subsection.8.5.157}
\contentsline {subsection}{\numberline {8.5.158}defun Construct a Where node}{292}{subsection.8.5.158}
\contentsline {subsection}{\numberline {8.5.159}defun Is this a Where node?}{292}{subsection.8.5.159}
\contentsline {subsection}{\numberline {8.5.160}defun Return the parts of the Context of a Where node}{293}{subsection.8.5.160}
\contentsline {subsection}{\numberline {8.5.161}defun Return the Context of a Where node}{293}{subsection.8.5.161}
\contentsline {subsection}{\numberline {8.5.162}defun Return the Expr part of a Where node}{293}{subsection.8.5.162}
\contentsline {subsection}{\numberline {8.5.163}defun Construct a While node}{293}{subsection.8.5.163}
\contentsline {subsection}{\numberline {8.5.164}defun Is this a While node?}{294}{subsection.8.5.164}
\contentsline {subsection}{\numberline {8.5.165}defun Return the Cond part of a While node}{294}{subsection.8.5.165}
\contentsline {subsection}{\numberline {8.5.166}defun Construct a With node}{294}{subsection.8.5.166}
\contentsline {subsection}{\numberline {8.5.167}defun Create a Wrong node}{294}{subsection.8.5.167}
\contentsline {subsection}{\numberline {8.5.168}defun Is this a Wrong node?}{295}{subsection.8.5.168}
\contentsline {chapter}{\numberline {9}Pftree to s-expression translation}{297}{chapter.9}
\contentsline {subsection}{\numberline {9.0.169}defun Pftree to s-expression translation}{297}{subsection.9.0.169}
\contentsline {subsection}{\numberline {9.0.170}defun Pftree to s-expression translation inner function}{298}{subsection.9.0.170}
\contentsline {subsection}{\numberline {9.0.171}defun Convert a Literal to an S-expression}{302}{subsection.9.0.171}
\contentsline {subsection}{\numberline {9.0.172}defun Convert a float to an S-expression}{303}{subsection.9.0.172}
\contentsline {subsection}{\numberline {9.0.173}defun Change an Application node to an S-expression}{303}{subsection.9.0.173}
\contentsline {subsection}{\numberline {9.0.174}defun Convert a SuchThat node to an S-expression}{305}{subsection.9.0.174}
\contentsline {subsection}{\numberline {9.0.175}defun pfOp2Sex}{306}{subsection.9.0.175}
\contentsline {subsection}{\numberline {9.0.176}defun pmDontQuote?}{307}{subsection.9.0.176}
\contentsline {subsection}{\numberline {9.0.177}defun hasOptArgs?}{307}{subsection.9.0.177}
\contentsline {subsection}{\numberline {9.0.178}defun Convert a Sequence node to an S-expression}{308}{subsection.9.0.178}
\contentsline {subsection}{\numberline {9.0.179}defun pfSequence2Sex0}{308}{subsection.9.0.179}
\contentsline {subsection}{\numberline {9.0.180}defun Convert a loop node to an S-expression}{309}{subsection.9.0.180}
\contentsline {subsection}{\numberline {9.0.181}defun Change a Collect node to an S-expression}{312}{subsection.9.0.181}
\contentsline {subsection}{\numberline {9.0.182}defun Convert a Definition node to an S-expression}{313}{subsection.9.0.182}
\contentsline {subsection}{\numberline {9.0.183}defun Convert a Lambda node to an S-expression}{314}{subsection.9.0.183}
\contentsline {subsection}{\numberline {9.0.184}defun pfCollectArgTran}{315}{subsection.9.0.184}
\contentsline {subsection}{\numberline {9.0.185}defun Convert a Lambda node to an S-expression}{315}{subsection.9.0.185}
\contentsline {subsection}{\numberline {9.0.186}defun Convert a Rule node to an S-expression}{316}{subsection.9.0.186}
\contentsline {subsection}{\numberline {9.0.187}defun Convert the Lhs of a Rule to an S-expression}{316}{subsection.9.0.187}
\contentsline {subsection}{\numberline {9.0.188}defun Convert the Rhs of a Rule to an S-expression}{317}{subsection.9.0.188}
\contentsline {subsection}{\numberline {9.0.189}defun Convert a Rule predicate to an S-expression}{317}{subsection.9.0.189}
\contentsline {subsection}{\numberline {9.0.190}defun patternVarsOf}{319}{subsection.9.0.190}
\contentsline {subsection}{\numberline {9.0.191}defun patternVarsOf1}{319}{subsection.9.0.191}
\contentsline {subsection}{\numberline {9.0.192}defun pvarPredTran}{320}{subsection.9.0.192}
\contentsline {subsection}{\numberline {9.0.193}defun Convert the Lhs of a Rule node to an S-expression}{320}{subsection.9.0.193}
\contentsline {subsection}{\numberline {9.0.194}defvar \${dotdot}}{321}{subsection.9.0.194}
\contentsline {subsection}{\numberline {9.0.195}defun Translate ops into internal symbols}{321}{subsection.9.0.195}
\contentsline {chapter}{\numberline {10}Keyed Message Handling}{323}{chapter.10}
\contentsline {subsection}{\numberline {10.0.196}defvar \${cacheMessages}}{324}{subsection.10.0.196}
\contentsline {subsection}{\numberline {10.0.197}defvar \${msgAlist}}{324}{subsection.10.0.197}
\contentsline {subsection}{\numberline {10.0.198}defvar \${msgDatabaseName}}{324}{subsection.10.0.198}
\contentsline {subsection}{\numberline {10.0.199}defvar \${testingErrorPrefix}}{325}{subsection.10.0.199}
\contentsline {subsection}{\numberline {10.0.200}defvar \${texFormatting}}{325}{subsection.10.0.200}
\contentsline {subsection}{\numberline {10.0.201}defvar \${*msghash*}}{325}{subsection.10.0.201}
\contentsline {subsection}{\numberline {10.0.202}defvar \${msgdbPrims}}{325}{subsection.10.0.202}
\contentsline {subsection}{\numberline {10.0.203}defvar \${msgdbPunct}}{325}{subsection.10.0.203}
\contentsline {subsection}{\numberline {10.0.204}defvar \${msgdbNoBlanksBeforeGroup}}{326}{subsection.10.0.204}
\contentsline {subsection}{\numberline {10.0.205}defvar \${msgdbNoBlanksAfterGroup}}{326}{subsection.10.0.205}
\contentsline {subsection}{\numberline {10.0.206}defun Fetch a message from the message database}{326}{subsection.10.0.206}
\contentsline {subsection}{\numberline {10.0.207}defun Cache messages read from message database}{327}{subsection.10.0.207}
\contentsline {subsection}{\numberline {10.0.208}defun getKeyedMsg}{327}{subsection.10.0.208}
\contentsline {subsection}{\numberline {10.0.209}defun Say a message using a keyed lookup}{327}{subsection.10.0.209}
\contentsline {subsection}{\numberline {10.0.210}defun Handle msg formatting and print to file}{328}{subsection.10.0.210}
\contentsline {subsection}{\numberline {10.0.211}defun Break a message into words}{328}{subsection.10.0.211}
\contentsline {subsection}{\numberline {10.0.212}defun Write a msg into spadmsg.listing file}{329}{subsection.10.0.212}
\contentsline {subsection}{\numberline {10.0.213}defun sayMSG}{329}{subsection.10.0.213}
\contentsline {chapter}{\numberline {11}Stream Utilities}{331}{chapter.11}
\contentsline {subsection}{\numberline {11.0.214}defun npNull}{331}{subsection.11.0.214}
\contentsline {subsection}{\numberline {11.0.215}defun StreamNull}{331}{subsection.11.0.215}
\contentsline {chapter}{\numberline {12}Code Piles}{333}{chapter.12}
\contentsline {subsection}{\numberline {12.0.216}defun insertpile}{333}{subsection.12.0.216}
\contentsline {subsection}{\numberline {12.0.217}defun pilePlusComment}{334}{subsection.12.0.217}
\contentsline {subsection}{\numberline {12.0.218}defun pilePlusComments}{334}{subsection.12.0.218}
\contentsline {subsection}{\numberline {12.0.219}defun pileTree}{335}{subsection.12.0.219}
\contentsline {subsection}{\numberline {12.0.220}defun pileColumn}{335}{subsection.12.0.220}
\contentsline {subsection}{\numberline {12.0.221}defun pileForests}{335}{subsection.12.0.221}
\contentsline {subsection}{\numberline {12.0.222}defun pileForest}{336}{subsection.12.0.222}
\contentsline {subsection}{\numberline {12.0.223}defun pileForest1}{336}{subsection.12.0.223}
\contentsline {subsection}{\numberline {12.0.224}defun eqpileTree}{337}{subsection.12.0.224}
\contentsline {subsection}{\numberline {12.0.225}defun pileCtree}{338}{subsection.12.0.225}
\contentsline {subsection}{\numberline {12.0.226}defun pileCforest}{338}{subsection.12.0.226}
\contentsline {subsection}{\numberline {12.0.227}defun enPile}{338}{subsection.12.0.227}
\contentsline {subsection}{\numberline {12.0.228}defun firstTokPosn}{339}{subsection.12.0.228}
\contentsline {subsection}{\numberline {12.0.229}defun lastTokPosn}{339}{subsection.12.0.229}
\contentsline {subsection}{\numberline {12.0.230}defun separatePiles}{339}{subsection.12.0.230}
\contentsline {chapter}{\numberline {13}Dequeue Functions}{341}{chapter.13}
\contentsline {subsection}{\numberline {13.0.231}defun dqUnit}{341}{subsection.13.0.231}
\contentsline {subsection}{\numberline {13.0.232}defun dqConcat}{341}{subsection.13.0.232}
\contentsline {subsection}{\numberline {13.0.233}defun dqAppend}{342}{subsection.13.0.233}
\contentsline {subsection}{\numberline {13.0.234}defun dqToList}{342}{subsection.13.0.234}
\contentsline {chapter}{\numberline {14}Message Handling}{343}{chapter.14}
\contentsline {section}{\numberline {14.1}The Line Object}{343}{section.14.1}
\contentsline {subsection}{\numberline {14.1.1}defun Line object creation}{343}{subsection.14.1.1}
\contentsline {subsection}{\numberline {14.1.2}defun Line element 0; Extra blanks}{343}{subsection.14.1.2}
\contentsline {subsection}{\numberline {14.1.3}defun Line element 1; String}{343}{subsection.14.1.3}
\contentsline {subsection}{\numberline {14.1.4}defun Line element 2; Globlal number}{344}{subsection.14.1.4}
\contentsline {subsection}{\numberline {14.1.5}defun Line element 2; Set Global number}{344}{subsection.14.1.5}
\contentsline {subsection}{\numberline {14.1.6}defun Line elemnt 3; Local number}{344}{subsection.14.1.6}
\contentsline {subsection}{\numberline {14.1.7}defun Line element 4; Place of origin}{344}{subsection.14.1.7}
\contentsline {subsection}{\numberline {14.1.8}defun Line element 4: Is it a filename?}{345}{subsection.14.1.8}
\contentsline {subsection}{\numberline {14.1.9}defun Line element 4: Is it a filename?}{345}{subsection.14.1.9}
\contentsline {subsection}{\numberline {14.1.10}defun Line element 4; Get filename}{345}{subsection.14.1.10}
\contentsline {section}{\numberline {14.2}Messages}{345}{section.14.2}
\contentsline {subsection}{\numberline {14.2.1}defun msgCreate}{345}{subsection.14.2.1}
\contentsline {subsection}{\numberline {14.2.2}defun getMsgPosTagOb}{346}{subsection.14.2.2}
\contentsline {subsection}{\numberline {14.2.3}defun getMsgKey}{346}{subsection.14.2.3}
\contentsline {subsection}{\numberline {14.2.4}defun getMsgArgL}{347}{subsection.14.2.4}
\contentsline {subsection}{\numberline {14.2.5}defun getMsgPrefix}{347}{subsection.14.2.5}
\contentsline {subsection}{\numberline {14.2.6}defun setMsgPrefix}{347}{subsection.14.2.6}
\contentsline {subsection}{\numberline {14.2.7}defun getMsgText}{347}{subsection.14.2.7}
\contentsline {subsection}{\numberline {14.2.8}defun setMsgText}{347}{subsection.14.2.8}
\contentsline {subsection}{\numberline {14.2.9}defun getMsgPrefix?}{348}{subsection.14.2.9}
\contentsline {subsection}{\numberline {14.2.10}defun getMsgTag}{348}{subsection.14.2.10}
\contentsline {subsection}{\numberline {14.2.11}defun getMsgTag?}{348}{subsection.14.2.11}
\contentsline {subsection}{\numberline {14.2.12}defun line?}{349}{subsection.14.2.12}
\contentsline {subsection}{\numberline {14.2.13}defun leader?}{349}{subsection.14.2.13}
\contentsline {subsection}{\numberline {14.2.14}defun toScreen?}{349}{subsection.14.2.14}
\contentsline {subsection}{\numberline {14.2.15}defun ncSoftError}{349}{subsection.14.2.15}
\contentsline {subsection}{\numberline {14.2.16}defun ncHardError}{350}{subsection.14.2.16}
\contentsline {subsection}{\numberline {14.2.17}defun desiredMsg}{350}{subsection.14.2.17}
\contentsline {subsection}{\numberline {14.2.18}defun processKeyedError}{351}{subsection.14.2.18}
\contentsline {subsection}{\numberline {14.2.19}defun msgOutputter}{351}{subsection.14.2.19}
\contentsline {subsection}{\numberline {14.2.20}defun listOutputter}{352}{subsection.14.2.20}
\contentsline {subsection}{\numberline {14.2.21}defun getStFromMsg}{352}{subsection.14.2.21}
\contentsline {subsection}{\numberline {14.2.22}defvar \${preLength}}{353}{subsection.14.2.22}
\contentsline {subsection}{\numberline {14.2.23}defun getPreStL}{353}{subsection.14.2.23}
\contentsline {subsection}{\numberline {14.2.24}defun getPosStL}{354}{subsection.14.2.24}
\contentsline {subsection}{\numberline {14.2.25}defun ppos}{355}{subsection.14.2.25}
\contentsline {subsection}{\numberline {14.2.26}defun remFile}{355}{subsection.14.2.26}
\contentsline {subsection}{\numberline {14.2.27}defun showMsgPos?}{355}{subsection.14.2.27}
\contentsline {subsection}{\numberline {14.2.28}defvar \${imPrGuys}}{356}{subsection.14.2.28}
\contentsline {subsection}{\numberline {14.2.29}defun msgImPr?}{356}{subsection.14.2.29}
\contentsline {subsection}{\numberline {14.2.30}defun getMsgCatAttr}{356}{subsection.14.2.30}
\contentsline {subsection}{\numberline {14.2.31}defun getMsgPos}{357}{subsection.14.2.31}
\contentsline {subsection}{\numberline {14.2.32}defun getMsgFTTag?}{357}{subsection.14.2.32}
\contentsline {subsection}{\numberline {14.2.33}defun decideHowMuch}{357}{subsection.14.2.33}
\contentsline {subsection}{\numberline {14.2.34}defun poNopos?}{358}{subsection.14.2.34}
\contentsline {subsection}{\numberline {14.2.35}defun poPosImmediate?}{358}{subsection.14.2.35}
\contentsline {subsection}{\numberline {14.2.36}defun poFileName}{358}{subsection.14.2.36}
\contentsline {subsection}{\numberline {14.2.37}defun poGetLineObject}{359}{subsection.14.2.37}
\contentsline {subsection}{\numberline {14.2.38}defun poLinePosn}{359}{subsection.14.2.38}
\contentsline {subsection}{\numberline {14.2.39}defun listDecideHowMuch}{359}{subsection.14.2.39}
\contentsline {subsection}{\numberline {14.2.40}defun remLine}{360}{subsection.14.2.40}
\contentsline {subsection}{\numberline {14.2.41}defun getMsgKey?}{360}{subsection.14.2.41}
\contentsline {subsection}{\numberline {14.2.42}defun getMsgLitSym}{360}{subsection.14.2.42}
\contentsline {subsection}{\numberline {14.2.43}defun tabbing}{360}{subsection.14.2.43}
\contentsline {subsection}{\numberline {14.2.44}defvar \${toWhereGuys}}{361}{subsection.14.2.44}
\contentsline {subsection}{\numberline {14.2.45}defun getMsgToWhere}{361}{subsection.14.2.45}
\contentsline {subsection}{\numberline {14.2.46}defun toFile?}{361}{subsection.14.2.46}
\contentsline {subsection}{\numberline {14.2.47}defun alreadyOpened?}{361}{subsection.14.2.47}
\contentsline {subsection}{\numberline {14.2.48}defun setMsgForcedAttrList}{362}{subsection.14.2.48}
\contentsline {subsection}{\numberline {14.2.49}defun setMsgForcedAttr}{362}{subsection.14.2.49}
\contentsline {subsection}{\numberline {14.2.50}defvar \${attrCats}}{362}{subsection.14.2.50}
\contentsline {subsection}{\numberline {14.2.51}defun whichCat}{363}{subsection.14.2.51}
\contentsline {subsection}{\numberline {14.2.52}defun setMsgCatlessAttr}{363}{subsection.14.2.52}
\contentsline {subsection}{\numberline {14.2.53}defun putDatabaseStuff}{363}{subsection.14.2.53}
\contentsline {subsection}{\numberline {14.2.54}defun getMsgInfoFromKey}{364}{subsection.14.2.54}
\contentsline {subsection}{\numberline {14.2.55}defun setMsgUnforcedAttrList}{364}{subsection.14.2.55}
\contentsline {subsection}{\numberline {14.2.56}defun setMsgUnforcedAttr}{365}{subsection.14.2.56}
\contentsline {subsection}{\numberline {14.2.57}defvar \${imPrTagGuys}}{365}{subsection.14.2.57}
\contentsline {subsection}{\numberline {14.2.58}defun initImPr}{365}{subsection.14.2.58}
\contentsline {subsection}{\numberline {14.2.59}defun initToWhere}{366}{subsection.14.2.59}
\contentsline {subsection}{\numberline {14.2.60}defun ncBug}{366}{subsection.14.2.60}
\contentsline {subsection}{\numberline {14.2.61}defun processMsgList}{367}{subsection.14.2.61}
\contentsline {subsection}{\numberline {14.2.62}defun erMsgSort}{367}{subsection.14.2.62}
\contentsline {subsection}{\numberline {14.2.63}defun erMsgCompare}{368}{subsection.14.2.63}
\contentsline {subsection}{\numberline {14.2.64}defun compareposns}{368}{subsection.14.2.64}
\contentsline {subsection}{\numberline {14.2.65}defun erMsgSep}{368}{subsection.14.2.65}
\contentsline {subsection}{\numberline {14.2.66}defun makeMsgFromLine}{369}{subsection.14.2.66}
\contentsline {subsection}{\numberline {14.2.67}defun rep}{369}{subsection.14.2.67}
\contentsline {subsection}{\numberline {14.2.68}defun getLinePos}{370}{subsection.14.2.68}
\contentsline {subsection}{\numberline {14.2.69}defun getLineText}{370}{subsection.14.2.69}
\contentsline {subsection}{\numberline {14.2.70}defun queueUpErrors}{370}{subsection.14.2.70}
\contentsline {subsection}{\numberline {14.2.71}defun thisPosIsLess}{372}{subsection.14.2.71}
\contentsline {subsection}{\numberline {14.2.72}defun thisPosIsEqual}{372}{subsection.14.2.72}
\contentsline {subsection}{\numberline {14.2.73}defun redundant}{372}{subsection.14.2.73}
\contentsline {subsection}{\numberline {14.2.74}defvar \${repGuys}}{373}{subsection.14.2.74}
\contentsline {subsection}{\numberline {14.2.75}defun msgNoRep?}{373}{subsection.14.2.75}
\contentsline {subsection}{\numberline {14.2.76}defun sameMsg?}{374}{subsection.14.2.76}
\contentsline {subsection}{\numberline {14.2.77}defun processChPosesForOneLine}{374}{subsection.14.2.77}
\contentsline {subsection}{\numberline {14.2.78}defun poCharPosn}{375}{subsection.14.2.78}
\contentsline {subsection}{\numberline {14.2.79}defun makeLeaderMsg}{375}{subsection.14.2.79}
\contentsline {subsection}{\numberline {14.2.80}defun posPointers}{376}{subsection.14.2.80}
\contentsline {subsection}{\numberline {14.2.81}defun getMsgPos2}{376}{subsection.14.2.81}
\contentsline {subsection}{\numberline {14.2.82}defun insertPos}{377}{subsection.14.2.82}
\contentsline {subsection}{\numberline {14.2.83}defun putFTText}{377}{subsection.14.2.83}
\contentsline {subsection}{\numberline {14.2.84}defun From}{378}{subsection.14.2.84}
\contentsline {subsection}{\numberline {14.2.85}defun To}{378}{subsection.14.2.85}
\contentsline {subsection}{\numberline {14.2.86}defun FromTo}{378}{subsection.14.2.86}
\contentsline {chapter}{\numberline {15}The Interpreter Syntax}{381}{chapter.15}
\contentsline {section}{\numberline {15.1}syntax assignment}{381}{section.15.1}
\contentsline {section}{\numberline {15.2}syntax blocks}{384}{section.15.2}
\contentsline {section}{\numberline {15.3}system clef}{386}{section.15.3}
\contentsline {section}{\numberline {15.4}syntax collection}{387}{section.15.4}
\contentsline {section}{\numberline {15.5}syntax for}{389}{section.15.5}
\contentsline {section}{\numberline {15.6}syntax if}{393}{section.15.6}
\contentsline {section}{\numberline {15.7}syntax iterate}{395}{section.15.7}
\contentsline {section}{\numberline {15.8}syntax leave}{396}{section.15.8}
\contentsline {section}{\numberline {15.9}syntax parallel}{397}{section.15.9}
\contentsline {section}{\numberline {15.10}syntax repeat}{400}{section.15.10}
\contentsline {section}{\numberline {15.11}syntax suchthat}{404}{section.15.11}
\contentsline {section}{\numberline {15.12}syntax syntax}{405}{section.15.12}
\contentsline {section}{\numberline {15.13}syntax while}{405}{section.15.13}
\contentsline {chapter}{\numberline {16}Abstract Syntax Trees (ptrees)}{409}{chapter.16}
\contentsline {subsection}{\numberline {16.0.1}defun Construct a leaf token}{409}{subsection.16.0.1}
\contentsline {subsection}{\numberline {16.0.2}defun Return a part of a node}{410}{subsection.16.0.2}
\contentsline {subsection}{\numberline {16.0.3}defun Compare a part of a node}{410}{subsection.16.0.3}
\contentsline {subsection}{\numberline {16.0.4}defun pfNoPosition?}{410}{subsection.16.0.4}
\contentsline {subsection}{\numberline {16.0.5}defun poNoPosition?}{411}{subsection.16.0.5}
\contentsline {subsection}{\numberline {16.0.6}defun tokType}{411}{subsection.16.0.6}
\contentsline {subsection}{\numberline {16.0.7}defun tokPart}{411}{subsection.16.0.7}
\contentsline {subsection}{\numberline {16.0.8}defun tokPosn}{411}{subsection.16.0.8}
\contentsline {subsection}{\numberline {16.0.9}defun pfNoPosition}{412}{subsection.16.0.9}
\contentsline {subsection}{\numberline {16.0.10}defun poNoPosition}{412}{subsection.16.0.10}
\contentsline {chapter}{\numberline {17}Attributed Structures}{413}{chapter.17}
\contentsline {subsection}{\numberline {17.0.11}defun ncTag}{413}{subsection.17.0.11}
\contentsline {subsection}{\numberline {17.0.12}defun ncAlist}{413}{subsection.17.0.12}
\contentsline {subsection}{\numberline {17.0.13}defun ncEltQ}{414}{subsection.17.0.13}
\contentsline {subsection}{\numberline {17.0.14}defun ncPutQ}{414}{subsection.17.0.14}
\contentsline {chapter}{\numberline {18}Function Selection}{417}{chapter.18}
\contentsline {subsection}{\numberline {18.0.15}defun ofCategory}{417}{subsection.18.0.15}
\contentsline {subsection}{\numberline {18.0.16}defun isPartialMode}{418}{subsection.18.0.16}
\contentsline {subsection}{\numberline {18.0.17}defun hasCaty}{418}{subsection.18.0.17}
\contentsline {subsection}{\numberline {18.0.18}defun domArg}{420}{subsection.18.0.18}
\contentsline {subsection}{\numberline {18.0.19}defun domArg2}{420}{subsection.18.0.19}
\contentsline {subsection}{\numberline {18.0.20}defun hasSig}{421}{subsection.18.0.20}
\contentsline {subsection}{\numberline {18.0.21}defun hasAtt}{422}{subsection.18.0.21}
\contentsline {subsection}{\numberline {18.0.22}defun hasSigAnd}{423}{subsection.18.0.22}
\contentsline {subsection}{\numberline {18.0.23}defun hasSigOr}{424}{subsection.18.0.23}
\contentsline {subsection}{\numberline {18.0.24}defun hasAttSig}{424}{subsection.18.0.24}
\contentsline {subsection}{\numberline {18.0.25}defun hasCate1}{425}{subsection.18.0.25}
\contentsline {subsection}{\numberline {18.0.26}defun hasCatExpression}{425}{subsection.18.0.26}
\contentsline {subsection}{\numberline {18.0.27}defun unifyStruct}{426}{subsection.18.0.27}
\contentsline {subsection}{\numberline {18.0.28}defun unifyStructVar}{427}{subsection.18.0.28}
\contentsline {subsection}{\numberline {18.0.29}defun containsVars}{428}{subsection.18.0.29}
\contentsline {subsection}{\numberline {18.0.30}defun containsVars1}{429}{subsection.18.0.30}
\contentsline {subsection}{\numberline {18.0.31}defun hasCaty1}{429}{subsection.18.0.31}
\contentsline {subsection}{\numberline {18.0.32}defun mkDomPvar}{430}{subsection.18.0.32}
\contentsline {subsection}{\numberline {18.0.33}defun hasCate}{431}{subsection.18.0.33}
\contentsline {subsection}{\numberline {18.0.34}defun constructSubst}{432}{subsection.18.0.34}
\contentsline {subsection}{\numberline {18.0.35}defun hasCateSpecial}{432}{subsection.18.0.35}
\contentsline {subsection}{\numberline {18.0.36}defun hasCateSpecialNew}{433}{subsection.18.0.36}
\contentsline {subsection}{\numberline {18.0.37}defun defaultTargetFE}{435}{subsection.18.0.37}
\contentsline {subsection}{\numberline {18.0.38}defun isEqualOrSubDomain}{436}{subsection.18.0.38}
\contentsline {chapter}{\numberline {19}System Command Handling}{437}{chapter.19}
\contentsline {section}{\numberline {19.1}Variables Used}{439}{section.19.1}
\contentsline {subsection}{\numberline {19.1.1}defvar \${systemCommands}}{439}{subsection.19.1.1}
\contentsline {subsection}{\numberline {19.1.2}defvar \${syscommands}}{440}{subsection.19.1.2}
\contentsline {subsection}{\numberline {19.1.3}defvar \${noParseCommands}}{440}{subsection.19.1.3}
\contentsline {section}{\numberline {19.2}Functions}{441}{section.19.2}
\contentsline {subsection}{\numberline {19.2.1}defun handleNoParseCommands}{441}{subsection.19.2.1}
\contentsline {subsection}{\numberline {19.2.2}defun Handle a top level command}{442}{subsection.19.2.2}
\contentsline {subsection}{\numberline {19.2.3}defun Split block into option block}{443}{subsection.19.2.3}
\contentsline {subsection}{\numberline {19.2.4}defun Tokenize a system command}{443}{subsection.19.2.4}
\contentsline {subsection}{\numberline {19.2.5}defun Handle system commands}{444}{subsection.19.2.5}
\contentsline {subsection}{\numberline {19.2.6}defun Select commands matching this user level}{444}{subsection.19.2.6}
\contentsline {subsection}{\numberline {19.2.7}defun No command begins with this string}{445}{subsection.19.2.7}
\contentsline {subsection}{\numberline {19.2.8}defun No option begins with this string}{445}{subsection.19.2.8}
\contentsline {subsection}{\numberline {19.2.9}defvar \${oldline}}{445}{subsection.19.2.9}
\contentsline {subsection}{\numberline {19.2.10}defun No command/option begins with this string}{445}{subsection.19.2.10}
\contentsline {subsection}{\numberline {19.2.11}defun Option not available at this user level}{446}{subsection.19.2.11}
\contentsline {subsection}{\numberline {19.2.12}defun Command not available at this user level}{446}{subsection.19.2.12}
\contentsline {subsection}{\numberline {19.2.13}defun Command not available error message}{446}{subsection.19.2.13}
\contentsline {subsection}{\numberline {19.2.14}defun satisfiesUserLevel}{447}{subsection.19.2.14}
\contentsline {subsection}{\numberline {19.2.15}defun hasOption}{447}{subsection.19.2.15}
\contentsline {subsection}{\numberline {19.2.16}defun terminateSystemCommand}{448}{subsection.19.2.16}
\contentsline {subsection}{\numberline {19.2.17}defun Terminate a system command}{448}{subsection.19.2.17}
\contentsline {subsection}{\numberline {19.2.18}defun commandAmbiguityError}{448}{subsection.19.2.18}
\contentsline {subsection}{\numberline {19.2.19}defun getParserMacroNames}{449}{subsection.19.2.19}
\contentsline {subsection}{\numberline {19.2.20}defun clearParserMacro}{449}{subsection.19.2.20}
\contentsline {subsection}{\numberline {19.2.21}defun displayMacro}{449}{subsection.19.2.21}
\contentsline {subsection}{\numberline {19.2.22}defun displayWorkspaceNames}{450}{subsection.19.2.22}
\contentsline {subsection}{\numberline {19.2.23}defun getWorkspaceNames}{451}{subsection.19.2.23}
\contentsline {subsection}{\numberline {19.2.24}defun fixObjectForPrinting}{452}{subsection.19.2.24}
\contentsline {subsection}{\numberline {19.2.25}defun displayProperties,sayFunctionDeps}{452}{subsection.19.2.25}
\contentsline {subsection}{\numberline {19.2.26}defun displayValue}{455}{subsection.19.2.26}
\contentsline {subsection}{\numberline {19.2.27}defun displayType}{456}{subsection.19.2.27}
\contentsline {subsection}{\numberline {19.2.28}defun getAndSay}{457}{subsection.19.2.28}
\contentsline {subsection}{\numberline {19.2.29}defun displayProperties}{457}{subsection.19.2.29}
\contentsline {subsection}{\numberline {19.2.30}defun displayParserMacro}{460}{subsection.19.2.30}
\contentsline {subsection}{\numberline {19.2.31}defun displayCondition}{461}{subsection.19.2.31}
\contentsline {subsection}{\numberline {19.2.32}defun interpFunctionDepAlists}{461}{subsection.19.2.32}
\contentsline {subsection}{\numberline {19.2.33}defun displayModemap}{462}{subsection.19.2.33}
\contentsline {subsection}{\numberline {19.2.34}defun displayMode}{462}{subsection.19.2.34}
\contentsline {subsection}{\numberline {19.2.35}defun Split into tokens delimted by spaces}{463}{subsection.19.2.35}
\contentsline {subsection}{\numberline {19.2.36}defun Convert string tokens to their proper type}{463}{subsection.19.2.36}
\contentsline {subsection}{\numberline {19.2.37}defun Is the argument string an integer?}{464}{subsection.19.2.37}
\contentsline {subsection}{\numberline {19.2.38}defun Handle parsed system commands}{464}{subsection.19.2.38}
\contentsline {subsection}{\numberline {19.2.39}defun Parse a system command}{465}{subsection.19.2.39}
\contentsline {subsection}{\numberline {19.2.40}defun Get first word in a string}{465}{subsection.19.2.40}
\contentsline {subsection}{\numberline {19.2.41}defun Unabbreviate keywords in commands}{465}{subsection.19.2.41}
\contentsline {subsection}{\numberline {19.2.42}defun The command is ambiguous error}{466}{subsection.19.2.42}
\contentsline {subsection}{\numberline {19.2.43}defun Remove the spaces surrounding a string}{467}{subsection.19.2.43}
\contentsline {subsection}{\numberline {19.2.44}defun Remove the lisp command prefix}{467}{subsection.19.2.44}
\contentsline {subsection}{\numberline {19.2.45}defun Handle the )lisp command}{468}{subsection.19.2.45}
\contentsline {subsection}{\numberline {19.2.46}defun The )boot command is no longer supported}{468}{subsection.19.2.46}
\contentsline {subsection}{\numberline {19.2.47}defun Handle the )system command}{468}{subsection.19.2.47}
\contentsline {subsection}{\numberline {19.2.48}defun Handle the )synonym command}{469}{subsection.19.2.48}
\contentsline {subsection}{\numberline {19.2.49}defun Handle the synonym system command}{469}{subsection.19.2.49}
\contentsline {subsection}{\numberline {19.2.50}defun printSynonyms}{470}{subsection.19.2.50}
\contentsline {subsection}{\numberline {19.2.51}defun Print a list of each matching synonym}{470}{subsection.19.2.51}
\contentsline {subsection}{\numberline {19.2.52}defvar \${tokenCommands}}{471}{subsection.19.2.52}
\contentsline {subsection}{\numberline {19.2.53}defvar \${InitialCommandSynonymAlist}}{472}{subsection.19.2.53}
\contentsline {subsection}{\numberline {19.2.54}defun Print the current version information}{472}{subsection.19.2.54}
\contentsline {subsection}{\numberline {19.2.55}defvar \${CommandSynonymAlist}}{474}{subsection.19.2.55}
\contentsline {subsection}{\numberline {19.2.56}defun ncloopCommand}{474}{subsection.19.2.56}
\contentsline {subsection}{\numberline {19.2.57}defun ncloopPrefix?}{475}{subsection.19.2.57}
\contentsline {subsection}{\numberline {19.2.58}defun selectOptionLC}{475}{subsection.19.2.58}
\contentsline {subsection}{\numberline {19.2.59}defun selectOption}{475}{subsection.19.2.59}
\contentsline {chapter}{\numberline {20})abbreviations help page\nobreakspace {}Command}{477}{chapter.20}
\contentsline {section}{\numberline {20.1}abbreviations help page man page}{477}{section.20.1}
\contentsline {section}{\numberline {20.2}Functions}{479}{section.20.2}
\contentsline {subsection}{\numberline {20.2.1}defun abbreviations}{479}{subsection.20.2.1}
\contentsline {subsection}{\numberline {20.2.2}defun abbreviationsSpad2Cmd}{479}{subsection.20.2.2}
\contentsline {subsection}{\numberline {20.2.3}defun listConstructorAbbreviations}{480}{subsection.20.2.3}
\contentsline {chapter}{\numberline {21})boot help page\nobreakspace {}Command}{483}{chapter.21}
\contentsline {section}{\numberline {21.1}boot help page man page}{483}{section.21.1}
\contentsline {section}{\numberline {21.2}Functions}{484}{section.21.2}
\contentsline {chapter}{\numberline {22})browse help page\nobreakspace {}Command}{485}{chapter.22}
\contentsline {section}{\numberline {22.1}browse help page man page}{485}{section.22.1}
\contentsline {section}{\numberline {22.2}Overview}{485}{section.22.2}
\contentsline {section}{\numberline {22.3}Browsers, MathML, and Fonts}{486}{section.22.3}
\contentsline {section}{\numberline {22.4}The axServer/multiServ loop}{487}{section.22.4}
\contentsline {section}{\numberline {22.5}The )browse command}{488}{section.22.5}
\contentsline {section}{\numberline {22.6}Variables Used}{489}{section.22.6}
\contentsline {section}{\numberline {22.7}Functions}{489}{section.22.7}
\contentsline {section}{\numberline {22.8}The server support code}{489}{section.22.8}
\contentsline {chapter}{\numberline {23})cd help page\nobreakspace {}Command}{491}{chapter.23}
\contentsline {section}{\numberline {23.1}cd help page man page}{491}{section.23.1}
\contentsline {section}{\numberline {23.2}Variables Used}{492}{section.23.2}
\contentsline {section}{\numberline {23.3}Functions}{492}{section.23.3}
\contentsline {chapter}{\numberline {24})clear help page\nobreakspace {}Command}{493}{chapter.24}
\contentsline {section}{\numberline {24.1}clear help page man page}{493}{section.24.1}
\contentsline {section}{\numberline {24.2}Variables Used}{495}{section.24.2}
\contentsline {subsection}{\numberline {24.2.1}defvar \${clearOptions}}{495}{subsection.24.2.1}
\contentsline {section}{\numberline {24.3}Functions}{495}{section.24.3}
\contentsline {subsection}{\numberline {24.3.1}defun clear}{495}{subsection.24.3.1}
\contentsline {subsection}{\numberline {24.3.2}defvar \${clearExcept}}{495}{subsection.24.3.2}
\contentsline {subsection}{\numberline {24.3.3}defun clearSpad2Cmd}{496}{subsection.24.3.3}
\contentsline {subsection}{\numberline {24.3.4}defun clearCmdSortedCaches}{497}{subsection.24.3.4}
\contentsline {subsection}{\numberline {24.3.5}defun compiledLookupCheck}{497}{subsection.24.3.5}
\contentsline {subsection}{\numberline {24.3.6}defvar \${functionTable}}{498}{subsection.24.3.6}
\contentsline {subsection}{\numberline {24.3.7}defun clearCmdCompletely}{498}{subsection.24.3.7}
\contentsline {subsection}{\numberline {24.3.8}defun clearCmdAll}{499}{subsection.24.3.8}
\contentsline {subsection}{\numberline {24.3.9}defun clearMacroTable}{500}{subsection.24.3.9}
\contentsline {subsection}{\numberline {24.3.10}defun clearCmdExcept}{500}{subsection.24.3.10}
\contentsline {subsection}{\numberline {24.3.11}defun clearCmdParts}{501}{subsection.24.3.11}
\contentsline {chapter}{\numberline {25})close help page\nobreakspace {}Command}{505}{chapter.25}
\contentsline {section}{\numberline {25.1}close help page man page}{505}{section.25.1}
\contentsline {section}{\numberline {25.2}Functions}{506}{section.25.2}
\contentsline {subsection}{\numberline {25.2.1}defun queryClients}{506}{subsection.25.2.1}
\contentsline {subsection}{\numberline {25.2.2}defun close}{506}{subsection.25.2.2}
\contentsline {chapter}{\numberline {26})compile help page\nobreakspace {}Command}{509}{chapter.26}
\contentsline {section}{\numberline {26.1}compile help page man page}{509}{section.26.1}
\contentsline {section}{\numberline {26.2}Functions}{511}{section.26.2}
\contentsline {subsection}{\numberline {26.2.1}defvar \${/editfile}}{511}{subsection.26.2.1}
\contentsline {chapter}{\numberline {27})copyright help page\nobreakspace {}Command}{513}{chapter.27}
\contentsline {section}{\numberline {27.1}copyright help page man page}{513}{section.27.1}
\contentsline {section}{\numberline {27.2}Functions}{518}{section.27.2}
\contentsline {subsection}{\numberline {27.2.1}defun copyright}{518}{subsection.27.2.1}
\contentsline {subsection}{\numberline {27.2.2}defun trademark}{519}{subsection.27.2.2}
\contentsline {chapter}{\numberline {28})credits help page\nobreakspace {}Command}{521}{chapter.28}
\contentsline {section}{\numberline {28.1}credits help page man page}{521}{section.28.1}
\contentsline {section}{\numberline {28.2}Variables Used}{521}{section.28.2}
\contentsline {section}{\numberline {28.3}Functions}{521}{section.28.3}
\contentsline {subsection}{\numberline {28.3.1}defun credits}{521}{subsection.28.3.1}
\contentsline {chapter}{\numberline {29})describe help page\nobreakspace {}Command}{523}{chapter.29}
\contentsline {section}{\numberline {29.1}describe help page man page}{523}{section.29.1}
\contentsline {subsection}{\numberline {29.1.1}defvar \${describeOptions}}{524}{subsection.29.1.1}
\contentsline {section}{\numberline {29.2}Functions}{524}{section.29.2}
\contentsline {subsection}{\numberline {29.2.1}defun Print comment strings from algebra libraries}{524}{subsection.29.2.1}
\contentsline {subsection}{\numberline {29.2.2}defun describeSpad2Cmd}{524}{subsection.29.2.2}
\contentsline {subsection}{\numberline {29.2.3}defun cleanline}{525}{subsection.29.2.3}
\contentsline {subsection}{\numberline {29.2.4}defun flatten}{527}{subsection.29.2.4}
\contentsline {chapter}{\numberline {30})display help page\nobreakspace {}Command}{529}{chapter.30}
\contentsline {section}{\numberline {30.1}display help page man page}{529}{section.30.1}
\contentsline {subsection}{\numberline {30.1.1}defvar \${displayOptions}}{531}{subsection.30.1.1}
\contentsline {section}{\numberline {30.2}Functions}{531}{section.30.2}
\contentsline {subsection}{\numberline {30.2.1}defun display}{531}{subsection.30.2.1}
\contentsline {subsection}{\numberline {30.2.2}displaySpad2Cmd}{531}{subsection.30.2.2}
\contentsline {subsection}{\numberline {30.2.3}defun abbQuery}{532}{subsection.30.2.3}
\contentsline {subsection}{\numberline {30.2.4}defun displayOperations}{533}{subsection.30.2.4}
\contentsline {subsection}{\numberline {30.2.5}defun yesanswer}{533}{subsection.30.2.5}
\contentsline {subsection}{\numberline {30.2.6}defun displayMacros}{534}{subsection.30.2.6}
\contentsline {subsection}{\numberline {30.2.7}defun sayExample}{535}{subsection.30.2.7}
\contentsline {subsection}{\numberline {30.2.8}defun cleanupLine}{536}{subsection.30.2.8}
\contentsline {chapter}{\numberline {31})edit help page\nobreakspace {}Command}{539}{chapter.31}
\contentsline {section}{\numberline {31.1}edit help page man page}{539}{section.31.1}
\contentsline {section}{\numberline {31.2}Functions}{540}{section.31.2}
\contentsline {subsection}{\numberline {31.2.1}defun edit}{540}{subsection.31.2.1}
\contentsline {subsection}{\numberline {31.2.2}defun editSpad2Cmd}{540}{subsection.31.2.2}
\contentsline {subsection}{\numberline {31.2.3}defun Implement the )edit command}{541}{subsection.31.2.3}
\contentsline {subsection}{\numberline {31.2.4}defun updateSourceFiles}{542}{subsection.31.2.4}
\contentsline {chapter}{\numberline {32})fin help page\nobreakspace {}Command}{543}{chapter.32}
\contentsline {section}{\numberline {32.1}fin help page man page}{543}{section.32.1}
\contentsline {subsection}{\numberline {32.1.1}defun Exit from the interpreter to lisp}{544}{subsection.32.1.1}
\contentsline {section}{\numberline {32.2}Functions}{544}{section.32.2}
\contentsline {chapter}{\numberline {33})frame help page\nobreakspace {}Command}{545}{chapter.33}
\contentsline {section}{\numberline {33.1}frame help page man page}{545}{section.33.1}
\contentsline {section}{\numberline {33.2}Variables Used}{547}{section.33.2}
\contentsline {subsection}{\numberline {33.2.1}Primary variables}{547}{subsection.33.2.1}
\contentsline {subsection}{\numberline {33.2.2}Used variables}{548}{subsection.33.2.2}
\contentsline {section}{\numberline {33.3}Data Structures}{548}{section.33.3}
\contentsline {subsection}{\numberline {33.3.1}Frames and the Interpreter Frame Ring}{548}{subsection.33.3.1}
\contentsline {section}{\numberline {33.4}Accessor Functions}{548}{section.33.4}
\contentsline {subsection}{\numberline {33.4.1}0th Frame Component -- frameName}{548}{subsection.33.4.1}
\contentsline {subsection}{\numberline {33.4.2}defun frameName}{548}{subsection.33.4.2}
\contentsline {subsection}{\numberline {33.4.3}1st Frame Component -- frameInteractive}{549}{subsection.33.4.3}
\contentsline {subsection}{\numberline {33.4.4}2nd Frame Component -- frameIOIndex}{549}{subsection.33.4.4}
\contentsline {subsection}{\numberline {33.4.5}3rd Frame Component -- frameHiFiAccess}{549}{subsection.33.4.5}
\contentsline {subsection}{\numberline {33.4.6}4th Frame Component -- frameHistList}{549}{subsection.33.4.6}
\contentsline {subsection}{\numberline {33.4.7}5th Frame Component -- frameHistListLen}{550}{subsection.33.4.7}
\contentsline {subsection}{\numberline {33.4.8}6th Frame Component -- frameHistListAct}{550}{subsection.33.4.8}
\contentsline {subsection}{\numberline {33.4.9}7th Frame Component -- frameHistRecord}{550}{subsection.33.4.9}
\contentsline {subsection}{\numberline {33.4.10}8th Frame Component -- frameHistoryTable}{550}{subsection.33.4.10}
\contentsline {subsection}{\numberline {33.4.11}9th Frame Component -- frameExposureData}{551}{subsection.33.4.11}
\contentsline {section}{\numberline {33.5}Functions}{551}{section.33.5}
\contentsline {subsection}{\numberline {33.5.1}Initializing the Interpreter Frame Ring}{551}{subsection.33.5.1}
\contentsline {subsection}{\numberline {33.5.2}Creating a List of all of the Frame Names}{552}{subsection.33.5.2}
\contentsline {subsection}{\numberline {33.5.3}Get Named Frame Environment (aka Interactive)}{552}{subsection.33.5.3}
\contentsline {subsection}{\numberline {33.5.4}Create a new, empty Interpreter Frame}{552}{subsection.33.5.4}
\contentsline {subsection}{\numberline {33.5.5}Collecting up the Environment into a Frame}{553}{subsection.33.5.5}
\contentsline {subsection}{\numberline {33.5.6}Update from the Current Frame}{554}{subsection.33.5.6}
\contentsline {subsection}{\numberline {33.5.7}Find a Frame in the Frame Ring by Name}{555}{subsection.33.5.7}
\contentsline {subsection}{\numberline {33.5.8}Update the Current Interpreter Frame}{555}{subsection.33.5.8}
\contentsline {subsection}{\numberline {33.5.9}Move to the next Interpreter Frame in Ring}{556}{subsection.33.5.9}
\contentsline {subsection}{\numberline {33.5.10}Change to the Named Interpreter Frame}{556}{subsection.33.5.10}
\contentsline {subsection}{\numberline {33.5.11}Move to the previous Interpreter Frame in Ring}{557}{subsection.33.5.11}
\contentsline {subsection}{\numberline {33.5.12}Add a New Interpreter Frame}{557}{subsection.33.5.12}
\contentsline {subsection}{\numberline {33.5.13}Close an Interpreter Frame}{558}{subsection.33.5.13}
\contentsline {subsection}{\numberline {33.5.14}Display the Frame Names}{559}{subsection.33.5.14}
\contentsline {subsection}{\numberline {33.5.15}Import items from another frame}{559}{subsection.33.5.15}
\contentsline {subsection}{\numberline {33.5.16}The top level frame command}{561}{subsection.33.5.16}
\contentsline {subsection}{\numberline {33.5.17}The top level frame command handler}{562}{subsection.33.5.17}
\contentsline {section}{\numberline {33.6}Frame File Messages}{563}{section.33.6}
\contentsline {chapter}{\numberline {34})help help page\nobreakspace {}Command}{565}{chapter.34}
\contentsline {section}{\numberline {34.1}help help page man page}{565}{section.34.1}
\contentsline {section}{\numberline {34.2}Functions}{568}{section.34.2}
\contentsline {subsection}{\numberline {34.2.1}The top level help command}{568}{subsection.34.2.1}
\contentsline {subsection}{\numberline {34.2.2}The top level help command handler}{568}{subsection.34.2.2}
\contentsline {subsection}{\numberline {34.2.3}defun newHelpSpad2Cmd}{568}{subsection.34.2.3}
\contentsline {chapter}{\numberline {35})history help page\nobreakspace {}Command}{571}{chapter.35}
\contentsline {section}{\numberline {35.1}history help page man page}{571}{section.35.1}
\contentsline {section}{\numberline {35.2}Initialized history variables}{574}{section.35.2}
\contentsline {subsection}{\numberline {35.2.1}defvar \${oldHistoryFileName}}{574}{subsection.35.2.1}
\contentsline {subsection}{\numberline {35.2.2}defvar \${historyFileType}}{575}{subsection.35.2.2}
\contentsline {subsection}{\numberline {35.2.3}defvar \${historyDirectory}}{575}{subsection.35.2.3}
\contentsline {subsection}{\numberline {35.2.4}defvar \${useInternalHistoryTable}}{575}{subsection.35.2.4}
\contentsline {section}{\numberline {35.3}Data Structures}{575}{section.35.3}
\contentsline {section}{\numberline {35.4}Functions}{575}{section.35.4}
\contentsline {subsection}{\numberline {35.4.1}defun makeHistFileName}{575}{subsection.35.4.1}
\contentsline {subsection}{\numberline {35.4.2}defun oldHistFileName}{576}{subsection.35.4.2}
\contentsline {subsection}{\numberline {35.4.3}defun histFileName}{576}{subsection.35.4.3}
\contentsline {subsection}{\numberline {35.4.4}defun histInputFileName}{576}{subsection.35.4.4}
\contentsline {subsection}{\numberline {35.4.5}defun initHist}{577}{subsection.35.4.5}
\contentsline {subsection}{\numberline {35.4.6}defun initHistList}{577}{subsection.35.4.6}
\contentsline {subsection}{\numberline {35.4.7}The top level history command}{578}{subsection.35.4.7}
\contentsline {subsection}{\numberline {35.4.8}The top level history command handler}{578}{subsection.35.4.8}
\contentsline {subsection}{\numberline {35.4.9}defun setHistoryCore}{580}{subsection.35.4.9}
\contentsline {subsection}{\numberline {35.4.10}defvar \${underbar}}{582}{subsection.35.4.10}
\contentsline {subsection}{\numberline {35.4.11}defun writeInputLines}{583}{subsection.35.4.11}
\contentsline {subsection}{\numberline {35.4.12}defun resetInCoreHist}{584}{subsection.35.4.12}
\contentsline {subsection}{\numberline {35.4.13}defun changeHistListLen}{585}{subsection.35.4.13}
\contentsline {subsection}{\numberline {35.4.14}defun updateHist}{585}{subsection.35.4.14}
\contentsline {subsection}{\numberline {35.4.15}defun updateInCoreHist}{586}{subsection.35.4.15}
\contentsline {subsection}{\numberline {35.4.16}defun putHist}{586}{subsection.35.4.16}
\contentsline {subsection}{\numberline {35.4.17}defun recordNewValue}{587}{subsection.35.4.17}
\contentsline {subsection}{\numberline {35.4.18}defun recordNewValue0}{587}{subsection.35.4.18}
\contentsline {subsection}{\numberline {35.4.19}defun recordOldValue}{588}{subsection.35.4.19}
\contentsline {subsection}{\numberline {35.4.20}defun recordOldValue0}{588}{subsection.35.4.20}
\contentsline {subsection}{\numberline {35.4.21}defun undoInCore}{588}{subsection.35.4.21}
\contentsline {subsection}{\numberline {35.4.22}defun undoChanges}{589}{subsection.35.4.22}
\contentsline {subsection}{\numberline {35.4.23}defun undoFromFile}{590}{subsection.35.4.23}
\contentsline {subsection}{\numberline {35.4.24}defun saveHistory}{591}{subsection.35.4.24}
\contentsline {subsection}{\numberline {35.4.25}defun restoreHistory}{593}{subsection.35.4.25}
\contentsline {subsection}{\numberline {35.4.26}defun setIOindex}{595}{subsection.35.4.26}
\contentsline {subsection}{\numberline {35.4.27}defun showInput}{595}{subsection.35.4.27}
\contentsline {subsection}{\numberline {35.4.28}defun showInOut}{596}{subsection.35.4.28}
\contentsline {subsection}{\numberline {35.4.29}defun fetchOutput}{596}{subsection.35.4.29}
\contentsline {subsection}{\numberline {35.4.30}Read the history file using index n}{597}{subsection.35.4.30}
\contentsline {subsection}{\numberline {35.4.31}Write information of the current step to history file}{598}{subsection.35.4.31}
\contentsline {subsection}{\numberline {35.4.32}Disable history if an error occurred}{599}{subsection.35.4.32}
\contentsline {subsection}{\numberline {35.4.33}defun writeHistModesAndValues}{599}{subsection.35.4.33}
\contentsline {section}{\numberline {35.5}Lisplib output transformations}{600}{section.35.5}
\contentsline {subsection}{\numberline {35.5.1}defun spadrwrite0}{600}{subsection.35.5.1}
\contentsline {subsection}{\numberline {35.5.2}defun Random write to a stream}{600}{subsection.35.5.2}
\contentsline {subsection}{\numberline {35.5.3}defun spadrwrite}{601}{subsection.35.5.3}
\contentsline {subsection}{\numberline {35.5.4}defun spadrread}{601}{subsection.35.5.4}
\contentsline {subsection}{\numberline {35.5.5}defun Random read a key from a stream}{601}{subsection.35.5.5}
\contentsline {subsection}{\numberline {35.5.6}defun unwritable?}{602}{subsection.35.5.6}
\contentsline {subsection}{\numberline {35.5.7}defun writifyComplain}{602}{subsection.35.5.7}
\contentsline {subsection}{\numberline {35.5.8}defun safeWritify}{602}{subsection.35.5.8}
\contentsline {subsection}{\numberline {35.5.9}defun writify,writifyInner}{603}{subsection.35.5.9}
\contentsline {subsection}{\numberline {35.5.10}defun writify}{606}{subsection.35.5.10}
\contentsline {subsection}{\numberline {35.5.11}defun spadClosure?}{607}{subsection.35.5.11}
\contentsline {subsection}{\numberline {35.5.12}defvar \${NonNullStream}}{607}{subsection.35.5.12}
\contentsline {subsection}{\numberline {35.5.13}defvar \${NullStream}}{607}{subsection.35.5.13}
\contentsline {subsection}{\numberline {35.5.14}defun dewritify,dewritifyInner}{608}{subsection.35.5.14}
\contentsline {subsection}{\numberline {35.5.15}defun dewritify}{611}{subsection.35.5.15}
\contentsline {subsection}{\numberline {35.5.16}defun ScanOrPairVec,ScanOrInner}{611}{subsection.35.5.16}
\contentsline {subsection}{\numberline {35.5.17}defun ScanOrPairVec}{612}{subsection.35.5.17}
\contentsline {subsection}{\numberline {35.5.18}defun gensymInt}{612}{subsection.35.5.18}
\contentsline {subsection}{\numberline {35.5.19}defun charDigitVal}{613}{subsection.35.5.19}
\contentsline {subsection}{\numberline {35.5.20}defun histFileErase}{613}{subsection.35.5.20}
\contentsline {section}{\numberline {35.6}History File Messages}{614}{section.35.6}
\contentsline {chapter}{\numberline {36})include help page\nobreakspace {}Command}{617}{chapter.36}
\contentsline {section}{\numberline {36.1}include help page man page}{617}{section.36.1}
\contentsline {section}{\numberline {36.2}Functions}{617}{section.36.2}
\contentsline {subsection}{\numberline {36.2.1}defun ncloopInclude1}{617}{subsection.36.2.1}
\contentsline {subsection}{\numberline {36.2.2}Returns the first non-blank substring of the given string}{618}{subsection.36.2.2}
\contentsline {subsection}{\numberline {36.2.3}Open the include file and read it in}{618}{subsection.36.2.3}
\contentsline {subsection}{\numberline {36.2.4}Return the include filename}{618}{subsection.36.2.4}
\contentsline {subsection}{\numberline {36.2.5}Return the next token}{619}{subsection.36.2.5}
\contentsline {chapter}{\numberline {37})library help page\nobreakspace {}Command}{621}{chapter.37}
\contentsline {section}{\numberline {37.1}library help page man page}{621}{section.37.1}
\contentsline {chapter}{\numberline {38})lisp help page\nobreakspace {}Command}{623}{chapter.38}
\contentsline {section}{\numberline {38.1}lisp help page man page}{623}{section.38.1}
\contentsline {section}{\numberline {38.2}Functions}{624}{section.38.2}
\contentsline {chapter}{\numberline {39})load help page\nobreakspace {}Command}{625}{chapter.39}
\contentsline {section}{\numberline {39.1}load help page man page}{625}{section.39.1}
\contentsline {subsection}{\numberline {39.1.1}defun The )load command (obsolete)}{625}{subsection.39.1.1}
\contentsline {chapter}{\numberline {40})ltrace help page\nobreakspace {}Command}{627}{chapter.40}
\contentsline {section}{\numberline {40.1}ltrace help page man page}{627}{section.40.1}
\contentsline {subsection}{\numberline {40.1.1}defun The top level )ltrace function}{628}{subsection.40.1.1}
\contentsline {section}{\numberline {40.2}Variables Used}{628}{section.40.2}
\contentsline {section}{\numberline {40.3}Functions}{628}{section.40.3}
\contentsline {chapter}{\numberline {41})pquit help page\nobreakspace {}Command}{629}{chapter.41}
\contentsline {section}{\numberline {41.1}pquit help page man page}{629}{section.41.1}
\contentsline {section}{\numberline {41.2}Functions}{630}{section.41.2}
\contentsline {subsection}{\numberline {41.2.1}The top level pquit command}{630}{subsection.41.2.1}
\contentsline {subsection}{\numberline {41.2.2}The top level pquit command handler}{630}{subsection.41.2.2}
\contentsline {chapter}{\numberline {42})quit help page\nobreakspace {}Command}{633}{chapter.42}
\contentsline {section}{\numberline {42.1}quit help page man page}{633}{section.42.1}
\contentsline {section}{\numberline {42.2}Functions}{634}{section.42.2}
\contentsline {subsection}{\numberline {42.2.1}The top level quit command}{634}{subsection.42.2.1}
\contentsline {subsection}{\numberline {42.2.2}The top level quit command handler}{634}{subsection.42.2.2}
\contentsline {subsection}{\numberline {42.2.3}Leave the Axiom interpreter}{635}{subsection.42.2.3}
\contentsline {chapter}{\numberline {43})read help page\nobreakspace {}Command}{637}{chapter.43}
\contentsline {section}{\numberline {43.1}read help page man page}{637}{section.43.1}
\contentsline {subsection}{\numberline {43.1.1}defun The )read command}{638}{subsection.43.1.1}
\contentsline {subsection}{\numberline {43.1.2}defun Implement the )read command}{638}{subsection.43.1.2}
\contentsline {subsection}{\numberline {43.1.3}defun /read}{640}{subsection.43.1.3}
\contentsline {chapter}{\numberline {44})savesystem help page\nobreakspace {}Command}{641}{chapter.44}
\contentsline {section}{\numberline {44.1}savesystem help page man page}{641}{section.44.1}
\contentsline {subsection}{\numberline {44.1.1}defun The )savesystem command}{642}{subsection.44.1.1}
\contentsline {chapter}{\numberline {45})set help page\nobreakspace {}Command}{643}{chapter.45}
\contentsline {section}{\numberline {45.1}set help page man page}{643}{section.45.1}
\contentsline {section}{\numberline {45.2}Overview}{644}{section.45.2}
\contentsline {section}{\numberline {45.3}Variables Used}{645}{section.45.3}
\contentsline {section}{\numberline {45.4}Functions}{645}{section.45.4}
\contentsline {subsection}{\numberline {45.4.1}Initialize the set variables}{645}{subsection.45.4.1}
\contentsline {subsection}{\numberline {45.4.2}Reset the workspace variables}{646}{subsection.45.4.2}
\contentsline {subsection}{\numberline {45.4.3}Display the set option information}{647}{subsection.45.4.3}
\contentsline {subsection}{\numberline {45.4.4}Display the set variable settings}{649}{subsection.45.4.4}
\contentsline {subsection}{\numberline {45.4.5}Translate options values to t or nil}{650}{subsection.45.4.5}
\contentsline {subsection}{\numberline {45.4.6}Translate t or nil to option values}{651}{subsection.45.4.6}
\contentsline {section}{\numberline {45.5}The list structure}{651}{section.45.5}
\contentsline {section}{\numberline {45.6}breakmode}{652}{section.45.6}
\contentsline {subsection}{\numberline {45.6.1}defvar \${BreakMode}}{653}{subsection.45.6.1}
\contentsline {section}{\numberline {45.7}debug}{653}{section.45.7}
\contentsline {section}{\numberline {45.8}debug lambda type}{654}{section.45.8}
\contentsline {subsection}{\numberline {45.8.1}defvar \${lambdatype}}{654}{subsection.45.8.1}
\contentsline {section}{\numberline {45.9}debug dalymode}{654}{section.45.9}
\contentsline {subsection}{\numberline {45.9.1}defvar \${dalymode}}{655}{subsection.45.9.1}
\contentsline {section}{\numberline {45.10}compile}{655}{section.45.10}
\contentsline {section}{\numberline {45.11}compile output}{656}{section.45.11}
\contentsline {section}{\numberline {45.12}Variables Used}{656}{section.45.12}
\contentsline {section}{\numberline {45.13}Functions}{656}{section.45.13}
\contentsline {subsection}{\numberline {45.13.1}The set output command handler}{656}{subsection.45.13.1}
\contentsline {subsection}{\numberline {45.13.2}Describe the set output library arguments}{657}{subsection.45.13.2}
\contentsline {subsection}{\numberline {45.13.3}defvar \${output-library}}{657}{subsection.45.13.3}
\contentsline {subsection}{\numberline {45.13.4}Open the output library}{658}{subsection.45.13.4}
\contentsline {section}{\numberline {45.14}compile input}{658}{section.45.14}
\contentsline {section}{\numberline {45.15}Variables Used}{659}{section.45.15}
\contentsline {section}{\numberline {45.16}Functions}{659}{section.45.16}
\contentsline {subsection}{\numberline {45.16.1}The set input library command handler}{659}{subsection.45.16.1}
\contentsline {subsection}{\numberline {45.16.2}Describe the set input library arguments}{660}{subsection.45.16.2}
\contentsline {subsection}{\numberline {45.16.3}Add the input library to the list}{660}{subsection.45.16.3}
\contentsline {subsection}{\numberline {45.16.4}defvar \${input-libraries}}{660}{subsection.45.16.4}
\contentsline {subsection}{\numberline {45.16.5}Drop an input library from the list}{661}{subsection.45.16.5}
\contentsline {section}{\numberline {45.17}expose}{661}{section.45.17}
\contentsline {section}{\numberline {45.18}Variables Used}{662}{section.45.18}
\contentsline {subsection}{\numberline {45.18.1}defvar \${globalExposureGroupAlist}}{662}{subsection.45.18.1}
\contentsline {subsection}{\numberline {45.18.2}defvar \${localExposureDataDefault}}{688}{subsection.45.18.2}
\contentsline {subsection}{\numberline {45.18.3}defvar \${localExposureData}}{688}{subsection.45.18.3}
\contentsline {section}{\numberline {45.19}Functions}{688}{section.45.19}
\contentsline {subsection}{\numberline {45.19.1}The top level set expose command handler}{688}{subsection.45.19.1}
\contentsline {subsection}{\numberline {45.19.2}The top level set expose add command handler}{689}{subsection.45.19.2}
\contentsline {subsection}{\numberline {45.19.3}Expose a group}{690}{subsection.45.19.3}
\contentsline {subsection}{\numberline {45.19.4}The top level set expose add constructor handler}{692}{subsection.45.19.4}
\contentsline {subsection}{\numberline {45.19.5}The top level set expose drop handler}{693}{subsection.45.19.5}
\contentsline {subsection}{\numberline {45.19.6}The top level set expose drop group handler}{694}{subsection.45.19.6}
\contentsline {subsection}{\numberline {45.19.7}The top level set expose drop constructor handler}{695}{subsection.45.19.7}
\contentsline {subsection}{\numberline {45.19.8}Display exposed groups}{696}{subsection.45.19.8}
\contentsline {subsection}{\numberline {45.19.9}Display exposed constructors}{696}{subsection.45.19.9}
\contentsline {subsection}{\numberline {45.19.10}Display hidden constructors}{697}{subsection.45.19.10}
\contentsline {section}{\numberline {45.20}functions}{697}{section.45.20}
\contentsline {section}{\numberline {45.21}functions cache}{698}{section.45.21}
\contentsline {section}{\numberline {45.22}Variables Used}{699}{section.45.22}
\contentsline {subsection}{\numberline {45.22.1}defvar \${cacheAlist}}{699}{subsection.45.22.1}
\contentsline {section}{\numberline {45.23}Functions}{699}{section.45.23}
\contentsline {subsection}{\numberline {45.23.1}The top level set functions cache handler}{699}{subsection.45.23.1}
\contentsline {subsection}{\numberline {45.23.2}defvar \${compileDontDefineFunctions}}{703}{subsection.45.23.2}
\contentsline {section}{\numberline {45.24}functions recurrence}{703}{section.45.24}
\contentsline {subsection}{\numberline {45.24.1}defvar \${compileRecurrence}}{704}{subsection.45.24.1}
\contentsline {section}{\numberline {45.25}fortran}{704}{section.45.25}
\contentsline {subsection}{\numberline {45.25.1}ints2floats}{705}{subsection.45.25.1}
\contentsline {subsection}{\numberline {45.25.2}defvar \${fortInts2Floats}}{706}{subsection.45.25.2}
\contentsline {subsection}{\numberline {45.25.3}fortindent}{706}{subsection.45.25.3}
\contentsline {subsection}{\numberline {45.25.4}defvar \${fortIndent}}{706}{subsection.45.25.4}
\contentsline {subsection}{\numberline {45.25.5}fortlength}{707}{subsection.45.25.5}
\contentsline {subsection}{\numberline {45.25.6}defvar \${fortLength}}{707}{subsection.45.25.6}
\contentsline {subsection}{\numberline {45.25.7}typedecs}{707}{subsection.45.25.7}
\contentsline {subsection}{\numberline {45.25.8}defvar \${printFortranDecs}}{708}{subsection.45.25.8}
\contentsline {subsection}{\numberline {45.25.9}defaulttype}{708}{subsection.45.25.9}
\contentsline {subsection}{\numberline {45.25.10}defvar \${defaultFortranType}}{709}{subsection.45.25.10}
\contentsline {subsection}{\numberline {45.25.11}precision}{709}{subsection.45.25.11}
\contentsline {subsection}{\numberline {45.25.12}defvar \${fortranPrecision}}{709}{subsection.45.25.12}
\contentsline {subsection}{\numberline {45.25.13}intrinsic}{710}{subsection.45.25.13}
\contentsline {subsection}{\numberline {45.25.14}defvar \${useIntrinsicFunctions}}{710}{subsection.45.25.14}
\contentsline {subsection}{\numberline {45.25.15}explength}{711}{subsection.45.25.15}
\contentsline {subsection}{\numberline {45.25.16}defvar \${maximumFortranExpressionLength}}{711}{subsection.45.25.16}
\contentsline {subsection}{\numberline {45.25.17}segment}{711}{subsection.45.25.17}
\contentsline {subsection}{\numberline {45.25.18}defvar \${fortranSegment}}{712}{subsection.45.25.18}
\contentsline {subsection}{\numberline {45.25.19}optlevel}{712}{subsection.45.25.19}
\contentsline {subsection}{\numberline {45.25.20}defvar \${fortranOptimizationLevel}}{712}{subsection.45.25.20}
\contentsline {subsection}{\numberline {45.25.21}startindex}{713}{subsection.45.25.21}
\contentsline {subsection}{\numberline {45.25.22}defvar \${fortranArrayStartingIndex}}{713}{subsection.45.25.22}
\contentsline {subsection}{\numberline {45.25.23}calling}{713}{subsection.45.25.23}
\contentsline {subsubsection}{tempfile}{714}{section*.2}
\contentsline {subsection}{\numberline {45.25.24}defvar \${fortranTmpDir}}{714}{subsection.45.25.24}
\contentsline {subsection}{\numberline {45.25.25}The top level set fortran calling tempfile handler}{715}{subsection.45.25.25}
\contentsline {subsection}{\numberline {45.25.26}Validate the output directory}{716}{subsection.45.25.26}
\contentsline {subsection}{\numberline {45.25.27}Describe the set fortran calling tempfile}{716}{subsection.45.25.27}
\contentsline {subsubsection}{directory}{716}{section*.3}
\contentsline {subsection}{\numberline {45.25.28}defvar \${fortranDirectory}}{717}{subsection.45.25.28}
\contentsline {subsection}{\numberline {45.25.29}defun setFortDir}{717}{subsection.45.25.29}
\contentsline {subsection}{\numberline {45.25.30}defun describeSetFortDir}{718}{subsection.45.25.30}
\contentsline {subsubsection}{linker}{719}{section*.4}
\contentsline {subsection}{\numberline {45.25.31}defvar \${fortranLibraries}}{719}{subsection.45.25.31}
\contentsline {subsection}{\numberline {45.25.32}defun setLinkerArgs}{720}{subsection.45.25.32}
\contentsline {subsection}{\numberline {45.25.33}defun describeSetLinkerArgs}{720}{subsection.45.25.33}
\contentsline {section}{\numberline {45.26}hyperdoc}{721}{section.45.26}
\contentsline {subsection}{\numberline {45.26.1}fullscreen}{721}{subsection.45.26.1}
\contentsline {subsection}{\numberline {45.26.2}defvar \${fullScreenSysVars}}{721}{subsection.45.26.2}
\contentsline {subsection}{\numberline {45.26.3}mathwidth}{722}{subsection.45.26.3}
\contentsline {subsection}{\numberline {45.26.4}defvar \${historyDisplayWidth}}{722}{subsection.45.26.4}
\contentsline {section}{\numberline {45.27}help}{723}{section.45.27}
\contentsline {subsection}{\numberline {45.27.1}fullscreen}{723}{subsection.45.27.1}
\contentsline {subsection}{\numberline {45.27.2}defvar \${useFullScreenHelp}}{723}{subsection.45.27.2}
\contentsline {section}{\numberline {45.28}history}{724}{section.45.28}
\contentsline {subsection}{\numberline {45.28.1}defvar \${HiFiAccess}}{724}{subsection.45.28.1}
\contentsline {section}{\numberline {45.29}messages}{725}{section.45.29}
\contentsline {subsection}{\numberline {45.29.1}any}{726}{subsection.45.29.1}
\contentsline {subsection}{\numberline {45.29.2}defvar \${printAnyIfTrue}}{726}{subsection.45.29.2}
\contentsline {subsection}{\numberline {45.29.3}autoload}{727}{subsection.45.29.3}
\contentsline {subsection}{\numberline {45.29.4}defvar \${printLoadMsgs}}{727}{subsection.45.29.4}
\contentsline {subsection}{\numberline {45.29.5}bottomup}{728}{subsection.45.29.5}
\contentsline {subsection}{\numberline {45.29.6}defvar \${reportBottomUpFlag}}{728}{subsection.45.29.6}
\contentsline {subsection}{\numberline {45.29.7}coercion}{728}{subsection.45.29.7}
\contentsline {subsection}{\numberline {45.29.8}defvar \${reportCoerceIfTrue}}{729}{subsection.45.29.8}
\contentsline {subsection}{\numberline {45.29.9}dropmap}{729}{subsection.45.29.9}
\contentsline {subsection}{\numberline {45.29.10}defvar \${displayDroppedMap}}{730}{subsection.45.29.10}
\contentsline {subsection}{\numberline {45.29.11}expose}{730}{subsection.45.29.11}
\contentsline {subsection}{\numberline {45.29.12}defvar \${giveExposureWarning}}{730}{subsection.45.29.12}
\contentsline {subsection}{\numberline {45.29.13}file}{731}{subsection.45.29.13}
\contentsline {subsection}{\numberline {45.29.14}defvar \${printMsgsToFile}}{731}{subsection.45.29.14}
\contentsline {subsection}{\numberline {45.29.15}frame}{732}{subsection.45.29.15}
\contentsline {subsection}{\numberline {45.29.16}defvar \${frameMessages}}{732}{subsection.45.29.16}
\contentsline {subsection}{\numberline {45.29.17}highlighting}{732}{subsection.45.29.17}
\contentsline {subsection}{\numberline {45.29.18}defvar \${highlightAllowed}}{733}{subsection.45.29.18}
\contentsline {subsection}{\numberline {45.29.19}instant}{733}{subsection.45.29.19}
\contentsline {subsection}{\numberline {45.29.20}defvar \${reportInstantiations}}{734}{subsection.45.29.20}
\contentsline {subsection}{\numberline {45.29.21}insteach}{734}{subsection.45.29.21}
\contentsline {subsection}{\numberline {45.29.22}defvar \${reportEachInstantiation|}}{734}{subsection.45.29.22}
\contentsline {subsection}{\numberline {45.29.23}interponly}{735}{subsection.45.29.23}
\contentsline {subsection}{\numberline {45.29.24}defvar \${reportInterpOnly}}{735}{subsection.45.29.24}
\contentsline {subsection}{\numberline {45.29.25}naglink}{736}{subsection.45.29.25}
\contentsline {subsection}{\numberline {45.29.26}defvar \${nagMessages}}{736}{subsection.45.29.26}
\contentsline {subsection}{\numberline {45.29.27}number}{736}{subsection.45.29.27}
\contentsline {subsection}{\numberline {45.29.28}defvar \${displayMsgNumber}}{737}{subsection.45.29.28}
\contentsline {subsection}{\numberline {45.29.29}prompt}{737}{subsection.45.29.29}
\contentsline {subsection}{\numberline {45.29.30}defvar \${inputPromptType}}{738}{subsection.45.29.30}
\contentsline {subsection}{\numberline {45.29.31}selection}{738}{subsection.45.29.31}
\contentsline {subsection}{\numberline {45.29.32}set}{739}{subsection.45.29.32}
\contentsline {subsection}{\numberline {45.29.33}defvar \${displaySetValue}}{739}{subsection.45.29.33}
\contentsline {subsection}{\numberline {45.29.34}startup}{740}{subsection.45.29.34}
\contentsline {subsection}{\numberline {45.29.35}defvar \${displayStartMsgs}}{740}{subsection.45.29.35}
\contentsline {subsection}{\numberline {45.29.36}summary}{740}{subsection.45.29.36}
\contentsline {subsection}{\numberline {45.29.37}defvar \${printStatisticsSummaryIfTrue}}{741}{subsection.45.29.37}
\contentsline {subsection}{\numberline {45.29.38}testing}{741}{subsection.45.29.38}
\contentsline {subsection}{\numberline {45.29.39}defvar \${testingSystem}}{742}{subsection.45.29.39}
\contentsline {subsection}{\numberline {45.29.40}time}{742}{subsection.45.29.40}
\contentsline {subsection}{\numberline {45.29.41}defvar \${printTimeIfTrue}}{742}{subsection.45.29.41}
\contentsline {subsection}{\numberline {45.29.42}type}{743}{subsection.45.29.42}
\contentsline {subsection}{\numberline {45.29.43}defvar \${printTypeIfTrue}}{743}{subsection.45.29.43}
\contentsline {subsection}{\numberline {45.29.44}void}{744}{subsection.45.29.44}
\contentsline {subsection}{\numberline {45.29.45}defvar \${printVoidIfTrue}}{744}{subsection.45.29.45}
\contentsline {section}{\numberline {45.30}naglink}{744}{section.45.30}
\contentsline {subsection}{\numberline {45.30.1}host}{745}{subsection.45.30.1}
\contentsline {subsection}{\numberline {45.30.2}defvar \${nagHost}}{745}{subsection.45.30.2}
\contentsline {subsection}{\numberline {45.30.3}defun setNagHost}{746}{subsection.45.30.3}
\contentsline {subsection}{\numberline {45.30.4}defun describeSetNagHost}{746}{subsection.45.30.4}
\contentsline {subsection}{\numberline {45.30.5}persistence}{747}{subsection.45.30.5}
\contentsline {subsection}{\numberline {45.30.6}defvar \${fortPersistence}}{747}{subsection.45.30.6}
\contentsline {subsection}{\numberline {45.30.7}defun setFortPers}{748}{subsection.45.30.7}
\contentsline {subsection}{\numberline {45.30.8}defun describeFortPersistence}{748}{subsection.45.30.8}
\contentsline {subsection}{\numberline {45.30.9}messages}{749}{subsection.45.30.9}
\contentsline {subsection}{\numberline {45.30.10}double}{749}{subsection.45.30.10}
\contentsline {subsection}{\numberline {45.30.11}defvar \${nagEnforceDouble}}{750}{subsection.45.30.11}
\contentsline {section}{\numberline {45.31}output}{750}{section.45.31}
\contentsline {subsection}{\numberline {45.31.1}abbreviate}{751}{subsection.45.31.1}
\contentsline {subsection}{\numberline {45.31.2}defvar \${abbreviateTypes}}{752}{subsection.45.31.2}
\contentsline {subsection}{\numberline {45.31.3}algebra}{752}{subsection.45.31.3}
\contentsline {subsection}{\numberline {45.31.4}defvar \${algebraFormat}}{753}{subsection.45.31.4}
\contentsline {subsection}{\numberline {45.31.5}defvar \${algebraOutputFile}}{753}{subsection.45.31.5}
\contentsline {subsection}{\numberline {45.31.6}defvar \${algebraOutputStream}}{754}{subsection.45.31.6}
\contentsline {subsection}{\numberline {45.31.7}defun setOutputAlgebra}{754}{subsection.45.31.7}
\contentsline {subsection}{\numberline {45.31.8}defun describeSetOutputAlgebra}{756}{subsection.45.31.8}
\contentsline {subsection}{\numberline {45.31.9}characters}{757}{subsection.45.31.9}
\contentsline {subsection}{\numberline {45.31.10}defun setOutputCharacters}{758}{subsection.45.31.10}
\contentsline {subsection}{\numberline {45.31.11}fortran}{759}{subsection.45.31.11}
\contentsline {subsection}{\numberline {45.31.12}defvar \${fortranFormat}}{760}{subsection.45.31.12}
\contentsline {subsection}{\numberline {45.31.13}defvar \${fortranOutputFile}}{760}{subsection.45.31.13}
\contentsline {subsection}{\numberline {45.31.14}defun setOutputFortran}{761}{subsection.45.31.14}
\contentsline {subsection}{\numberline {45.31.15}defun describeSetOutputFortran}{763}{subsection.45.31.15}
\contentsline {subsection}{\numberline {45.31.16}fraction}{764}{subsection.45.31.16}
\contentsline {subsection}{\numberline {45.31.17}defvar \${fractionDisplayType}}{765}{subsection.45.31.17}
\contentsline {subsection}{\numberline {45.31.18}length}{765}{subsection.45.31.18}
\contentsline {subsection}{\numberline {45.31.19}defvar \${margin}}{765}{subsection.45.31.19}
\contentsline {subsection}{\numberline {45.31.20}defvar \${linelength}}{765}{subsection.45.31.20}
\contentsline {subsection}{\numberline {45.31.21}mathml}{766}{subsection.45.31.21}
\contentsline {subsection}{\numberline {45.31.22}defvar \${mathmlFormat}}{767}{subsection.45.31.22}
\contentsline {subsection}{\numberline {45.31.23}defvar \${mathmlOutputFile}}{767}{subsection.45.31.23}
\contentsline {subsection}{\numberline {45.31.24}defun setOutputMathml}{768}{subsection.45.31.24}
\contentsline {subsection}{\numberline {45.31.25}defun describeSetOutputMathml}{770}{subsection.45.31.25}
\contentsline {subsection}{\numberline {45.31.26}html}{771}{subsection.45.31.26}
\contentsline {subsection}{\numberline {45.31.27}defvar \${htmlFormat}}{771}{subsection.45.31.27}
\contentsline {subsection}{\numberline {45.31.28}defvar \${htmlOutputFile}}{771}{subsection.45.31.28}
\contentsline {subsection}{\numberline {45.31.29}defun setOutputHtml}{772}{subsection.45.31.29}
\contentsline {subsection}{\numberline {45.31.30}defun describeSetOutputHtml}{774}{subsection.45.31.30}
\contentsline {subsection}{\numberline {45.31.31}openmath}{775}{subsection.45.31.31}
\contentsline {subsection}{\numberline {45.31.32}defvar \${openMathFormat}}{776}{subsection.45.31.32}
\contentsline {subsection}{\numberline {45.31.33}defvar \${openMathOutputFile}}{776}{subsection.45.31.33}
\contentsline {subsection}{\numberline {45.31.34}defun setOutputOpenMath}{777}{subsection.45.31.34}
\contentsline {subsection}{\numberline {45.31.35}defun describeSetOutputOpenMath}{779}{subsection.45.31.35}
\contentsline {subsection}{\numberline {45.31.36}script}{780}{subsection.45.31.36}
\contentsline {subsection}{\numberline {45.31.37}defvar \${formulaFormat}}{781}{subsection.45.31.37}
\contentsline {subsection}{\numberline {45.31.38}defvar \${formulaOutputFile}}{781}{subsection.45.31.38}
\contentsline {subsection}{\numberline {45.31.39}defun setOutputFormula}{781}{subsection.45.31.39}
\contentsline {subsection}{\numberline {45.31.40}defun describeSetOutputFormula}{784}{subsection.45.31.40}
\contentsline {subsection}{\numberline {45.31.41}scripts}{784}{subsection.45.31.41}
\contentsline {subsection}{\numberline {45.31.42}defvar \${linearFormatScripts}}{785}{subsection.45.31.42}
\contentsline {subsection}{\numberline {45.31.43}showeditor}{785}{subsection.45.31.43}
\contentsline {subsection}{\numberline {45.31.44}defvar \${useEditorForShowOutput}}{786}{subsection.45.31.44}
\contentsline {subsection}{\numberline {45.31.45}tex}{786}{subsection.45.31.45}
\contentsline {subsection}{\numberline {45.31.46}defvar \${texFormat}}{787}{subsection.45.31.46}
\contentsline {subsection}{\numberline {45.31.47}defvar \${texOutputFile}}{787}{subsection.45.31.47}
\contentsline {subsection}{\numberline {45.31.48}defun setOutputTex}{788}{subsection.45.31.48}
\contentsline {subsection}{\numberline {45.31.49}defun describeSetOutputTex}{790}{subsection.45.31.49}
\contentsline {section}{\numberline {45.32}quit}{791}{section.45.32}
\contentsline {subsection}{\numberline {45.32.1}defvar \${quitCommandType}}{791}{subsection.45.32.1}
\contentsline {section}{\numberline {45.33}streams}{791}{section.45.33}
\contentsline {subsection}{\numberline {45.33.1}calculate}{792}{subsection.45.33.1}
\contentsline {subsection}{\numberline {45.33.2}defvar \${streamCount}}{792}{subsection.45.33.2}
\contentsline {subsection}{\numberline {45.33.3}defun setStreamsCalculate}{793}{subsection.45.33.3}
\contentsline {subsection}{\numberline {45.33.4}defun describeSetStreamsCalculate}{793}{subsection.45.33.4}
\contentsline {subsection}{\numberline {45.33.5}showall}{794}{subsection.45.33.5}
\contentsline {subsection}{\numberline {45.33.6}defvar \${streamsShowAll}}{794}{subsection.45.33.6}
\contentsline {section}{\numberline {45.34}system}{795}{section.45.34}
\contentsline {subsection}{\numberline {45.34.1}functioncode}{795}{subsection.45.34.1}
\contentsline {subsection}{\numberline {45.34.2}defvar \${reportCompilation}}{795}{subsection.45.34.2}
\contentsline {subsection}{\numberline {45.34.3}optimization}{796}{subsection.45.34.3}
\contentsline {subsection}{\numberline {45.34.4}defvar \${reportOptimization}}{796}{subsection.45.34.4}
\contentsline {subsection}{\numberline {45.34.5}prettyprint}{797}{subsection.45.34.5}
\contentsline {subsection}{\numberline {45.34.6}defvar \${prettyprint}}{797}{subsection.45.34.6}
\contentsline {section}{\numberline {45.35}userlevel}{798}{section.45.35}
\contentsline {subsection}{\numberline {45.35.1}defvar \${UserLevel}}{798}{subsection.45.35.1}
\contentsline {subsection}{\numberline {45.35.2}defvar \${setOptionNames}}{799}{subsection.45.35.2}
\contentsline {section}{\numberline {45.36}Set code}{799}{section.45.36}
\contentsline {subsection}{\numberline {45.36.1}defun set}{799}{subsection.45.36.1}
\contentsline {subsection}{\numberline {45.36.2}defun set1}{800}{subsection.45.36.2}
\contentsline {chapter}{\numberline {46})show help page\nobreakspace {}Command}{805}{chapter.46}
\contentsline {section}{\numberline {46.1}show help page man page}{805}{section.46.1}
\contentsline {subsection}{\numberline {46.1.1}defun The )show command}{806}{subsection.46.1.1}
\contentsline {subsection}{\numberline {46.1.2}defun The internal )show command}{806}{subsection.46.1.2}
\contentsline {subsection}{\numberline {46.1.3}defun reportOperations}{807}{subsection.46.1.3}
\contentsline {subsection}{\numberline {46.1.4}defun reportOpsFromLisplib0}{809}{subsection.46.1.4}
\contentsline {subsection}{\numberline {46.1.5}defun reportOpsFromLisplib1}{809}{subsection.46.1.5}
\contentsline {subsection}{\numberline {46.1.6}defun reportOpsFromLisplib}{810}{subsection.46.1.6}
\contentsline {subsection}{\numberline {46.1.7}defun isExposedConstructor}{812}{subsection.46.1.7}
\contentsline {subsection}{\numberline {46.1.8}defun displayOperationsFromLisplib}{812}{subsection.46.1.8}
\contentsline {subsection}{\numberline {46.1.9}defun reportOpsFromUnitDirectly0}{813}{subsection.46.1.9}
\contentsline {subsection}{\numberline {46.1.10}defun reportOpsFromUnitDirectly}{813}{subsection.46.1.10}
\contentsline {subsection}{\numberline {46.1.11}defun getOplistForConstructorForm}{816}{subsection.46.1.11}
\contentsline {subsection}{\numberline {46.1.12}defun getOplistWithUniqueSignatures}{817}{subsection.46.1.12}
\contentsline {subsection}{\numberline {46.1.13}defun reportOpsFromUnitDirectly1}{817}{subsection.46.1.13}
\contentsline {subsection}{\numberline {46.1.14}defun sayShowWarning}{818}{subsection.46.1.14}
\contentsline {chapter}{\numberline {47})spool help page\nobreakspace {}Command}{819}{chapter.47}
\contentsline {section}{\numberline {47.1}spool help page man page}{819}{section.47.1}
\contentsline {chapter}{\numberline {48})summary help page\nobreakspace {}Command}{821}{chapter.48}
\contentsline {section}{\numberline {48.1}summary help page man page}{821}{section.48.1}
\contentsline {subsection}{\numberline {48.1.1}defun summary}{822}{subsection.48.1.1}
\contentsline {chapter}{\numberline {49})synonym help page\nobreakspace {}Command}{823}{chapter.49}
\contentsline {section}{\numberline {49.1}synonym help page man page}{823}{section.49.1}
\contentsline {subsection}{\numberline {49.1.1}defun The )synonym command}{824}{subsection.49.1.1}
\contentsline {subsection}{\numberline {49.1.2}defun The )synonym command implementation}{824}{subsection.49.1.2}
\contentsline {subsection}{\numberline {49.1.3}defun Return a sublist of applicable synonyms}{825}{subsection.49.1.3}
\contentsline {subsection}{\numberline {49.1.4}defun Get the system command from the input line}{825}{subsection.49.1.4}
\contentsline {subsection}{\numberline {49.1.5}defun Remove system keyword}{826}{subsection.49.1.5}
\contentsline {subsection}{\numberline {49.1.6}defun processSynonymLine}{827}{subsection.49.1.6}
\contentsline {chapter}{\numberline {50})system help page\nobreakspace {}Command}{829}{chapter.50}
\contentsline {section}{\numberline {50.1}system help page man page}{829}{section.50.1}
\contentsline {chapter}{\numberline {51})trace help page\nobreakspace {}Command}{831}{chapter.51}
\contentsline {section}{\numberline {51.1}trace help page man page}{831}{section.51.1}
\contentsline {subsection}{\numberline {51.1.1}The trace global variables}{835}{subsection.51.1.1}
\contentsline {subsection}{\numberline {51.1.2}defvar \${traceNoisely}}{836}{subsection.51.1.2}
\contentsline {subsection}{\numberline {51.1.3}defvar \${reportSpadTrace}}{836}{subsection.51.1.3}
\contentsline {subsection}{\numberline {51.1.4}defvar \${optionAlist}}{836}{subsection.51.1.4}
\contentsline {subsection}{\numberline {51.1.5}defvar \${tracedMapSignatures}}{836}{subsection.51.1.5}
\contentsline {subsection}{\numberline {51.1.6}defvar \${traceOptionList}}{836}{subsection.51.1.6}
\contentsline {subsection}{\numberline {51.1.7}defun trace}{837}{subsection.51.1.7}
\contentsline {subsection}{\numberline {51.1.8}defun traceSpad2Cmd}{837}{subsection.51.1.8}
\contentsline {subsection}{\numberline {51.1.9}defun trace1}{838}{subsection.51.1.9}
\contentsline {subsection}{\numberline {51.1.10}defun getTraceOptions}{842}{subsection.51.1.10}
\contentsline {subsection}{\numberline {51.1.11}defun saveMapSig}{843}{subsection.51.1.11}
\contentsline {subsection}{\numberline {51.1.12}defun getMapSig}{843}{subsection.51.1.12}
\contentsline {subsection}{\numberline {51.1.13}defun getTraceOption,hn}{843}{subsection.51.1.13}
\contentsline {subsection}{\numberline {51.1.14}defun getTraceOption}{844}{subsection.51.1.14}
\contentsline {subsection}{\numberline {51.1.15}defun traceOptionError}{847}{subsection.51.1.15}
\contentsline {subsection}{\numberline {51.1.16}defun resetTimers}{848}{subsection.51.1.16}
\contentsline {subsection}{\numberline {51.1.17}defun resetSpacers}{848}{subsection.51.1.17}
\contentsline {subsection}{\numberline {51.1.18}defun resetCounters}{848}{subsection.51.1.18}
\contentsline {subsection}{\numberline {51.1.19}defun ptimers}{849}{subsection.51.1.19}
\contentsline {subsection}{\numberline {51.1.20}defun pspacers}{849}{subsection.51.1.20}
\contentsline {subsection}{\numberline {51.1.21}defun pcounters}{850}{subsection.51.1.21}
\contentsline {subsection}{\numberline {51.1.22}defun transOnlyOption}{850}{subsection.51.1.22}
\contentsline {subsection}{\numberline {51.1.23}defun stackTraceOptionError}{851}{subsection.51.1.23}
\contentsline {subsection}{\numberline {51.1.24}defun removeOption}{851}{subsection.51.1.24}
\contentsline {subsection}{\numberline {51.1.25}defun domainToGenvar}{851}{subsection.51.1.25}
\contentsline {subsection}{\numberline {51.1.26}defun genDomainTraceName}{852}{subsection.51.1.26}
\contentsline {subsection}{\numberline {51.1.27}defun untrace}{852}{subsection.51.1.27}
\contentsline {subsection}{\numberline {51.1.28}defun transTraceItem}{853}{subsection.51.1.28}
\contentsline {subsection}{\numberline {51.1.29}defun removeTracedMapSigs}{854}{subsection.51.1.29}
\contentsline {subsection}{\numberline {51.1.30}defun coerceTraceArgs2E}{854}{subsection.51.1.30}
\contentsline {subsection}{\numberline {51.1.31}defun coerceSpadArgs2E}{855}{subsection.51.1.31}
\contentsline {subsection}{\numberline {51.1.32}defun subTypes}{856}{subsection.51.1.32}
\contentsline {subsection}{\numberline {51.1.33}defun coerceTraceFunValue2E}{857}{subsection.51.1.33}
\contentsline {subsection}{\numberline {51.1.34}defun coerceSpadFunValue2E}{858}{subsection.51.1.34}
\contentsline {subsection}{\numberline {51.1.35}defun isListOfIdentifiers}{858}{subsection.51.1.35}
\contentsline {subsection}{\numberline {51.1.36}defun isListOfIdentifiersOrStrings}{859}{subsection.51.1.36}
\contentsline {subsection}{\numberline {51.1.37}defun getMapSubNames}{859}{subsection.51.1.37}
\contentsline {subsection}{\numberline {51.1.38}defun getPreviousMapSubNames}{860}{subsection.51.1.38}
\contentsline {subsection}{\numberline {51.1.39}defun lassocSub}{861}{subsection.51.1.39}
\contentsline {subsection}{\numberline {51.1.40}defun rassocSub}{861}{subsection.51.1.40}
\contentsline {subsection}{\numberline {51.1.41}defun isUncompiledMap}{861}{subsection.51.1.41}
\contentsline {subsection}{\numberline {51.1.42}defun isInterpOnlyMap}{862}{subsection.51.1.42}
\contentsline {subsection}{\numberline {51.1.43}defun augmentTraceNames}{862}{subsection.51.1.43}
\contentsline {subsection}{\numberline {51.1.44}defun isSubForRedundantMapName}{863}{subsection.51.1.44}
\contentsline {subsection}{\numberline {51.1.45}defun untraceMapSubNames}{863}{subsection.51.1.45}
\contentsline {subsection}{\numberline {51.1.46}defun funfind,LAM}{864}{subsection.51.1.46}
\contentsline {subsection}{\numberline {51.1.47}defmacro {funfind}}{864}{subsection.51.1.47}
\contentsline {subsection}{\numberline {51.1.48}defun isDomainOrPackage}{865}{subsection.51.1.48}
\contentsline {subsection}{\numberline {51.1.49}defun isTraceGensym}{865}{subsection.51.1.49}
\contentsline {subsection}{\numberline {51.1.50}defun spadTrace,g}{865}{subsection.51.1.50}
\contentsline {subsection}{\numberline {51.1.51}defun spadTrace,isTraceable}{865}{subsection.51.1.51}
\contentsline {subsection}{\numberline {51.1.52}defun spadTrace}{866}{subsection.51.1.52}
\contentsline {subsection}{\numberline {51.1.53}defun traceDomainLocalOps}{870}{subsection.51.1.53}
\contentsline {subsection}{\numberline {51.1.54}defun untraceDomainLocalOps}{870}{subsection.51.1.54}
\contentsline {subsection}{\numberline {51.1.55}defun traceDomainConstructor}{870}{subsection.51.1.55}
\contentsline {subsection}{\numberline {51.1.56}defun untraceDomainConstructor,keepTraced?}{872}{subsection.51.1.56}
\contentsline {subsection}{\numberline {51.1.57}defun untraceDomainConstructor}{873}{subsection.51.1.57}
\contentsline {subsection}{\numberline {51.1.58}defun flattenOperationAlist}{873}{subsection.51.1.58}
\contentsline {subsection}{\numberline {51.1.59}defun mapLetPrint}{874}{subsection.51.1.59}
\contentsline {subsection}{\numberline {51.1.60}defun letPrint}{875}{subsection.51.1.60}
\contentsline {subsection}{\numberline {51.1.61}defun Identifier beginning with a sharpsign-number?}{876}{subsection.51.1.61}
\contentsline {subsection}{\numberline {51.1.62}defun Identifier beginning with a sharpsign?}{876}{subsection.51.1.62}
\contentsline {subsection}{\numberline {51.1.63}defun isgenvar}{876}{subsection.51.1.63}
\contentsline {subsection}{\numberline {51.1.64}defun letPrint2}{877}{subsection.51.1.64}
\contentsline {subsection}{\numberline {51.1.65}defun letPrint3}{878}{subsection.51.1.65}
\contentsline {subsection}{\numberline {51.1.66}defun getAliasIfTracedMapParameter}{879}{subsection.51.1.66}
\contentsline {subsection}{\numberline {51.1.67}defun getBpiNameIfTracedMap}{880}{subsection.51.1.67}
\contentsline {subsection}{\numberline {51.1.68}defun hasPair}{881}{subsection.51.1.68}
\contentsline {subsection}{\numberline {51.1.69}defun shortenForPrinting}{881}{subsection.51.1.69}
\contentsline {subsection}{\numberline {51.1.70}defun spadTraceAlias}{881}{subsection.51.1.70}
\contentsline {subsection}{\numberline {51.1.71}defun getOption}{882}{subsection.51.1.71}
\contentsline {subsection}{\numberline {51.1.72}defun reportSpadTrace}{882}{subsection.51.1.72}
\contentsline {subsection}{\numberline {51.1.73}defun orderBySlotNumber}{883}{subsection.51.1.73}
\contentsline {subsection}{\numberline {51.1.74}defun /tracereply}{884}{subsection.51.1.74}
\contentsline {subsection}{\numberline {51.1.75}defun spadReply,printName}{884}{subsection.51.1.75}
\contentsline {subsection}{\numberline {51.1.76}defun spadReply}{885}{subsection.51.1.76}
\contentsline {subsection}{\numberline {51.1.77}defun spadUntrace}{885}{subsection.51.1.77}
\contentsline {subsection}{\numberline {51.1.78}defun remover}{887}{subsection.51.1.78}
\contentsline {subsection}{\numberline {51.1.79}defun prTraceNames,fn}{888}{subsection.51.1.79}
\contentsline {subsection}{\numberline {51.1.80}defun prTraceNames}{888}{subsection.51.1.80}
\contentsline {subsection}{\numberline {51.1.81}defvar \${constructors}}{889}{subsection.51.1.81}
\contentsline {subsection}{\numberline {51.1.82}defun traceReply}{889}{subsection.51.1.82}
\contentsline {subsection}{\numberline {51.1.83}defun addTraceItem}{892}{subsection.51.1.83}
\contentsline {subsection}{\numberline {51.1.84}defun ?t}{892}{subsection.51.1.84}
\contentsline {subsection}{\numberline {51.1.85}defun tracelet}{894}{subsection.51.1.85}
\contentsline {subsection}{\numberline {51.1.86}defun breaklet}{895}{subsection.51.1.86}
\contentsline {subsection}{\numberline {51.1.87}defun stupidIsSpadFunction}{896}{subsection.51.1.87}
\contentsline {subsection}{\numberline {51.1.88}defun break}{896}{subsection.51.1.88}
\contentsline {subsection}{\numberline {51.1.89}defun compileBoot}{897}{subsection.51.1.89}
\contentsline {chapter}{\numberline {52})undo help page\nobreakspace {}Command}{899}{chapter.52}
\contentsline {section}{\numberline {52.1}undo help page man page}{899}{section.52.1}
\contentsline {section}{\numberline {52.2}Evaluation}{900}{section.52.2}
\contentsline {subsection}{\numberline {52.2.1}defun evalDomain}{903}{subsection.52.2.1}
\contentsline {subsection}{\numberline {52.2.2}defun mkEvalable}{903}{subsection.52.2.2}
\contentsline {subsection}{\numberline {52.2.3}defun mkEvalableUnion}{905}{subsection.52.2.3}
\contentsline {subsection}{\numberline {52.2.4}defun mkEvalableRecord}{905}{subsection.52.2.4}
\contentsline {subsection}{\numberline {52.2.5}defun mkEvalableMapping}{905}{subsection.52.2.5}
\contentsline {subsection}{\numberline {52.2.6}defun evaluateType}{906}{subsection.52.2.6}
\contentsline {subsection}{\numberline {52.2.7}defun Eval args passed to a constructor}{907}{subsection.52.2.7}
\contentsline {subsection}{\numberline {52.2.8}defvar \${noEvalTypeMsg}}{909}{subsection.52.2.8}
\contentsline {subsection}{\numberline {52.2.9}defun throwEvalTypeMsg}{909}{subsection.52.2.9}
\contentsline {subsection}{\numberline {52.2.10}defun makeOrdinal}{910}{subsection.52.2.10}
\contentsline {subsection}{\numberline {52.2.11}defun evaluateSignature}{910}{subsection.52.2.11}
\contentsline {section}{\numberline {52.3}Data Structures}{910}{section.52.3}
\contentsline {section}{\numberline {52.4}Functions}{911}{section.52.4}
\contentsline {subsection}{\numberline {52.4.1}Initial Undo Variables}{911}{subsection.52.4.1}
\contentsline {subsection}{\numberline {52.4.2}defvar \${undoFlag}}{911}{subsection.52.4.2}
\contentsline {subsection}{\numberline {52.4.3}defvar \${frameRecord}}{911}{subsection.52.4.3}
\contentsline {subsection}{\numberline {52.4.4}defvar \${previousBindings}}{911}{subsection.52.4.4}
\contentsline {subsection}{\numberline {52.4.5}defvar \${reportUndo}}{912}{subsection.52.4.5}
\contentsline {subsection}{\numberline {52.4.6}defun undo}{912}{subsection.52.4.6}
\contentsline {subsection}{\numberline {52.4.7}defun recordFrame}{913}{subsection.52.4.7}
\contentsline {subsection}{\numberline {52.4.8}defun diffAlist}{914}{subsection.52.4.8}
\contentsline {subsection}{\numberline {52.4.9}defun reportUndo}{917}{subsection.52.4.9}
\contentsline {subsection}{\numberline {52.4.10}defun clearFrame}{919}{subsection.52.4.10}
\contentsline {subsection}{\numberline {52.4.11}Undo previous n commands}{919}{subsection.52.4.11}
\contentsline {subsection}{\numberline {52.4.12}defun undoSteps}{920}{subsection.52.4.12}
\contentsline {subsection}{\numberline {52.4.13}defun undoSingleStep}{921}{subsection.52.4.13}
\contentsline {subsection}{\numberline {52.4.14}defun undoLocalModemapHack}{923}{subsection.52.4.14}
\contentsline {subsection}{\numberline {52.4.15}Remove undo lines from history write}{923}{subsection.52.4.15}
\contentsline {chapter}{\numberline {53})what help page\nobreakspace {}Command}{927}{chapter.53}
\contentsline {section}{\numberline {53.1}what help page man page}{927}{section.53.1}
\contentsline {subsection}{\numberline {53.1.1}defvar \${whatOptions}}{929}{subsection.53.1.1}
\contentsline {subsection}{\numberline {53.1.2}defun what}{929}{subsection.53.1.2}
\contentsline {subsection}{\numberline {53.1.3}defun whatSpad2Cmd,fixpat}{929}{subsection.53.1.3}
\contentsline {subsection}{\numberline {53.1.4}defun whatSpad2Cmd}{930}{subsection.53.1.4}
\contentsline {subsection}{\numberline {53.1.5}defun Show keywords for )what command}{931}{subsection.53.1.5}
\contentsline {subsection}{\numberline {53.1.6}defun The )what commands implementation}{931}{subsection.53.1.6}
\contentsline {subsection}{\numberline {53.1.7}defun Find all names contained in a pattern}{932}{subsection.53.1.7}
\contentsline {subsection}{\numberline {53.1.8}defun Find function of names contained in pattern}{933}{subsection.53.1.8}
\contentsline {subsection}{\numberline {53.1.9}defun satisfiesRegularExpressions}{933}{subsection.53.1.9}
\contentsline {subsection}{\numberline {53.1.10}defun filterAndFormatConstructors}{934}{subsection.53.1.10}
\contentsline {subsection}{\numberline {53.1.11}defun whatConstructors}{935}{subsection.53.1.11}
\contentsline {subsection}{\numberline {53.1.12}Display all operation names containing the fragment}{935}{subsection.53.1.12}
\contentsline {chapter}{\numberline {54})with help page\nobreakspace {}Command}{937}{chapter.54}
\contentsline {section}{\numberline {54.1}with help page man page}{937}{section.54.1}
\contentsline {subsection}{\numberline {54.1.1}defun with}{937}{subsection.54.1.1}
\contentsline {chapter}{\numberline {55})workfiles help page\nobreakspace {}Command}{939}{chapter.55}
\contentsline {section}{\numberline {55.1}workfiles help page man page}{939}{section.55.1}
\contentsline {subsection}{\numberline {55.1.1}defun workfiles}{939}{subsection.55.1.1}
\contentsline {subsection}{\numberline {55.1.2}defun workfilesSpad2Cmd}{939}{subsection.55.1.2}
\contentsline {chapter}{\numberline {56})zsystemdevelopment help page\nobreakspace {}Command}{943}{chapter.56}
\contentsline {section}{\numberline {56.1}zsystemdevelopment help page man page}{943}{section.56.1}
\contentsline {subsection}{\numberline {56.1.1}defun zsystemdevelopment}{943}{subsection.56.1.1}
\contentsline {subsection}{\numberline {56.1.2}defun zsystemDevelopmentSpad2Cmd}{943}{subsection.56.1.2}
\contentsline {subsection}{\numberline {56.1.3}defun zsystemdevelopment1}{944}{subsection.56.1.3}
\contentsline {chapter}{\numberline {57}Handlers for Special Forms}{947}{chapter.57}
\contentsline {subsection}{\numberline {57.0.4}defun getAndEvalConstructorArgument}{948}{subsection.57.0.4}
\contentsline {subsection}{\numberline {57.0.5}defun replaceSharps}{948}{subsection.57.0.5}
\contentsline {subsection}{\numberline {57.0.6}defun isDomainValuedVariable}{949}{subsection.57.0.6}
\contentsline {subsection}{\numberline {57.0.7}defun evalCategory}{949}{subsection.57.0.7}
\contentsline {chapter}{\numberline {58}Handling input files}{951}{chapter.58}
\contentsline {subsection}{\numberline {58.0.8}defun Handle .axiom.input file}{951}{subsection.58.0.8}
\contentsline {subsection}{\numberline {58.0.9}defvar \${boot-line-stack}}{951}{subsection.58.0.9}
\contentsline {subsection}{\numberline {58.0.10}defvar \${in-stream}}{951}{subsection.58.0.10}
\contentsline {subsection}{\numberline {58.0.11}defvar \${out-stream}}{952}{subsection.58.0.11}
\contentsline {subsection}{\numberline {58.0.12}defvar \${file-closed}}{952}{subsection.58.0.12}
\contentsline {subsection}{\numberline {58.0.13}defvar \${echo-meta}}{952}{subsection.58.0.13}
\contentsline {subsection}{\numberline {58.0.14}defvar \${noSubsumption}}{952}{subsection.58.0.14}
\contentsline {subsection}{\numberline {58.0.15}defvar \${envHashTable}}{953}{subsection.58.0.15}
\contentsline {subsection}{\numberline {58.0.16}defun Dynamically add bindings to the environment}{953}{subsection.58.0.16}
\contentsline {subsection}{\numberline {58.0.17}defun Fetch a property list for a symbol from CategoryFrame}{954}{subsection.58.0.17}
\contentsline {subsection}{\numberline {58.0.18}defun Search for a binding in the environment list}{954}{subsection.58.0.18}
\contentsline {subsection}{\numberline {58.0.19}defun Search for a binding in the current environment}{954}{subsection.58.0.19}
\contentsline {subsection}{\numberline {58.0.20}defun searchTailEnv}{955}{subsection.58.0.20}
\contentsline {chapter}{\numberline {59}File Parsing}{957}{chapter.59}
\contentsline {subsection}{\numberline {59.0.21}defun Bind a variable in the interactive environment}{957}{subsection.59.0.21}
\contentsline {subsection}{\numberline {59.0.22}defvar \${line-handler}}{957}{subsection.59.0.22}
\contentsline {subsection}{\numberline {59.0.23}defvar \${spad-errors}}{957}{subsection.59.0.23}
\contentsline {subsection}{\numberline {59.0.24}defvar \${xtokenreader}}{958}{subsection.59.0.24}
\contentsline {subsection}{\numberline {59.0.25}defun Initialize the spad reader}{958}{subsection.59.0.25}
\contentsline {subsection}{\numberline {59.0.26}defun spad-syntax-error}{959}{subsection.59.0.26}
\contentsline {subsection}{\numberline {59.0.27}defun spad-long-error}{959}{subsection.59.0.27}
\contentsline {subsection}{\numberline {59.0.28}defun spad-short-error}{960}{subsection.59.0.28}
\contentsline {subsection}{\numberline {59.0.29}defun spad-error-loc}{960}{subsection.59.0.29}
\contentsline {subsection}{\numberline {59.0.30}defun iostat}{960}{subsection.59.0.30}
\contentsline {subsection}{\numberline {59.0.31}defun next-lines-show}{961}{subsection.59.0.31}
\contentsline {subsection}{\numberline {59.0.32}defun token-stack-show}{961}{subsection.59.0.32}
\contentsline {subsection}{\numberline {59.0.33}defun ioclear}{962}{subsection.59.0.33}
\contentsline {subsection}{\numberline {59.0.34}defun Set boot-line-stack to nil}{962}{subsection.59.0.34}
\contentsline {chapter}{\numberline {60}Handling output}{965}{chapter.60}
\contentsline {section}{\numberline {60.1}Special Character Tables}{965}{section.60.1}
\contentsline {subsection}{\numberline {60.1.1}defvar \${defaultSpecialCharacters}}{965}{subsection.60.1.1}
\contentsline {subsection}{\numberline {60.1.2}defvar \${plainSpecialCharacters0}}{966}{subsection.60.1.2}
\contentsline {subsection}{\numberline {60.1.3}defvar \${plainSpecialCharacters1}}{966}{subsection.60.1.3}
\contentsline {subsection}{\numberline {60.1.4}defvar \${plainSpecialCharacters2}}{967}{subsection.60.1.4}
\contentsline {subsection}{\numberline {60.1.5}defvar \${plainSpecialCharacters3}}{967}{subsection.60.1.5}
\contentsline {subsection}{\numberline {60.1.6}defvar \${plainRTspecialCharacters}}{968}{subsection.60.1.6}
\contentsline {subsection}{\numberline {60.1.7}defvar \${RTspecialCharacters}}{968}{subsection.60.1.7}
\contentsline {subsection}{\numberline {60.1.8}defvar \${specialCharacters}}{969}{subsection.60.1.8}
\contentsline {subsection}{\numberline {60.1.9}defvar \${specialCharacterAlist}}{969}{subsection.60.1.9}
\contentsline {subsection}{\numberline {60.1.10}defun Look up a special character code for a symbol}{970}{subsection.60.1.10}
\contentsline {chapter}{\numberline {61}Stream and File Handling}{971}{chapter.61}
\contentsline {subsection}{\numberline {61.0.11}defun make-instream}{971}{subsection.61.0.11}
\contentsline {subsection}{\numberline {61.0.12}defun make-outstream}{971}{subsection.61.0.12}
\contentsline {subsection}{\numberline {61.0.13}defun make-appendstream}{972}{subsection.61.0.13}
\contentsline {subsection}{\numberline {61.0.14}defun defiostream}{972}{subsection.61.0.14}
\contentsline {subsection}{\numberline {61.0.15}defun shut}{972}{subsection.61.0.15}
\contentsline {subsection}{\numberline {61.0.16}defun eofp}{973}{subsection.61.0.16}
\contentsline {subsection}{\numberline {61.0.17}defun makeStream}{973}{subsection.61.0.17}
\contentsline {subsection}{\numberline {61.0.18}defun Construct a new input file name}{973}{subsection.61.0.18}
\contentsline {subsection}{\numberline {61.0.19}defun getDirectoryList}{974}{subsection.61.0.19}
\contentsline {subsection}{\numberline {61.0.20}defun probeName}{974}{subsection.61.0.20}
\contentsline {subsection}{\numberline {61.0.21}defun makeFullNamestring}{975}{subsection.61.0.21}
\contentsline {subsection}{\numberline {61.0.22}defun Replace a file by erase and rename}{975}{subsection.61.0.22}
\contentsline {chapter}{\numberline {62}The Spad Server Mechanism}{977}{chapter.62}
\contentsline {subsection}{\numberline {62.0.23}defun openserver}{977}{subsection.62.0.23}
\contentsline {chapter}{\numberline {63}Axiom Build-time Functions}{979}{chapter.63}
\contentsline {subsection}{\numberline {63.0.24}defun spad-save}{979}{subsection.63.0.24}
\contentsline {chapter}{\numberline {64}Exposure Groups}{981}{chapter.64}
\contentsline {chapter}{\numberline {65}Databases}{983}{chapter.65}
\contentsline {section}{\numberline {65.1}Database structure}{983}{section.65.1}
\contentsline {subsection}{\numberline {65.1.1}kaf File Format}{983}{subsection.65.1.1}
\contentsline {subsection}{\numberline {65.1.2}Database Files}{984}{subsection.65.1.2}
\contentsline {subsection}{\numberline {65.1.3}defstruct \${database}}{986}{subsection.65.1.3}
\contentsline {subsection}{\numberline {65.1.4}defvar \${*defaultdomain-list*}}{987}{subsection.65.1.4}
\contentsline {subsection}{\numberline {65.1.5}defvar \${*operation-hash*}}{987}{subsection.65.1.5}
\contentsline {subsection}{\numberline {65.1.6}defvar \${*hasCategory-hash*}}{987}{subsection.65.1.6}
\contentsline {subsection}{\numberline {65.1.7}defvar \${*miss*}}{988}{subsection.65.1.7}
\contentsline {subsection}{\numberline {65.1.8}Database streams}{988}{subsection.65.1.8}
\contentsline {subsection}{\numberline {65.1.9}defvar \${*compressvector*}}{988}{subsection.65.1.9}
\contentsline {subsection}{\numberline {65.1.10}defvar \${*compressVectorLength*}}{988}{subsection.65.1.10}
\contentsline {subsection}{\numberline {65.1.11}defvar \${*compress-stream*}}{989}{subsection.65.1.11}
\contentsline {subsection}{\numberline {65.1.12}defvar \${*compress-stream-stamp*}}{989}{subsection.65.1.12}
\contentsline {subsection}{\numberline {65.1.13}defvar \${*interp-stream*}}{989}{subsection.65.1.13}
\contentsline {subsection}{\numberline {65.1.14}defvar \${*interp-stream-stamp*}}{989}{subsection.65.1.14}
\contentsline {subsection}{\numberline {65.1.15}defvar \${*operation-stream*}}{989}{subsection.65.1.15}
\contentsline {subsection}{\numberline {65.1.16}defvar \${*operation-stream-stamp*}}{990}{subsection.65.1.16}
\contentsline {subsection}{\numberline {65.1.17}defvar \${*browse-stream*}}{990}{subsection.65.1.17}
\contentsline {subsection}{\numberline {65.1.18}defvar \${*browse-stream-stamp*}}{990}{subsection.65.1.18}
\contentsline {subsection}{\numberline {65.1.19}defvar \${*category-stream*}}{990}{subsection.65.1.19}
\contentsline {subsection}{\numberline {65.1.20}defvar \${*category-stream-stamp*}}{991}{subsection.65.1.20}
\contentsline {subsection}{\numberline {65.1.21}defvar \${*allconstructors*}}{991}{subsection.65.1.21}
\contentsline {subsection}{\numberline {65.1.22}defvar \${*allOperations*}}{991}{subsection.65.1.22}
\contentsline {subsection}{\numberline {65.1.23}defun Reset all hash tables before saving system}{991}{subsection.65.1.23}
\contentsline {subsection}{\numberline {65.1.24}defun Preload algebra into saved system}{992}{subsection.65.1.24}
\contentsline {subsection}{\numberline {65.1.25}defun Open the interp database}{994}{subsection.65.1.25}
\contentsline {subsection}{\numberline {65.1.26}defun Open the browse database}{996}{subsection.65.1.26}
\contentsline {subsection}{\numberline {65.1.27}defun Open the category database}{997}{subsection.65.1.27}
\contentsline {subsection}{\numberline {65.1.28}defun Open the operations database}{998}{subsection.65.1.28}
\contentsline {subsection}{\numberline {65.1.29}defun Add operations from newly compiled code}{998}{subsection.65.1.29}
\contentsline {subsection}{\numberline {65.1.30}defun Show all database attributes of a constructor}{999}{subsection.65.1.30}
\contentsline {subsection}{\numberline {65.1.31}defun Set a value for a constructor key in the database}{1000}{subsection.65.1.31}
\contentsline {subsection}{\numberline {65.1.32}defun Delete a value for a constructor key in the database}{1001}{subsection.65.1.32}
\contentsline {subsection}{\numberline {65.1.33}defun Get constructor information for a database key}{1001}{subsection.65.1.33}
\contentsline {subsection}{\numberline {65.1.34}defun The {\tt )library} top level command}{1005}{subsection.65.1.34}
\contentsline {subsection}{\numberline {65.1.35}defun Read a local filename and update the hash tables}{1005}{subsection.65.1.35}
\contentsline {subsection}{\numberline {65.1.36}defun Update the database from an nrlib index.kaf file}{1007}{subsection.65.1.36}
\contentsline {subsection}{\numberline {65.1.37}defun updateDatabase}{1009}{subsection.65.1.37}
\contentsline {subsection}{\numberline {65.1.38}defun Make new databases}{1009}{subsection.65.1.38}
\contentsline {subsection}{\numberline {65.1.39}defun saveDependentsHashTable}{1013}{subsection.65.1.39}
\contentsline {subsection}{\numberline {65.1.40}defun saveUsersHashTable}{1014}{subsection.65.1.40}
\contentsline {subsection}{\numberline {65.1.41}defun Construct the proper database full pathname}{1014}{subsection.65.1.41}
\contentsline {subsection}{\numberline {65.1.42}compress.daase}{1015}{subsection.65.1.42}
\contentsline {subsection}{\numberline {65.1.43}defun Set up compression vectors for the databases}{1015}{subsection.65.1.43}
\contentsline {subsection}{\numberline {65.1.44}defvar \${*attributes*}}{1016}{subsection.65.1.44}
\contentsline {subsection}{\numberline {65.1.45}defun Write out the compress database}{1016}{subsection.65.1.45}
\contentsline {subsection}{\numberline {65.1.46}defun Compress an expression using the compress vector}{1017}{subsection.65.1.46}
\contentsline {subsection}{\numberline {65.1.47}defun Uncompress an expression using the compress vector}{1018}{subsection.65.1.47}
\contentsline {subsection}{\numberline {65.1.48}Building the interp.daase from hash tables}{1018}{subsection.65.1.48}
\contentsline {subsection}{\numberline {65.1.49}defun Write the interp database}{1022}{subsection.65.1.49}
\contentsline {subsection}{\numberline {65.1.50}Building the browse.daase from hash tables}{1024}{subsection.65.1.50}
\contentsline {subsection}{\numberline {65.1.51}defun Write the browse database}{1024}{subsection.65.1.51}
\contentsline {subsection}{\numberline {65.1.52}Building the category.daase from hash tables}{1025}{subsection.65.1.52}
\contentsline {subsection}{\numberline {65.1.53}defun Write the category database}{1025}{subsection.65.1.53}
\contentsline {subsection}{\numberline {65.1.54}Building the operation.daase from hash tables}{1026}{subsection.65.1.54}
\contentsline {subsection}{\numberline {65.1.55}defun Write the operations database}{1026}{subsection.65.1.55}
\contentsline {subsection}{\numberline {65.1.56}Database support operations}{1027}{subsection.65.1.56}
\contentsline {subsection}{\numberline {65.1.57}defun Data preloaded into the image at build time}{1027}{subsection.65.1.57}
\contentsline {subsection}{\numberline {65.1.58}defun Return all constructors}{1027}{subsection.65.1.58}
\contentsline {subsection}{\numberline {65.1.59}defun Return all operations}{1027}{subsection.65.1.59}
\contentsline {chapter}{\numberline {66}System Statistics}{1029}{chapter.66}
\contentsline {section}{\numberline {66.1}Lisp Library Handling}{1029}{section.66.1}
\contentsline {subsection}{\numberline {66.1.1}defun loadLib}{1029}{subsection.66.1.1}
\contentsline {subsection}{\numberline {66.1.2}defun isSystemDirectory}{1030}{subsection.66.1.2}
\contentsline {subsection}{\numberline {66.1.3}defun loadLibNoUpdate}{1031}{subsection.66.1.3}
\contentsline {subsection}{\numberline {66.1.4}defun loadFunctor}{1032}{subsection.66.1.4}
\contentsline {chapter}{\numberline {67}Special Lisp Functions}{1033}{chapter.67}
\contentsline {section}{\numberline {67.1}Axiom control structure macros}{1033}{section.67.1}
\contentsline {subsection}{\numberline {67.1.1}defun put}{1033}{subsection.67.1.1}
\contentsline {subsection}{\numberline {67.1.2}defmacro {while}}{1033}{subsection.67.1.2}
\contentsline {subsection}{\numberline {67.1.3}defmacro {whileWithResult}}{1034}{subsection.67.1.3}
\contentsline {section}{\numberline {67.2}Filename Handling}{1034}{section.67.2}
\contentsline {subsection}{\numberline {67.2.1}defun namestring}{1034}{subsection.67.2.1}
\contentsline {subsection}{\numberline {67.2.2}defun pathnameName}{1034}{subsection.67.2.2}
\contentsline {subsection}{\numberline {67.2.3}defun pathnameType}{1034}{subsection.67.2.3}
\contentsline {subsection}{\numberline {67.2.4}defun pathnameTypeId}{1035}{subsection.67.2.4}
\contentsline {subsection}{\numberline {67.2.5}defun mergePathnames}{1035}{subsection.67.2.5}
\contentsline {subsection}{\numberline {67.2.6}defun pathnameDirectory}{1035}{subsection.67.2.6}
\contentsline {subsection}{\numberline {67.2.7}defun Axiom pathnames}{1036}{subsection.67.2.7}
\contentsline {subsection}{\numberline {67.2.8}defun makePathname}{1036}{subsection.67.2.8}
\contentsline {subsection}{\numberline {67.2.9}defun Delete a file}{1036}{subsection.67.2.9}
\contentsline {subsection}{\numberline {67.2.10}defun wrap}{1037}{subsection.67.2.10}
\contentsline {subsection}{\numberline {67.2.11}defun lotsof}{1037}{subsection.67.2.11}
\contentsline {subsection}{\numberline {67.2.12}defmacro {startsId?}}{1038}{subsection.67.2.12}
\contentsline {subsection}{\numberline {67.2.13}defun hput}{1038}{subsection.67.2.13}
\contentsline {subsection}{\numberline {67.2.14}defmacro {hget}}{1038}{subsection.67.2.14}
\contentsline {subsection}{\numberline {67.2.15}defun hkeys}{1038}{subsection.67.2.15}
\contentsline {subsection}{\numberline {67.2.16}defun digitp}{1039}{subsection.67.2.16}
\contentsline {subsection}{\numberline {67.2.17}defun pname}{1039}{subsection.67.2.17}
\contentsline {subsection}{\numberline {67.2.18}defun size}{1039}{subsection.67.2.18}
\contentsline {subsection}{\numberline {67.2.19}defun strpos}{1039}{subsection.67.2.19}
\contentsline {subsection}{\numberline {67.2.20}defun strposl}{1040}{subsection.67.2.20}
\contentsline {subsection}{\numberline {67.2.21}defun qenum}{1040}{subsection.67.2.21}
\contentsline {subsection}{\numberline {67.2.22}defmacro {identp}}{1040}{subsection.67.2.22}
\contentsline {subsection}{\numberline {67.2.23}defun concat}{1041}{subsection.67.2.23}
\contentsline {subsection}{\numberline {67.2.24}defun functionp}{1041}{subsection.67.2.24}
\contentsline {subsection}{\numberline {67.2.25}defun brightprint}{1041}{subsection.67.2.25}
\contentsline {subsection}{\numberline {67.2.26}defun brightprint-0}{1042}{subsection.67.2.26}
\contentsline {subsection}{\numberline {67.2.27}defun member}{1042}{subsection.67.2.27}
\contentsline {subsection}{\numberline {67.2.28}defun messageprint}{1042}{subsection.67.2.28}
\contentsline {subsection}{\numberline {67.2.29}defun messageprint-1}{1043}{subsection.67.2.29}
\contentsline {subsection}{\numberline {67.2.30}defun messageprint-2}{1043}{subsection.67.2.30}
\contentsline {subsection}{\numberline {67.2.31}defun sayBrightly1}{1043}{subsection.67.2.31}
\contentsline {subsection}{\numberline {67.2.32}defmacro {assq}}{1044}{subsection.67.2.32}
\contentsline {chapter}{\numberline {68}Record, Union, Mapping, and Enumeration}{1045}{chapter.68}
\contentsline {chapter}{\numberline {69}Common Lisp Algebra Support}{1047}{chapter.69}
\contentsline {section}{\numberline {69.1}Void}{1047}{section.69.1}
\contentsline {subsection}{\numberline {69.1.1}defun voidValue}{1047}{subsection.69.1.1}
\contentsline {section}{\numberline {69.2}U32Vector}{1048}{section.69.2}
\contentsline {subsection}{\numberline {69.2.1}defun getrefv32}{1048}{subsection.69.2.1}
\contentsline {subsection}{\numberline {69.2.2}defmacro {qv32len}}{1048}{subsection.69.2.2}
\contentsline {subsection}{\numberline {69.2.3}defmacro {elt32}}{1048}{subsection.69.2.3}
\contentsline {subsection}{\numberline {69.2.4}defmacro {setelt32}}{1048}{subsection.69.2.4}
\contentsline {section}{\numberline {69.3}DirectProduct}{1049}{section.69.3}
\contentsline {subsection}{\numberline {69.3.1}defun vec2list}{1049}{subsection.69.3.1}
\contentsline {section}{\numberline {69.4}AlgebraicFunction}{1049}{section.69.4}
\contentsline {subsection}{\numberline {69.4.1}defun retract}{1049}{subsection.69.4.1}
\contentsline {section}{\numberline {69.5}Any}{1051}{section.69.5}
\contentsline {subsection}{\numberline {69.5.1}defun spad2BootCoerce}{1051}{subsection.69.5.1}
\contentsline {section}{\numberline {69.6}ParametricLinearEquations}{1051}{section.69.6}
\contentsline {subsection}{\numberline {69.6.1}defun algCoerceInteractive}{1051}{subsection.69.6.1}
\contentsline {section}{\numberline {69.7}NumberFormats}{1052}{section.69.7}
\contentsline {subsection}{\numberline {69.7.1}defun ncParseFromString}{1052}{subsection.69.7.1}
\contentsline {section}{\numberline {69.8}SingleInteger}{1052}{section.69.8}
\contentsline {subsection}{\numberline {69.8.1}defun qsquotient}{1052}{subsection.69.8.1}
\contentsline {subsection}{\numberline {69.8.2}defun qsremainder}{1052}{subsection.69.8.2}
\contentsline {subsection}{\numberline {69.8.3}defmacro {qsdifference}}{1052}{subsection.69.8.3}
\contentsline {subsection}{\numberline {69.8.4}defmacro {qslessp}}{1053}{subsection.69.8.4}
\contentsline {subsection}{\numberline {69.8.5}defmacro {qsadd1}}{1053}{subsection.69.8.5}
\contentsline {subsection}{\numberline {69.8.6}defmacro {qssub1}}{1053}{subsection.69.8.6}
\contentsline {subsection}{\numberline {69.8.7}defmacro {qsminus}}{1053}{subsection.69.8.7}
\contentsline {subsection}{\numberline {69.8.8}defmacro {qsplus}}{1054}{subsection.69.8.8}
\contentsline {subsection}{\numberline {69.8.9}defmacro {qstimes}}{1054}{subsection.69.8.9}
\contentsline {subsection}{\numberline {69.8.10}defmacro {qsabsval}}{1054}{subsection.69.8.10}
\contentsline {subsection}{\numberline {69.8.11}defmacro {qsoddp}}{1054}{subsection.69.8.11}
\contentsline {subsection}{\numberline {69.8.12}defmacro {qszerop}}{1055}{subsection.69.8.12}
\contentsline {subsection}{\numberline {69.8.13}defmacro {qsmax}}{1055}{subsection.69.8.13}
\contentsline {subsection}{\numberline {69.8.14}defmacro {qsmin}}{1055}{subsection.69.8.14}
\contentsline {section}{\numberline {69.9}Boolean}{1055}{section.69.9}
\contentsline {subsection}{\numberline {69.9.1}defun The Boolean = function support}{1055}{subsection.69.9.1}
\contentsline {section}{\numberline {69.10}IndexedBits}{1056}{section.69.10}
\contentsline {subsection}{\numberline {69.10.1}defmacro {truth-to-bit}}{1056}{subsection.69.10.1}
\contentsline {subsection}{\numberline {69.10.2}defun IndexedBits new function support}{1056}{subsection.69.10.2}
\contentsline {subsection}{\numberline {69.10.3}defmacro {bit-to-truth}}{1056}{subsection.69.10.3}
\contentsline {subsection}{\numberline {69.10.4}defmacro {bvec-elt}}{1056}{subsection.69.10.4}
\contentsline {subsection}{\numberline {69.10.5}defmacro {bvec-setelt}}{1057}{subsection.69.10.5}
\contentsline {subsection}{\numberline {69.10.6}defmacro {bvec-size}}{1057}{subsection.69.10.6}
\contentsline {subsection}{\numberline {69.10.7}defun IndexedBits concat function support}{1057}{subsection.69.10.7}
\contentsline {subsection}{\numberline {69.10.8}defun IndexedBits copy function support}{1057}{subsection.69.10.8}
\contentsline {subsection}{\numberline {69.10.9}defun IndexedBits = function support}{1057}{subsection.69.10.9}
\contentsline {subsection}{\numberline {69.10.10}defun IndexedBits $<$ function support}{1058}{subsection.69.10.10}
\contentsline {subsection}{\numberline {69.10.11}defun IndexedBits And function support}{1058}{subsection.69.10.11}
\contentsline {subsection}{\numberline {69.10.12}defun IndexedBits Or function support}{1058}{subsection.69.10.12}
\contentsline {subsection}{\numberline {69.10.13}defun IndexedBits xor function support}{1058}{subsection.69.10.13}
\contentsline {subsection}{\numberline {69.10.14}defun IndexedBits nand function support}{1059}{subsection.69.10.14}
\contentsline {subsection}{\numberline {69.10.15}defun IndexedBits nor function support}{1059}{subsection.69.10.15}
\contentsline {subsection}{\numberline {69.10.16}defun IndexedBits not function support}{1059}{subsection.69.10.16}
\contentsline {section}{\numberline {69.11}KeyedAccessFile}{1059}{section.69.11}
\contentsline {subsection}{\numberline {69.11.1}defun KeyedAccessFile defstream function support}{1059}{subsection.69.11.1}
\contentsline {subsection}{\numberline {69.11.2}defun KeyedAccessFile defstream function support}{1060}{subsection.69.11.2}
\contentsline {section}{\numberline {69.12}Table}{1060}{section.69.12}
\contentsline {subsection}{\numberline {69.12.1}defun Table InnerTable support}{1060}{subsection.69.12.1}
\contentsline {subsection}{\numberline {69.12.2}defun compiledLookup}{1061}{subsection.69.12.2}
\contentsline {subsection}{\numberline {69.12.3}defun basicLookup}{1061}{subsection.69.12.3}
\contentsline {subsection}{\numberline {69.12.4}defun lookupInDomainVector}{1063}{subsection.69.12.4}
\contentsline {subsection}{\numberline {69.12.5}defun basicLookupCheckDefaults}{1063}{subsection.69.12.5}
\contentsline {subsection}{\numberline {69.12.6}defun oldCompLookup}{1064}{subsection.69.12.6}
\contentsline {subsection}{\numberline {69.12.7}defun NRTevalDomain}{1064}{subsection.69.12.7}
\contentsline {section}{\numberline {69.13}Plot3d}{1065}{section.69.13}
\contentsline {subsection}{\numberline {69.13.1}defvar \${numericFailure}}{1065}{subsection.69.13.1}
\contentsline {subsection}{\numberline {69.13.2}defvar \${oldBreakMode}}{1065}{subsection.69.13.2}
\contentsline {subsection}{\numberline {69.13.3}defmacro {trapNumericErrors}}{1065}{subsection.69.13.3}
\contentsline {section}{\numberline {69.14}DoubleFloatVector}{1066}{section.69.14}
\contentsline {subsection}{\numberline {69.14.1}defmacro {dlen}}{1066}{subsection.69.14.1}
\contentsline {subsection}{\numberline {69.14.2}defmacro {make-double-vector}}{1066}{subsection.69.14.2}
\contentsline {subsection}{\numberline {69.14.3}defmacro {make-double-vector1}}{1066}{subsection.69.14.3}
\contentsline {subsection}{\numberline {69.14.4}defmacro {delt}}{1067}{subsection.69.14.4}
\contentsline {subsection}{\numberline {69.14.5}defmacro {dsetelt}}{1067}{subsection.69.14.5}
\contentsline {section}{\numberline {69.15}ComplexDoubleFloatVector}{1067}{section.69.15}
\contentsline {subsection}{\numberline {69.15.1}defmacro {make-cdouble-vector}}{1067}{subsection.69.15.1}
\contentsline {subsection}{\numberline {69.15.2}defmacro {cdelt}}{1067}{subsection.69.15.2}
\contentsline {subsection}{\numberline {69.15.3}defmacro {cdsetelt}}{1068}{subsection.69.15.3}
\contentsline {subsection}{\numberline {69.15.4}defmacro {cdlen}}{1068}{subsection.69.15.4}
\contentsline {section}{\numberline {69.16}DoubleFloatMatrix}{1069}{section.69.16}
\contentsline {subsection}{\numberline {69.16.1}defmacro {make-double-matrix}}{1069}{subsection.69.16.1}
\contentsline {subsection}{\numberline {69.16.2}defmacro {make-double-matrix1}}{1069}{subsection.69.16.2}
\contentsline {subsection}{\numberline {69.16.3}defmacro {daref2}}{1069}{subsection.69.16.3}
\contentsline {subsection}{\numberline {69.16.4}defmacro {dsetaref2}}{1069}{subsection.69.16.4}
\contentsline {subsection}{\numberline {69.16.5}defmacro {danrows}}{1070}{subsection.69.16.5}
\contentsline {subsection}{\numberline {69.16.6}defmacro {dancols}}{1070}{subsection.69.16.6}
\contentsline {section}{\numberline {69.17}ComplexDoubleFloatMatrix}{1070}{section.69.17}
\contentsline {subsection}{\numberline {69.17.1}defmacro {make-cdouble-matrix}}{1070}{subsection.69.17.1}
\contentsline {subsection}{\numberline {69.17.2}defmacro {cdaref2}}{1070}{subsection.69.17.2}
\contentsline {subsection}{\numberline {69.17.3}defmacro {cdsetaref2}}{1071}{subsection.69.17.3}
\contentsline {subsection}{\numberline {69.17.4}defmacro {cdanrows}}{1071}{subsection.69.17.4}
\contentsline {subsection}{\numberline {69.17.5}defmacro {cdancols}}{1072}{subsection.69.17.5}
\contentsline {section}{\numberline {69.18}Integer}{1072}{section.69.18}
\contentsline {subsection}{\numberline {69.18.1}defun Integer divide function support}{1072}{subsection.69.18.1}
\contentsline {subsection}{\numberline {69.18.2}defun Integer quo function support}{1072}{subsection.69.18.2}
\contentsline {subsection}{\numberline {69.18.3}defun Integer quo function support}{1073}{subsection.69.18.3}
\contentsline {subsection}{\numberline {69.18.4}defun Integer random function support}{1073}{subsection.69.18.4}
\contentsline {section}{\numberline {69.19}IndexCard}{1073}{section.69.19}
\contentsline {subsection}{\numberline {69.19.1}defun IndexCard origin function support}{1073}{subsection.69.19.1}
\contentsline {subsection}{\numberline {69.19.2}defun IndexCard origin function support}{1074}{subsection.69.19.2}
\contentsline {subsection}{\numberline {69.19.3}defun IndexCard elt function support}{1074}{subsection.69.19.3}
\contentsline {section}{\numberline {69.20}OperationsQuery}{1074}{section.69.20}
\contentsline {subsection}{\numberline {69.20.1}defun OperationQuery getDatabase function support}{1074}{subsection.69.20.1}
\contentsline {section}{\numberline {69.21}Database}{1075}{section.69.21}
\contentsline {subsection}{\numberline {69.21.1}defun Database elt function support}{1075}{subsection.69.21.1}
\contentsline {section}{\numberline {69.22}FileName}{1075}{section.69.22}
\contentsline {subsection}{\numberline {69.22.1}defun FileName filename function implementation}{1075}{subsection.69.22.1}
\contentsline {subsection}{\numberline {69.22.2}defun FileName filename support function}{1076}{subsection.69.22.2}
\contentsline {subsection}{\numberline {69.22.3}defun FileName directory function implementation}{1076}{subsection.69.22.3}
\contentsline {subsection}{\numberline {69.22.4}defun FileName directory function support}{1076}{subsection.69.22.4}
\contentsline {subsection}{\numberline {69.22.5}defun FileName name function implementation}{1077}{subsection.69.22.5}
\contentsline {subsection}{\numberline {69.22.6}defun FileName extension function implementation}{1077}{subsection.69.22.6}
\contentsline {subsection}{\numberline {69.22.7}defun FileName exists? function implementation}{1077}{subsection.69.22.7}
\contentsline {subsection}{\numberline {69.22.8}defun FileName readable? function implementation}{1077}{subsection.69.22.8}
\contentsline {subsection}{\numberline {69.22.9}defun FileName writeable? function implementation}{1078}{subsection.69.22.9}
\contentsline {subsection}{\numberline {69.22.10}defun FileName writeable? function support}{1078}{subsection.69.22.10}
\contentsline {subsection}{\numberline {69.22.11}defun FileName new function implementation}{1078}{subsection.69.22.11}
\contentsline {section}{\numberline {69.23}DoubleFloat}{1079}{section.69.23}
\contentsline {subsection}{\numberline {69.23.1}defmacro {DFLessThan}}{1079}{subsection.69.23.1}
\contentsline {subsection}{\numberline {69.23.2}defmacro {DFUnaryMinus}}{1079}{subsection.69.23.2}
\contentsline {subsection}{\numberline {69.23.3}defmacro {DFMinusp}}{1079}{subsection.69.23.3}
\contentsline {subsection}{\numberline {69.23.4}defmacro {DFZerop}}{1079}{subsection.69.23.4}
\contentsline {subsection}{\numberline {69.23.5}defmacro {DFAdd}}{1080}{subsection.69.23.5}
\contentsline {subsection}{\numberline {69.23.6}defmacro {DFSubtract}}{1080}{subsection.69.23.6}
\contentsline {subsection}{\numberline {69.23.7}defmacro {DFMultiply}}{1080}{subsection.69.23.7}
\contentsline {subsection}{\numberline {69.23.8}defmacro {DFIntegerMultiply}}{1080}{subsection.69.23.8}
\contentsline {subsection}{\numberline {69.23.9}defmacro {DFMax}}{1081}{subsection.69.23.9}
\contentsline {subsection}{\numberline {69.23.10}defmacro {DFMin}}{1081}{subsection.69.23.10}
\contentsline {subsection}{\numberline {69.23.11}defmacro {DFEql}}{1081}{subsection.69.23.11}
\contentsline {subsection}{\numberline {69.23.12}defmacro {DFDivide}}{1081}{subsection.69.23.12}
\contentsline {subsection}{\numberline {69.23.13}defmacro {DFIntegerDivide}}{1082}{subsection.69.23.13}
\contentsline {subsection}{\numberline {69.23.14}defmacro {DFSqrt}}{1082}{subsection.69.23.14}
\contentsline {subsection}{\numberline {69.23.15}defmacro {DFLogE}}{1082}{subsection.69.23.15}
\contentsline {subsection}{\numberline {69.23.16}defmacro {DFLog}}{1082}{subsection.69.23.16}
\contentsline {subsection}{\numberline {69.23.17}defmacro {DFIntegerExpt}}{1083}{subsection.69.23.17}
\contentsline {subsection}{\numberline {69.23.18}defmacro {DFExpt}}{1083}{subsection.69.23.18}
\contentsline {subsection}{\numberline {69.23.19}defmacro {DFExp}}{1083}{subsection.69.23.19}
\contentsline {subsection}{\numberline {69.23.20}defmacro {DFSin}}{1083}{subsection.69.23.20}
\contentsline {subsection}{\numberline {69.23.21}defmacro {DFCos}}{1084}{subsection.69.23.21}
\contentsline {subsection}{\numberline {69.23.22}defmacro {DFTan}}{1084}{subsection.69.23.22}
\contentsline {subsection}{\numberline {69.23.23}defmacro {DFAsin}}{1084}{subsection.69.23.23}
\contentsline {subsection}{\numberline {69.23.24}defmacro {DFAcos}}{1084}{subsection.69.23.24}
\contentsline {subsection}{\numberline {69.23.25}defmacro {DFAtan}}{1085}{subsection.69.23.25}
\contentsline {subsection}{\numberline {69.23.26}defmacro {DFAtan2}}{1085}{subsection.69.23.26}
\contentsline {subsection}{\numberline {69.23.27}defmacro {DFSinh}}{1085}{subsection.69.23.27}
\contentsline {subsection}{\numberline {69.23.28}defmacro {DFCosh}}{1086}{subsection.69.23.28}
\contentsline {subsection}{\numberline {69.23.29}defmacro {DFTanh}}{1086}{subsection.69.23.29}
\contentsline {subsection}{\numberline {69.23.30}defmacro {DFAsinh}}{1086}{subsection.69.23.30}
\contentsline {subsection}{\numberline {69.23.31}defmacro {DFAcosh}}{1087}{subsection.69.23.31}
\contentsline {subsection}{\numberline {69.23.32}defmacro {DFAtanh}}{1087}{subsection.69.23.32}
\contentsline {subsection}{\numberline {69.23.33}defun Machine specific float numerator}{1087}{subsection.69.23.33}
\contentsline {subsection}{\numberline {69.23.34}defun Machine specific float denominator}{1088}{subsection.69.23.34}
\contentsline {subsection}{\numberline {69.23.35}defun Machine specific float sign}{1088}{subsection.69.23.35}
\contentsline {subsection}{\numberline {69.23.36}defun Machine specific float bit length}{1088}{subsection.69.23.36}
\contentsline {subsection}{\numberline {69.23.37}defun Decode floating-point values}{1088}{subsection.69.23.37}
\contentsline {subsection}{\numberline {69.23.38}defun The cotangent routine}{1089}{subsection.69.23.38}
\contentsline {subsection}{\numberline {69.23.39}defun The inverse cotangent function}{1089}{subsection.69.23.39}
\contentsline {subsection}{\numberline {69.23.40}defun The secant function}{1089}{subsection.69.23.40}
\contentsline {subsection}{\numberline {69.23.41}defun The inverse secant function}{1090}{subsection.69.23.41}
\contentsline {subsection}{\numberline {69.23.42}defun The cosecant function}{1090}{subsection.69.23.42}
\contentsline {subsection}{\numberline {69.23.43}defun The inverse cosecant function}{1090}{subsection.69.23.43}
\contentsline {subsection}{\numberline {69.23.44}defun The hyperbolic cosecant function}{1091}{subsection.69.23.44}
\contentsline {subsection}{\numberline {69.23.45}defun The hyperbolic cotangent function}{1091}{subsection.69.23.45}
\contentsline {subsection}{\numberline {69.23.46}defun The hyperbolic secant function}{1091}{subsection.69.23.46}
\contentsline {subsection}{\numberline {69.23.47}defun The inverse hyperbolic cosecant function}{1091}{subsection.69.23.47}
\contentsline {subsection}{\numberline {69.23.48}defun The inverse hyperbolic cotangent function}{1092}{subsection.69.23.48}
\contentsline {subsection}{\numberline {69.23.49}defun The inverse hyperbolic secant function}{1092}{subsection.69.23.49}
\contentsline {chapter}{\numberline {70}OpenMath}{1093}{chapter.70}
\contentsline {section}{\numberline {70.1}A Technical Overview\cite {4}}{1093}{section.70.1}
\contentsline {subsection}{\numberline {70.1.1}The OpenMath Architecture}{1093}{subsection.70.1.1}
\contentsline {subsection}{\numberline {70.1.2}OpenMath Encodings}{1095}{subsection.70.1.2}
\contentsline {subsection}{\numberline {70.1.3}Content Dictionaries}{1096}{subsection.70.1.3}
\contentsline {subsection}{\numberline {70.1.4}OpenMath in Action}{1098}{subsection.70.1.4}
\contentsline {section}{\numberline {70.2}Technical Details\cite {3}}{1099}{section.70.2}
\contentsline {section}{\numberline {70.3}The Structure of the API}{1099}{section.70.3}
\contentsline {section}{\numberline {70.4}OpenMath Expressions}{1100}{section.70.4}
\contentsline {subsection}{\numberline {70.4.1}Expressions}{1100}{subsection.70.4.1}
\contentsline {subsection}{\numberline {70.4.2}Symbols}{1100}{subsection.70.4.2}
\contentsline {subsection}{\numberline {70.4.3}Encoding and Decoding OpenMath Expressions}{1100}{subsection.70.4.3}
\contentsline {section}{\numberline {70.5}Big Integers}{1101}{section.70.5}
\contentsline {section}{\numberline {70.6}Functions Dealing with OpenMath Devices}{1101}{section.70.6}
\contentsline {section}{\numberline {70.7}Functions to Write OpenMath Expressions to Devices}{1102}{section.70.7}
\contentsline {subsection}{\numberline {70.7.1}Beginning and Ending Objects}{1102}{subsection.70.7.1}
\contentsline {subsection}{\numberline {70.7.2}Writing Basic Objects}{1103}{subsection.70.7.2}
\contentsline {subsection}{\numberline {70.7.3}Writing Structured Objects}{1103}{subsection.70.7.3}
\contentsline {section}{\numberline {70.8}Functions to Extract OpenMath Expressions from Devices}{1104}{section.70.8}
\contentsline {subsection}{\numberline {70.8.1}Testing the type of the current token}{1104}{subsection.70.8.1}
\contentsline {subsection}{\numberline {70.8.2}Extracting the current token}{1105}{subsection.70.8.2}
\contentsline {section}{\numberline {70.9}Comments in the SGML/XML Encodings}{1108}{section.70.9}
\contentsline {section}{\numberline {70.10}I/O Functions for Devices}{1109}{section.70.10}
\contentsline {section}{\numberline {70.11}Communications}{1109}{section.70.11}
\contentsline {subsection}{\numberline {70.11.1}Functions to Initiate an {\tt OMconn}}{1110}{subsection.70.11.1}
\contentsline {subsubsection}{Simple Connections Functions}{1110}{section*.5}
\contentsline {subsubsection}{Functions that Launch Servers}{1110}{section*.6}
\contentsline {subsubsection}{Termination}{1111}{section*.7}
\contentsline {section}{\numberline {70.12}Parameters}{1111}{section.70.12}
\contentsline {section}{\numberline {70.13}Miscellaneous Functions and Variables}{1111}{section.70.13}
\contentsline {section}{\numberline {70.14}The OM.h header file}{1112}{section.70.14}
\contentsline {section}{\numberline {70.15}Axiom OpenMath stub functions}{1121}{section.70.15}
\contentsline {subsection}{\numberline {70.15.1}Axiom specific functions}{1121}{subsection.70.15.1}
\contentsline {subsection}{\numberline {70.15.2}defun om-Read}{1121}{subsection.70.15.2}
\contentsline {subsection}{\numberline {70.15.3}defun om-listCDs}{1122}{subsection.70.15.3}
\contentsline {subsection}{\numberline {70.15.4}defun om-listSymbols}{1122}{subsection.70.15.4}
\contentsline {subsection}{\numberline {70.15.5}defun om-supportsCD}{1122}{subsection.70.15.5}
\contentsline {subsection}{\numberline {70.15.6}defun om-supportsSymbol}{1122}{subsection.70.15.6}
\contentsline {subsection}{\numberline {70.15.7}Lisp conversion functions}{1123}{subsection.70.15.7}
\contentsline {subsection}{\numberline {70.15.8}defun om-setDevEncoding}{1123}{subsection.70.15.8}
\contentsline {subsection}{\numberline {70.15.9}Device manipulation functions}{1123}{subsection.70.15.9}
\contentsline {subsection}{\numberline {70.15.10}defun om-openFileDev}{1123}{subsection.70.15.10}
\contentsline {subsection}{\numberline {70.15.11}defun om-openStringDev}{1124}{subsection.70.15.11}
\contentsline {subsection}{\numberline {70.15.12}defun om-closeDev}{1124}{subsection.70.15.12}
\contentsline {subsection}{\numberline {70.15.13}Connection manipulation functions}{1124}{subsection.70.15.13}
\contentsline {subsection}{\numberline {70.15.14}defun om-makeConn}{1124}{subsection.70.15.14}
\contentsline {subsection}{\numberline {70.15.15}defun om-closeConn}{1124}{subsection.70.15.15}
\contentsline {subsection}{\numberline {70.15.16}defun om-getConnInDev}{1125}{subsection.70.15.16}
\contentsline {subsection}{\numberline {70.15.17}defun om-getConnOutDev}{1125}{subsection.70.15.17}
\contentsline {subsection}{\numberline {70.15.18}Client/Server functions}{1125}{subsection.70.15.18}
\contentsline {subsection}{\numberline {70.15.19}defun om-bindTCP}{1125}{subsection.70.15.19}
\contentsline {subsection}{\numberline {70.15.20}defun om-connectTCP}{1126}{subsection.70.15.20}
\contentsline {subsection}{\numberline {70.15.21}Device input/output functions}{1126}{subsection.70.15.21}
\contentsline {subsection}{\numberline {70.15.22}defun om-getApp}{1127}{subsection.70.15.22}
\contentsline {subsection}{\numberline {70.15.23}defun om-getAtp}{1128}{subsection.70.15.23}
\contentsline {subsection}{\numberline {70.15.24}defun om-getAttr}{1128}{subsection.70.15.24}
\contentsline {subsection}{\numberline {70.15.25}defun om-getBind}{1128}{subsection.70.15.25}
\contentsline {subsection}{\numberline {70.15.26}defun om-getBVar}{1128}{subsection.70.15.26}
\contentsline {subsection}{\numberline {70.15.27}defun om-getByteArray}{1129}{subsection.70.15.27}
\contentsline {subsection}{\numberline {70.15.28}defun om-getEndApp}{1129}{subsection.70.15.28}
\contentsline {subsection}{\numberline {70.15.29}defun om-getEndAtp}{1129}{subsection.70.15.29}
\contentsline {subsection}{\numberline {70.15.30}defun om-getEndAttr}{1129}{subsection.70.15.30}
\contentsline {subsection}{\numberline {70.15.31}defun om-getEndBind}{1130}{subsection.70.15.31}
\contentsline {subsection}{\numberline {70.15.32}defun om-getEndBVar}{1130}{subsection.70.15.32}
\contentsline {subsection}{\numberline {70.15.33}defun om-getEndError}{1130}{subsection.70.15.33}
\contentsline {subsection}{\numberline {70.15.34}defun om-getEndObject}{1130}{subsection.70.15.34}
\contentsline {subsection}{\numberline {70.15.35}defun om-getError}{1131}{subsection.70.15.35}
\contentsline {subsection}{\numberline {70.15.36}defun om-getFloat}{1131}{subsection.70.15.36}
\contentsline {subsection}{\numberline {70.15.37}defun om-getInt}{1131}{subsection.70.15.37}
\contentsline {subsection}{\numberline {70.15.38}defun om-getObject}{1131}{subsection.70.15.38}
\contentsline {subsection}{\numberline {70.15.39}defun om-getString}{1132}{subsection.70.15.39}
\contentsline {subsection}{\numberline {70.15.40}defun om-getSymbol}{1132}{subsection.70.15.40}
\contentsline {subsection}{\numberline {70.15.41}defun om-getType}{1132}{subsection.70.15.41}
\contentsline {subsection}{\numberline {70.15.42}defun om-getVar}{1132}{subsection.70.15.42}
\contentsline {subsection}{\numberline {70.15.43}defun om-putApp}{1133}{subsection.70.15.43}
\contentsline {subsection}{\numberline {70.15.44}defun om-putAtp}{1133}{subsection.70.15.44}
\contentsline {subsection}{\numberline {70.15.45}defun om-putAttr}{1133}{subsection.70.15.45}
\contentsline {subsection}{\numberline {70.15.46}defun om-putBind}{1133}{subsection.70.15.46}
\contentsline {subsection}{\numberline {70.15.47}defun om-putBVar}{1134}{subsection.70.15.47}
\contentsline {subsection}{\numberline {70.15.48}defun om-putByteArray}{1134}{subsection.70.15.48}
\contentsline {subsection}{\numberline {70.15.49}defun om-putEndApp}{1134}{subsection.70.15.49}
\contentsline {subsection}{\numberline {70.15.50}defun om-putEndAtp}{1134}{subsection.70.15.50}
\contentsline {subsection}{\numberline {70.15.51}defun om-putEndAttr}{1135}{subsection.70.15.51}
\contentsline {subsection}{\numberline {70.15.52}defun om-putEndBind}{1135}{subsection.70.15.52}
\contentsline {subsection}{\numberline {70.15.53}defun om-putEndBVar}{1135}{subsection.70.15.53}
\contentsline {subsection}{\numberline {70.15.54}defun om-putEndError}{1135}{subsection.70.15.54}
\contentsline {subsection}{\numberline {70.15.55}defun om-putEndObject}{1136}{subsection.70.15.55}
\contentsline {subsection}{\numberline {70.15.56}defun om-putError}{1136}{subsection.70.15.56}
\contentsline {subsection}{\numberline {70.15.57}defun om-putFloat}{1136}{subsection.70.15.57}
\contentsline {subsection}{\numberline {70.15.58}defun om-putInt}{1136}{subsection.70.15.58}
\contentsline {subsection}{\numberline {70.15.59}defun om-putObject}{1137}{subsection.70.15.59}
\contentsline {subsection}{\numberline {70.15.60}defun om-putString}{1137}{subsection.70.15.60}
\contentsline {subsection}{\numberline {70.15.61}defun om-putSymbol}{1137}{subsection.70.15.61}
\contentsline {subsection}{\numberline {70.15.62}defun om-putVar}{1137}{subsection.70.15.62}
\contentsline {subsection}{\numberline {70.15.63}defun om-stringToStringPtr}{1138}{subsection.70.15.63}
\contentsline {subsection}{\numberline {70.15.64}defun om-stringPtrToString}{1138}{subsection.70.15.64}
\contentsline {chapter}{\numberline {71}NRLIB code.lisp support code}{1139}{chapter.71}
\contentsline {subsection}{\numberline {71.0.65}defun makeByteWordVec2}{1139}{subsection.71.0.65}
\contentsline {subsection}{\numberline {71.0.66}defmacro {spadConstant}}{1139}{subsection.71.0.66}
\contentsline {chapter}{\numberline {72}Monitoring execution}{1141}{chapter.72}
\contentsline {subsection}{\numberline {72.0.67}defvar \${*monitor-domains*}}{1147}{subsection.72.0.67}
\contentsline {subsection}{\numberline {72.0.68}defvar \${*monitor-nrlibs*}}{1147}{subsection.72.0.68}
\contentsline {subsection}{\numberline {72.0.69}defvar \${*monitor-table*}}{1148}{subsection.72.0.69}
\contentsline {subsection}{\numberline {72.0.70}defstruct \${monitor-data}}{1148}{subsection.72.0.70}
\contentsline {subsection}{\numberline {72.0.71}defstruct \${libstream}}{1148}{subsection.72.0.71}
\contentsline {subsection}{\numberline {72.0.72}defun Initialize the monitor statistics hashtable}{1148}{subsection.72.0.72}
\contentsline {subsection}{\numberline {72.0.73}defun End the monitoring process, we cannot restart}{1149}{subsection.72.0.73}
\contentsline {subsection}{\numberline {72.0.74}defun Return a list of the monitor-data structures}{1149}{subsection.72.0.74}
\contentsline {subsection}{\numberline {72.0.75}defun Add a function to be monitored}{1150}{subsection.72.0.75}
\contentsline {subsection}{\numberline {72.0.76}defun Remove a function being monitored}{1150}{subsection.72.0.76}
\contentsline {subsection}{\numberline {72.0.77}defun Enable all (or optionally one) function for monitoring}{1150}{subsection.72.0.77}
\contentsline {subsection}{\numberline {72.0.78}defun Disable all (optionally one) function for monitoring}{1151}{subsection.72.0.78}
\contentsline {subsection}{\numberline {72.0.79}defun Reset the table count for the table (or a function)}{1151}{subsection.72.0.79}
\contentsline {subsection}{\numberline {72.0.80}defun Incr the count of fn by 1}{1152}{subsection.72.0.80}
\contentsline {subsection}{\numberline {72.0.81}defun Decr the count of fn by 1}{1152}{subsection.72.0.81}
\contentsline {subsection}{\numberline {72.0.82}defun Return the monitor information for a function}{1153}{subsection.72.0.82}
\contentsline {subsection}{\numberline {72.0.83}defun Hang a monitor call on all of the defuns in a file}{1153}{subsection.72.0.83}
\contentsline {subsection}{\numberline {72.0.84}defun Return a list of the functions with zero count fields}{1153}{subsection.72.0.84}
\contentsline {subsection}{\numberline {72.0.85}defun Return a list of functions with non-zero counts}{1154}{subsection.72.0.85}
\contentsline {subsection}{\numberline {72.0.86}defun Write out a list of symbols or structures to a file}{1154}{subsection.72.0.86}
\contentsline {subsection}{\numberline {72.0.87}defun Save the *monitor-table* in loadable form}{1155}{subsection.72.0.87}
\contentsline {subsection}{\numberline {72.0.88}defun restore a checkpointed file}{1155}{subsection.72.0.88}
\contentsline {subsection}{\numberline {72.0.89}defun Printing help documentation}{1156}{subsection.72.0.89}
\contentsline {subsection}{\numberline {72.0.90}Monitoring algebra files}{1158}{subsection.72.0.90}
\contentsline {subsection}{\numberline {72.0.91}defun Monitoring algebra code.lsp files}{1158}{subsection.72.0.91}
\contentsline {subsection}{\numberline {72.0.92}defun Monitor autoloaded files}{1158}{subsection.72.0.92}
\contentsline {subsection}{\numberline {72.0.93}defun Monitor an nrlib}{1159}{subsection.72.0.93}
\contentsline {subsection}{\numberline {72.0.94}defun Given a monitor-data item, extract the nrlib name}{1159}{subsection.72.0.94}
\contentsline {subsection}{\numberline {72.0.95}defun Is this an exposed algebra function?}{1160}{subsection.72.0.95}
\contentsline {subsection}{\numberline {72.0.96}defun Monitor exposed domains}{1160}{subsection.72.0.96}
\contentsline {subsection}{\numberline {72.0.97}defun Generate a report of the monitored domains}{1161}{subsection.72.0.97}
\contentsline {subsection}{\numberline {72.0.98}defun Parse an )abbrev expression for the domain name}{1162}{subsection.72.0.98}
\contentsline {subsection}{\numberline {72.0.99}defun Given a spad file, report all nrlibs it creates}{1162}{subsection.72.0.99}
\contentsline {subsection}{\numberline {72.0.100}defun Print percent of functions tested}{1163}{subsection.72.0.100}
\contentsline {subsection}{\numberline {72.0.101}defun Find all monitored symbols containing the string}{1163}{subsection.72.0.101}
\contentsline {chapter}{\numberline {73}The Interpreter}{1165}{chapter.73}
\contentsline {chapter}{\numberline {74}The Global Variables}{1199}{chapter.74}
\contentsline {section}{\numberline {74.1}Star Global Variables}{1199}{section.74.1}
\contentsline {subsection}{\numberline {74.1.1}*eof*}{1199}{subsection.74.1.1}
\contentsline {subsection}{\numberline {74.1.2}*features*}{1199}{subsection.74.1.2}
\contentsline {subsection}{\numberline {74.1.3}*package*}{1199}{subsection.74.1.3}
\contentsline {subsection}{\numberline {74.1.4}*standard-input*}{1200}{subsection.74.1.4}
\contentsline {subsection}{\numberline {74.1.5}*standard-output*}{1200}{subsection.74.1.5}
\contentsline {subsection}{\numberline {74.1.6}*top-level-hook*}{1200}{subsection.74.1.6}
\contentsline {section}{\numberline {74.2}Dollar Global Variables}{1202}{section.74.2}
\contentsline {subsection}{\numberline {74.2.1}\$boot}{1203}{subsection.74.2.1}
\contentsline {subsection}{\numberline {74.2.2}coerceFailure}{1203}{subsection.74.2.2}
\contentsline {subsection}{\numberline {74.2.3}\$currentLine}{1203}{subsection.74.2.3}
\contentsline {subsection}{\numberline {74.2.4}\$displayStartMsgs}{1203}{subsection.74.2.4}
\contentsline {subsection}{\numberline {74.2.5}\$e}{1203}{subsection.74.2.5}
\contentsline {subsection}{\numberline {74.2.6}\$erMsgToss}{1203}{subsection.74.2.6}
\contentsline {subsection}{\numberline {74.2.7}\$fn}{1203}{subsection.74.2.7}
\contentsline {subsection}{\numberline {74.2.8}\$frameRecord}{1203}{subsection.74.2.8}
\contentsline {subsection}{\numberline {74.2.9}\$HiFiAccess}{1204}{subsection.74.2.9}
\contentsline {subsection}{\numberline {74.2.10}\$HistList}{1204}{subsection.74.2.10}
\contentsline {subsection}{\numberline {74.2.11}\$HistListAct}{1204}{subsection.74.2.11}
\contentsline {subsection}{\numberline {74.2.12}\$HistListLen}{1204}{subsection.74.2.12}
\contentsline {subsection}{\numberline {74.2.13}\$HistRecord}{1204}{subsection.74.2.13}
\contentsline {subsection}{\numberline {74.2.14}\$historyFileType}{1205}{subsection.74.2.14}
\contentsline {subsection}{\numberline {74.2.15}\$internalHistoryTable}{1205}{subsection.74.2.15}
\contentsline {subsection}{\numberline {74.2.16}\$interpreterFrameName}{1205}{subsection.74.2.16}
\contentsline {subsection}{\numberline {74.2.17}\$interpreterFrameRing}{1205}{subsection.74.2.17}
\contentsline {subsection}{\numberline {74.2.18}\$InteractiveFrame}{1205}{subsection.74.2.18}
\contentsline {subsection}{\numberline {74.2.19}\$intRestart}{1205}{subsection.74.2.19}
\contentsline {subsection}{\numberline {74.2.20}\$intTopLevel}{1205}{subsection.74.2.20}
\contentsline {subsection}{\numberline {74.2.21}\$IOindex}{1206}{subsection.74.2.21}
\contentsline {subsection}{\numberline {74.2.22}\$lastPos}{1206}{subsection.74.2.22}
\contentsline {subsection}{\numberline {74.2.23}\$libQuiet}{1206}{subsection.74.2.23}
\contentsline {subsection}{\numberline {74.2.24}\$msgDatabaseName}{1206}{subsection.74.2.24}
\contentsline {subsection}{\numberline {74.2.25}\$ncMsgList}{1206}{subsection.74.2.25}
\contentsline {subsection}{\numberline {74.2.26}\$newcompErrorCount}{1206}{subsection.74.2.26}
\contentsline {subsection}{\numberline {74.2.27}\$newspad}{1206}{subsection.74.2.27}
\contentsline {subsection}{\numberline {74.2.28}\$nopos}{1206}{subsection.74.2.28}
\contentsline {subsection}{\numberline {74.2.29}\$oldHistoryFileName}{1207}{subsection.74.2.29}
\contentsline {subsection}{\numberline {74.2.30}\$okToExecuteMachineCode}{1207}{subsection.74.2.30}
\contentsline {subsection}{\numberline {74.2.31}\$options}{1207}{subsection.74.2.31}
\contentsline {subsection}{\numberline {74.2.32}\$previousBindings}{1207}{subsection.74.2.32}
\contentsline {subsection}{\numberline {74.2.33}\$PrintCompilerMessageIfTrue}{1207}{subsection.74.2.33}
\contentsline {subsection}{\numberline {74.2.34}\$reportUndo}{1207}{subsection.74.2.34}
\contentsline {subsection}{\numberline {74.2.35}\$spad}{1207}{subsection.74.2.35}
\contentsline {subsection}{\numberline {74.2.36}\$SpadServer}{1208}{subsection.74.2.36}
\contentsline {subsection}{\numberline {74.2.37}\$SpadServerName}{1208}{subsection.74.2.37}
\contentsline {subsection}{\numberline {74.2.38}\$systemCommandFunction}{1208}{subsection.74.2.38}
\contentsline {subsection}{\numberline {74.2.39}top\_level}{1208}{subsection.74.2.39}
\contentsline {subsection}{\numberline {74.2.40}\$quitTag}{1208}{subsection.74.2.40}
\contentsline {subsection}{\numberline {74.2.41}\$useInternalHistoryTable}{1208}{subsection.74.2.41}
\contentsline {subsection}{\numberline {74.2.42}\$undoFlag}{1208}{subsection.74.2.42}
\contentsline {chapter}{\numberline {75}Index}{1211}{chapter.75}
