aboutsummaryrefslogtreecommitdiff
path: root/src/interp/setvart.boot
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp/setvart.boot')
-rw-r--r--src/interp/setvart.boot1797
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