Initial population.

1 files changed, 2387 insertions, 0 deletions

diff --git a/src/interp/setvart.boot.pamphlet b/src/interp/setvart.boot.pamphlet
new file mode 100644
index 00000000..98dda551
--- /dev/null
+++ b/src/interp/setvart.boot.pamphlet
@@ -0,0 +1,2387 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/interp setvart.boot}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+\section{Overview}
+This file contains functions to initialize the {\bf )set} command
+in the interpreter. The current list is:
+\begin{verbatim}
+
+Variable     Description                           Current Value
+-----------------------------------------------------------------
+compiler   Library compiler options                   ... 
+breakmode  execute break processing on error          break 
+expose     control interpreter constructor exposure   ... 
+functions  some interpreter function options          ... 
+fortran    view and set options for FORTRAN output    ... 
+kernel     library functions built into the kernel for 
+           efficiency                                 ...
+hyperdoc   options in using HyperDoc                  ... 
+help       view and set some help options             ... 
+history    save workspace values in a history file    on 
+messages   show messages for various system features  ... 
+naglink    options for NAGLink                        ... 
+output     view and set some output options           ... 
+quit       protected or unprotected quit              unprotected 
+streams    set some options for working with streams  ... 
+system     set some system development variables      ... 
+userlevel  operation access level of system user      development 
+
+Variables with current values of ... have further sub-options. 
+For example, issue )set  system to see what the options are 
+for system. 
+For more information, issue )help set .
+
+\end{verbatim}
+\subsection{The list structure}
+The structure of each list item consists of 7 items.  Consider this 
+example:
+\begin{verbatim}
+  (userlevel
+   "operation access level of system user"
+   interpreter
+   LITERALS
+   $UserLevel
+   (interpreter compiler development)
+   development)
+\end{verbatim}
+The list looks like (the names in bold are accessor names that can be
+found in {\bf property.lisp.pamphlet\cite{1}}. Look for "setName".):
+\begin{list}{}
+\item {\bf 1} {\sl Name} the keyword the user will see. In this example
+the user would say "{\bf )set output userlevel}".
+\item {\bf 2} {\sl Label} the message the user will see. In this example
+the user would see "operation access level of system user".
+\item {\bf 3} {\sl Level} the level where the command will be 
+accepted. There are three levels: interpreter, compiler, development.
+These commands are restricted to keep the user from causing damage.
+\item {\bf 4} {\sl Type} a symbol, one of {\bf FUNCTION}, {\bf INTEGER},
+{\bf STRING}, {\bf LITERALS}, or {\bf TREE}. See the function
+{\bf initializeSetVariables} in the file
+{\bf setvars.boot.pamphlet\cite{2}}.
+\item {\bf 5} {\sl Var} variable which holds the current user setting.
+\item {\bf 6} {\sl Leaf} is a list of all of the user levels
+that expose this command.
+\item {\bf 7} {\sl Def} is the default value of this variable.
+\end{list}
+\section{breakmode}
+\begin{verbatim}
+-------------------- The breakmode Option ---------------------
+
+ Description: execute break processing on error
+
+ The breakmode option may be followed by any one of the 
+ following:
+
+    nobreak
+ -> break 
+    query
+    resume
+    fastlinks
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<breakmode>>=
+  (breakmode
+   "execute break processing on error"
+   interpreter
+   LITERALS
+   $BreakMode
+   (nobreak break query resume fastlinks)
+   nobreak)         -- needed to avoid possible startup looping
+@
+\section{compiler}
+\begin{verbatim}
+                  Current Values of  compiler  Variables                   
+
+Variable     Description                           Current Value
+-----------------------------------------------------------------
+output       library in which to place compiled code     
+input        controls libraries from which to load compiled code  
+args         arguments for compiling AXIOM code         
+             -O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete 
+             -DAxiom -Y $AXIOM/algebra 
+
+\end{verbatim}
+<<compiler>>=
+   (compiler
+    "Library compiler options"
+    interpreter
+    TREE
+    novar
+    (
+<<compileroutput>>
+<<compilerinput>>
+<<compilerargs>>
+    ))
+@
+\subsection{output}
+\begin{verbatim}
+---------------------- The output Option ----------------------
+
+ Description: library in which to place compiled code
+
+\end{verbatim}
+<<compileroutput>>=
+      (output
+       "library in which to place compiled code"
+       interpreter
+       FUNCTION
+       setOutputLibrary
+       NIL
+       htSetOutputLibrary 
+	)
+@
+\subsection{input}
+\begin{verbatim}
+---------------------- The input Option -----------------------
+
+ Description: controls libraries from which to load compiled code
+
+ )set compiler input add library is used to tell AXIOM to add 
+  library to the front of the path which determines where 
+  compiled code is loaded from.
+ )set compiler input drop library is used to tell AXIOM to remove 
+  library from this path.
+\end{verbatim}
+<<compilerinput>>=
+      (input
+       "controls libraries from which to load compiled code"
+       interpreter
+       FUNCTION
+       setInputLibrary
+       NIL
+       htSetInputLibrary)
+@
+\subsection{args}
+\begin{verbatim}
+----------------------- The args Option -----------------------
+
+ Description: arguments for compiling AXIOM code
+
+ )set compiler args  is used to tell AXIOM how to invoke the 
+  library compiler when compiling code for AXIOM.
+  The args option is followed by a string enclosed in double 
+  quotes.
+
+ The current setting is
+ "-O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete 
+  -DAxiom -Y $AXIOM/algebra" 
+\end{verbatim}
+<<compilerargs>>=
+      (args
+       "arguments for compiling AXIOM code"
+       interpreter
+       FUNCTION
+       setAsharpArgs
+       (("enter compiler options "
+          STRING
+          $asharpCmdlineFlags
+          chkDirectory
+          "-O -Fasy -Fao -Flsp -laxiom -Mno-AXL__W__WillObsolete -DAxiom -Y $AXIOM/algebra"))
+       NIL)
+@
+\section{expose}
+\begin{verbatim}
+---------------------- The expose Option ----------------------
+
+ Description: control interpreter constructor exposure
+
+   The following groups are explicitly exposed in the current 
+   frame (called initial ):
+                                   basic                                   
+                                categories                                 
+                                  naglink                                  
+                                   anna                                    
+ 
+   The following constructors are explicitly exposed in the 
+   current frame:
+               there are no explicitly exposed constructors                
+ 
+   The following constructors are explicitly hidden in the 
+   current frame:
+                there are no explicitly hidden constructors                
+ 
+   When )set expose is followed by no arguments, the information
+   you now see is displayed. When followed by the initialize 
+   argument, the exposure group data in the file INTERP.EXPOSED 
+   is read and is then available. The arguments add and drop are 
+   used to add or drop exposure groups or explicit constructors 
+   from the local frame exposure data. Issue
+                  )set expose add    or    )set expose drop 
+   for more information.
+\end{verbatim}
+<<expose>>=
+  (expose
+   "control interpreter constructor exposure"
+   interpreter
+   FUNCTION
+   setExpose
+   NIL
+   htSetExpose)
+@
+\section{functions}
+\begin{verbatim}
+             Current Values of  functions  Variables                  
+
+Variable     Description                           Current Value
+-----------------------------------------------------------------
+cache        number of function results to cache        0 
+compile      compile, don't just define function bodies off 
+recurrence   specially compile recurrence relations     on 
+
+\end{verbatim}
+<<functions>>=
+  (functions
+   "some interpreter function options"
+   interpreter
+   TREE
+   novar
+   (
+<<functionscache>>
+<<functionscompile>>
+<<functionsrecurrence>>
+  ))
+@
+\subsection{cache}
+\begin{verbatim}
+---------------------- The cache Option -----------------------
+
+ Description: number of function results to cache
+
+ )set functions cache is used to tell AXIOM how many  values 
+  computed by interpreter functions should be saved.  This can 
+  save quite a bit of time in recursive functions, though one 
+  must consider that the cached values will take up (perhaps 
+  valuable) room in the workspace.
+
+ The value given  after cache must either be the word all or 
+ a positive integer. This may be followed by any number of 
+ function names whose cache sizes you wish to so set.  If no 
+ functions are given, the default cache  size is set.
+
+ Examples:   )set fun cache all
+             )set fun cache 10 f g Legendre
+
+ In general, functions will cache no returned values.
+\end{verbatim}
+<<functionscache>>=
+     (cache
+      "number of function results to cache"
+      interpreter
+      FUNCTION
+      setFunctionsCache
+      NIL
+      htSetCache)
+@
+\subsection{compile}
+Per suggestion by Bill Page this has been defaulted to [[on]].
+\begin{verbatim}
+--------------------- The compile Option ----------------------
+
+ Description: compile, don't just define function bodies
+
+ The compile option may be followed by any one of the following:
+
+ -> on
+    off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<functionscompile>>=
+     (compile
+      "compile, don't just define function bodies"
+      interpreter
+      LITERALS
+      $compileDontDefineFunctions
+      (on off)
+      on)
+@
+\subsection{recurrence}
+\begin{verbatim}
+-------------------- The recurrence Option --------------------
+
+ Description: specially compile recurrence relations
+
+ The recurrence option may be followed by any one of the 
+ following:
+
+ -> on 
+    off
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<functionsrecurrence>>=
+     (recurrence
+      "specially compile recurrence relations"
+      interpreter
+      LITERALS
+      $compileRecurrence
+      (on off)
+      on)
+@
+\section{fortran}
+\begin{verbatim}
+              Current Values of  fortran  Variables                   
+
+Variable     Description                           Current Value
+-----------------------------------------------------------------
+ints2floats  where sensible, coerce integers to reals   on 
+fortindent   the number of characters indented          6 
+fortlength   the number of characters on a line         72 
+typedecs     print type and dimension lines             on 
+defaulttype  default generic type for FORTRAN object    REAL 
+precision    precision of generated FORTRAN objects     double 
+intrinsic    whether to use INTRINSIC FORTRAN functions off 
+explength    character limit for FORTRAN expressions    1320 
+segment      split long FORTRAN expressions             on 
+optlevel     FORTRAN optimisation level                 0 
+startindex   starting index for FORTRAN arrays          1 
+calling      options for external FORTRAN calls         ... 
+
+Variables with current values of ... have further sub-options. 
+For example, issue )set calling to see what the options are for 
+calling.
+For more information, issue )help set .
+\end{verbatim}
+<<fortran>>=
+  (fortran
+   "view and set options for FORTRAN output"
+   interpreter
+   TREE
+   novar
+    (
+<<fortranints2floats>>
+<<fortranfortindent>>
+<<fortranfortlength>>
+<<fortrantypedecs>>
+<<fortrandefaulttype>>
+<<fortranprecision>>
+<<fortranintrinsic>>
+<<fortranexplength>>
+<<fortransegment>>
+<<fortranoptlevel>>
+<<fortranstartindex>>
+<<fortrancalling>>
+  ))
+@
+\subsection{ints2floats}
+\begin{verbatim}
+------------------- The ints2floats Option --------------------
+
+ Description: where sensible, coerce integers to reals
+
+ The ints2floats option may be followed by any one of the 
+ following:
+
+ -> on 
+    off
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<fortranints2floats>>=
+     (ints2floats
+      "where sensible, coerce integers to reals"
+      interpreter
+      LITERALS
+      $fortInts2Floats
+      (on off)
+      on)
+@
+\subsection{fortindent}
+\begin{verbatim}
+-------------------- The fortindent Option --------------------
+
+ Description: the number of characters indented
+
+ The fortindent option may be followed by an integer in the range 
+ 0 to inclusive. The current setting is 6 
+
+\end{verbatim}
+<<fortranfortindent>>=
+     (fortindent
+      "the number of characters indented"
+      interpreter
+      INTEGER
+      $fortIndent
+      (0 NIL)
+      6)
+@
+\subsection{fortlength}
+\begin{verbatim}
+-------------------- The fortlength Option --------------------
+
+ Description: the number of characters on a line
+
+ The fortlength option may be followed by an integer in the range 
+ 1 to inclusive. The current setting is 72 
+
+\end{verbatim}
+<<fortranfortlength>>=
+     (fortlength
+      "the number of characters on a line"
+      interpreter
+      INTEGER
+      $fortLength
+      (1 NIL)
+      72)
+@
+\subsection{typedecs}
+\begin{verbatim}
+--------------------- The typedecs Option ---------------------
+
+ Description: print type and dimension lines
+
+ The typedecs option may be followed by any one of the 
+ following:
+
+ -> on 
+    off
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<fortrantypedecs>>=
+     (typedecs
+      "print type and dimension lines"
+      interpreter
+      LITERALS
+      $printFortranDecs
+      (on off)
+      on)
+@
+\subsection{defaulttype}
+\begin{verbatim}
+------------------- The defaulttype Option --------------------
+
+ Description: default generic type for FORTRAN object
+
+ The defaulttype option may be followed by any one of the 
+ following:
+
+ -> REAL 
+    INTEGER
+    COMPLEX
+    LOGICAL
+    CHARACTER
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<fortrandefaulttype>>=
+     (defaulttype
+      "default generic type for FORTRAN object"
+      interpreter
+      LITERALS
+      $defaultFortranType
+      (REAL INTEGER COMPLEX LOGICAL CHARACTER)
+      REAL)
+@
+\subsection{precision}
+\begin{verbatim}
+-------------------- The precision Option ---------------------
+
+ Description: precision of generated FORTRAN objects
+
+ The precision option may be followed by any one of the 
+ following:
+
+    single
+ -> double 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<fortranprecision>>=
+      (precision
+      "precision of generated FORTRAN objects"
+       interpreter
+       LITERALS
+       $fortranPrecision
+       (single double)
+       double)
+@
+\subsection{intrinsic}
+\begin{verbatim}
+-------------------- The intrinsic Option ---------------------
+
+ Description: whether to use INTRINSIC FORTRAN functions
+
+ The intrinsic option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<fortranintrinsic>>=
+      (intrinsic
+       "whether to use INTRINSIC FORTRAN functions"
+       interpreter
+       LITERALS
+       $useIntrinsicFunctions
+       (on off)
+       off)
+@
+\subsection{explength}
+\begin{verbatim}
+-------------------- The explength Option ---------------------
+
+ Description: character limit for FORTRAN expressions
+
+ The explength option may be followed by an integer in the range 
+ 0 to inclusive. The current setting is 1320 
+
+\end{verbatim}
+<<fortranexplength>>=
+      (explength
+       "character limit for FORTRAN expressions"
+       interpreter
+       INTEGER
+       $maximumFortranExpressionLength
+       (0 NIL)
+       1320)
+@
+\subsection{segment}
+\begin{verbatim}
+--------------------- The segment Option ----------------------
+
+ Description: split long FORTRAN expressions
+
+ The segment option may be followed by any one of the following:
+
+ -> on 
+    off
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<fortransegment>>=
+      (segment
+       "split long FORTRAN expressions"
+       interpreter
+       LITERALS
+       $fortranSegment
+       (on off)
+       on)
+@
+\subsection{optlevel}
+\begin{verbatim}
+--------------------- The optlevel Option ---------------------
+
+ Description: FORTRAN optimisation level
+
+ The optlevel option may be followed by an integer in the range 
+ 0 to 2 inclusive. The current setting is 0 
+
+\end{verbatim}
+<<fortranoptlevel>>=
+      (optlevel
+       "FORTRAN optimisation level"
+       interpreter
+       INTEGER
+       $fortranOptimizationLevel
+       (0 2)
+       0)
+@
+\subsection{startindex}
+\begin{verbatim}
+-------------------- The startindex Option --------------------
+
+ Description: starting index for FORTRAN arrays
+
+ The startindex option may be followed by an integer in the range 
+ 0 to 1 inclusive. The current setting is 1 
+
+\end{verbatim}
+<<fortranstartindex>>=
+      (startindex
+       "starting index for FORTRAN arrays"
+       interpreter
+       INTEGER
+       $fortranArrayStartingIndex
+       (0 1)
+       1)
+@
+\subsection{calling}
+\begin{verbatim}
+              Current Values of  calling  Variables                   
+
+Variable     Description                           Current Value
+-----------------------------------------------------------------
+tempfile     set location of temporary data files       /tmp/ 
+directory    set location of generated FORTRAN files    ./ 
+linker       linker arguments (e.g. libraries to search) -lxlf 
+
+\end{verbatim}
+<<fortrancalling>>=
+      (calling
+      "options for external FORTRAN calls"
+      interpreter
+      TREE
+      novar
+      (
+<<callingtempfile>>
+<<callingdirectory>>
+<<callinglinker>>
+       )
+      )
+@
+\subsubsection{tempfile}
+\begin{verbatim}
+--------------------- The tempfile Option ---------------------
+
+ Description: set location of temporary data files
+
+ )set fortran calling tempfile  is used to tell AXIOM where
+ to place intermediate FORTRAN data files . This must be the 
+ name of a valid existing directory to which you have permission 
+ to write (including the final slash).
+
+ Syntax:
+   )set fortran calling tempfile DIRECTORYNAME
+
+ The current setting is /tmp/ 
+\end{verbatim}
+<<callingtempfile>>=
+        (tempfile
+         "set location of temporary data files"
+         interpreter
+         FUNCTION
+         setFortTmpDir
+         (("enter directory name for which you have write-permission"
+           DIRECTORY
+           $fortranTmpDir
+           chkDirectory
+           "/tmp/"))
+         NIL)
+@
+\subsubsection{directory}
+\begin{verbatim}
+-------------------- The directory Option ---------------------
+
+ Description: set location of generated FORTRAN files
+
+ )set fortran calling directory  is used to tell AXIOM where
+ to place generated FORTRAN files. This must be the name 
+ of a valid existing directory to which you have permission 
+ to write (including the final slash).
+
+ Syntax:
+   )set fortran calling directory DIRECTORYNAME
+
+ The current setting is ./ 
+\end{verbatim}
+<<callingdirectory>>=
+        (directory
+         "set location of generated FORTRAN files"
+         interpreter
+         FUNCTION
+         setFortDir
+         (("enter directory name for which you have write-permission"
+           DIRECTORY
+           $fortranDirectory
+           chkDirectory
+           "./"))
+         NIL)
+@
+\subsubsection{linker}
+\begin{verbatim}
+---------------------- The linker Option ----------------------
+
+ Description: linker arguments (e.g. libraries to search)
+
+ )set fortran calling linkerargs is used to pass arguments to 
+ the linker when using  mkFort  to create functions which call 
+ Fortran code. For example, it might give a list of libraries 
+ to be searched, and their locations.
+ The string is passed verbatim, so must be the correct syntax for
+ the particular linker being used.
+
+ Example: )set fortran calling linker "-lxlf"
+
+ The current setting is -lxlf 
+\end{verbatim}
+<<callinglinker>>=
+        (linker
+         "linker arguments (e.g. libraries to search)"
+         interpreter
+         FUNCTION
+         setLinkerArgs
+         (("enter linker arguments "
+           STRING
+           $fortranLibraries
+           chkDirectory
+           "-lxlf"))
+         NIL
+         )
+@
+\section{kernel}
+\begin{verbatim}
+              Current Values of  kernel  Variables                    
+
+Variable     Description                           Current Value
+-----------------------------------------------------------------
+warn         warn when re-definition is attempted       off 
+protect      prevent re-definition of kernel functions  off 
+
+\end{verbatim}
+<<kernel>>=
+  (kernel
+   "library functions built into the kernel for efficiency"
+   interpreter
+   TREE
+   novar
+   (
+<<kernelwarn>>
+<<kernelprotect>>
+   )
+  )
+@
+\subsection{kernelwarn}
+\begin{verbatim}
+----------------------- The warn Option -----------------------
+
+ Description: warn when re-definition is attempted
+
+Some AXIOM library functions are compiled into the kernel for 
+efficiency reasons. To prevent them being re-defined when loaded 
+from a library they are specially protected. If a user wishes to 
+know when an attempt is made to re-define such a function, he or 
+she should issue the command:
+        )set kernel warn on
+To restore the default behaviour, he or she should issue the 
+command:
+        )set kernel warn off
+\end{verbatim}
+<<kernelwarn>>=
+     (warn
+      "warn when re-definition is attempted"
+      interpreter
+      FUNCTION
+      protectedSymbolsWarning
+      NIL
+      htSetKernelWarn)
+@
+\subsection{kernelprotect}
+\begin{verbatim}
+--------------------- The protect Option ----------------------
+
+ Description: prevent re-definition of kernel functions
+
+Some AXIOM library functions are compiled into the kernel for 
+efficiency reasons. To prevent them being re-defined when loaded
+from a library they are specially protected.  If a user wishes 
+to re-define these functions, he or she should issue the command:
+        )set kernel protect off
+To restore the default behaviour, he or she should issue the 
+command:
+        )set kernel protect on
+\end{verbatim}
+<<kernelprotect>>=
+     (protect
+      "prevent re-definition of kernel functions"
+      interpreter
+      FUNCTION
+      protectSymbols
+      NIL
+      htSetKernelProtect)
+@
+\section{hyperdoc}
+\begin{verbatim}
+             Current Values of  hyperdoc  Variables                   
+
+Variable     Description                           Current Value
+-----------------------------------------------------------------
+fullscreen   use full screen for this facility          off 
+mathwidth    screen width for history output            120 
+
+\end{verbatim}
+<<hyperdoc>>=
+  (hyperdoc
+   "options in using HyperDoc"
+   interpreter
+   TREE
+   novar
+   (
+<<hyperdocfullscreen>>
+<<hyperdocmathwidth>>
+   ))
+@
+\subsection{fullscreen}
+\begin{verbatim}
+-------------------- The fullscreen Option --------------------
+
+ Description: use full screen for this facility
+
+ The fullscreen option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<hyperdocfullscreen>>=
+     (fullscreen
+      "use full screen for this facility"
+      interpreter
+      LITERALS
+      $fullScreenSysVars
+      (on off)
+      off)
+@
+\subsection{mathwidth}
+\begin{verbatim}
+-------------------- The mathwidth Option ---------------------
+
+ Description: screen width for history output
+
+ The mathwidth option may be followed by an integer in the range 
+ 0 to inclusive. The current setting is 120 
+
+\end{verbatim}
+<<hyperdocmathwidth>>=
+     (mathwidth
+      "screen width for history output"
+      interpreter
+      INTEGER
+      $historyDisplayWidth
+      (0 NIL)
+      120)
+@
+\section{help}
+\begin{verbatim}
+               Current Values of  help  Variables                     
+
+Variable     Description                           Current Value
+-----------------------------------------------------------------
+fullscreen   use fullscreen facility, if possible       off 
+
+\end{verbatim}
+<<help>>=
+  (help
+   "view and set some help options"
+   interpreter
+   TREE
+   novar
+   (
+<<helpfullscreen>>
+   ))
+@
+\subsection{fullscreen}
+\begin{verbatim}
+-------------------- The fullscreen Option --------------------
+
+ Description: use fullscreen facility, if possible
+
+ The fullscreen option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<helpfullscreen>>=
+    (fullscreen
+     "use fullscreen facility, if possible"
+     interpreter
+     LITERALS
+     $useFullScreenHelp
+     (on off)
+     off)
+@
+\section{history}
+\begin{verbatim}
+--------------------- The history Option ----------------------
+
+ Description: save workspace values in a history file
+
+ The history option may be followed by any one of the 
+ following:
+
+ -> on 
+    off
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<history>>=
+  (history
+   "save workspace values in a history file"
+   interpreter
+   LITERALS
+   $HiFiAccess
+   (on off)
+   on)
+@
+\section{messages}
+\begin{verbatim}
+             Current Values of  messages  Variables                   
+
+Variable     Description                           Current Value
+-----------------------------------------------------------------
+autoload     print file auto-load messages              off 
+bottomup     display bottom up modemap selection        off 
+coercion     display datatype coercion messages         off 
+dropmap      display old map defn when replaced         off 
+expose       warning for unexposed functions            off 
+file         print msgs also to SPADMSG LISTING         off 
+frame        display messages about frames              off 
+highlighting use highlighting in system messages        off 
+instant      present instantiation summary              off 
+insteach     present instantiation info                 off 
+interponly   say when function code is interpreted      on 
+number       display message number with message        off 
+prompt       set type of input prompt to display        step 
+selection    display function selection msgs            off 
+set          show )set setting after assignment         off 
+startup      display messages on start-up               off 
+summary      print statistics after computation         off 
+testing      print system testing header                off 
+time         print timings after computation            off 
+type         print type after computation               on 
+void         print Void value when it occurs            off 
+any          print the internal type of objects of domain Any on 
+naglink      show NAGLink messages                      on 
+
+\end{verbatim}
+<<messages>>=
+  (messages
+   "show messages for various system features"
+   interpreter
+   TREE
+   novar
+   (
+<<messagesany>>
+<<messagesautoload>>
+<<messagesbottomup>>
+<<messagescoercion>>
+<<messagesdropmap>>
+<<messagesexpose>>
+<<messagesfile>>
+<<messagesframe>>
+<<messageshighlighting>>
+<<messagesinstant>>
+<<messagesinsteach>>
+<<messagesinterponly>>
+<<messagesnaglink>>
+<<messagesnumber>>
+<<messagesprompt>>
+<<messagesselection>>
+<<messagesset>>
+<<messagesstartup>>
+<<messagessummary>>
+<<messagestesting>>
+<<messagestime>>
+<<messagestype>>
+<<messagesvoid>>
+   ))
+@
+\subsection{any}
+\begin{verbatim}
+----------------------- The any Option ------------------------
+
+ Description: print the internal type of objects of domain Any
+
+ The any option may be followed by any one of the following:
+
+ -> on 
+    off
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesany>>=
+     (any
+      "print the internal type of objects of domain Any"
+      interpreter
+      LITERALS
+      $printAnyIfTrue
+      (on off)
+      on)
+@
+\subsection{autoload}
+\begin{verbatim}
+--------------------- The autoload Option ---------------------
+
+ Description: print file auto-load messages
+
+\end{verbatim}
+<<messagesautoload>>=
+     (autoload
+      "print file auto-load messages"
+      interpreter
+      FUNCTION
+      printLoadMessages
+      (on off)
+      on)
+@
+\subsection{bottomup}
+\begin{verbatim}
+--------------------- The bottomup Option ---------------------
+
+ Description: display bottom up modemap selection
+
+ The bottomup option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesbottomup>>=
+     (bottomup
+      "display bottom up modemap selection"
+      development
+      LITERALS
+      $reportBottomUpFlag
+      (on off)
+      off)
+@
+\subsection{coercion}
+\begin{verbatim}
+--------------------- The coercion Option ---------------------
+
+ Description: display datatype coercion messages
+
+ The coercion option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagescoercion>>=
+     (coercion
+      "display datatype coercion messages"
+      development
+      LITERALS
+      $reportCoerceIfTrue
+      (on off)
+      off)
+@
+\subsection{dropmap}
+\begin{verbatim}
+--------------------- The dropmap Option ----------------------
+
+ Description: display old map defn when replaced
+
+ The dropmap option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesdropmap>>=
+     (dropmap
+      "display old map defn when replaced"
+      interpreter
+      LITERALS
+      $displayDroppedMap
+      (on off)
+      off)
+@
+\subsection{expose}
+\begin{verbatim}
+---------------------- The expose Option ----------------------
+
+ Description: warning for unexposed functions
+
+ The expose option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesexpose>>=
+     (expose
+      "warning for unexposed functions"
+      interpreter
+      LITERALS
+      $giveExposureWarning
+      (on off)
+      off)
+@
+\subsection{file}
+\begin{verbatim}
+----------------------- The file Option -----------------------
+
+ Description: print msgs also to SPADMSG LISTING
+
+ The file option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesfile>>=
+     (file
+      "print msgs also to SPADMSG LISTING"
+      development
+      LITERALS
+      $printMsgsToFile
+      (on off)
+      off)
+@
+\subsection{frame}
+\begin{verbatim}
+---------------------- The frame Option -----------------------
+
+ Description: display messages about frames
+
+ The frame option may be followed by any one of the following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesframe>>=
+     (frame
+      "display messages about frames"
+      interpreter
+      LITERALS
+      $frameMessages
+      (on off)
+      off)
+@
+\subsection{highlighting}
+\begin{verbatim}
+------------------- The highlighting Option -------------------
+
+ Description: use highlighting in system messages
+
+ The highlighting option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messageshighlighting>>=
+     (highlighting
+      "use highlighting in system messages"
+      interpreter
+      LITERALS
+      $highlightAllowed
+      (on off)
+      off)
+@
+\subsection{instant}
+\begin{verbatim}
+--------------------- The instant Option ----------------------
+
+ Description: present instantiation summary
+
+ The instant option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesinstant>>=
+     (instant
+      "present instantiation summary"
+      development
+      LITERALS
+      $reportInstantiations
+      (on off)
+      off)
+@
+\subsection{insteach}
+\begin{verbatim}
+--------------------- The insteach Option ---------------------
+
+ Description: present instantiation info
+
+ The insteach option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesinsteach>>=
+     (insteach
+      "present instantiation info"
+      development
+      LITERALS
+      $reportEachInstantiation
+      (on off)
+      off)
+@
+\subsection{interponly}
+\begin{verbatim}
+-------------------- The interponly Option --------------------
+
+ Description: say when function code is interpreted
+
+ The interponly option may be followed by any one of the 
+ following:
+
+ -> on 
+    off
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesinterponly>>=
+     (interponly
+      "say when function code is interpreted"
+      interpreter
+      LITERALS
+      $reportInterpOnly
+      (on off)
+      on)
+@
+\subsection{naglink}
+\begin{verbatim}
+--------------------- The naglink Option ----------------------
+
+ Description: show NAGLink messages
+
+ The naglink option may be followed by any one of the 
+ following:
+
+ -> on 
+    off
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesnaglink>>=
+     (naglink
+      "show NAGLink messages"
+      interpreter
+      LITERALS
+      $nagMessages
+      (on off)
+      on)
+@
+\subsection{number}
+\begin{verbatim}
+---------------------- The number Option ----------------------
+
+ Description: display message number with message
+
+ The number option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesnumber>>=
+     (number
+      "display message number with message"
+      interpreter
+      LITERALS
+      $displayMsgNumber
+      (on off)
+      off)
+@
+\subsection{prompt}
+\begin{verbatim}
+---------------------- The prompt Option ----------------------
+
+ Description: set type of input prompt to display
+
+ The prompt option may be followed by any one of the following:
+
+    none
+    frame
+    plain
+ -> step 
+    verbose
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesprompt>>=
+     (prompt
+      "set type of input prompt to display"
+      interpreter
+      LITERALS
+      $inputPromptType
+      (none frame plain step verbose)
+      step)
+@
+\subsection{selection}
+\begin{verbatim}
+-------------------- The selection Option ---------------------
+
+ Description: display function selection msgs
+
+ The selection option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesselection>>=
+     (selection
+      "display function selection msgs"
+      interpreter
+      LITERALS
+      $reportBottomUpFlag
+      (on off)
+      off)
+@
+\subsection{set}
+\begin{verbatim}
+----------------------- The set Option ------------------------
+
+ Description: show )set setting after assignment
+
+ The set option may be followed by any one of the following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesset>>=
+     (set
+      "show )set setting after assignment"
+      interpreter
+      LITERALS
+      $displaySetValue
+      (on off)
+      off)
+@
+\subsection{startup}
+\begin{verbatim}
+--------------------- The startup Option ----------------------
+
+ Description: display messages on start-up
+
+ The startup option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesstartup>>=
+     (startup
+      "display messages on start-up"
+      interpreter
+      LITERALS
+      $displayStartMsgs
+      (on off)
+      on)
+@
+\subsection{summary}
+\begin{verbatim}
+--------------------- The summary Option ----------------------
+
+ Description: print statistics after computation
+
+ The summary option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagessummary>>=
+     (summary
+      "print statistics after computation"
+      interpreter
+      LITERALS
+      $printStatisticsSummaryIfTrue
+      (on off)
+      off)
+@
+\subsection{testing}
+\begin{verbatim}
+--------------------- The testing Option ----------------------
+
+ Description: print system testing header
+
+ The testing option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagestesting>>=
+     (testing
+      "print system testing header"
+      development
+      LITERALS
+      $testingSystem
+      (on off)
+      off)
+@
+\subsection{time}
+\begin{verbatim}
+----------------------- The time Option -----------------------
+
+ Description: print timings after computation
+
+ The time option may be followed by any one of the following:
+
+    on
+ -> off 
+    long
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagestime>>=
+     (time
+      "print timings after computation"
+      interpreter
+      LITERALS
+      $printTimeIfTrue
+      (on off long)
+      off)
+@
+\subsection{type}
+\begin{verbatim}
+----------------------- The type Option -----------------------
+
+ Description: print type after computation
+
+ The type option may be followed by any one of the following:
+
+ -> on 
+    off
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagestype>>=
+     (type
+      "print type after computation"
+      interpreter
+      LITERALS
+      $printTypeIfTrue
+      (on off)
+      on)
+@
+\subsection{void}
+\begin{verbatim}
+----------------------- The void Option -----------------------
+
+ Description: print Void value when it occurs
+
+ The void option may be followed by any one of the following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<messagesvoid>>=
+     (void
+      "print Void value when it occurs"
+      interpreter
+      LITERALS
+      $printVoidIfTrue
+      (on off)
+      off)
+@
+\section{naglink}
+\begin{verbatim}
+              Current Values of  naglink  Variables                   
+
+Variable     Description                           Current Value
+-----------------------------------------------------------------
+host         internet address of host for NAGLink       localhost 
+persistence  number of (fortran) functions to remember  1 
+messages     show NAGLink messages                      on 
+double       enforce DOUBLE PRECISION ASPs              on 
+
+\end{verbatim}
+<<naglink>>=
+  (naglink
+   "options for NAGLink"
+   interpreter
+   TREE
+   novar
+   (
+<<naglinkhost>>
+<<naglinkpersistence>>
+<<naglinkmessages>>
+<<naglinkdouble>>
+   ))
+@
+\subsection{host}
+\begin{verbatim}
+----------------------- The host Option -----------------------
+
+ Description: internet address of host for NAGLink
+
+ )set naglink host is used to tell  AXIOM which  host to contact
+ for a NAGLink request. An Internet address should be supplied. 
+ The host specified must be running the NAGLink daemon.
+
+ The current setting is localhost 
+\end{verbatim}
+<<naglinkhost>>=
+     (host
+      "internet address of host for NAGLink"
+      interpreter
+      FUNCTION
+      setNagHost
+      (("enter host name"
+        DIRECTORY
+        $nagHost
+        chkDirectory
+        "localhost"))
+      NIL)
+@
+\subsection{persistence}
+\begin{verbatim}
+------------------- The persistence Option --------------------
+
+ Description: number of (fortran) functions to remember
+
+ )set naglink persistence is used to tell  the  nagd  daemon how
+  many ASP source and object files to keep around in case you 
+  reuse them. This helps to avoid needless recompilations. The 
+  number specified should be a non-negative integer.
+
+ The current setting is 1 
+\end{verbatim}
+<<naglinkpersistence>>=
+     (persistence
+      "number of (fortran) functions to remember"
+      interpreter
+      FUNCTION
+      setFortPers
+      (("Requested remote storage (for asps):"
+       INTEGER
+       $fortPersistence
+       (0 NIL)
+       10))
+      NIL)
+@
+\subsection{messages}
+\begin{verbatim}
+--------------------- The messages Option ---------------------
+
+ Description: show NAGLink messages
+
+ The messages option may be followed by any one of the 
+ following:
+
+ -> on 
+    off
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<naglinkmessages>>=
+     (messages
+      "show NAGLink messages"
+      interpreter
+      LITERALS
+      $nagMessages
+      (on off)
+       on)
+@
+\subsection{double}
+\begin{verbatim}
+---------------------- The double Option ----------------------
+
+ Description: enforce DOUBLE PRECISION ASPs
+
+ The double option may be followed by any one of the following:
+
+ -> on 
+    off
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<naglinkdouble>>=
+     (double
+      "enforce DOUBLE PRECISION ASPs"
+      interpreter
+      LITERALS
+      $nagEnforceDouble
+      (on off)
+      on)
+@
+\section{output}
+The result of the {\bf )set output} command is:
+\begin{verbatim}
+Variable     Description                           Current Value
+-----------------------------------------------------------------
+abbreviate  abbreviate type names                    off 
+algebra     display output in algebraic form         On:CONSOLE 
+characters  choose special output character set      plain 
+script      display output in SCRIPT formula format  Off:CONSOLE 
+fortran     create output in FORTRAN format          Off:CONSOLE 
+fraction    how fractions are formatted              vertical 
+length      line length of output displays           77 
+scripts     show subscripts,... linearly             off 
+showeditor  view output of )show in editor           off 
+tex         create output in TeX style               Off:CONSOLE 
+\end{verbatim}
+Since the output option has a bunch of sub-options each suboption 
+is defined within the output structure.
+<<output>>=
+  (output
+   "view and set some output options"
+   interpreter
+   TREE
+   novar
+    (
+<<outputabbreviate>>
+<<outputalgebra>>
+<<outputcharacters>>
+<<outputfortran>>
+<<outputfraction>>
+<<outputlength>>
+<<outputopenmath>>
+<<outputscript>>
+<<outputscripts>>
+<<outputshoweditor>>
+<<outputtex>>
+ ))
+@
+\subsection{abbreviate}
+\begin{verbatim}
+-------------------- The abbreviate Option --------------------
+
+ Description: abbreviate type names
+
+ The abbreviate option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+\end{verbatim}
+<<outputabbreviate>>=
+     (abbreviate
+      "abbreviate type names"
+      interpreter
+      LITERALS
+      $abbreviateTypes
+      (on off)
+      off)
+@
+\subsection{algebra}
+\begin{verbatim}
+--------------------- The algebra Option ----------------------
+
+ Description: display output in algebraic form
+
+ )set output algebra is used to tell AXIOM to turn algebra-style
+  output printing on and off, and where to place the output.  By
+  default, the destination for the output is the screen but 
+  printing is turned off.
+
+Syntax:   )set output algebra <arg>
+    where arg can be one of
+  on          turn algebra printing on (default state)
+  off         turn algebra printing off
+  console     send algebra output to screen (default state)
+  fp<.fe>     send algebra output to file with file prefix fp
+              and file extension .fe. If not given, 
+              .fe defaults to .spout.
+
+If you wish to send the output to a file, you may need to issue
+this command twice: once with on and once with the file name. 
+For example, to send algebra output to the file polymer.spout,
+issue the two commands
+
+  )set output algebra on
+  )set output algebra polymer
+
+The output is placed in the directory from which you invoked 
+AXIOM or the one you set with the )cd system command.
+The current setting is:  On:CONSOLE 
+\end{verbatim}
+<<outputalgebra>>=
+     (algebra
+      "display output in algebraic form"
+      interpreter
+      FUNCTION
+      setOutputAlgebra
+      (("display output in algebraic form"
+        LITERALS
+        $algebraFormat
+        (off on)
+        on)
+       (break $algebraFormat)
+       ("where algebra printing goes (enter {\em console} or a pathname)?"
+        FILENAME
+        $algebraOutputFile
+        chkOutputFileName
+        "console"))
+      NIL)
+@
+\subsection{characters}
+\begin{verbatim}
+-------------------- The characters Option --------------------
+
+ Description: choose special output character set
+
+
+ The characters option may be followed by any one of the 
+ following:
+
+    default
+ -> plain 
+
+ The current setting is indicated within the list.  This 
+ option  determines the special characters used for algebraic 
+ output. This is what the current choice of special characters 
+ looks like:
+   ulc is shown as +          urc is shown as +       
+   llc is shown as +          lrc is shown as +       
+   vbar is shown as |         hbar is shown as -      
+   quad is shown as ?         lbrk is shown as [      
+   rbrk is shown as ]         lbrc is shown as {      
+   rbrc is shown as }         ttee is shown as +      
+   btee is shown as +         rtee is shown as +      
+   ltee is shown as +         ctee is shown as +      
+   bslash is shown as \    
+\end{verbatim}
+<<outputcharacters>>=
+     (characters
+      "choose special output character set"
+      interpreter
+      FUNCTION
+      setOutputCharacters
+      NIL
+      htSetOutputCharacters)
+@
+\subsection{fortran}
+\begin{verbatim}
+--------------------- The fortran Option ----------------------
+
+ Description: create output in FORTRAN format
+
+ )set output fortran is used to tell AXIOM to turn FORTRAN-style
+  output printing on and off, and where to place the output.  By
+  default, the destination for the output is the screen but 
+  printing is turned off.
+
+Also See: )set fortran
+
+Syntax:   )set output fortran <arg>
+    where arg can be one of
+  on          turn FORTRAN printing on
+  off         turn FORTRAN printing off (default state)
+  console     send FORTRAN output to screen (default state)
+  fp<.fe>     send FORTRAN output to file with file prefix 
+              fp and file extension .fe. If not given, 
+              .fe defaults to .sfort.
+
+If you wish to send the output to a file, you must issue 
+this command twice: once with on and once with the file name.
+For example, to send FORTRAN output to the file polymer.sfort,
+ issue the two commands
+
+  )set output fortran on
+  )set output fortran polymer
+
+The output is placed in the directory from which you invoked
+AXIOM or the one you set with the )cd system command.
+The current setting is:  Off:CONSOLE 
+\end{verbatim}
+<<outputfortran>>=
+     (fortran
+      "create output in FORTRAN format"
+      interpreter
+      FUNCTION
+      setOutputFortran
+      (("create output in FORTRAN format"
+        LITERALS
+        $fortranFormat
+        (off on)
+        off)
+       (break $fortranFormat)
+       ("where FORTRAN output goes (enter {\em console} or a a pathname)"
+        FILENAME
+        $fortranOutputFile
+        chkOutputFileName
+        "console"))
+      NIL)
+@
+\subsection{fraction}
+\begin{verbatim}
+--------------------- The fraction Option ---------------------
+
+ Description: how fractions are formatted
+
+ The fraction option may be followed by any one of the following:
+
+ -> vertical 
+    horizontal
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<outputfraction>>=
+     (fraction
+      "how fractions are formatted"
+      interpreter
+      LITERALS
+      $fractionDisplayType
+      (vertical horizontal)
+      vertical)
+@
+\subsection{length}
+\begin{verbatim}
+---------------------- The length Option ----------------------
+
+ Description: line length of output displays
+
+ The length option may be followed by an integer in the range 
+ 10 to 245 inclusive. The current setting is 77 
+
+\end{verbatim}
+<<outputlength>>=
+     (length
+      "line length of output displays"
+      interpreter
+      INTEGER
+      $LINELENGTH
+      (10 245)
+      77)
+@
+\subsection{openmath}
+\begin{verbatim}
+----------------------- The openmath Option ------------------------
+
+ Description: create output in OpenMath style
+
+ )set output tex is used to tell AXIOM to turn OpenMath output
+printing on and off, and where to place the output.  By default,
+the destination for the output is the screen but printing is 
+turned off.
+
+Syntax:   )set output tex <arg>
+    where arg can be one of
+  on          turn OpenMath printing on
+  off         turn OpenMath printing off (default state)
+  console     send OpenMath output to screen (default state)
+  fp<.fe>     send OpenMath output to file with file prefix fp
+              and file extension .fe. If not given, 
+              .fe defaults to .sopen.
+
+If you wish to send the output to a file, you must issue 
+this command twice: once with on and once with the file name. 
+For example, to send OpenMath output to the file polymer.sopen, 
+issue the two commands
+
+  )set output openmath on
+  )set output openmath polymer
+
+The output is placed in the directory from which you invoked 
+AXIOM or the one you set with the )cd system command.
+The current setting is:  Off:CONSOLE 
+\end{verbatim}
+<<outputopenmath>>=
+     (openmath
+      "create output in OpenMath style"
+      interpreter
+      FUNCTION
+      setOutputOpenMath
+      (("create output in OpenMath format"
+        LITERALS
+        $openMathFormat
+        (off on)
+        off)
+       (break $openMathFormat)
+       ("where TeX output goes (enter {\em console} or a pathname)"
+        FILENAME
+        $openMathOutputFile
+        chkOutputFileName
+        "console"))
+      NIL)
+@
+\subsection{script}
+\begin{verbatim}
+---------------------- The script Option ----------------------
+
+ Description: display output in SCRIPT formula format
+
+ )set output script is used to tell AXIOM to turn IBM Script
+ formula-style output printing on and off, and where to place
+ the output.  By default, the destination for the output is the 
+ screen but printing is turned off.
+
+Syntax:   )set output script <arg>
+    where arg can be one of
+  on      turn IBM Script formula printing on
+  off     turn IBM Script formula printing off 
+          (default state)
+  console send IBM Script formula output to screen 
+          (default state)
+  fp<.fe> send IBM Script formula output to file with file 
+          prefix fp and file extension .fe. If not given, 
+          .fe defaults to .sform.
+
+If you wish to send the output to a file, you must issue 
+this command twice: once with on and once with the file 
+name. For example, to send IBM Script formula output to 
+the file polymer.sform, issue the two commands
+
+  )set output script on
+  )set output script polymer
+
+The output is placed in the directory from which you 
+invoked AXIOM or the one you set with the )cd system command.
+The current setting is:  Off:CONSOLE 
+\end{verbatim}
+<<outputscript>>=
+     (script
+      "display output in SCRIPT formula format"
+      interpreter
+      FUNCTION
+      setOutputFormula
+      (("display output in SCRIPT format"
+        LITERALS
+        $formulaFormat
+        (off on)
+        off)
+       (break $formulaFormat)
+       ("where script output goes (enter {\em console} or a a pathname)"
+        FILENAME
+        $formulaOutputFile
+        chkOutputFileName
+        "console"))
+      NIL)
+@
+\subsection{scripts}
+\begin{verbatim}
+--------------------- The scripts Option ----------------------
+
+ Description: show subscripts,... linearly
+
+ The scripts option may be followed by any one of the following:
+
+    yes
+    no
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<outputscripts>>=
+     (scripts
+      "show subscripts,... linearly"
+      interpreter
+      LITERALS
+      $linearFormatScripts
+      (yes no)
+      no)
+@
+\subsection{showeditor}
+\begin{verbatim}
+-------------------- The showeditor Option --------------------
+
+ Description: view output of )show in editor
+
+ The showeditor option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<outputshoweditor>>=
+     (showeditor
+      "view output of )show in editor"
+      interpreter
+      LITERALS
+      $useEditorForShowOutput
+      (on off)
+      off)
+@
+\subsection{tex}
+\begin{verbatim}
+----------------------- The tex Option ------------------------
+
+ Description: create output in TeX style
+
+ )set output tex is used to tell AXIOM to turn TeX-style output
+printing on and off, and where to place the output.  By default,
+the destination for the output is the screen but printing is 
+turned off.
+
+Syntax:   )set output tex <arg>
+    where arg can be one of
+  on          turn TeX printing on
+  off         turn TeX printing off (default state)
+  console     send TeX output to screen (default state)
+  fp<.fe>     send TeX output to file with file prefix fp
+              and file extension .fe. If not given, 
+              .fe defaults to .stex.
+
+If you wish to send the output to a file, you must issue 
+this command twice: once with on and once with the file name. 
+For example, to send TeX output to the file polymer.stex, 
+issue the two commands
+
+  )set output tex on
+  )set output tex polymer
+
+The output is placed in the directory from which you invoked 
+AXIOM or the one you set with the )cd system command.
+The current setting is:  Off:CONSOLE 
+\end{verbatim}
+<<outputtex>>=
+     (tex
+      "create output in TeX style"
+      interpreter
+      FUNCTION
+      setOutputTex
+      (("create output in TeX format"
+        LITERALS
+        $texFormat
+        (off on)
+        off)
+       (break $texFormat)
+       ("where TeX output goes (enter {\em console} or a pathname)"
+        FILENAME
+        $texOutputFile
+        chkOutputFileName
+        "console"))
+      NIL)
+@
+\section{quit}
+\begin{verbatim}
+----------------------- The quit Option -----------------------
+
+ Description: protected or unprotected quit
+
+ The quit option may be followed by any one of the following:
+
+    protected
+ -> unprotected 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<quit>>=
+  (quit
+   "protected or unprotected quit"
+   interpreter
+   LITERALS
+   $quitCommandType
+   (protected unprotected)
+   protected)
+@
+\section{streams}
+\begin{verbatim}
+              Current Values of  streams  Variables                   
+
+Variable     Description                           Current Value
+-----------------------------------------------------------------
+calculate    specify number of elements to calculate    10 
+showall      display all stream elements computed       off 
+
+\end{verbatim}
+<<streams>>=
+  (streams
+   "set some options for working with streams"
+   interpreter
+   TREE
+   novar
+   (
+<<streamscalculate>>
+<<streamsshowall>>
+  ))
+@
+\subsection{calculate}
+\begin{verbatim}
+-------------------- The calculate Option ---------------------
+
+ Description: specify number of elements to calculate
+
+   )set streams calculate is used to tell AXIOM how many elements
+    of a stream to calculate when a computation uses the stream. 
+    The value given after calculate must either be the word all 
+    or a positive integer.
+
+      The current setting is 10 .
+\end{verbatim}
+<<streamscalculate>>=
+     (calculate
+      "specify number of elements to calculate"
+      interpreter
+      FUNCTION
+      setStreamsCalculate
+      (("number of initial stream elements you want calculated"
+       INTEGER
+       $streamCount
+       (0 NIL)
+       10))
+      NIL)
+@
+\subsection{showall}
+\begin{verbatim}
+--------------------- The showall Option ----------------------
+
+ Description: display all stream elements computed
+
+ The showall option may be followed by any one of the following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<streamsshowall>>=
+    (showall
+     "display all stream elements computed"
+     interpreter
+     LITERALS
+     $streamsShowAll
+     (on off)
+     off)
+@
+\section{system}
+\begin{verbatim}
+              Current Values of  system  Variables                    
+
+Variable     Description                           Current Value
+-----------------------------------------------------------------
+functioncode show gen. LISP for functions when compiled off 
+optimization show optimized LISP code                   off 
+prettyprint  prettyprint BOOT func's as they compile    off 
+
+\end{verbatim}
+<<system>>=
+  (system
+   "set some system development variables"
+   development
+   TREE
+   novar
+   (
+<<systemfunctioncode>>
+<<systemoptimization>>
+<<systemprettyprint>>
+   ))
+@
+\subsection{functioncode}
+\begin{verbatim}
+------------------- The functioncode Option -------------------
+
+ Description: show gen. LISP for functions when compiled
+
+ The functioncode option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<systemfunctioncode>>=
+     (functioncode
+      "show gen. LISP for functions when compiled"
+      development
+      LITERALS
+      $reportCompilation
+      (on off)
+      off)
+@
+\subsection{optimization}
+\begin{verbatim}
+------------------- The optimization Option -------------------
+
+ Description: show optimized LISP code
+
+ The optimization option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<systemoptimization>>=
+     (optimization
+      "show optimized LISP code"
+      development
+      LITERALS
+      $reportOptimization
+      (on off)
+      off)
+@
+\subsection{prettyprint}
+\begin{verbatim}
+------------------- The prettyprint Option --------------------
+
+ Description: prettyprint BOOT func's as they compile
+
+ The prettyprint option may be followed by any one of the 
+ following:
+
+    on
+ -> off 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<systemprettyprint>>=
+     (prettyprint
+      "prettyprint BOOT func's as they compile"
+      development
+      LITERALS
+      $PRETTYPRINT
+      (on off)
+      off)
+@
+\section{userlevel}
+\begin{verbatim}
+-------------------- The userlevel Option ---------------------
+
+ Description: operation access level of system user
+
+ The userlevel option may be followed by any one of the 
+ following:
+
+    interpreter
+    compiler
+ -> development 
+
+ The current setting is indicated within the list.
+
+\end{verbatim}
+<<userlevel>>=
+  (userlevel
+   "operation access level of system user"
+   interpreter
+   LITERALS
+   $UserLevel
+   (interpreter compiler development)
+   development)
+@
+\section{License}
+<<license>>=
+-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
+-- All rights reserved.
+--
+-- Redistribution and use in source and binary forms, with or without
+-- modification, are permitted provided that the following conditions are
+-- met:
+--
+--     - Redistributions of source code must retain the above copyright
+--       notice, this list of conditions and the following disclaimer.
+--
+--     - Redistributions in binary form must reproduce the above copyright
+--       notice, this list of conditions and the following disclaimer in
+--       the documentation and/or other materials provided with the
+--       distribution.
+--
+--     - Neither the name of The Numerical ALgorithms Group Ltd. nor the
+--       names of its contributors may be used to endorse or promote products
+--       derived from this software without specific prior written permission.
+--
+-- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
+-- IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
+-- TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
+-- PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
+-- OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
+-- EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+-- PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
+-- PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+-- LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
+-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
+-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+@
+<<*>>=
+<<license>>
+
+--% Table of )set options
+SETANDFILEQ($setOptions,'(
+<<breakmode>>
+<<compiler>>
+<<expose>>
+<<functions>>
+<<fortran>>
+<<kernel>>
+<<hyperdoc>>
+<<help>>
+<<history>>
+<<messages>>
+<<naglink>>
+<<output>>
+<<quit>>
+<<streams>>
+<<system>>
+<<userlevel>>
+ ))
+
+-- The following creates a list of option names in the above table.
+
+SETANDFILEQ($setOptionNames, [x.0 for x in $setOptions])
+
+EVALANDFILEACTQ (initializeSetVariables $setOptions)
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} src/interp/property.lisp.pamphlet
+\bibitem{2} src/interp/setvars.boot.pamphlet
+\end{thebibliography}
+\end{document}