aboutsummaryrefslogtreecommitdiff
path: root/src/doc/msgs/s2-us.msgs
blob: 6a5538ad99de3f106155b241445b5f577a03dc30 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
**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
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.  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.
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.
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 old system 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