**Copyright (c) The Numerical Algorithms Group Limited 1992-1994. All Rights Reserved.

S2CD0001
 %b Constructor documentation warnings (++ comments): %d
S2CD0002
 %1 The constructor %2b has missing documentation.
S2CD0003
 %x3 %1 The constructor %2b is missing the heading description.
S2CD0004
 %x3 %1 The following functions do not have documentation:
S2CD0005
 %x3 %1 The following attributes do not have documentation:
S2CD0006
 %1 The constructor %2b has incorrectly placed documentation.
S2IA0001
 Division by zero on conversion to GaloisField.
S2IB0001
 An expression following %1b must evaluate to a %b Boolean %d and you
 have written one that does not.
S2IB0002
 The function is not defined for given value.
S2IB0003
 The user-defined function %1bp cannot be applied as specified. %l
 Possible reasons: %i %l
 1. The function has been declared but not defined. %l
 2. Some arguments are functions, but they are not declared. %l
 3. The function is not being called with the correct number of
 arguments. %u
S2IB0004
 %1b is declared as being in %2bp but has not been given a value.
S2IB0006
 The argument to %b %% %d must be a single integer.
S2IB0008
 Cannot find a definition or applicable library operation named
 %1ob with argument type(s) %b %ceon %2P %ceoff %d %l
 Perhaps you should use "@" to indicate the required return type, or "$" to
 specify which version of the function you need.
S2IB0008a
 There are no library operations named %1b %l
 Use HyperDoc Browse
 or issue %ceon )what op %1 %ceoff to learn if there is any operation
 containing " %1 " in its name.
S2IB0008b
 There are no exposed library operations named %1b but there is
 one unexposed operation with that name. Use HyperDoc Browse or
 issue %ceon )display op %1 %ceoff to learn more about the available
 operation.
S2IB0008c
 There are no exposed library operations named %1b but there are
 %2b unexposed operations with that name. Use HyperDoc Browse or
 issue %ceon )display op %1 %ceoff to learn more about the available
 operations.
S2IB0008d
 There are no library operations named %1b having %2 argument(s)
 though there are %3 exposed operation(s) and %4 unexposed operation(s)
 having a different number of
 arguments. Use HyperDoc Browse, or issue
 %ceon )what op %1 %ceoff to learn what operations
 contain " %1 " in their names, or
 issue %ceon )display op %1 %ceoff to learn more about the available
 operations.
S2IB0008e
 There are no exposed library operations named %1b having %2 argument(s)
 though there are %3 unexposed operation(s) with %2 argument(s).
 Use HyperDoc Browse, or
 issue %ceon )display op %1 %ceoff to learn more about the available
 operations.
S2IB0008f
 There are %3 exposed and %4 unexposed
 library operations named %1b having %2 argument(s)
 but none was determined to be applicable.
 Use HyperDoc Browse, or
 issue %ceon )display op %1 %ceoff to learn more about the available
 operations.
 Perhaps package-calling the operation or using coercions on the
 arguments will allow you to apply the operation.
S2IB0009
 OpenAxiom will attempt to step through and interpret the code.
S2IB0010
 Cannot resolve type of value and declared partial type.
S2IB0011
 Cannot find a no-argument definition or library operation named %1b .
S2IB0012
 Cannot find application of object of type %1b to argument(s) of type(s)
 %b %ceon %2 %ceoff %d
S2IB0013
 Cannot find application of object of type %1b .
S2IC0001
 Cannot generate conversion for argument %1b in %2b from type
 %3bp to %4bp.
S2IC0002
 Cannot convert the value from type %1bp to %2bp .
S2IC0003
 Cannot convert from type %1bp to %2bp for value %3m
S2IC0004
 Conversion failed in the compiled user function %1b from %2bp to %3bp
S2IC0005
 Conversion failed in the compiled user function %1b .
S2IC0006
 Cannot compile conversion for types involving local variables.
 In particular, could not compile the expression involving %b :: %1p %d
S2IC0007
 Cannot convert an element of the construct to type %1bp .
S2IC0008
 No such constant %1b in domain %2bp .
S2IC0009
 You are trying to use something (probably a loop) in a situation where a
 value is expected.  In particular, you are trying to convert this to the
 type %1bp . The following information may help:  possible function name:  %2p
S2IC0010
 Cannot compile target expressions for types involving local variables.
 In particular, could not compile the expression involving %b @ %1p %d
S2IC0011
 An expression involving %b @ %2p %d actually evaluated to one of
 type %1bp .  Perhaps you should use %b :: %2p %d .
S2IC0013
 Cannot determine branch of %b Union. %d
S2IC0014
 The type %1bp is not branch of %2bp
S2IC0015
 Generated code is incorrect for %b equation %d
S2IC0016
 %1b is defined as a %2b, but was abbreviated as a %3b.
S2ID0004
 Cannot locate %1 for %2b .
S2ID0014
 %1b depends on the unknown constructor %2b .
S2ID0015
 There is no %2 for the constructor %1b .
S2ID0022
 %b %1 %2 %d has the following missing or incorrect keys: %3b
S2IE0001
 You cannot use %1b in the manner you have because it has no value.
S2IE0002
 Though %1b has declared type (or partial type) %2bp it does not have
 an assigned value. You must give it one before it can be so used.
S2IE0003
 Although %1b is the name of a constructor, a full type must be specified
 in the context you have used it.  Issue %b )show %2 %d for more
 information.
S2IE0004
 %1bp is not a valid type.
S2IE0005
 You cannot now use %1bp in the context you have it.
S2IE0006
 Cannot convert the %1 argument of %3p to the type %2p .
S2IE0007
 Category, domain or package constructor %1b is not available.
S2IE0008
 Cannot find an applicable defined function %1b for the given arguments.
S2IE0009
 Operation %b %1 : %2 %d is not implemented in %3bp .
S2IE0010
 Your expression cannot be fully compiled because it contains an
 integer expression (for %1b ) whose sign cannot be determined (in
 general) and so must be specified by you.
 Perhaps you can try substituting something like %ceon %b ( %1 :: PI )
 %d %l or %l %b ( %1 ::  NNI ) %d %ceoff into your expression for %1b .
S2IE0011
 %1bp is a %2 , not a domain, and declarations require domains.
S2IE0012
 The right-hand side of the $ operator must be a package or domain name,
 but %1bp is a category.
S2IE0013
 The argument to the side-effect producing operation %1b is not allowed
 to be converted from type %2bp to type %3bp .
S2IE0014
 You cannot use %1bp or any other category in a target, coercion, or
 package-call context.
S2IE0020
 Only identifiers can be used as Record of Union field names.
S2IF0001
 A $-expression must have a fully specified domain or package on the
 right-hand side.
S2IF0002
 Functions from %1b are not available yet.
S2IF0003
 %1b must denote a domain or package constructor.
S2IF0004
 The function %1b cannot be found in %2bp .
S2IF0006
 Skipping function with unimplemented form %1b .
S2IF0007
 %1b is not a valid function name.
S2IF0008
 The function %1b is not defined in the domain %2bp .
S2IF0009
 The domain %1bp does not belong to the category %2bp .
S2IF0010
 %1b is not a known function.  OpenAxiom will try to list its functions
 which contain %1b in their names.  This is the same output you
 would get by issuing %ceon %b )what operations %1 %d %ceoff
S2IF0011
 %l To get more information about an operation such as %1b, issue the
 command %b )display op %1 %d
S2IF0012
 %1b is not the name of a system function.
S2IH0001
 You have not reached step %1b yet, and so its value cannot be
 supplied.
S2IH0002
 Cannot supply value for step %1b because 1 is the first step.
S2IH0003
 Step %1b has no value.
S2IH0004
 The history facility is not on, so you cannot use %b %% %d .
S2IH0006
 You have not used the correct syntax for the %b history %d command.
 Issue %b )help history %d for more information.
S2IH0007
 The history facility is already on.
S2IH0008
 The history facility is now on.
S2IH0009
 Turning on the history facility will clear the contents of the
 workspace.
 Please enter %b y %d or %b yes %d if you really want to do this:
S2IH0010
 The history facility is still off.
S2IH0011
 The history facility is already off.
S2IH0012
 The history facility is now off.
S2IH0013
 The history facility is not on, so the .input file containing your user input
 cannot be created.
S2IH0014
 Edit %b %1 %d to see the saved input lines.
S2IH0015
 The argument %b n %d for %b )history )change n must be a nonnegative
 integer and your argument, %1b , is not one.
S2IH0016
 The history facility is not on, so no information can be saved.
S2IH0018
 The saved history file is %1b .
S2IH0019
 There is no history file, so value of step %1b is
 undefined.
S2IH0022
 No history information had been saved yet.
S2IH0023
 %1b is not a valid filename for the history file.
S2IH0024
 History information cannot be restored from %1b because the file does
 not exist.
S2IH0025
 The workspace has been successfully restored from the history file
 %1b .
S2IH0026
 The history facility command %1b cannot be performed because the
 history facility is not on.
S2IH0027
 A value containing a %1b is being saved in a history file or a
 compiled input file INLIB. This type
 is not yet usable in other history operations.  You might want to issue
 %b )history )off %d
S2IH0029
 History information is already being maintained in an external file 
 (and not in memory).
S2IH0030
 History information is already being maintained in memory (and not
 in an external file).
S2IH0031
 When the history facility is active, history information will be
 maintained in a file (and not in an internal table).
S2IH0032
 When the history facility is active, history information will be
 maintained in memory (and not in an external file).
S2IH0034
 Missing element in internal history table.
S2IH0035
 Can't save the value of step number %1b.  You can re-generate this value
 by running the input file %2b.
S2IH0036
 The value specified cannot be saved to a file.
S2IH0037
 You must specify a file name to the history save command
S2IH0038
 You must specify a file name to the history write command
S2II0001
 The attributed tree form %1s is not a vector.
S2II0002
 Unknown form of attributed tree: %1s
S2II0003
 Improper use of %1b with argument %2s: %3
S2IL0001
 The file %1b cannot be found and so will not be loaded.
S2IL0002
 Loading %1 for %2 %3b
S2IL0003
 The file %1b is needed but does not exist.
S2IL0004
 The source file for %1b cannot be located.
S2IL0005
 %1bp is not a known type.
S2IL0006
 Abbreviations must have 8 or fewer characters and should be uppercase.
S2IL0007
 %1b claims that its constructor name is the %2 %3b but %3b is already
 known to be the %d for %4 %5b .
S2IL0008
 %1b is the name of a %2 constructor from %3b .
S2IL0009
 Illegal abbreviation %1b for %b %2 %3 %d .
S2IL0010
 %1b is already an abbreviation for %b %2 %3 %d .
S2IL0011
 %1b is the name of a %2b constructor.
S2IL0012
 %1b is a %2b .
S2IL0013
 Error: %1b has value %2bp .
S2IL0014
 The constructor %1b takes %2 and you have given %3b .
S2IL0015
 %1b is an unknown constructor and so is unavailable. Did you
 mean to use %b -> %d but type something different instead?
S2IL0016
 A file with the requested source cannot be located.
S2IL0017
 Enter %b create %d to newly create the file or specify the %b correct %d
 name of the file or depress the %b ENTER %d key once or twice to cancel
 the selection:
S2IL0018
 Your request to cancel the selection has been accepted. You are now
 being returned to the top level of OpenAxiom.
S2IL0019
 %1b is not known to be a valid abbreviation for a constructor.
 If necessary, use the %b )abbreviation %d system command to create
 an abbreviation. Issue %b )abbreviation ? %d for more information.
S2IL0020
 An existing file %1b cannot be located.
S2IL0021
 Category abbreviations must have 7 or fewer characters and should
 be uppercase.
S2IL0022
 The library file %1b does not contain the %2b data required.
S2IL0023A
 The operation %1b with type %2b is not implemented domain %3bp .
S2IL0024A
 The operation %1b with type %2b does not exist in domain %3bp .
S2IL0025
 Unexpected type of entry in domain: %1s
S2IL0026
 Cannot locate operation alist for constructor %1b
S2IL0027
 The directory %1 could not be created. The file %2 was not compiled.
S2IL0028
 Could not unarchive contents of %2 into directory %1.
 The file %2 was not compiled.
S2IL0029
 No .ao files were found when %2 was unarchived into directory %1.
 The file %2 was not compiled.
S2IM0001
 The previous declaration of %1b as %2bp is incompatible with its new use
 as a function.  If you do not want the old value, issue %b )clear prop
 %1 %d.
S2IM0002
 %1b is not valid on the left-hand side of a function definition.
S2IM0003
 You have used the abbreviation %1b of the constructor %2b as an
 identifier on the left hand side of a function definition.  This is not
 allowed.
S2IM0004
 Partial types are not allowed in the declarations of
 function arguments or return types.
S2IM0005
 Invalid type expression %1b in function definition.
S2IM0006
 Function declaration %1 has been added to workspace.
S2IM0007
 All or none of the arguments and result type of %1bp must be declared.
S2IM0008
 The number of parameters in your definition for %1bp does not
 correspond to the declared number of arguments.
S2IM0009
 A loop has been detected in analyzing function/rule %1b and it cannot
 be further processed. It would probably help if you declared the function.
 The functions/rules that were being analyzed were: %l %b %2 %d
S2IM0010
 OpenAxiom cannot compile or interpret code for function %1b .
S2IM0011
 OpenAxiom cannot determine the type for function %1b . Please declare it.
S2IM0012
 OpenAxiom cannot determine the type of %1b because it cannot analyze the
 non-recursive part, if that exists.  This may be remedied by declaring
 the function.
S2IM0013
 You cannot use the free variable %1b before its assignment in %2bp .
S2IM0014
 Compiling body of rule %1bp to compute value of type %2b
S2IM0015
 Compiling function %1b with type %2b
S2IM0016
 The user-defined function %1bp has branched to an undefined branch in
 conditional processing.
S2IM0017
 %1b old definition(s) %b deleted %d for function or rule %2bp
S2IM0018
 The function %1bp is not defined for the given argument(s).
S2IM0019
 Bad cache count ( %1b ) found when trying to compile function %2b .
S2IM0020
 Unknown form of function body when analyzing %1b
S2IM0027
 No arguments are allowed on the left had side of a rule definition and
 you supplied %1b for rule %2b
S2IP0001
 The left-hand side of a %b => %d form must be a symbol.
S2IP0002
 OpenAxiom cannot now process %b ! %d in the way you have used it.
 Use parentheses, if appropriate.
S2IP0003
 Argument number %1b of %2bp must have type %3bp .
S2IP0004
 %1 macro %2b .
S2IP0005
 %1b is not a valid identifier to use in OpenAxiom.
S2IP0006
 Sorry, %1b is not handled in the interpreter yet.  Try the compiler.
S2IR0001
 Cannot resolve all the types in the list to be created.
S2IR0002
 OpenAxiom cannot handle %b [ ] %d here.
S2IR0003
 The types that cannot be resolved are: %1b
S2IR0004
 OpenAxiom is confused by what you input.  It cannot resolve the
 type %1bp with the partial type %2bp .
 Please make sure you have used the correct syntax.
S2IR0005
 The type %1bp is not valid because unions cannot include
 the same type more than once.
S2IS0001
 Cannot compile algebraic extension declarations yet.
S2IS0002
 Cannot pass to a field from the domain %1pb .
S2IS0003
 Your statement has resulted in the following assignments and
 declaration:
S2IS0004
 %b case %d is only used for Unions and the object on the left-hand side
 does not belong to a union.
S2IS0005
 The index variable in an iterator must be a symbol and %1 is not
 one.
S2IS0006
 OpenAxiom cannot iterate with %1b over your form now.
 Perhaps you should try using a conversion to make sure your form is
 a list or stream, for example.
S2IS0007
 The %1 bound in a loop must be an integer.
S2IS0008
 The step value in a loop must be a constant integer.
S2IS0009
 OpenAxiom can only iterate over lists now and you supplied an
 object of type %1bp .
S2IS0010
 Cannot resolve types in collect body.
S2IS0011
 Interpret-Code mode is not supported for stream bodies.
S2IS0013
 OpenAxiom does not understand what you mean when you specify %b [
 ] %d as having the type %1bp .
S2IS0014
 Cannot compile the declaration for %1b because its
 (possible partial) type contains a local variable.
S2IS0015
 An identifier cannot be declared to have type %b Void %d
S2IS0016
 Declarations are only allowed on variables and %1b is not one.
S2IS0017
 The previous use of %1b as a function is not compatible with its new
 declaration as %2bp . If you do not want the old value, issue %l %b
 )clear prop %1 %d
S2IS0019
 Cannot process mapping declaration on %1b since it already has a
 value.
S2IS0020
 A fully specified type must follow $ when it qualifies a domain
 constant.
S2IS0021
 There is no operation named %1b in the domain or package %2bp .
S2IS0022
 There is more than one %1b in the domain or package %2bp .
 The one being chosen has type %3bp .
S2IS0023
 The function %1b is not implemented in %2bp .
S2IS0024
 %1b is not a lisp function and so cannot be used with $Lisp.
S2IS0025
 You can only use %b has %d to query the properties of a fully
 specified type. You cannot query a category.
S2IS0026
 Cannot resolve types %1bp and %2bp across the %b then %d and %b else
 %d clauses of an %b if %d statement.
S2IS0027
 %1b is not valid on the left-hand side of an assignment
 expression.
S2IS0028
 You have used the abbreviation %1b of the constructor %2b on the
 left-hand side of an assignment expression. This is not allowed.
S2IS0029
 A(n) %1b statement may only be used within a %b repeat %d loop.
S2IS0030
 Pattern matching is only allowed on lists.
S2IS0031
 A predicate (for example, following an %b if %d keyword) must
 evaluate to an object of type %b Boolean. %d
S2IS0032
 Cannot compile a $-expression involving a local variable.
S2IS0034
 You cannot assign an object of type %b Void %d to any identifier,
 (in particular, %2b ).
S2IS0035
 Cannot resolve the type %1bp of the right-hand side of the
 assignment with the type %2bp of the left-hand side.
S2IS0036
 Cannot convert right-hand side of assignment %1m to an object of the
 type %2bp of the left-hand side.
S2IS0037
 Cannot convert right-hand side of assignment to an object of the
 type %1bp of the left-hand side.
S2IS0038
 Assignments with tuples must have the same size tuples on each side
 of the %b := %d .
S2IS0039
 If there is a tuple on the left-hand side of an assignment then
 there must also be one on the right-hand side.
S2IS0040
 OpenAxiom cannot now handle assignments to scripted variables
 with more than one script.  You can use %b == %d however.
S2IS0041
 OpenAxiom can now only handle undeclared %b Table %d
 assignments with a single key. Try using the form %1b .
S2IS0047
 The %b return %d keyword can only be used within a function.
S2IS0048
 The use of a $-expression is not understood in this context.
S2IS0049
 %1 definition for %2b is being overwritten.
S2IS0050
 Because of its use for recalling previous results, you cannot use
 %1b as a variable name.  In particular, you cannot declare it.
S2IS0051
 A tagged union construct with %b [ %d and %b ] %d must contain only
 one element and you supplied %1b to create an object of type
 %2bp.
S2IS0052
 You cannot declare %1b to be of type %2bp because either the declared
 type of %1b or the type of the value of %1b is different from %2bp .
S2IS0053
 Interpreter code generation failed for expression %1s
S2IS0054
 Argument number %1b to %2b must be a Boolean.
S2IS0055
 The reserved word %1b is not supported yet and so ignored for variable
 %2b
S2IS0056
 Anonymous user functions created with %b +-> %d that are processed in
 interpret-code mode must have result target information available.
 This information is not present so OpenAxiom cannot proceed any further.
 This may be remedied by declaring the function.
S2IS0057
 All parameters to anonymous user maps must identifiers, possibly in
 combination with declarations and predicates. Constants are not
 allowed. The given expression %1b is not allowed.
S2IS0058
 Partial type declarations are not allowed for anonymous user maps.
 This also means that is you are using a %b +-> %d form in a context
 where the type is to be deduced from target information, the target
 type must not be partial.
S2IS0059
 You entered an incomplete signature for an anonymous user function.
 You must either declare the type types of the rest and all the arguments
 or you  must declare the types of none of them.
S2IS0060
 The form on the left hand side of an assignment must be a single variable,
 a Tuple of variables or a  reference to an entry in an object supporting
 the setelt operation.
S2IS0061
 Unknown type of loop iterator form.
S2IS0061
 There is no operation named %1b with type %2p in the domain or
 package %3p.
S2IT0001
 %1b can have no other options.
S2IT0002
 Trace facility timers, space counts and execution counts have been
 reset.
S2IT0003
 Please retrace the domain %1b.
S2IT0004
 %b )ops %d and %b )of %d cannot both be options to %b )trace %d
S2IT0005
 The %1b option is not implemented yet.
S2IT0006
 %1 The %b )trace %d option %b )only %d does not permit %2b as a legal
 option.
S2IT0007
 %1 OpenAxiom does not understand the %b )trace %d option %2b which you used.
S2IT0008
 %1 The %b )trace %d option %b )break %d can only have one or both of
 %b before %d and %b after %d as arguments.
S2IT0009
 %1 The %b )trace %d option %2b can have no arguments.
S2IT0010
 %1 The %b )trace %d option %2b takes exactly one name as an argument.
S2IT0011
 %1 The %b )trace %d option %2b takes exactly one expression as an
 argument.
S2IT0012
 %1 The %b )trace %d option %2b takes exactly one integer argument.
S2IT0013
 %1 The %b )trace %d option %b )of %d should be followed by the name of a
 domain and %2b is not one.
S2IT0015
 %1 The %b )trace %d option %2b should be followed by a list of names.
S2IT0016
 %1 The %b )trace %d option %2b should be followed by a list of variable
 names.
S2IT0017
 There are %1b problems with your %b )trace %d system command:
S2IT0018
 OpenAxiom does not understand the use of %1b here.
S2IT0019
 If you use the %b )off %d option for %b )trace %d and you also use
 the %b )local %d or %b )ops %d option, you must specify the name
 of a constructor.  You have not done so.
S2IT0020
 If you use the %b )off %d option for %b )trace %d and you also use
 the %b )local %d or %b )ops %d option, you must specify the name
 of a constructor.  What you gave after %b )trace %d is not a valid
 constructor name.
S2IT0021
 If you use the %b )off %d option for %b )trace %d then the only other
 options you can use are %b )nonquietly, )ops %d and %b )local. %d
S2IU0001
 %1 will be automatically loaded when needed from %2
S2IU0002
 Ignoring )dir because an explicit directory was not given after )dir.
S2IU0003
 The %b )load %d system command is obsolete. Please use the %b )library %d
 command instead.
S2IV0001
 %b )set streams calculate %d is used to tell OpenAxiom
 how many elements of a stream to calculate when a
 computation uses the stream.  The value given after %b calculate %d must
 either be the word %b all %d or a positive integer.  %l %l The current
 setting is %1b .
S2IV0002
 To toggle %1 printing on and off, specify %l
 %b )set output %2 yes/no/on/off %d %l
 Yes, no, on and off cannot be abbreviated.
S2IV0003
 It is not possible to open or create a file called %b %1 %2 %3 %d .
S2IV0004
 %1 output will be written to file %2b .
S2IV0005
 Your argument list is not valid.
S2IX0001
 Compiling function %1bp as a recurrence relation.
S2IX0002
 You did not define %1bp for argument %2b .
S2IX0003
 %1bp will cache %2b most recently computed value(s).
S2IX0004
 %1bp will cache all previously computed values.
S2IX0005
 Recurrence relation must give consecutive special values.
 Given values are: %l %1
S2IX0006
 Wrong predicate for general term of recurrence: should be %1b not %2b
S2IX0007
 Compiled code for %1bp has been cleared.
S2IX0008
 Internal system problem in function %1b : %2
S2IX0009
 The system cannot print your result.
 It will be lisp pretty-printed: %l
S2IZ0001
 %1b abbreviates %b %2 %3 %d
S2IZ0002
 %1b must be followed by an alternating list of abbreviation(s) and
 name(s).
 Issue %b )abbrev ? %d for more information.
S2IZ0003
 %1b is neither a constructor name nor a constructor abbreviation.
S2IZ0004
 Removing %1b as the abbreviation for %2b will also remove %3 %2b from
 the system.  Enter %b yes %d or %b y %d if this is what you want, or
 anything else to abort the removal.
S2IZ0005
 Issue %b )abbrev ? %d for more information.
S2IZ0006
 Abbreviation %1b and %2 %3b %4 been deleted from the system.
S2IZ0007
 Your user access level is %1b and this %2 is therefore not available.
 See the %b )set userlevel %d command for more information.
S2IZ0008
 No %1 begins with %2b .
S2IZ0009
 Your %1 is ambiguous. The following are abbreviated by %2b :
S2IZ0010
 Use %b )clear all %d to clear everything in the workspace.  Use %b
 )clear completely %d to clear everything in the workspace and internal
 tables.  Other %b )clear %d keyword arguments are %1 %l or abbreviations
 thereof.  Issue %b )clear ? %d for more information.
S2IZ0011
 All user variables and function definitions have been cleared in
 the current frame ( %1b ).
S2IZ0012
 All user variables and function definitions have been cleared.
S2IZ0013
 All %b )browse %d facility databases have been cleared.
S2IZ0014
 Internally cached functions and constructors have been cleared.
S2IZ0015
 %b )clear completely %d is finished.
S2IZ0016
 The %1b system command takes arguments but no options.
S2IZ0017
 %1b is not a valid frame name.
S2IZ0018
 You must provide a name for the new frame.
S2IZ0019
 You cannot use the name %1b for a new frame because an existing
 frame already has that name.
S2IZ0020
 There is only one frame active and therefore that cannot be closed.
 Furthermore, the frame name you gave is not the name of the current frame.
 The current frame is called %1b .
S2IZ0021
 The current frame is the only active one.  Issue %b )clear all %d to
 clear its contents.
S2IZ0022
 There is no frame called %1b and so your command cannot be
 processed.
S2IZ0024
 The names of the existing frames are: %1 %l
 The current frame is the first one listed.
S2IZ0025
 If the system command or synonym %1b exists, help information is not
 available for it.  Issue %b )what commands %d or %b )what synonyms %d to
 determine is %1b is a valid name.
S2IZ0026
 The %b )help %d system command supports at most one argument.
S2IZ0028
 library %1b has been loaded.
S2IZ0029
 library %1b has not been loaded.
S2IZ0031
 Please enter %b y %d or %b yes %d if you really want to leave the
 interactive environment and return to the operating system:
S2IZ0032
 You have chosen to remain in the %b OpenAxiom %d
 interactive environment.
S2IZ0033
 You cannot %b )read %d the file %1b because your user-level is not is
 not high enough.  For more information about your user-level, issue %b
 )set userlevel %d .
S2IZ0034
 You cannot %b )read %d the file %1b because it is not suitable for
 reading by OpenAxiom.  Note that files with file extension %b .spad %d
 and %b .as %d can now only be compiled with the %b )compile %d system command.
S2IZ0035
 The file %1b will not be added to the list of working source files
 because the file does not exist.
S2IZ0036
 %1b is an unknown or unavailable for the %b )compile %d command.
S2IZ0037
 %1b requires and argument and you do not give one.
S2IZ0038
 Compiling OpenAxiom source code from file %1b using Spad compiler.
S2IZ0038A
 Compiling OpenAxiom source code from file %1b using AXIOM-XL compiler and
 options %b %ceon %2 %ceoff %d
 Use the system command %b )set compiler args %d to change these options.
S2IZ0039
 Only OpenAxiom source files with file extensions
 %b .as, .ao, .al, %d or %b .spad %d can be compiled.
S2IZ0040
 The %b )constructor %d option to %b )compile %d must also be
 specified when the %b )functions %d option is used.
S2IZ0041
 It is not known what %1bp is, so no information about it can be
 displayed.
S2IZ0043
 Your argument is not valid for the %b )what %d system command.  %l %l
 Use the %b )show %d system command to display the operations for a
 constructor.  Use the %b )display operations %d system command to see
 information about an operation.  These may be abbreviated to %b )sh %d
 and %b )d op %d , respectively.
S2IZ0044M
 Mapping(T, S, ...) %l
 %b Mapping %d takes any number of arguments of the form: %i %l
 T, a domain of category SetCategory %l
 S, a domain of category SetCategory %l
 ... %u %l
 Mapping(T, S, ...) denotes the class of objects which are
 mappings from a source domain (S, ...) into a target domain T.
 The Mapping constructor can take any number of arguments.
 All but the first argument is regarded as part of a source tuple
 for the mapping.
 For example, Mapping(T, A, B) denotes the
 class of mappings from (A, B) into T. %l
 This constructor is a primitive in OpenAxiom.
 For more information, use the HyperDoc Browser.
S2IZ0044R
 Record(a:A,...,b:B) %l
 %b Record %d takes any number of selector-domain pairs as arguments: %i %l
 a, a selector, an element of domain Symbol %l
 A, a domain of category SetCategory %l
 ... %l
 b, a selector, an element of domain Symbol %l
 B, a domain of category SetCategory %u %l
 This constructor is a primitive in OpenAxiom.
 The selectors a,...,b of a Record type must be distinct. %l %l
 In order for more information to be displayed about %1b ,
 you must give it specific arguments. For example: %2b %l
 You can also use the HyperDoc Browser.
S2IZ0045T
 Tagged union: Union(a:A, ..., b:B) %l
 %b Union %d takes any number of "tag"-domain pairs of arguments: %i %l
 a, a tag, an element of domain Symbol %l
 A, a domain of category SetCategory %l
 ... %l
 b, a tag, an element of domain Symbol %l
 B, a domain of category SetCategory %u %l
 This constructor is a primitive in OpenAxiom.
 In this tagged Union, tags a, ..., b must be distinct. %l %l
 In order for more information to be displayed about %1b ,
 you must give it specific arguments. For example: %2b %l
 You can also use the HyperDoc Browser.
S2IZ0045U
 Untagged union: Union(A, ..., B) %l
 %b Union %d takes any number of domain arguments: %i %l
 A, a domain of category SetCategory %l
 ... %l
 B, a domain of category SetCategory %u %l
 In this untagged form of Union, domains A, ..., B must be distinct.
 In order for more information to be displayed about %1b ,
 you must give it specific arguments. For example: %2b %l
 You can also use the HyperDoc Browser.
S2IZ0046
 For more information about individual commands, use the %b )help %d
 system command followed by the command name or the command name followed
 by a question mark.  Some commands (such as %b )lisp %d ) may require
 the %b )help lisp %d format.  For example, issue %b )help help %d or %b
 )help %x1 ? %d to find out more about the help command itself.
S2IZ0047
 Arguments are not allowed for the %b )workfiles %d system command.
 The %b )boot, )lisp, )meta %d and %b )delete %d options may be used
 with this command, however. Issue %b )help workfiles %d for more
 information.
S2IZ0048
 %1b is not an allowable option for the %b )workfiles %d system command.
 The %b )boot, )lisp, )meta %d and %b )delete %d options may be used
 with this command, however. Issue %b )help workfiles %d for more
 information.
S2IZ0049A
 The following groups are explicitly exposed in the current frame
 (called %1b ):
S2IZ0049B
 The following constructors are explicitly exposed in the current frame:
S2IZ0049C
 The following constructors are explicitly hidden in the current frame:
S2IZ0049D
 When %b )set expose %d is followed by no arguments, the information
 you now see is displayed. When followed by the %b initialize %d
 argument, the exposure group data in the file %1b is read and is
 then available. The arguments %b add %d and %b drop %d are used
 to add or drop exposure groups or explicit constructors from the
 local frame exposure data.  Issue
 %ceon %b )set expose add %d %x3 or %x3 %b )set expose drop %d %ceoff
 for more information.
S2IZ0049E
 When %b )set expose add %d is followed by no arguments, the information
 you now see is displayed.
 The arguments %b group %d and %b constructor %d are used to specify
 exposure groups or an explicit constructor to be added to the local
 frame exposure data. Issue
 %ceon %b )set expose add group %d %ceoff or
 %ceon %b )set expose add constructor %d %ceoff
 for more information.
S2IZ0049F
 When %b )set expose drop %d is followed by no arguments, the information
 you now see is displayed.
 The arguments %b group %d and %b constructor %d are used to specify
 exposure groups or an explicit constructor to be dropped from the local
 frame exposure data. Issue
 %ceon %b )set expose drop group %d %ceoff or
 %ceon %b )set expose drop constructor %d %ceoff
 for more information.
S2IZ0049G
 When %b )set expose add group %d is followed by no arguments, the
 information you now see is displayed. Otherwise, the words following
 %b group %d must be valid names of exposure groups defined in
 %1b . The group %b all %d is special: using this group name causes
 all known constructors to be exposed.  The known exposure group
 names are:
S2IZ0049H
 %1b is not a known exposure group name.
S2IZ0049I
 %1b is already an exposure group for frame %2b
S2IZ0049J
 %1b is not a known constructor.
 You can make the constructor known to the system by loading it.
S2IZ0049K
 %1b is already explicitly exposed in frame %2b
S2IZ0049L
 When followed by one or more exposure group names, this option allows
 you to remove those groups from the local frame exposure data.
S2IZ0049N
 When followed by one or more constructor names, this option allows you
 to explicitly hide constructors in this frame.
S2IZ0049O
 %1b is already explicitly hidden in frame %2b
S2IZ0049P
 %1b is now explicitly exposed in frame %2b
S2IZ0049Q
 %1b is now explicitly hidden in frame %2b
S2IZ0049R
 %1b is now an exposure group for frame %2b
S2IZ0049S
 %1b is no longer an exposure group for frame %2b
S2IZ0050
 There is an error in the %1b file you are using.
S2IZ0051
 is incorrect.  Re-issue the command now to see the message.
S2IZ0052
 It is mostly likely a %b )set %d command. Please inspect the file.
S2IZ0053
 OpenAxiom initialization: %1b
S2IZ0054
 %1b is unknown to us, so no information is available.
S2IZ0055
 After the property you wish to clear you must give one or more
 identifiers or specify %b all %d to clear that property from
 everything.
S2IZ0056
 You have requested that all abbreviations be displayed. As there are
 several hundred abbreviations, please confirm your request by
 typing %b y %d or %b yes %d and then pressing %b Enter %d :
S2IZ0057
 Since you did not respond with %b y %d or %b yes %d the list of
 abbreviations will not be displayed.
S2IZ0058
 You have requested that all information about all OpenAxiom
 operations (functions) be displayed.  As there are several hundred
 operations, please confirm your request by typing %b y %d or %b yes %d
 and then pressing %b Enter %d :
S2IZ0059
 Since you did not respond with %b y %d or %b yes %d the list of
 operations will not be displayed.
S2IZ0060
 %l There are possibly a great many operation names containing the
 substring %1b . Please confirm your request to have these listed by
 typing %b y %d or %b yes %d and then pressing %b Enter %d :
S2IZ0061
 Since you did not respond with %b y %d or %b yes %d the list of
 operation names containing %1b will not be displayed.
S2IZ0062
 %l %1b is not the name of a known type constructor. If you want
 to see information about any operations named %1b, issue
 %ceon %b )display operations %1 %d %ceoff
S2IZ0063
 The %b )show %d system command is used to display information about
 types or partial types.  For example, %b )show Integer %d will show
 information about %b Integer %d .
S2IZ0064
 %l %b %% %d is a special variable holding the result of the last
 computation. Issue %b )display properties %% %d to see this value.
S2IZ0065
 The name of the current frame is %1b .
S2IZ0066
 The workspace is empty.
S2IZ0067
 The current frame, %1b , is empty.
S2IZ0068
 There is nothing to display for option %1b .
S2IZ0069A
 Bad file format in file %1b : constructor name %2b encountered before
 an exposure group was defined.
S2IZ0069B
 Bad file format in file %1b : line with constructor name %2b should
 be of format %ceon %b constructor-name library-file-name %d %ceoff
S2IZ0069C
 Bad file format in file %1b : a group name should not contain blanks.
 The improper group name is %2b
S2IZ0070
 The current OpenAxiom default directory is %1b
S2IZ0071
 You cannot close this OpenAxiom session.
S2IZ0072
 This is the last OpenAxiom session.  Do you want to kill OpenAxiom?
S2IZ0073
 %b )frame import %d must be followed by the frame name. The names
 of objects in that frame can then optionally follow the frame name.
 For example,
 %ceon %b )frame import calculus %d %ceoff
 imports all objects in the %b calculus %d frame, and
 %ceon %b )frame import calculus epsilon delta %d %ceoff
 imports the objects named %b epsilon %d and %b delta %d from the
 frame %b calculus %d .
 Please note that if the current frame contained any information
 about objects with these names, then that information would be
 cleared before the import took place.
S2IZ0074
 You cannot import anything from the frame %1b because that is not
 the name of an existing frame.
S2IZ0075
 You cannot import from the current frame (nor is there a need!).
S2IZ0076
 User verification required:
 do you really want to import everything from the frame %1b ?
 If so, please enter %b y %d or %b yes %d :
S2IZ0077
 On your request, OpenAxiom will not import everything from frame %1b .
S2IZ0078
 Import from frame %1b is complete. Please issue %b )display all %d
 if you wish to see the contents of the current frame.
S2IZ0079
 OpenAxiom cannot import %1b from frame %2b because it cannot be found.
S2IZ0080
 Unknown system command: %1b
S2IZ0081
 You can only specify one of the %b )new %d and %b )old %d for the
 %b )compile %d system command. If you give the %b )translate %d option
 then you cannot also give the %b )new %d option.
S2IZ0082
 The old OpenAxiom system compiler can only compile files with file extension
 ".spad".
S2IZ0083
 The AXIOM-XL compiler can only compile files with file extensions ".as" or
 ".ao".
S2IZ0084
 The )library system command was not called after compilation.
S2IZ0085
 Warning: translation of an old-style source code ".spad" file to a new-style
 ".as" file changes the old system compiler. If you wish to use the old
 system compiler for regular compilation, you must exit and re-enter
 OpenAxiom.
S2IZ0086
 Cannot write to file with name %b %1  %d .
S2IZ0087
 Cannot write to file with name %b %1  %d . Terminating attempt to translate
 ".spad" file to ".as" file.
S2IZ0088
 Creating output file with name %b %1 %d .
S2IZ0089
 Compiling Lisp source code from file %1
S2IZ0090
 Issuing )library command for %1
S2GE0000
 Internal Error
S2GE0001
 You have attempted to set or extract an element of an object with an
 index that is out of bounds.  Please check forms of the type %b m.2.3 :=
 7 %d and %b l.9 %d in any list, vector, matrix or other aggregate
 expression where you are using a period (.) to reference elements.
S2GE0002
 You have exhausted the storage available for computation.
 Some possible courses of action are: %l %l
 1. Issue %b )display prop %d and then use %b )clear prop %d to remove
 values from variables that are no longer needed.  Repeat the calculation
 that caused you to exhaust storage.  %l %l
 2. Use %b )history )write %d to get a record of your calculations then
 use %b )quit %d , re-enter the system via %b axiom %d and then %b )read
 initial.input %d to restore your environment by repeating the
 calculations.  %l %l
 3.  Issue %b )history )save MYCALCS, %d exit the system via %b )quit, %d
 start a new system by using %b axiom %d and then issue %b )history
 )restore MYCALCS %d . Then perform the calculation on which you ran out
 of storage.  %l %l
 4.  If you have done many calculations that are not germane to the
 problem on which you exhausted storage and your calculation consists of
 very little input, exit the system via %b )quit, %d use %b axiom %d to
 start a fresh system and then restart your computation.  %l %l
 Note that you simply may not be able to perform your calculation in the
 amount of storage you have available to you.  Ask your system
 administrator if it is possible for you to run %b OpenAxiom %d in a
 larger virtual machine.  %l %l
 If you have questions, contact an OpenAxiom consultant.
S2GE0003
 The cache for %1b cannot be cleared because that function is not
 privately clammed.
S2GE0004
 The structure for the clammed function %1b
 on $clammedList is not correct. It must have three entries after the
 function name.
S2GE0005
 Illegal cache count for %1b
S2GE0006
 Illegal options for  CLAMming function %1b: %2 %3 %4
S2GE0007
 EQ cannot be used to CLAM a function with more than 1 argument and you
 are trying to that for %1b
S2GE0008
 The shift option not meaningful for hash type of cache and you
 are trying to that for %1b
S2GE0009
 Circular CLAMing illegal for 0-argument functions and you
 are trying to that for %1b
S2GE0010
 Private CLAMing illegal for 0-argument functions and you
 are trying to that for %1b
S2GE0011
 $ConstructorCache is only global cache now allowed and you are trying
 to do otherwise for %1b
S2GE0012
 For hash option, only EQ, CVEC, and UEQUAL are allowed and you are
 trying to do otherwise for %1b
S2GE0013
 %1b has the wrong format: the reference counts are missing.
S2GE0014
 %1b is too large
S2GE0015

S2GE0016
 Unexpected error or improper call to system function %1b: %2
S2GE0017
 Unexpected error in call to system function %1b
S2GL0001
 %ceon
 %b OpenAxiom: The Open Scientific Computation Platform %d %l
 Version: %1 %l
 Built on %2
 %ceoff
S2GL0003A
 Issue %b )hd %d to start the Hyperdoc help system.
S2GL0003B
 Issue %b )quit %d to leave OpenAxiom and return to %1 .
S2GL0003C
 Issue %b )help %x1 ? %d to see information about the %b )help %d command.
S2GL0004
 Issue %b )set message time on %d to have computation time data
 displayed.
S2GL0005
 Issue %b )set message type on %d to have the computation result type
 displayed.
S2GL0006
 Issue %b )set message storage on %d to have storage use data displayed.
S2GL0007
 Issue %b )set message set on %d to show %b )set %d values after
 assignment.
S2GL0008
 Issue %b )set history on %d to turn on the workspace history facility.
S2GL0009
 Workspace: %3b Segment: %4b Release: %b %1 - %2 %d
S2GL0010
 Created: %1b Updated: %2b
S2GL0012
 %rjon Type: %1p %rjoff
S2GL0013
 %rjon Time: %1 %rjoff
S2GL0014
 %rjon Type: %1p %l Time: %2 %rjoff
S2GL0015
 Internal timings are not balanced: timing classes are %1b and %2b
S2GL0016
 %rjon Storage: %1 %rjoff
S2GL0017
 %rjon Summary: %1 %rjoff
S2GL0018A
 Issue %b )cd "directory" %d to reset the current directory.
S2GL0018B
 Issue %b )spool "filename" %d to save output in the given file.
S2GL0018C
 Issue %b )copyright %d to view copyright notices.
S2GL0018D
 Issue %b )summary %d for a summary of useful system commands.
S2GL0019
 Type %b (resume) %d to return to OpenAxiom and continue with the next
 statement. Type %b (toplevel) %d to abort all input files and continue
 with interactive OpenAxiom.
S2NR0001
 The function %1b with signature %2 is missing from domain %3b
S2NR0002
 Cannot process predicate: %1s
S2NR0003
 Error while instantiating type %1b
S2NR0004
 Cannot find domain in template: %1s
S2OO0001
 Irregular slot entry: %1s
S2OO0002
 Bad index in record optimization: %1b
S2OR0001
 Category or domain %1b not known.
S2OR0002
 Unknown implementation: %1s

S2CY0002
 Improper syntax.
S2CY0003
 Ignored from here
S2CY0004
 to here.
S2CY0005
 Ignored.
S2CY0006
 syntax error at top level
S2CY0007
 Possibly missing a %b %1 %d
S2CY0008
 Missing mate.
S2CY0009
 System error while parsing, stack is empty.
S2CTP010
 %b %1 error(s) parsing %d
S2CTP023
 %l

S2CI0001
 %1f
 
S2CI0002
 File %1f ended where at least one )endif was still needed.
 An appropriate number of )endif lines has been assumed.
 
S2CI0003
 A )fin command has been given in %1f where at least one )endif
 was still needed.
 An appropriate number of )endif lines have been assumed.
 
S2CI0004
 There is a cycle in the )include files: %i %l %1f %u %l.
 The inner occurrence of %2f has not been included.
 
S2CI0005
 Including source lines from console.  Type %b )fin %d when done.
 
S2CI0006
 %1f other )console commands are currently active.
 While this new )console command is reading input the others
 will have to wait.
 Remember, each )console command will need a separate )fin.
 
S2CI0007
 The current )console command has finished reading.
 %1f are still active.  Remember, each will need a separate )fin.
 
S2CI0008
 A )fin command was skipped
 (along with everything else) in a false branch of an )if...)endif.
 
S2CI0009
 Incorrect )if...)endif syntax.  A %b %1f %d was found %2f.
 The processing of the source from %3f has been abandoned.
 
S2CI0010
 The )include file %b %1f %d does not exist.
 
S2CI0011
 The )include file %b %1f %d exists, but cannot be read.
 
S2CN0001
 Quote added at end of line.
 
S2CN0002
 The character %b %1 %d is greater than the radix.
 
S2CN0003
 The character %b %1 %d is not an OpenAxiom character.
 
S2CY0002
 Improper syntax.
 
S2CY0003
 Ignored from here
 
S2CY0004
 to here.
 
S2CY0005
 Ignored.
 
S2CY0006
 syntax error at top level
 
S2CY0007
 Possibly missing a %b %1 %d
 
S2CY0008
 Missing mate.
 
S2CY0009
 System error while parsing, stack is empty.
 
S2CM0001
 %1 is improper for macro definition.  Ignored.
S2CM0003
 Expected %1b arguments, but received %2b.
S2CM0004
 Macro parameter %1f is not an id.
S2CM0005 noRep
 Cycle in macro expansion: %l %1y %2 %l.  Left as: %3f
 
S2CZ0003
 Gathering list of library items
 
S2CU0002
 Get export message
 
S2CU0003
 unexpected case in 'sayLength
 
S2CB0002
 Unexpected state in )if...)endif.
 
S2CB0003
 Unexpected command in source inclusion.
 
S2CB0004
 Should not be calling getExport
 
S2CB0005
 List should have length = 1
 
S2CB0006
 Unknown literal style.
 
S2CB0007
  Association list search failed on %1
 
S2CB0031
 bad object
 
S2CTP003 trace
 Parse tree: %U  %1fl
 
S2CTP007 trace
 Macro expanded: %U %1fl
 
S2CTP010
 %b %1 error(s) parsing %d
 
S2CTP021
 %1 ...
 
S2CTP023
 %l
 
S2CAS001
 Cannot convert a %1 to a builtin index.
 
S2CAS002
  Improper argument
*** This line must be here