diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/interp/Makefile.in | 7 | ||||
| -rw-r--r-- | src/interp/Makefile.pamphlet | 13 | ||||
| -rw-r--r-- | src/interp/setvart.boot | 1797 | ||||
| -rw-r--r-- | src/interp/setvart.boot.pamphlet | 2396 |
4 files changed, 1803 insertions, 2410 deletions
diff --git a/src/interp/Makefile.in b/src/interp/Makefile.in index 83faf679..190ce68a 100644 --- a/src/interp/Makefile.in +++ b/src/interp/Makefile.in @@ -499,6 +499,9 @@ match.$(FASLEXT): match.boot sys-macros.$(FASLEXT) record.$(FASLEXT): record.boot nlib.$(FASLEXT) pathname.$(FASLEXT) $(BOOTSYS) -- --compile --boot="old" --output=$@ --load-directory=. $< +setvart.$(FASLEXT): setvart.boot macros.$(FASLEXT) + $(BOOTSYS) -- --compile --boot="old" --output=$@ --load-directory=. $< + ## OpenAxiom's compiler compiler.$(FASLEXT): compiler.boot category.$(FASLEXT) c-util.$(FASLEXT) \ @@ -746,10 +749,6 @@ nrunopt.clisp: nrunopt.boot @ echo 365 making $@ from $< @ echo '(old-boot::boot "nrunopt.boot")' | ${DEPSYS} -setvart.clisp: setvart.boot - @ echo 398 making $@ from $< - @ echo '(old-boot::boot "setvart.boot")' | ${DEPSYS} - ../algebra/warm.data: $(srcdir)/Makefile.pamphlet @ echo 2 building warm.data $(axiom_build_document) --tangle=warm.data --output=$@ $< diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet index a8aa9c8e..b30cc054 100644 --- a/src/interp/Makefile.pamphlet +++ b/src/interp/Makefile.pamphlet @@ -859,14 +859,6 @@ if these two things are done then a DEPSYS image can be bootstrapped to a new platform. \end{verbatim} -\subsection{setvart.boot} - -<<setvart.clisp>>= -setvart.clisp: setvart.boot - @ echo 398 making $@ from $< - @ echo '(old-boot::boot "setvart.boot")' | ${DEPSYS} -@ - \section{The databases} \begin{verbatim} @@ -1084,6 +1076,9 @@ match.$(FASLEXT): match.boot sys-macros.$(FASLEXT) record.$(FASLEXT): record.boot nlib.$(FASLEXT) pathname.$(FASLEXT) $(BOOTSYS) -- --compile --boot="old" --output=$@ --load-directory=. $< +setvart.$(FASLEXT): setvart.boot macros.$(FASLEXT) + $(BOOTSYS) -- --compile --boot="old" --output=$@ --load-directory=. $< + ## OpenAxiom's compiler compiler.$(FASLEXT): compiler.boot category.$(FASLEXT) c-util.$(FASLEXT) \ @@ -1325,8 +1320,6 @@ boot-pkg.$(FASLEXT): boot-pkg.lisp <<nrunopt.clisp>> -<<setvart.clisp>> - <<warm.data.stanza>> buildom.$(FASLEXT): buildom.boot sys-macros.$(FASLEXT) 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 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} |