diff options
author | dos-reis <gdr@axiomatics.org> | 2007-11-19 19:37:35 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-11-19 19:37:35 +0000 |
commit | 4244764830efa92de999f8e548f0cc2a800e61d1 (patch) | |
tree | cfa4def1f4d31d8bd91b362bc81c7bd3e9c78a86 /src/doc/msgs | |
parent | 196d1d9eb5cd8195b6e52a7cbc3581d63e2b2943 (diff) | |
download | open-axiom-4244764830efa92de999f8e548f0cc2a800e61d1.tar.gz |
* msgs/s2-us.msgs: Consistently use OpenAxiom.
Diffstat (limited to 'src/doc/msgs')
-rw-r--r-- | src/doc/msgs/s2-us.msgs | 88 |
1 files changed, 44 insertions, 44 deletions
diff --git a/src/doc/msgs/s2-us.msgs b/src/doc/msgs/s2-us.msgs index 86e6293e..6a5538ad 100644 --- a/src/doc/msgs/s2-us.msgs +++ b/src/doc/msgs/s2-us.msgs @@ -75,7 +75,7 @@ S2IB0008f 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. + OpenAxiom will attempt to step through and interpret the code. S2IB0010 Cannot resolve type of value and declared partial type. S2IB0011 @@ -183,7 +183,7 @@ S2IF0008 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 + %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 @@ -319,7 +319,7 @@ S2IL0017 the selection: S2IL0018 Your request to cancel the selection has been accepted. You are now - being returned to the top level of AXIOM. + 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 @@ -374,11 +374,11 @@ S2IM0009 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 . + OpenAxiom cannot compile or interpret code for function %1b . S2IM0011 - AXIOM cannot determine the type for function %1b . Please declare it. + OpenAxiom cannot determine the type for function %1b . Please declare it. S2IM0012 - AXIOM cannot determine the type of %1b because it cannot analyze the + 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 @@ -404,22 +404,22 @@ S2IM0027 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. + 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 AXIOM. + %1b is not a valid identifier to use in OpenAxiom. S2IR0001 Cannot resolve all the types in the list to be created. S2IR0002 - AXIOM cannot handle %b [ ] %d here. + OpenAxiom 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 + 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 @@ -439,7 +439,7 @@ 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. + 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 @@ -447,14 +447,14 @@ S2IS0007 S2IS0008 The step value in a loop must be a constant integer. S2IS0009 - AXIOM can only iterate over lists now and you supplied an + 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 - AXIOM does not understand what you mean when you specify %b [ + 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 @@ -522,10 +522,10 @@ 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 + OpenAxiom 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 + 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. @@ -553,7 +553,7 @@ S2IS0055 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 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 @@ -587,7 +587,7 @@ 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. + %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. @@ -611,7 +611,7 @@ S2IT0016 S2IT0017 There are %1b problems with your %b )trace %d system command: S2IT0018 - AXIOM does not understand the use of %1b here. + 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 @@ -632,7 +632,7 @@ 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 + %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 @@ -742,7 +742,7 @@ 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 + 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 @@ -750,7 +750,7 @@ S2IZ0033 )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 + 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 @@ -760,13 +760,13 @@ S2IZ0036 S2IZ0037 %1b requires and argument and you do not give one. S2IZ0038 - Compiling AXIOM source code from file %1b using old system compiler. + Compiling OpenAxiom source code from file %1b using old system compiler. S2IZ0038A - Compiling AXIOM source code from file %1b using AXIOM-XL compiler and + 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 AXIOM source files with file extensions + 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 @@ -793,7 +793,7 @@ S2IZ0044M 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. + This constructor is a primitive in OpenAxiom. For more information, use the HyperDoc Browser. S2IZ0044R Record(a:A,...,b:B) %l @@ -803,7 +803,7 @@ S2IZ0044R ... %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. + 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 @@ -816,7 +816,7 @@ S2IZ0045T ... %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. + 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 @@ -920,7 +920,7 @@ S2IZ0051 S2IZ0052 It is mostly likely a %b )set %d command. Please inspect the file. S2IZ0053 - AXIOM initialization: %1b + OpenAxiom initialization: %1b S2IZ0054 %1b is unknown to us, so no information is available. S2IZ0055 @@ -935,7 +935,7 @@ 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 + 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 : @@ -978,11 +978,11 @@ 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 + The current OpenAxiom default directory is %1b S2IZ0071 - You cannot close this AXIOM session. + You cannot close this OpenAxiom session. S2IZ0072 - This is the last AXIOM session. Do you want to kill AXIOM? + 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. @@ -1005,12 +1005,12 @@ S2IZ0076 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 . + 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 - AXIOM cannot import %1b from frame %2b because it cannot be found. + OpenAxiom cannot import %1b from frame %2b because it cannot be found. S2IZ0080 Unknown system command: %1b S2IZ0081 @@ -1018,7 +1018,7 @@ S2IZ0081 %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 + 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 @@ -1029,7 +1029,7 @@ 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. + OpenAxiom. S2IZ0086 Cannot write to file with name %b %1 %d . S2IZ0087 @@ -1068,9 +1068,9 @@ S2GE0002 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 + 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 AXIOM consultant. + If you have questions, contact an OpenAxiom consultant. S2GE0003 The cache for %1b cannot be cleared because that function is not privately clammed. @@ -1112,14 +1112,14 @@ S2GE0017 Unexpected error in call to system function %1b S2GL0001 %ceon - %b AXIOM Computer Algebra System %d %l + %b OpenAxiom: The Open Scientific Computation Platform %d %l Version: %1 %l - Timestamp: %2 + Built on %2 %ceoff S2GL0003A Issue %b )hd %d to start the Hyperdoc help system. S2GL0003B - Issue %b )quit %d to leave AXIOM and return to %1 . + 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 @@ -1160,9 +1160,9 @@ S2GL0018C 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 + 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 AXIOM. + with interactive OpenAxiom. S2NR0001 The function %1b with signature %2 is missing from domain %3b S2NR0002 @@ -1251,7 +1251,7 @@ S2CN0002 The character %b %1 %d is greater than the radix. S2CN0003 - The character %b %1 %d is not an AXIOM character. + The character %b %1 %d is not an OpenAxiom character. S2CY0002 Improper syntax. |