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