remove more pamphlets

1 files changed, 1797 insertions, 0 deletions

diff --git a/src/interp/setvart.boot b/src/interp/setvart.boot
new file mode 100644
index 00000000..be30c3f4
--- /dev/null
+++ b/src/interp/setvart.boot
@@ -0,0 +1,1797 @@
+-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
+-- All rights reserved.
+-- Copyright (C) 2007, Gabriel Dos Reis.
+-- 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.
+
+
+import '"macros"
+)package "BOOT"
+
+--% Table of )set options
+$setOptions := '(
+-- -------------------- 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.
+  (breakmode
+   "execute break processing on error"
+   interpreter
+   LITERALS
+   $BreakMode
+   (nobreak break query resume fastlinks)
+   nobreak)         -- needed to avoid possible startup looping
+
+--                   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 
+  (compiler
+   "Library compiler options"
+   interpreter
+   TREE
+   novar
+
+-- ---------------------- The output Option ----------------------
+--
+--  Description: library in which to place compiled code
+   ((output
+     "library in which to place compiled code"
+     interpreter
+     FUNCTION
+     setOutputLibrary
+     NIL
+     htSetOutputLibrary)
+
+-- ---------------------- 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.
+   (input
+    "controls libraries from which to load compiled code"
+    interpreter
+    FUNCTION
+    setInputLibrary
+    NIL
+    htSetInputLibrary)
+
+-- ----------------------- 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" 
+   (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)))
+
+-- ---------------------- 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.
+  (expose
+   "control interpreter constructor exposure"
+   interpreter
+   FUNCTION
+   setExpose
+   NIL
+   htSetExpose)
+
+--              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 
+  (functions
+   "some interpreter function options"
+   interpreter
+   TREE
+   novar
+
+-- ---------------------- 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.
+   ((cache
+     "number of function results to cache"
+     interpreter
+     FUNCTION
+     setFunctionsCache
+     NIL
+     htSetCache)
+
+-- --------------------- 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.
+    (compile
+     "compile, don't just define function bodies"
+     interpreter
+     LITERALS
+     $compileDontDefineFunctions
+     (on off)
+     on)
+
+-- -------------------- 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.
+    (recurrence
+     "specially compile recurrence relations"
+     interpreter
+     LITERALS
+     $compileRecurrence
+     (on off)
+     on)))
+
+--               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 .
+  (fortran
+   "view and set options for FORTRAN output"
+   interpreter
+   TREE
+   novar
+
+-- ------------------- 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.
+   ((ints2floats
+     "where sensible, coerce integers to reals"
+     interpreter
+     LITERALS
+     $fortInts2Floats
+     (on off)
+     on)
+
+-- -------------------- 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 
+    (fortindent
+     "the number of characters indented"
+     interpreter
+     INTEGER
+     $fortIndent
+     (0 NIL)
+     6)
+
+-- -------------------- 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 
+    (fortlength
+     "the number of characters on a line"
+     interpreter
+     INTEGER
+     $fortLength
+     (1 NIL)
+     72)
+
+-- --------------------- 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.
+    (typedecs
+     "print type and dimension lines"
+     interpreter
+     LITERALS
+     $printFortranDecs
+     (on off)
+     on)
+
+-- ------------------- 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.
+    (defaulttype
+     "default generic type for FORTRAN object"
+     interpreter
+     LITERALS
+     $defaultFortranType
+     (REAL INTEGER COMPLEX LOGICAL CHARACTER)
+     REAL)
+
+-- -------------------- 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.
+    (precision
+    "precision of generated FORTRAN objects"
+     interpreter
+     LITERALS
+     $fortranPrecision
+     (single double)
+     double)
+
+-- -------------------- 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.
+    (intrinsic
+     "whether to use INTRINSIC FORTRAN functions"
+     interpreter
+     LITERALS
+     $useIntrinsicFunctions
+     (on off)
+     off)
+
+-- -------------------- 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 
+    (explength
+     "character limit for FORTRAN expressions"
+     interpreter
+     INTEGER
+     $maximumFortranExpressionLength
+     (0 NIL)
+     1320)
+
+-- --------------------- 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.
+    (segment
+     "split long FORTRAN expressions"
+     interpreter
+     LITERALS
+     $fortranSegment
+     (on off)
+     on)
+
+-- --------------------- 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 
+    (optlevel
+     "FORTRAN optimisation level"
+     interpreter
+     INTEGER
+     $fortranOptimizationLevel
+     (0 2)
+     0)
+
+-- -------------------- 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 
+    (startindex
+     "starting index for FORTRAN arrays"
+     interpreter
+     INTEGER
+     $fortranArrayStartingIndex
+     (0 1)
+     1)
+
+--               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 
+    (calling
+    "options for external FORTRAN calls"
+    interpreter
+    TREE
+    novar
+
+-- --------------------- 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/ 
+    ((tempfile
+      "set location of temporary data files"
+      interpreter
+      FUNCTION
+      setFortTmpDir
+      (("enter directory name for which you have write-permission"
+        DIRECTORY
+        $fortranTmpDir
+        chkDirectory
+        "/tmp/"))
+      NIL)
+
+-- -------------------- 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 ./ 
+     (directory
+      "set location of generated FORTRAN files"
+      interpreter
+      FUNCTION
+      setFortDir
+      (("enter directory name for which you have write-permission"
+	DIRECTORY
+	$fortranDirectory
+	chkDirectory
+	"./"))
+      NIL)
+
+-- ---------------------- 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 
+     (linker
+      "linker arguments (e.g. libraries to search)"
+      interpreter
+      FUNCTION
+      setLinkerArgs
+      (("enter linker arguments "
+	STRING
+	$fortranLibraries
+	chkDirectory
+	"-lxlf"))
+      NIL)
+     ))
+   ))
+
+--               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 
+  (kernel
+   "library functions built into the kernel for efficiency"
+   interpreter
+   TREE
+   novar
+
+-- ----------------------- 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
+   ((warn
+     "warn when re-definition is attempted"
+     interpreter
+     FUNCTION
+     protectedSymbolsWarning
+     NIL
+     htSetKernelWarn)
+-- --------------------- 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
+    (protect
+     "prevent re-definition of kernel functions"
+     interpreter
+     FUNCTION
+     protectSymbols
+     NIL
+     htSetKernelProtect)
+   ))
+
+--              Current Values of  hyperdoc  Variables                   
+--
+-- Variable     Description                           Current Value
+-- -----------------------------------------------------------------
+-- fullscreen   use full screen for this facility          off 
+-- mathwidth    screen width for history output            120 
+  (hyperdoc
+   "options in using HyperDoc"
+   interpreter
+   TREE
+   novar
+-- -------------------- 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.
+   ((fullscreen
+     "use full screen for this facility"
+     interpreter
+     LITERALS
+     $fullScreenSysVars
+     (on off)
+     off)
+-- -------------------- 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 
+    (mathwidth
+     "screen width for history output"
+     interpreter
+     INTEGER
+     $historyDisplayWidth
+     (0 NIL)
+     120)
+   ))
+
+--                Current Values of  help  Variables                     
+--
+-- Variable     Description                           Current Value
+-- -----------------------------------------------------------------
+-- fullscreen   use fullscreen facility, if possible       off 
+  (help
+   "view and set some help options"
+   interpreter
+   TREE
+   novar
+-- -------------------- 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.
+   ((fullscreen
+    "use fullscreen facility, if possible"
+    interpreter
+    LITERALS
+    $useFullScreenHelp
+    (on off)
+    off)
+   ))
+
+-- --------------------- 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.
+  (history
+   "save workspace values in a history file"
+   interpreter
+   LITERALS
+   $HiFiAccess
+   (on off)
+   on)
+
+--              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 
+  (messages
+   "show messages for various system features"
+   interpreter
+   TREE
+   novar
+
+-- ----------------------- 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.
+   ((any
+     "print the internal type of objects of domain Any"
+     interpreter
+     LITERALS
+     $printAnyIfTrue
+     (on off)
+     on)
+-- --------------------- The autoload Option ---------------------
+--
+--  Description: print file auto-load messages
+    (autoload
+     "print file auto-load messages"
+     interpreter
+     FUNCTION
+     printLoadMessages
+     (on off)
+     on)
+
+-- --------------------- 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.
+    (bottomup
+     "display bottom up modemap selection"
+     development
+     LITERALS
+     $reportBottomUpFlag
+     (on off)
+     off)
+
+-- --------------------- 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.
+    (coercion
+     "display datatype coercion messages"
+     development
+     LITERALS
+     $reportCoerceIfTrue
+     (on off)
+     off)
+
+-- --------------------- 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.
+    (dropmap
+     "display old map defn when replaced"
+     interpreter
+     LITERALS
+     $displayDroppedMap
+     (on off)
+     off)
+
+-- ---------------------- 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.
+    (expose
+     "warning for unexposed functions"
+     interpreter
+     LITERALS
+     $giveExposureWarning
+     (on off)
+     off)
+
+-- ----------------------- 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.
+    (file
+     "print msgs also to SPADMSG LISTING"
+     development
+     LITERALS
+     $printMsgsToFile
+     (on off)
+     off)
+
+-- ---------------------- 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.
+    (frame
+     "display messages about frames"
+     interpreter
+     LITERALS
+     $frameMessages
+     (on off)
+     off)
+
+-- ------------------- 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.
+    (highlighting
+     "use highlighting in system messages"
+     interpreter
+     LITERALS
+     $highlightAllowed
+     (on off)
+     off)
+
+-- --------------------- 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.
+    (instant
+     "present instantiation summary"
+     development
+     LITERALS
+     $reportInstantiations
+     (on off)
+     off)
+
+-- --------------------- 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.
+    (insteach
+     "present instantiation info"
+     development
+     LITERALS
+     $reportEachInstantiation
+     (on off)
+     off)
+
+-- -------------------- 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.
+    (interponly
+     "say when function code is interpreted"
+     interpreter
+     LITERALS
+     $reportInterpOnly
+     (on off)
+     on)
+
+-- --------------------- 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.
+    (naglink
+     "show NAGLink messages"
+     interpreter
+     LITERALS
+     $nagMessages
+     (on off)
+     on)
+
+-- ---------------------- 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.
+    (number
+     "display message number with message"
+     interpreter
+     LITERALS
+     $displayMsgNumber
+     (on off)
+     off)
+
+-- ---------------------- 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.
+    (prompt
+     "set type of input prompt to display"
+     interpreter
+     LITERALS
+     $inputPromptType
+     (none frame plain step verbose)
+     step)
+
+-- -------------------- 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.
+    (selection
+     "display function selection msgs"
+     interpreter
+     LITERALS
+     $reportBottomUpFlag
+     (on off)
+     off)
+
+-- ----------------------- 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.
+    (set
+     "show )set setting after assignment"
+     interpreter
+     LITERALS
+     $displaySetValue
+     (on off)
+     off)
+
+-- --------------------- 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.
+    (startup
+     "display messages on start-up"
+     interpreter
+     LITERALS
+     $displayStartMsgs
+     (on off)
+     on)
+
+-- --------------------- 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.
+    (summary
+     "print statistics after computation"
+     interpreter
+     LITERALS
+     $printStatisticsSummaryIfTrue
+     (on off)
+     off)
+
+-- --------------------- 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.
+    (testing
+     "print system testing header"
+     development
+     LITERALS
+     $testingSystem
+     (on off)
+     off)
+
+-- ----------------------- 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.
+    (time
+     "print timings after computation"
+     interpreter
+     LITERALS
+     $printTimeIfTrue
+     (on off long)
+     off)
+
+-- ----------------------- 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.
+    (type
+     "print type after computation"
+     interpreter
+     LITERALS
+     $printTypeIfTrue
+     (on off)
+     on)
+
+-- ----------------------- 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.
+    (void
+     "print Void value when it occurs"
+     interpreter
+     LITERALS
+     $printVoidIfTrue
+     (on off)
+     off)
+   ))
+
+--               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 
+  (naglink
+   "options for NAGLink"
+   interpreter
+   TREE
+   novar
+
+-- ----------------------- 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 
+   ((host
+     "internet address of host for NAGLink"
+     interpreter
+     FUNCTION
+     setNagHost
+     (("enter host name"
+       DIRECTORY
+       $nagHost
+       chkDirectory
+       "localhost"))
+     NIL)
+-- ------------------- 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 
+    (persistence
+     "number of (fortran) functions to remember"
+     interpreter
+     FUNCTION
+     setFortPers
+     (("Requested remote storage (for asps):"
+      INTEGER
+      $fortPersistence
+      (0 NIL)
+      10))
+     NIL)
+
+-- --------------------- 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.
+    (messages
+     "show NAGLink messages"
+     interpreter
+     LITERALS
+     $nagMessages
+     (on off)
+      on)
+
+-- ---------------------- 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.
+    (double
+     "enforce DOUBLE PRECISION ASPs"
+     interpreter
+     LITERALS
+     $nagEnforceDouble
+     (on off)
+     on)
+   ))
+
+-- 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 
+  (output
+   "view and set some output options"
+   interpreter
+   TREE
+   novar
+
+-- -------------------- 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.
+    ((abbreviate
+      "abbreviate type names"
+      interpreter
+      LITERALS
+      $abbreviateTypes
+      (on off)
+      off)
+
+-- --------------------- 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 
+     (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)
+
+-- -------------------- 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 \    
+     (characters
+      "choose special output character set"
+      interpreter
+      FUNCTION
+      setOutputCharacters
+      NIL
+      htSetOutputCharacters)
+
+-- --------------------- 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 
+     (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)
+
+-- --------------------- 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.
+     (fraction
+      "how fractions are formatted"
+      interpreter
+      LITERALS
+      $fractionDisplayType
+      (vertical horizontal)
+      vertical)
+
+-- ---------------------- 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 
+     (length
+      "line length of output displays"
+      interpreter
+      INTEGER
+      $LINELENGTH
+      (10 245)
+      77)
+
+-- ----------------------- 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 
+     (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)
+
+-- ---------------------- 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 
+     (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)
+
+-- --------------------- 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.
+     (scripts
+      "show subscripts,... linearly"
+      interpreter
+      LITERALS
+      $linearFormatScripts
+      (yes no)
+      no)
+
+-- -------------------- 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.
+     (showeditor
+      "view output of )show in editor"
+      interpreter
+      LITERALS
+      $useEditorForShowOutput
+      (on off)
+      off)
+
+-- ----------------------- 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 
+     (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)
+   ))
+
+-- ----------------------- 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.
+  (quit
+   "protected or unprotected quit"
+   interpreter
+   LITERALS
+   $quitCommandType
+   (protected unprotected)
+   unprotected)
+
+--               Current Values of  streams  Variables                   
+--
+-- Variable     Description                           Current Value
+-- -----------------------------------------------------------------
+-- calculate    specify number of elements to calculate    10 
+-- showall      display all stream elements computed       off 
+  (streams
+   "set some options for working with streams"
+   interpreter
+   TREE
+   novar
+
+-- -------------------- 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 .
+   ((calculate
+     "specify number of elements to calculate"
+     interpreter
+     FUNCTION
+     setStreamsCalculate
+     (("number of initial stream elements you want calculated"
+      INTEGER
+      $streamCount
+      (0 NIL)
+      10))
+     NIL)
+
+-- --------------------- 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.
+   (showall
+    "display all stream elements computed"
+    interpreter
+    LITERALS
+    $streamsShowAll
+    (on off)
+    off)
+  ))
+
+--               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 
+  (system
+   "set some system development variables"
+   development
+   TREE
+   novar
+
+-- ------------------- 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.
+   ((functioncode
+     "show gen. LISP for functions when compiled"
+     development
+     LITERALS
+     $reportCompilation
+     (on off)
+     off)
+
+-- ------------------- 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.
+    (optimization
+     "show optimized LISP code"
+     development
+     LITERALS
+     $reportOptimization
+     (on off)
+     off)
+
+-- ------------------- 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.
+    (prettyprint
+     "prettyprint BOOT func's as they compile"
+     development
+     LITERALS
+     $PRETTYPRINT
+     (on off)
+     off)
+   ))
+
+-- -------------------- 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.
+  (userlevel
+   "operation access level of system user"
+   interpreter
+   LITERALS
+   $UserLevel
+   (interpreter compiler development)
+   development)
+ )
+
+--%
+$reportCoerceIfTrue := NIL
+
+--%
+printLoadMessages u ==
+  MEMQ(u, '(%display% %describe%)) =>
+    ($printLoadMsgs => '"on"; '"off")
+  $printLoadMsgs := u is ["on"]
+
+-- The following creates a list of option names in the above table.
+
+$setOptionNames := [x.0 for x in $setOptions]
+
+initializeSetVariables $setOptions