diff options
author | dos-reis <gdr@axiomatics.org> | 2007-08-14 05:14:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-08-14 05:14:52 +0000 |
commit | ab8cc85adde879fb963c94d15675783f2cf4b183 (patch) | |
tree | c202482327f474583b750b2c45dedfc4e4312b1d /src/share/doc/msgs | |
download | open-axiom-ab8cc85adde879fb963c94d15675783f2cf4b183.tar.gz |
Initial population.
Diffstat (limited to 'src/share/doc/msgs')
-rw-r--r-- | src/share/doc/msgs/s2-us.msgs | 1335 |
1 files changed, 1335 insertions, 0 deletions
diff --git a/src/share/doc/msgs/s2-us.msgs b/src/share/doc/msgs/s2-us.msgs new file mode 100644 index 00000000..891734c4 --- /dev/null +++ b/src/share/doc/msgs/s2-us.msgs @@ -0,0 +1,1335 @@ +**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 + AXIOM 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 +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. +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. AXIOM 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 +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 AXIOM. +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 + AXIOM cannot compile or interpret code for function %1b . +S2IM0011 + AXIOM cannot determine the type for function %1b . Please declare it. +S2IM0012 + AXIOM 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 + AXIOM 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 AXIOM. +S2IR0001 + Cannot resolve all the types in the list to be created. +S2IR0002 + AXIOM cannot handle %b [ ] %d here. +S2IR0003 + The types that cannot be resolved are: %1b +S2IR0004 + AXIOM 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 + AXIOM 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 + AXIOM 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 + AXIOM 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 + AXIOM cannot now handle assignments to scripted variables + with more than one script. You can use %b == %d however. +S2IS0041 + AXIOM 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 AXIOM 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. +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 AXIOM 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 + AXIOM 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 AXIOM + 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 AXIOM %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 AXIOM. 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 AXIOM source code from file %1b using old system compiler. +S2IZ0038A + Compiling AXIOM 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 AXIOM 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 AXIOM. + 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 AXIOM. + 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 AXIOM. + 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 + AXIOM 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 AXIOM + 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 AXIOM default directory is %1b +S2IZ0071 + You cannot close this AXIOM session. +S2IZ0072 + This is the last AXIOM session. Do you want to kill AXIOM? +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, AXIOM 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 + AXIOM 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 AXIOM 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 + AXIOM. +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 AXIOM %d in a + larger virtual machine. %l %l + If you have questions, contact an AXIOM 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 AXIOM Computer Algebra System %d %l + %1 + %ceoff +S2GL0003A + Issue %b )hd %d to start the Hyperdoc help system. +S2GL0003B + Issue %b )quit %d to leave AXIOM 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 AXIOM and continue with the next + statement. Type %b (toplevel) %d to abort all input files and continue + with interactive AXIOM. +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 AXIOM 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 |