aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/outform.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/outform.spad.pamphlet')
-rw-r--r--src/algebra/outform.spad.pamphlet134
1 files changed, 67 insertions, 67 deletions
diff --git a/src/algebra/outform.spad.pamphlet b/src/algebra/outform.spad.pamphlet
index 9b2c13fe..8fd70793 100644
--- a/src/algebra/outform.spad.pamphlet
+++ b/src/algebra/outform.spad.pamphlet
@@ -180,17 +180,17 @@ NumberFormats(): NFexports == NFimplementation where
n := romval ord c
-- (I)=1000, ((I))=10000, (((I)))=100000, etc
if n < 0 then
- c ^= pren =>
+ c ~= pren =>
error ["Improper character in Roman numeral: ",c]
nprens: PI := 1
while c = pren and i >= minIndex s repeat
c := s.i; i := i-1
if c = pren then nprens := nprens+1
- c ^= ichar =>
+ c ~= ichar =>
error "Improper Roman numeral: (x)"
for k in 1..nprens while i >= minIndex s repeat
c := s.i; i := i-1
- c ^= plen =>
+ c ~= plen =>
error "Improper Roman numeral: unbalanced ')'"
n := 10**(nprens + 2)
if n < Max then
@@ -420,8 +420,8 @@ OutputForm(): SetCategory with
--% Specific applications
"=": ($, $) -> $
++ f = g creates the equivalent infix form.
- "^=": ($, $) -> $
- ++ f ^= g creates the equivalent infix form.
+ "~=": ($, $) -> $
+ ++ f ~= g creates the equivalent infix form.
"<": ($, $) -> $
++ f < g creates the equivalent infix form.
">": ($, $) -> $
@@ -571,7 +571,7 @@ OutputForm(): SetCategory with
vconcat(a,b) == [eform VCONCAT, a, b]
vconcat l == cons(eform VCONCAT, l)
- a ^= b == [sform "^=", a, b]
+ a ~= b == [sform "~=", a, b]
a < b == [sform "<", a, b]
a > b == [sform ">", a, b]
a <= b == [sform "<=", a, b]
@@ -793,7 +793,7 @@ Note that this code is not included in the generated catdef.spad file.
(SPADCALL |n| (- |m| 1) (QREFELT $ 46)) (QREFELT $ 45)))))
(DEFUN |OUTFORM;matrix;L$;29| (|ll| $)
- (PROG (#0=#:G1430 |l| #1=#:G1431 |lv|)
+ (PROG (#0=#:G1437 |l| #1=#:G1438 |lv|)
(RETURN
(SEQ (LETT |lv|
(PROGN
@@ -824,7 +824,7 @@ Note that this code is not included in the generated catdef.spad file.
(CONS (|OUTFORM;eform| 'AGGSET $) |l|))
(DEFUN |OUTFORM;blankSeparate;L$;33| (|l| $)
- (PROG (|c| |u| #0=#:G1439 |l1|)
+ (PROG (|c| |u| #0=#:G1446 |l1|)
(RETURN
(SEQ (LETT |c| (|OUTFORM;eform| 'CONCATB $)
|OUTFORM;blankSeparate;L$;33|)
@@ -913,8 +913,8 @@ Note that this code is not included in the generated catdef.spad file.
(DEFUN |OUTFORM;vconcat;L$;49| (|l| $)
(CONS (|OUTFORM;eform| 'VCONCAT $) |l|))
-(DEFUN |OUTFORM;^=;3$;50| (|a| |b| $)
- (LIST (|OUTFORM;sform| "^=" $) |a| |b|))
+(DEFUN |OUTFORM;~=;3$;50| (|a| |b| $)
+ (LIST (|OUTFORM;sform| "~=" $) |a| |b|))
(DEFUN |OUTFORM;<;3$;51| (|a| |b| $)
(LIST (|OUTFORM;sform| "<" $) |a| |b|))
@@ -978,7 +978,7 @@ Note that this code is not included in the generated catdef.spad file.
(DEFUN |OUTFORM;empty;$;71| ($) (LIST (|OUTFORM;eform| 'NOTHING $)))
(DEFUN |OUTFORM;infix?;$B;72| (|a| $)
- (PROG (#0=#:G1484 |e|)
+ (PROG (#0=#:G1491 |e|)
(RETURN
(SEQ (EXIT (SEQ (LETT |e|
(COND
@@ -1087,7 +1087,7 @@ Note that this code is not included in the generated catdef.spad file.
(LIST (|OUTFORM;eform| 'TAG $) |a| |b|))
(DEFUN |OUTFORM;differentiate;$Nni$;95| (|a| |nn| $)
- (PROG (#0=#:G1514 |r| |s|)
+ (PROG (#0=#:G1521 |r| |s|)
(RETURN
(SEQ (COND
((ZEROP |nn|) |a|)
@@ -1139,7 +1139,7 @@ Note that this code is not included in the generated catdef.spad file.
(DEFUN |OutputForm| ()
(PROG ()
(RETURN
- (PROG (#0=#:G1528)
+ (PROG (#0=#:G1535)
(RETURN
(COND
((LETT #0# (HGET |$ConstructorCache| '|OutputForm|)
@@ -1199,7 +1199,7 @@ Note that this code is not included in the generated catdef.spad file.
|OUTFORM;scripts;$L$;44| (|NonNegativeInteger|) (47 . |#|)
(|List| $$) (52 . |append|) |OUTFORM;supersub;$L$;45|
|OUTFORM;hconcat;L$;47| |OUTFORM;vconcat;L$;49|
- |OUTFORM;^=;3$;50| |OUTFORM;<;3$;51| |OUTFORM;>;3$;52|
+ |OUTFORM;~=;3$;50| |OUTFORM;<;3$;51| |OUTFORM;>;3$;52|
|OUTFORM;<=;3$;53| |OUTFORM;>=;3$;54| |OUTFORM;+;3$;55|
|OUTFORM;-;3$;56| |OUTFORM;-;2$;57| |OUTFORM;*;3$;58|
|OUTFORM;/;3$;59| |OUTFORM;**;3$;60| |OUTFORM;div;3$;61|
@@ -1226,23 +1226,23 @@ Note that this code is not included in the generated catdef.spad file.
|OUTFORM;prod;3$;100| |OUTFORM;prod;4$;101|
|OUTFORM;int;2$;102| |OUTFORM;int;3$;103|
|OUTFORM;int;4$;104| (|SingleInteger|))
- '#(~= 78 |zag| 84 |width| 90 |vspace| 99 |vconcat| 104
- |supersub| 115 |superHeight| 121 |super| 126 |sum| 132
- |subHeight| 150 |sub| 155 |string| 161 |slash| 166
- |semicolonSeparate| 172 |scripts| 177 |rspace| 183 |root|
- 189 |right| 200 |rem| 211 |rarrow| 217 |quote| 223 |quo|
- 228 |prod| 234 |print| 252 |prime| 257 |presuper| 268
- |presub| 274 |prefix| 280 |postfix| 286 |pile| 292 |paren|
- 297 |overlabel| 307 |overbar| 313 |over| 318 |outputForm|
- 324 |or| 344 |not| 350 |messagePrint| 355 |message| 360
- |matrix| 365 |left| 370 |latex| 381 |label| 386 |int| 392
- |infix?| 410 |infix| 415 |hspace| 428 |height| 433
- |hconcat| 442 |hash| 453 |exquo| 458 |empty| 464 |elt| 468
- |dot| 474 |div| 485 |differentiate| 491 |commaSeparate|
- 497 |coerce| 502 |center| 507 |bracket| 518 |brace| 528
- |box| 538 |blankSeparate| 543 |binomial| 548 |assign| 554
- |and| 560 ^= 566 SEGMENT 572 >= 583 > 589 = 595 <= 607 <
- 613 / 619 - 625 + 636 ** 642 * 648)
+ '#(~= 78 |zag| 90 |width| 96 |vspace| 105 |vconcat| 110
+ |supersub| 121 |superHeight| 127 |super| 132 |sum| 138
+ |subHeight| 156 |sub| 161 |string| 167 |slash| 172
+ |semicolonSeparate| 178 |scripts| 183 |rspace| 189 |root|
+ 195 |right| 206 |rem| 217 |rarrow| 223 |quote| 229 |quo|
+ 234 |prod| 240 |print| 258 |prime| 263 |presuper| 274
+ |presub| 280 |prefix| 286 |postfix| 292 |pile| 298 |paren|
+ 303 |overlabel| 313 |overbar| 319 |over| 324 |outputForm|
+ 330 |or| 350 |not| 356 |messagePrint| 361 |message| 366
+ |matrix| 371 |left| 376 |latex| 387 |label| 392 |int| 398
+ |infix?| 416 |infix| 421 |hspace| 434 |height| 439
+ |hconcat| 448 |hash| 459 |exquo| 464 |empty| 470 |elt| 474
+ |dot| 480 |div| 491 |differentiate| 497 |commaSeparate|
+ 503 |coerce| 508 |center| 513 |bracket| 524 |brace| 534
+ |box| 544 |blankSeparate| 549 |binomial| 554 |assign| 560
+ |and| 566 SEGMENT 572 >= 583 > 589 = 595 <= 607 < 613 /
+ 619 - 625 + 636 ** 642 * 648)
'NIL
(CONS (|makeByteWordVec2| 1 '(0 0 0))
(CONS '#(|SetCategory&| |BasicType&| NIL)
@@ -1254,42 +1254,42 @@ Note that this code is not included in the generated catdef.spad file.
54 1 6 9 0 66 1 6 0 0 67 1 6 2 0 68 1
6 70 0 71 2 72 0 0 0 73 1 72 0 0 101
1 25 0 10 110 1 124 10 123 125 1 10 0
- 0 126 2 0 9 0 0 1 2 0 0 0 0 115 0 0
- 19 35 1 0 19 0 30 1 0 0 19 44 1 0 0
- 49 76 2 0 0 0 0 45 2 0 0 0 49 74 1 0
- 19 0 33 2 0 0 0 0 63 2 0 0 0 0 129 3
- 0 0 0 0 0 130 1 0 0 0 128 1 0 19 0 32
- 2 0 0 0 0 62 1 0 0 0 105 2 0 0 0 0
- 119 1 0 0 49 52 2 0 0 0 49 69 2 0 0
- 19 19 46 1 0 0 0 116 2 0 0 0 0 117 1
- 0 0 0 43 2 0 0 0 19 40 2 0 0 0 0 89 2
- 0 0 0 0 122 1 0 0 0 106 2 0 0 0 0 90
- 3 0 0 0 0 0 133 1 0 0 0 131 2 0 0 0 0
- 132 1 0 7 0 8 2 0 0 0 70 112 1 0 0 0
- 109 2 0 0 0 0 65 2 0 0 0 0 64 2 0 0 0
- 49 100 2 0 0 0 0 104 1 0 0 49 50 1 0
- 0 49 61 1 0 0 0 60 2 0 0 0 0 113 1 0
- 0 0 107 2 0 0 0 0 118 1 0 0 10 29 1 0
- 0 23 24 1 0 0 21 22 1 0 0 19 20 2 0 0
- 0 0 93 1 0 0 0 94 1 0 7 10 14 1 0 0
- 10 13 1 0 0 47 48 1 0 0 0 42 2 0 0 0
- 19 39 1 0 10 0 1 2 0 0 0 0 121 3 0 0
- 0 0 0 136 2 0 0 0 0 135 1 0 0 0 134 1
- 0 9 0 98 2 0 0 0 49 102 3 0 0 0 0 0
- 103 1 0 0 19 36 0 0 19 34 1 0 19 0 31
- 1 0 0 49 75 2 0 0 0 0 37 1 0 137 0 1
- 2 0 0 0 0 91 0 0 0 12 2 0 0 0 49 99 2
- 0 0 0 70 111 1 0 0 0 108 2 0 0 0 0 88
- 2 0 0 0 70 127 1 0 0 49 51 1 0 17 0
- 18 1 0 0 0 41 2 0 0 0 19 38 1 0 0 0
- 58 1 0 0 49 59 1 0 0 49 57 1 0 0 0 56
- 1 0 0 0 114 1 0 0 49 55 2 0 0 0 0 97
- 2 0 0 0 0 120 2 0 0 0 0 92 2 0 0 0 0
- 77 1 0 0 0 96 2 0 0 0 0 95 2 0 0 0 0
- 81 2 0 0 0 0 79 2 0 0 0 0 16 2 0 9 0
- 0 15 2 0 0 0 0 80 2 0 0 0 0 78 2 0 0
- 0 0 86 1 0 0 0 84 2 0 0 0 0 83 2 0 0
- 0 0 82 2 0 0 0 0 87 2 0 0 0 0 85)))))
+ 0 126 2 0 0 0 0 77 2 0 9 0 0 1 2 0 0
+ 0 0 115 0 0 19 35 1 0 19 0 30 1 0 0
+ 19 44 1 0 0 49 76 2 0 0 0 0 45 2 0 0
+ 0 49 74 1 0 19 0 33 2 0 0 0 0 63 2 0
+ 0 0 0 129 3 0 0 0 0 0 130 1 0 0 0 128
+ 1 0 19 0 32 2 0 0 0 0 62 1 0 0 0 105
+ 2 0 0 0 0 119 1 0 0 49 52 2 0 0 0 49
+ 69 2 0 0 19 19 46 1 0 0 0 116 2 0 0 0
+ 0 117 1 0 0 0 43 2 0 0 0 19 40 2 0 0
+ 0 0 89 2 0 0 0 0 122 1 0 0 0 106 2 0
+ 0 0 0 90 3 0 0 0 0 0 133 1 0 0 0 131
+ 2 0 0 0 0 132 1 0 7 0 8 2 0 0 0 70
+ 112 1 0 0 0 109 2 0 0 0 0 65 2 0 0 0
+ 0 64 2 0 0 0 49 100 2 0 0 0 0 104 1 0
+ 0 49 50 1 0 0 49 61 1 0 0 0 60 2 0 0
+ 0 0 113 1 0 0 0 107 2 0 0 0 0 118 1 0
+ 0 10 29 1 0 0 23 24 1 0 0 21 22 1 0 0
+ 19 20 2 0 0 0 0 93 1 0 0 0 94 1 0 7
+ 10 14 1 0 0 10 13 1 0 0 47 48 1 0 0 0
+ 42 2 0 0 0 19 39 1 0 10 0 1 2 0 0 0 0
+ 121 3 0 0 0 0 0 136 2 0 0 0 0 135 1 0
+ 0 0 134 1 0 9 0 98 2 0 0 0 49 102 3 0
+ 0 0 0 0 103 1 0 0 19 36 0 0 19 34 1 0
+ 19 0 31 1 0 0 49 75 2 0 0 0 0 37 1 0
+ 137 0 1 2 0 0 0 0 91 0 0 0 12 2 0 0 0
+ 49 99 2 0 0 0 70 111 1 0 0 0 108 2 0
+ 0 0 0 88 2 0 0 0 70 127 1 0 0 49 51 1
+ 0 17 0 18 1 0 0 0 41 2 0 0 0 19 38 1
+ 0 0 0 58 1 0 0 49 59 1 0 0 49 57 1 0
+ 0 0 56 1 0 0 0 114 1 0 0 49 55 2 0 0
+ 0 0 97 2 0 0 0 0 120 2 0 0 0 0 92 1 0
+ 0 0 96 2 0 0 0 0 95 2 0 0 0 0 81 2 0
+ 0 0 0 79 2 0 0 0 0 16 2 0 9 0 0 15 2
+ 0 0 0 0 80 2 0 0 0 0 78 2 0 0 0 0 86
+ 1 0 0 0 84 2 0 0 0 0 83 2 0 0 0 0 82
+ 2 0 0 0 0 87 2 0 0 0 0 85)))))
'|lookupComplete|))
(MAKEPROP '|OutputForm| 'NILADIC T)
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 16:02:18 +0000