aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/doc/ChangeLog4
-rw-r--r--src/doc/msgs/s2-us.msgs88
2 files changed, 48 insertions, 44 deletions
diff --git a/src/doc/ChangeLog b/src/doc/ChangeLog
index 0c4d6a32..0738fcf5 100644
--- a/src/doc/ChangeLog
+++ b/src/doc/ChangeLog
@@ -1,3 +1,7 @@
+2007-11-19 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * msgs/s2-us.msgs: Consistently use OpenAxiom.
+
2007-05-30 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (${DVI}/book.dvi): Don't use NOISE.
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.