aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/TSETCAT-.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/TSETCAT-.lsp')
-rw-r--r--src/algebra/strap/TSETCAT-.lsp540
1 files changed, 258 insertions, 282 deletions
diff --git a/src/algebra/strap/TSETCAT-.lsp b/src/algebra/strap/TSETCAT-.lsp
index 10ae2d9c..fe3f5d55 100644
--- a/src/algebra/strap/TSETCAT-.lsp
+++ b/src/algebra/strap/TSETCAT-.lsp
@@ -163,14 +163,13 @@
(RETURN
(SEQ (COND
((SPADCALL |us| (|getShellEntry| $ 12))
- (SPADCALL (SPADCALL |ts| (|getShellEntry| $ 12))
- (|getShellEntry| $ 20)))
+ (NOT (SPADCALL |ts| (|getShellEntry| $ 12))))
((SPADCALL |ts| (|getShellEntry| $ 12)) 'NIL)
('T
(SEQ (LETT |p|
(PROG2 (LETT #0#
(SPADCALL |ts|
- (|getShellEntry| $ 21))
+ (|getShellEntry| $ 20))
|TSETCAT-;infRittWu?;2SB;2|)
(QCDR #0#)
(|check-union| (QEQCAR #0# 0)
@@ -179,33 +178,33 @@
(LETT |q|
(PROG2 (LETT #0#
(SPADCALL |us|
- (|getShellEntry| $ 21))
+ (|getShellEntry| $ 20))
|TSETCAT-;infRittWu?;2SB;2|)
(QCDR #0#)
(|check-union| (QEQCAR #0# 0)
(|getShellEntry| $ 10) #0#))
|TSETCAT-;infRittWu?;2SB;2|)
(EXIT (COND
- ((SPADCALL |p| |q| (|getShellEntry| $ 22))
+ ((SPADCALL |p| |q| (|getShellEntry| $ 21))
'T)
- ((SPADCALL |p| |q| (|getShellEntry| $ 23))
+ ((SPADCALL |p| |q| (|getShellEntry| $ 22))
'NIL)
('T
(SEQ (LETT |v|
(SPADCALL |p|
- (|getShellEntry| $ 24))
+ (|getShellEntry| $ 23))
|TSETCAT-;infRittWu?;2SB;2|)
(EXIT (SPADCALL
(SPADCALL |ts| |v|
- (|getShellEntry| $ 25))
+ (|getShellEntry| $ 24))
(SPADCALL |us| |v|
- (|getShellEntry| $ 25))
- (|getShellEntry| $ 26))))))))))))))
+ (|getShellEntry| $ 24))
+ (|getShellEntry| $ 25))))))))))))))
(DEFUN |TSETCAT-;reduced?;PSMB;3| (|p| |ts| |redOp?| $)
(PROG (|lp|)
(RETURN
- (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 29))
+ (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 28))
|TSETCAT-;reduced?;PSMB;3|)
(SEQ G190
(COND
@@ -222,29 +221,27 @@
(DEFUN |TSETCAT-;basicSet;LMU;4| (|ps| |redOp?| $)
(PROG (|b| |bs| |p| |ts|)
(RETURN
- (SEQ (LETT |ps| (SPADCALL (ELT $ 32) |ps| (|getShellEntry| $ 34))
+ (SEQ (LETT |ps| (SPADCALL (ELT $ 31) |ps| (|getShellEntry| $ 33))
|TSETCAT-;basicSet;LMU;4|)
(EXIT (COND
- ((SPADCALL (ELT $ 35) |ps| (|getShellEntry| $ 36))
+ ((SPADCALL (ELT $ 34) |ps| (|getShellEntry| $ 35))
(CONS 1 "failed"))
('T
(SEQ (LETT |ps|
- (SPADCALL (ELT $ 22) |ps|
- (|getShellEntry| $ 37))
+ (SPADCALL (ELT $ 21) |ps|
+ (|getShellEntry| $ 36))
|TSETCAT-;basicSet;LMU;4|)
- (LETT |bs| (SPADCALL (|getShellEntry| $ 38))
+ (LETT |bs| (SPADCALL (|getShellEntry| $ 37))
|TSETCAT-;basicSet;LMU;4|)
(LETT |ts| NIL |TSETCAT-;basicSet;LMU;4|)
(SEQ G190
(COND
- ((NULL (SPADCALL (NULL |ps|)
- (|getShellEntry| $ 20)))
- (GO G191)))
+ ((NULL (NOT (NULL |ps|))) (GO G191)))
(SEQ (LETT |b| (|SPADfirst| |ps|)
|TSETCAT-;basicSet;LMU;4|)
(LETT |bs|
(SPADCALL |bs| |b|
- (|getShellEntry| $ 39))
+ (|getShellEntry| $ 38))
|TSETCAT-;basicSet;LMU;4|)
(LETT |ps| (CDR |ps|)
|TSETCAT-;basicSet;LMU;4|)
@@ -255,14 +252,13 @@
(COND
((NULL |ps|) 'NIL)
('T
- (SPADCALL
+ (NOT
(SPADCALL
(LETT |p|
(|SPADfirst| |ps|)
|TSETCAT-;basicSet;LMU;4|)
|bs| |redOp?|
- (|getShellEntry| $ 40))
- (|getShellEntry| $ 20)))))
+ (|getShellEntry| $ 39))))))
(GO G191)))
(SEQ
(LETT |ts| (CONS |p| |ts|)
@@ -277,19 +273,17 @@
(DEFUN |TSETCAT-;basicSet;LMMU;5| (|ps| |pred?| |redOp?| $)
(PROG (|bps| |b| |bs| |p| |gps| |ts|)
(RETURN
- (SEQ (LETT |ps| (SPADCALL (ELT $ 32) |ps| (|getShellEntry| $ 34))
+ (SEQ (LETT |ps| (SPADCALL (ELT $ 31) |ps| (|getShellEntry| $ 33))
|TSETCAT-;basicSet;LMMU;5|)
(EXIT (COND
- ((SPADCALL (ELT $ 35) |ps| (|getShellEntry| $ 36))
+ ((SPADCALL (ELT $ 34) |ps| (|getShellEntry| $ 35))
(CONS 1 "failed"))
('T
(SEQ (LETT |gps| NIL |TSETCAT-;basicSet;LMMU;5|)
(LETT |bps| NIL |TSETCAT-;basicSet;LMMU;5|)
(SEQ G190
(COND
- ((NULL (SPADCALL (NULL |ps|)
- (|getShellEntry| $ 20)))
- (GO G191)))
+ ((NULL (NOT (NULL |ps|))) (GO G191)))
(SEQ (LETT |p| (|SPADfirst| |ps|)
|TSETCAT-;basicSet;LMMU;5|)
(LETT |ps| (CDR |ps|)
@@ -304,22 +298,20 @@
|TSETCAT-;basicSet;LMMU;5|)))))
NIL (GO G190) G191 (EXIT NIL))
(LETT |gps|
- (SPADCALL (ELT $ 22) |gps|
- (|getShellEntry| $ 37))
+ (SPADCALL (ELT $ 21) |gps|
+ (|getShellEntry| $ 36))
|TSETCAT-;basicSet;LMMU;5|)
- (LETT |bs| (SPADCALL (|getShellEntry| $ 38))
+ (LETT |bs| (SPADCALL (|getShellEntry| $ 37))
|TSETCAT-;basicSet;LMMU;5|)
(LETT |ts| NIL |TSETCAT-;basicSet;LMMU;5|)
(SEQ G190
(COND
- ((NULL (SPADCALL (NULL |gps|)
- (|getShellEntry| $ 20)))
- (GO G191)))
+ ((NULL (NOT (NULL |gps|))) (GO G191)))
(SEQ (LETT |b| (|SPADfirst| |gps|)
|TSETCAT-;basicSet;LMMU;5|)
(LETT |bs|
(SPADCALL |bs| |b|
- (|getShellEntry| $ 39))
+ (|getShellEntry| $ 38))
|TSETCAT-;basicSet;LMMU;5|)
(LETT |gps| (CDR |gps|)
|TSETCAT-;basicSet;LMMU;5|)
@@ -330,14 +322,13 @@
(COND
((NULL |gps|) 'NIL)
('T
- (SPADCALL
+ (NOT
(SPADCALL
(LETT |p|
(|SPADfirst| |gps|)
|TSETCAT-;basicSet;LMMU;5|)
|bs| |redOp?|
- (|getShellEntry| $ 40))
- (|getShellEntry| $ 20)))))
+ (|getShellEntry| $ 39))))))
(GO G191)))
(SEQ
(LETT |ts| (CONS |p| |ts|)
@@ -348,10 +339,10 @@
NIL (GO G190) G191 (EXIT NIL))))
NIL (GO G190) G191 (EXIT NIL))
(LETT |ts|
- (SPADCALL (ELT $ 22)
+ (SPADCALL (ELT $ 21)
(SPADCALL |ts| |bps|
- (|getShellEntry| $ 44))
- (|getShellEntry| $ 37))
+ (|getShellEntry| $ 43))
+ (|getShellEntry| $ 36))
|TSETCAT-;basicSet;LMMU;5|)
(EXIT (CONS 0 (CONS |bs| |ts|)))))))))))
@@ -363,13 +354,11 @@
((SPADCALL |ts| (|getShellEntry| $ 12)) |lip|)
('T
(SEQ (LETT |lp|
- (SPADCALL |ts| (|getShellEntry| $ 29))
+ (SPADCALL |ts| (|getShellEntry| $ 28))
|TSETCAT-;initials;SL;6|)
(SEQ G190
(COND
- ((NULL (SPADCALL (NULL |lp|)
- (|getShellEntry| $ 20)))
- (GO G191)))
+ ((NULL (NOT (NULL |lp|))) (GO G191)))
(SEQ (LETT |p| (|SPADfirst| |lp|)
|TSETCAT-;initials;SL;6|)
(COND
@@ -377,20 +366,20 @@
(SPADCALL
(LETT |ip|
(SPADCALL |p|
- (|getShellEntry| $ 46))
+ (|getShellEntry| $ 45))
|TSETCAT-;initials;SL;6|)
- (|getShellEntry| $ 35)))
+ (|getShellEntry| $ 34)))
(LETT |lip|
(CONS
(SPADCALL |ip|
- (|getShellEntry| $ 47))
+ (|getShellEntry| $ 46))
|lip|)
|TSETCAT-;initials;SL;6|)))
(EXIT
(LETT |lp| (CDR |lp|)
|TSETCAT-;initials;SL;6|)))
NIL (GO G190) G191 (EXIT NIL))
- (EXIT (SPADCALL |lip| (|getShellEntry| $ 48)))))))))))
+ (EXIT (SPADCALL |lip| (|getShellEntry| $ 47)))))))))))
(DEFUN |TSETCAT-;degree;SNni;7| (|ts| $)
(PROG (|lp| |d|)
@@ -398,55 +387,53 @@
(SEQ (COND
((SPADCALL |ts| (|getShellEntry| $ 12)) 0)
('T
- (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 29))
+ (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 28))
|TSETCAT-;degree;SNni;7|)
(LETT |d|
(SPADCALL (|SPADfirst| |lp|)
- (|getShellEntry| $ 51))
+ (|getShellEntry| $ 50))
|TSETCAT-;degree;SNni;7|)
(SEQ G190
(COND
- ((NULL (SPADCALL
- (NULL
- (LETT |lp| (CDR |lp|)
- |TSETCAT-;degree;SNni;7|))
- (|getShellEntry| $ 20)))
+ ((NULL (NOT (NULL
+ (LETT |lp| (CDR |lp|)
+ |TSETCAT-;degree;SNni;7|))))
(GO G191)))
(SEQ (EXIT (LETT |d|
(* |d|
(SPADCALL (|SPADfirst| |lp|)
- (|getShellEntry| $ 51)))
+ (|getShellEntry| $ 50)))
|TSETCAT-;degree;SNni;7|)))
NIL (GO G190) G191 (EXIT NIL))
(EXIT |d|))))))))
(DEFUN |TSETCAT-;quasiComponent;SR;8| (|ts| $)
- (CONS (SPADCALL |ts| (|getShellEntry| $ 29))
- (SPADCALL |ts| (|getShellEntry| $ 53))))
+ (CONS (SPADCALL |ts| (|getShellEntry| $ 28))
+ (SPADCALL |ts| (|getShellEntry| $ 52))))
(DEFUN |TSETCAT-;normalized?;PSB;9| (|p| |ts| $)
- (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 29))
- (|getShellEntry| $ 57)))
+ (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 28))
+ (|getShellEntry| $ 56)))
(DEFUN |TSETCAT-;stronglyReduced?;PSB;10| (|p| |ts| $)
- (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 29))
- (|getShellEntry| $ 59)))
+ (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 28))
+ (|getShellEntry| $ 58)))
(DEFUN |TSETCAT-;headReduced?;PSB;11| (|p| |ts| $)
- (SPADCALL (SPADCALL |p| (|getShellEntry| $ 61)) |ts|
- (|getShellEntry| $ 62)))
+ (SPADCALL (SPADCALL |p| (|getShellEntry| $ 60)) |ts|
+ (|getShellEntry| $ 61)))
(DEFUN |TSETCAT-;initiallyReduced?;PSB;12| (|p| |ts| $)
(PROG (|lp| |red|)
(RETURN
- (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 29))
+ (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 28))
|TSETCAT-;initiallyReduced?;PSB;12|)
(LETT |red| 'T |TSETCAT-;initiallyReduced?;PSB;12|)
(SEQ G190
(COND
((NULL (COND
((OR (NULL |lp|)
- (SPADCALL |p| (|getShellEntry| $ 35)))
+ (SPADCALL |p| (|getShellEntry| $ 34)))
'NIL)
('T |red|)))
(GO G191)))
@@ -457,10 +444,10 @@
('T
(SPADCALL
(SPADCALL |p|
- (|getShellEntry| $ 24))
+ (|getShellEntry| $ 23))
(SPADCALL (|SPADfirst| |lp|)
- (|getShellEntry| $ 24))
- (|getShellEntry| $ 64)))))
+ (|getShellEntry| $ 23))
+ (|getShellEntry| $ 63)))))
(GO G191)))
(SEQ (EXIT (LETT |lp| (CDR |lp|)
|TSETCAT-;initiallyReduced?;PSB;12|)))
@@ -470,20 +457,20 @@
(COND
((SPADCALL
(SPADCALL (|SPADfirst| |lp|)
- (|getShellEntry| $ 24))
+ (|getShellEntry| $ 23))
(SPADCALL |p|
- (|getShellEntry| $ 24))
- (|getShellEntry| $ 65))
+ (|getShellEntry| $ 23))
+ (|getShellEntry| $ 64))
(COND
((SPADCALL |p| (|SPADfirst| |lp|)
- (|getShellEntry| $ 66))
+ (|getShellEntry| $ 65))
(SEQ
(LETT |lp| (CDR |lp|)
|TSETCAT-;initiallyReduced?;PSB;12|)
(EXIT
(LETT |p|
(SPADCALL |p|
- (|getShellEntry| $ 46))
+ (|getShellEntry| $ 45))
|TSETCAT-;initiallyReduced?;PSB;12|))))
('T
(LETT |red| 'NIL
@@ -491,7 +478,7 @@
('T
(LETT |p|
(SPADCALL |p|
- (|getShellEntry| $ 46))
+ (|getShellEntry| $ 45))
|TSETCAT-;initiallyReduced?;PSB;12|)))))))
NIL (GO G190) G191 (EXIT NIL))
(EXIT |red|)))))
@@ -501,7 +488,7 @@
(RETURN
(SEQ (COND
((OR (SPADCALL |ts| (|getShellEntry| $ 12))
- (SPADCALL |p| (|getShellEntry| $ 35)))
+ (SPADCALL |p| (|getShellEntry| $ 34)))
|p|)
('T
(SEQ (LETT |ts0| |ts| |TSETCAT-;reduce;PSMMP;13|)
@@ -512,10 +499,9 @@
(|getShellEntry| $ 12))
'NIL)
('T
- (SPADCALL
+ (NOT
(SPADCALL |p|
- (|getShellEntry| $ 35))
- (|getShellEntry| $ 20)))))
+ (|getShellEntry| $ 34))))))
(GO G191)))
(SEQ (LETT |reductor|
(PROG2
@@ -557,25 +543,23 @@
(PROG (|p| |rs|)
(RETURN
(SEQ (COND
- ((SPADCALL |ts| (|getShellEntry| $ 70)) |lp|)
+ ((SPADCALL |ts| (|getShellEntry| $ 69)) |lp|)
('T
(SEQ (LETT |lp|
- (SPADCALL (ELT $ 32) |lp|
- (|getShellEntry| $ 34))
+ (SPADCALL (ELT $ 31) |lp|
+ (|getShellEntry| $ 33))
|TSETCAT-;rewriteSetWithReduction;LSMML;14|)
(EXIT (COND
((NULL |lp|) |lp|)
- ((SPADCALL (ELT $ 35) |lp|
- (|getShellEntry| $ 36))
- (LIST (|spadConstant| $ 71)))
+ ((SPADCALL (ELT $ 34) |lp|
+ (|getShellEntry| $ 35))
+ (LIST (|spadConstant| $ 70)))
('T
(SEQ (LETT |rs| NIL
|TSETCAT-;rewriteSetWithReduction;LSMML;14|)
(SEQ G190
(COND
- ((NULL
- (SPADCALL (NULL |lp|)
- (|getShellEntry| $ 20)))
+ ((NULL (NOT (NULL |lp|)))
(GO G191)))
(SEQ
(LETT |p| (|SPADfirst| |lp|)
@@ -586,24 +570,24 @@
(SPADCALL
(SPADCALL |p| |ts| |redOp|
|redOp?|
- (|getShellEntry| $ 72))
- (|getShellEntry| $ 47))
+ (|getShellEntry| $ 71))
+ (|getShellEntry| $ 46))
|TSETCAT-;rewriteSetWithReduction;LSMML;14|)
(EXIT
(COND
((NULL
(SPADCALL |p|
- (|getShellEntry| $ 32)))
+ (|getShellEntry| $ 31)))
(COND
((SPADCALL |p|
- (|getShellEntry| $ 35))
+ (|getShellEntry| $ 34))
(SEQ
(LETT |lp| NIL
|TSETCAT-;rewriteSetWithReduction;LSMML;14|)
(EXIT
(LETT |rs|
(LIST
- (|spadConstant| $ 71))
+ (|spadConstant| $ 70))
|TSETCAT-;rewriteSetWithReduction;LSMML;14|))))
('T
(LETT |rs|
@@ -611,60 +595,60 @@
|TSETCAT-;rewriteSetWithReduction;LSMML;14|)))))))
NIL (GO G190) G191 (EXIT NIL))
(EXIT (SPADCALL |rs|
- (|getShellEntry| $ 48))))))))))))))
+ (|getShellEntry| $ 47))))))))))))))
(DEFUN |TSETCAT-;stronglyReduce;PSP;15| (|p| |ts| $)
- (SPADCALL |p| |ts| (ELT $ 74) (ELT $ 66) (|getShellEntry| $ 72)))
+ (SPADCALL |p| |ts| (ELT $ 73) (ELT $ 65) (|getShellEntry| $ 71)))
(DEFUN |TSETCAT-;headReduce;PSP;16| (|p| |ts| $)
- (SPADCALL |p| |ts| (ELT $ 76) (ELT $ 77) (|getShellEntry| $ 72)))
+ (SPADCALL |p| |ts| (ELT $ 75) (ELT $ 76) (|getShellEntry| $ 71)))
(DEFUN |TSETCAT-;initiallyReduce;PSP;17| (|p| |ts| $)
- (SPADCALL |p| |ts| (ELT $ 79) (ELT $ 80) (|getShellEntry| $ 72)))
+ (SPADCALL |p| |ts| (ELT $ 78) (ELT $ 79) (|getShellEntry| $ 71)))
(DEFUN |TSETCAT-;removeZero;PSP;18| (|p| |ts| $)
(PROG (|v| |tsv-| #0=#:G1570 #1=#:G1579 |q|)
(RETURN
(SEQ (EXIT (COND
- ((OR (SPADCALL |p| (|getShellEntry| $ 35))
+ ((OR (SPADCALL |p| (|getShellEntry| $ 34))
(SPADCALL |ts| (|getShellEntry| $ 12)))
|p|)
('T
(SEQ (LETT |v|
- (SPADCALL |p| (|getShellEntry| $ 24))
+ (SPADCALL |p| (|getShellEntry| $ 23))
|TSETCAT-;removeZero;PSP;18|)
(LETT |tsv-|
(SPADCALL |ts| |v|
- (|getShellEntry| $ 82))
+ (|getShellEntry| $ 81))
|TSETCAT-;removeZero;PSP;18|)
(COND
- ((SPADCALL |v| |ts| (|getShellEntry| $ 83))
+ ((SPADCALL |v| |ts| (|getShellEntry| $ 82))
(SEQ (LETT |q|
(SPADCALL |p|
(PROG2
(LETT #0#
(SPADCALL |ts| |v|
- (|getShellEntry| $ 84))
+ (|getShellEntry| $ 83))
|TSETCAT-;removeZero;PSP;18|)
(QCDR #0#)
(|check-union| (QEQCAR #0# 0)
(|getShellEntry| $ 10) #0#))
- (|getShellEntry| $ 74))
+ (|getShellEntry| $ 73))
|TSETCAT-;removeZero;PSP;18|)
(EXIT (COND
((SPADCALL |q|
- (|getShellEntry| $ 32))
+ (|getShellEntry| $ 31))
(PROGN
(LETT #1# |q|
|TSETCAT-;removeZero;PSP;18|)
(GO #1#)))
((SPADCALL
(SPADCALL |q| |tsv-|
- (|getShellEntry| $ 85))
- (|getShellEntry| $ 32))
+ (|getShellEntry| $ 84))
+ (|getShellEntry| $ 31))
(PROGN
(LETT #1#
- (|spadConstant| $ 86)
+ (|spadConstant| $ 85)
|TSETCAT-;removeZero;PSP;18|)
(GO #1#))))))))
(EXIT (COND
@@ -672,15 +656,15 @@
(|getShellEntry| $ 12))
|p|)
('T
- (SEQ (LETT |q| (|spadConstant| $ 86)
+ (SEQ (LETT |q| (|spadConstant| $ 85)
|TSETCAT-;removeZero;PSP;18|)
(SEQ G190
(COND
((NULL
(SPADCALL
(SPADCALL |p| |v|
- (|getShellEntry| $ 87))
- (|getShellEntry| $ 89)))
+ (|getShellEntry| $ 86))
+ (|getShellEntry| $ 88)))
(GO G191)))
(SEQ
(LETT |q|
@@ -688,35 +672,35 @@
(SPADCALL
(SPADCALL
(SPADCALL |p|
- (|getShellEntry| $ 46))
+ (|getShellEntry| $ 45))
|tsv-|
- (|getShellEntry| $ 85))
+ (|getShellEntry| $ 84))
(SPADCALL |p|
- (|getShellEntry| $ 90))
- (|getShellEntry| $ 91))
- |q| (|getShellEntry| $ 92))
+ (|getShellEntry| $ 89))
+ (|getShellEntry| $ 90))
+ |q| (|getShellEntry| $ 91))
|TSETCAT-;removeZero;PSP;18|)
(EXIT
(LETT |p|
(SPADCALL |p|
- (|getShellEntry| $ 93))
+ (|getShellEntry| $ 92))
|TSETCAT-;removeZero;PSP;18|)))
NIL (GO G190) G191 (EXIT NIL))
(EXIT
(SPADCALL |q|
(SPADCALL |p| |tsv-|
- (|getShellEntry| $ 85))
- (|getShellEntry| $ 92)))))))))))
+ (|getShellEntry| $ 84))
+ (|getShellEntry| $ 91)))))))))))
#1# (EXIT #1#)))))
(DEFUN |TSETCAT-;reduceByQuasiMonic;PSP;19| (|p| |ts| $)
(COND
- ((OR (SPADCALL |p| (|getShellEntry| $ 35))
+ ((OR (SPADCALL |p| (|getShellEntry| $ 34))
(SPADCALL |ts| (|getShellEntry| $ 12)))
|p|)
('T
- (QVELT (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 95))
- (|getShellEntry| $ 97))
+ (QVELT (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 94))
+ (|getShellEntry| $ 96))
1))))
(DEFUN |TSETCAT-;autoReduced?;SMB;20| (|ts| |redOp?| $)
@@ -725,7 +709,7 @@
(SEQ (COND
((SPADCALL |ts| (|getShellEntry| $ 12)) 'T)
('T
- (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 29))
+ (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 28))
|TSETCAT-;autoReduced?;SMB;20|)
(LETT |p| (|SPADfirst| |lp|)
|TSETCAT-;autoReduced?;SMB;20|)
@@ -745,16 +729,16 @@
(EXIT (NULL |lp|)))))))))
(DEFUN |TSETCAT-;stronglyReduced?;SB;21| (|ts| $)
- (SPADCALL |ts| (ELT $ 59) (|getShellEntry| $ 101)))
+ (SPADCALL |ts| (ELT $ 58) (|getShellEntry| $ 100)))
(DEFUN |TSETCAT-;normalized?;SB;22| (|ts| $)
- (SPADCALL |ts| (ELT $ 57) (|getShellEntry| $ 101)))
+ (SPADCALL |ts| (ELT $ 56) (|getShellEntry| $ 100)))
(DEFUN |TSETCAT-;headReduced?;SB;23| (|ts| $)
- (SPADCALL |ts| (ELT $ 104) (|getShellEntry| $ 101)))
+ (SPADCALL |ts| (ELT $ 103) (|getShellEntry| $ 100)))
(DEFUN |TSETCAT-;initiallyReduced?;SB;24| (|ts| $)
- (SPADCALL |ts| (ELT $ 106) (|getShellEntry| $ 101)))
+ (SPADCALL |ts| (ELT $ 105) (|getShellEntry| $ 100)))
(DEFUN |TSETCAT-;mvar;SV;25| (|ts| $)
(PROG (#0=#:G1598)
@@ -769,7 +753,7 @@
(QCDR #0#)
(|check-union| (QEQCAR #0# 0) (|getShellEntry| $ 10)
#0#))
- (|getShellEntry| $ 24)))))))
+ (|getShellEntry| $ 23)))))))
(DEFUN |TSETCAT-;first;SU;26| (|ts| $)
(PROG (|lp|)
@@ -778,9 +762,9 @@
((SPADCALL |ts| (|getShellEntry| $ 12)) (CONS 1 "failed"))
('T
(SEQ (LETT |lp|
- (SPADCALL (ELT $ 23)
- (SPADCALL |ts| (|getShellEntry| $ 29))
- (|getShellEntry| $ 37))
+ (SPADCALL (ELT $ 22)
+ (SPADCALL |ts| (|getShellEntry| $ 28))
+ (|getShellEntry| $ 36))
|TSETCAT-;first;SU;26|)
(EXIT (CONS 0 (|SPADfirst| |lp|))))))))))
@@ -791,9 +775,9 @@
((SPADCALL |ts| (|getShellEntry| $ 12)) (CONS 1 "failed"))
('T
(SEQ (LETT |lp|
- (SPADCALL (ELT $ 22)
- (SPADCALL |ts| (|getShellEntry| $ 29))
- (|getShellEntry| $ 37))
+ (SPADCALL (ELT $ 21)
+ (SPADCALL |ts| (|getShellEntry| $ 28))
+ (|getShellEntry| $ 36))
|TSETCAT-;last;SU;27|)
(EXIT (CONS 0 (|SPADfirst| |lp|))))))))))
@@ -804,17 +788,17 @@
((SPADCALL |ts| (|getShellEntry| $ 12)) (CONS 1 "failed"))
('T
(SEQ (LETT |lp|
- (SPADCALL (ELT $ 23)
- (SPADCALL |ts| (|getShellEntry| $ 29))
- (|getShellEntry| $ 37))
+ (SPADCALL (ELT $ 22)
+ (SPADCALL |ts| (|getShellEntry| $ 28))
+ (|getShellEntry| $ 36))
|TSETCAT-;rest;SU;28|)
(EXIT (CONS 0
(SPADCALL (CDR |lp|)
- (|getShellEntry| $ 111)))))))))))
+ (|getShellEntry| $ 110)))))))))))
(DEFUN |TSETCAT-;coerce;SL;29| (|ts| $)
- (SPADCALL (ELT $ 23) (SPADCALL |ts| (|getShellEntry| $ 29))
- (|getShellEntry| $ 37)))
+ (SPADCALL (ELT $ 22) (SPADCALL |ts| (|getShellEntry| $ 28))
+ (|getShellEntry| $ 36)))
(DEFUN |TSETCAT-;algebraicVariables;SL;30| (|ts| $)
(PROG (#0=#:G1666 |p| #1=#:G1667)
@@ -822,7 +806,7 @@
(SEQ (PROGN
(LETT #0# NIL |TSETCAT-;algebraicVariables;SL;30|)
(SEQ (LETT |p| NIL |TSETCAT-;algebraicVariables;SL;30|)
- (LETT #1# (SPADCALL |ts| (|getShellEntry| $ 29))
+ (LETT #1# (SPADCALL |ts| (|getShellEntry| $ 28))
|TSETCAT-;algebraicVariables;SL;30|)
G190
(COND
@@ -835,7 +819,7 @@
(SEQ (EXIT (LETT #0#
(CONS
(SPADCALL |p|
- (|getShellEntry| $ 24))
+ (|getShellEntry| $ 23))
#0#)
|TSETCAT-;algebraicVariables;SL;30|)))
(LETT #1# (CDR #1#)
@@ -843,28 +827,26 @@
(GO G190) G191 (EXIT (NREVERSE0 #0#))))))))
(DEFUN |TSETCAT-;algebraic?;VSB;31| (|v| |ts| $)
- (SPADCALL |v| (SPADCALL |ts| (|getShellEntry| $ 116))
- (|getShellEntry| $ 117)))
+ (SPADCALL |v| (SPADCALL |ts| (|getShellEntry| $ 115))
+ (|getShellEntry| $ 116)))
(DEFUN |TSETCAT-;select;SVU;32| (|ts| |v| $)
(PROG (|lp|)
(RETURN
(SEQ (LETT |lp|
- (SPADCALL (ELT $ 23)
- (SPADCALL |ts| (|getShellEntry| $ 29))
- (|getShellEntry| $ 37))
+ (SPADCALL (ELT $ 22)
+ (SPADCALL |ts| (|getShellEntry| $ 28))
+ (|getShellEntry| $ 36))
|TSETCAT-;select;SVU;32|)
(SEQ G190
(COND
((NULL (COND
((NULL |lp|) 'NIL)
('T
- (SPADCALL
- (SPADCALL |v|
- (SPADCALL (|SPADfirst| |lp|)
- (|getShellEntry| $ 24))
- (|getShellEntry| $ 65))
- (|getShellEntry| $ 20)))))
+ (NOT (SPADCALL |v|
+ (SPADCALL (|SPADfirst| |lp|)
+ (|getShellEntry| $ 23))
+ (|getShellEntry| $ 64))))))
(GO G191)))
(SEQ (EXIT (LETT |lp| (CDR |lp|)
|TSETCAT-;select;SVU;32|)))
@@ -876,57 +858,52 @@
(DEFUN |TSETCAT-;collectQuasiMonic;2S;33| (|ts| $)
(PROG (|newlp| |lp|)
(RETURN
- (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 29))
+ (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 28))
|TSETCAT-;collectQuasiMonic;2S;33|)
(LETT |newlp| NIL |TSETCAT-;collectQuasiMonic;2S;33|)
- (SEQ G190
- (COND
- ((NULL (SPADCALL (NULL |lp|) (|getShellEntry| $ 20)))
- (GO G191)))
+ (SEQ G190 (COND ((NULL (NOT (NULL |lp|))) (GO G191)))
(SEQ (COND
((SPADCALL
(SPADCALL (|SPADfirst| |lp|)
- (|getShellEntry| $ 46))
- (|getShellEntry| $ 35))
+ (|getShellEntry| $ 45))
+ (|getShellEntry| $ 34))
(LETT |newlp| (CONS (|SPADfirst| |lp|) |newlp|)
|TSETCAT-;collectQuasiMonic;2S;33|)))
(EXIT (LETT |lp| (CDR |lp|)
|TSETCAT-;collectQuasiMonic;2S;33|)))
NIL (GO G190) G191 (EXIT NIL))
- (EXIT (SPADCALL |newlp| (|getShellEntry| $ 111)))))))
+ (EXIT (SPADCALL |newlp| (|getShellEntry| $ 110)))))))
(DEFUN |TSETCAT-;collectUnder;SVS;34| (|ts| |v| $)
(PROG (|lp|)
(RETURN
(SEQ (LETT |lp|
- (SPADCALL (ELT $ 23)
- (SPADCALL |ts| (|getShellEntry| $ 29))
- (|getShellEntry| $ 37))
+ (SPADCALL (ELT $ 22)
+ (SPADCALL |ts| (|getShellEntry| $ 28))
+ (|getShellEntry| $ 36))
|TSETCAT-;collectUnder;SVS;34|)
(SEQ G190
(COND
((NULL (COND
((NULL |lp|) 'NIL)
('T
- (SPADCALL
- (SPADCALL
- (SPADCALL (|SPADfirst| |lp|)
- (|getShellEntry| $ 24))
- |v| (|getShellEntry| $ 64))
- (|getShellEntry| $ 20)))))
+ (NOT (SPADCALL
+ (SPADCALL (|SPADfirst| |lp|)
+ (|getShellEntry| $ 23))
+ |v| (|getShellEntry| $ 63))))))
(GO G191)))
(SEQ (EXIT (LETT |lp| (CDR |lp|)
|TSETCAT-;collectUnder;SVS;34|)))
NIL (GO G190) G191 (EXIT NIL))
- (EXIT (SPADCALL |lp| (|getShellEntry| $ 111)))))))
+ (EXIT (SPADCALL |lp| (|getShellEntry| $ 110)))))))
(DEFUN |TSETCAT-;collectUpper;SVS;35| (|ts| |v| $)
(PROG (|lp2| |lp1|)
(RETURN
(SEQ (LETT |lp1|
- (SPADCALL (ELT $ 23)
- (SPADCALL |ts| (|getShellEntry| $ 29))
- (|getShellEntry| $ 37))
+ (SPADCALL (ELT $ 22)
+ (SPADCALL |ts| (|getShellEntry| $ 28))
+ (|getShellEntry| $ 36))
|TSETCAT-;collectUpper;SVS;35|)
(LETT |lp2| NIL |TSETCAT-;collectUpper;SVS;35|)
(SEQ G190
@@ -936,20 +913,20 @@
('T
(SPADCALL |v|
(SPADCALL (|SPADfirst| |lp1|)
- (|getShellEntry| $ 24))
- (|getShellEntry| $ 64)))))
+ (|getShellEntry| $ 23))
+ (|getShellEntry| $ 63)))))
(GO G191)))
(SEQ (LETT |lp2| (CONS (|SPADfirst| |lp1|) |lp2|)
|TSETCAT-;collectUpper;SVS;35|)
(EXIT (LETT |lp1| (CDR |lp1|)
|TSETCAT-;collectUpper;SVS;35|)))
NIL (GO G190) G191 (EXIT NIL))
- (EXIT (SPADCALL (REVERSE |lp2|) (|getShellEntry| $ 111)))))))
+ (EXIT (SPADCALL (REVERSE |lp2|) (|getShellEntry| $ 110)))))))
(DEFUN |TSETCAT-;construct;LS;36| (|lp| $)
(PROG (|rif|)
(RETURN
- (SEQ (LETT |rif| (SPADCALL |lp| (|getShellEntry| $ 123))
+ (SEQ (LETT |rif| (SPADCALL |lp| (|getShellEntry| $ 122))
|TSETCAT-;construct;LS;36|)
(EXIT (COND
((QEQCAR |rif| 0) (QCDR |rif|))
@@ -960,26 +937,26 @@
(PROG (|rif|)
(RETURN
(SEQ (COND
- ((NULL |lp|) (CONS 0 (SPADCALL (|getShellEntry| $ 38))))
+ ((NULL |lp|) (CONS 0 (SPADCALL (|getShellEntry| $ 37))))
('T
(SEQ (LETT |lp|
- (SPADCALL (ELT $ 23) |lp|
- (|getShellEntry| $ 37))
+ (SPADCALL (ELT $ 22) |lp|
+ (|getShellEntry| $ 36))
|TSETCAT-;retractIfCan;LU;37|)
(LETT |rif|
- (SPADCALL (CDR |lp|) (|getShellEntry| $ 123))
+ (SPADCALL (CDR |lp|) (|getShellEntry| $ 122))
|TSETCAT-;retractIfCan;LU;37|)
(EXIT (COND
((QEQCAR |rif| 0)
(SPADCALL (QCDR |rif|) (|SPADfirst| |lp|)
- (|getShellEntry| $ 125)))
+ (|getShellEntry| $ 124)))
('T
(|error| "in retractIfCan : LP -> ... from TSETCAT : bad arg")))))))))))
(DEFUN |TSETCAT-;extend;SPS;38| (|ts| |p| $)
(PROG (|eif|)
(RETURN
- (SEQ (LETT |eif| (SPADCALL |ts| |p| (|getShellEntry| $ 125))
+ (SEQ (LETT |eif| (SPADCALL |ts| |p| (|getShellEntry| $ 124))
|TSETCAT-;extend;SPS;38|)
(EXIT (COND
((QEQCAR |eif| 0) (QCDR |eif|))
@@ -989,13 +966,13 @@
(DEFUN |TSETCAT-;coHeight;SNni;39| (|ts| $)
(PROG (|n| |m| #0=#:G1662)
(RETURN
- (SEQ (LETT |n| (SPADCALL (|getShellEntry| $ 128))
+ (SEQ (LETT |n| (SPADCALL (|getShellEntry| $ 127))
|TSETCAT-;coHeight;SNni;39|)
- (LETT |m| (LENGTH (SPADCALL |ts| (|getShellEntry| $ 29)))
+ (LETT |m| (LENGTH (SPADCALL |ts| (|getShellEntry| $ 28)))
|TSETCAT-;coHeight;SNni;39|)
(EXIT (PROG2 (LETT #0#
(SPADCALL |n| |m|
- (|getShellEntry| $ 129))
+ (|getShellEntry| $ 128))
|TSETCAT-;coHeight;SNni;39|)
(QCDR #0#)
(|check-union| (QEQCAR #0# 0) (|NonNegativeInteger|)
@@ -1014,7 +991,7 @@
(LETT |dv$|
(LIST '|TriangularSetCategory&| |dv$1| |dv$2| |dv$3|
|dv$4| |dv$5|) . #0#)
- (LETT $ (|newShell| 132) . #0#)
+ (LETT $ (|newShell| 131) . #0#)
(|setShellEntry| $ 0 |dv$|)
(|setShellEntry| $ 3
(LETT |pv$|
@@ -1028,7 +1005,7 @@
(|setShellEntry| $ 10 |#5|)
(COND
((|testBitVector| |pv$| 1)
- (|setShellEntry| $ 130
+ (|setShellEntry| $ 129
(CONS (|dispatchFunction| |TSETCAT-;coHeight;SNni;39|)
$))))
$))))
@@ -1038,115 +1015,114 @@
(|local| |#3|) (|local| |#4|) (|local| |#5|) (|Boolean|)
(0 . |empty?|) (|Union| 10 '"failed") (5 . |first|)
(10 . =) (|Union| $ '"failed") (16 . |rest|) (21 . =)
- |TSETCAT-;=;2SB;1| (27 . |not|) (32 . |last|)
- (37 . |infRittWu?|) (43 . |supRittWu?|) (49 . |mvar|)
- (54 . |collectUpper|) (60 . |infRittWu?|)
- |TSETCAT-;infRittWu?;2SB;2| (|List| 10) (66 . |members|)
- (|Mapping| 11 10 10) |TSETCAT-;reduced?;PSMB;3|
- (71 . |zero?|) (|Mapping| 11 10) (76 . |remove|)
- (82 . |ground?|) (87 . |any?|) (93 . |sort|)
- (99 . |empty|) (103 . |extend|) (109 . |reduced?|)
- (|Record| (|:| |bas| $) (|:| |top| 28))
- (|Union| 41 '"failed") |TSETCAT-;basicSet;LMU;4|
- (116 . |concat|) |TSETCAT-;basicSet;LMMU;5| (122 . |init|)
- (127 . |primPartElseUnitCanonical|)
- (132 . |removeDuplicates|) |TSETCAT-;initials;SL;6|
- (|NonNegativeInteger|) (137 . |mdeg|)
- |TSETCAT-;degree;SNni;7| (142 . |initials|)
- (|Record| (|:| |close| 28) (|:| |open| 28))
+ |TSETCAT-;=;2SB;1| (27 . |last|) (32 . |infRittWu?|)
+ (38 . |supRittWu?|) (44 . |mvar|) (49 . |collectUpper|)
+ (55 . |infRittWu?|) |TSETCAT-;infRittWu?;2SB;2|
+ (|List| 10) (61 . |members|) (|Mapping| 11 10 10)
+ |TSETCAT-;reduced?;PSMB;3| (66 . |zero?|)
+ (|Mapping| 11 10) (71 . |remove|) (77 . |ground?|)
+ (82 . |any?|) (88 . |sort|) (94 . |empty|) (98 . |extend|)
+ (104 . |reduced?|) (|Record| (|:| |bas| $) (|:| |top| 27))
+ (|Union| 40 '"failed") |TSETCAT-;basicSet;LMU;4|
+ (111 . |concat|) |TSETCAT-;basicSet;LMMU;5| (117 . |init|)
+ (122 . |primPartElseUnitCanonical|)
+ (127 . |removeDuplicates|) |TSETCAT-;initials;SL;6|
+ (|NonNegativeInteger|) (132 . |mdeg|)
+ |TSETCAT-;degree;SNni;7| (137 . |initials|)
+ (|Record| (|:| |close| 27) (|:| |open| 27))
|TSETCAT-;quasiComponent;SR;8| (|List| $)
- (147 . |normalized?|) |TSETCAT-;normalized?;PSB;9|
- (153 . |reduced?|) |TSETCAT-;stronglyReduced?;PSB;10|
- (159 . |head|) (164 . |stronglyReduced?|)
- |TSETCAT-;headReduced?;PSB;11| (170 . <) (176 . =)
- (182 . |reduced?|) |TSETCAT-;initiallyReduced?;PSB;12|
+ (142 . |normalized?|) |TSETCAT-;normalized?;PSB;9|
+ (148 . |reduced?|) |TSETCAT-;stronglyReduced?;PSB;10|
+ (154 . |head|) (159 . |stronglyReduced?|)
+ |TSETCAT-;headReduced?;PSB;11| (165 . <) (171 . =)
+ (177 . |reduced?|) |TSETCAT-;initiallyReduced?;PSB;12|
(|Mapping| 10 10 10) |TSETCAT-;reduce;PSMMP;13|
- (188 . |trivialIdeal?|) (193 . |One|) (197 . |reduce|)
+ (183 . |trivialIdeal?|) (188 . |One|) (192 . |reduce|)
|TSETCAT-;rewriteSetWithReduction;LSMML;14|
- (205 . |lazyPrem|) |TSETCAT-;stronglyReduce;PSP;15|
- (211 . |headReduce|) (217 . |headReduced?|)
- |TSETCAT-;headReduce;PSP;16| (223 . |initiallyReduce|)
- (229 . |initiallyReduced?|)
- |TSETCAT-;initiallyReduce;PSP;17| (235 . |collectUnder|)
- (241 . |algebraic?|) (247 . |select|) (253 . |removeZero|)
- (259 . |Zero|) (263 . |degree|) (|Integer|)
- (269 . |positive?|) (274 . |mainMonomial|) (279 . *)
- (285 . +) (291 . |tail|) |TSETCAT-;removeZero;PSP;18|
- (296 . |collectQuasiMonic|)
+ (200 . |lazyPrem|) |TSETCAT-;stronglyReduce;PSP;15|
+ (206 . |headReduce|) (212 . |headReduced?|)
+ |TSETCAT-;headReduce;PSP;16| (218 . |initiallyReduce|)
+ (224 . |initiallyReduced?|)
+ |TSETCAT-;initiallyReduce;PSP;17| (230 . |collectUnder|)
+ (236 . |algebraic?|) (242 . |select|) (248 . |removeZero|)
+ (254 . |Zero|) (258 . |degree|) (|Integer|)
+ (264 . |positive?|) (269 . |mainMonomial|) (274 . *)
+ (280 . +) (286 . |tail|) |TSETCAT-;removeZero;PSP;18|
+ (291 . |collectQuasiMonic|)
(|Record| (|:| |rnum| 7) (|:| |polnum| 10) (|:| |den| 7))
- (301 . |remainder|) |TSETCAT-;reduceByQuasiMonic;PSP;19|
- (|Mapping| 11 10 28) |TSETCAT-;autoReduced?;SMB;20|
- (307 . |autoReduced?|) |TSETCAT-;stronglyReduced?;SB;21|
- |TSETCAT-;normalized?;SB;22| (313 . |headReduced?|)
- |TSETCAT-;headReduced?;SB;23| (319 . |initiallyReduced?|)
+ (296 . |remainder|) |TSETCAT-;reduceByQuasiMonic;PSP;19|
+ (|Mapping| 11 10 27) |TSETCAT-;autoReduced?;SMB;20|
+ (302 . |autoReduced?|) |TSETCAT-;stronglyReduced?;SB;21|
+ |TSETCAT-;normalized?;SB;22| (308 . |headReduced?|)
+ |TSETCAT-;headReduced?;SB;23| (314 . |initiallyReduced?|)
|TSETCAT-;initiallyReduced?;SB;24| |TSETCAT-;mvar;SV;25|
|TSETCAT-;first;SU;26| |TSETCAT-;last;SU;27|
- (325 . |construct|) |TSETCAT-;rest;SU;28|
+ (320 . |construct|) |TSETCAT-;rest;SU;28|
|TSETCAT-;coerce;SL;29| (|List| 9)
|TSETCAT-;algebraicVariables;SL;30|
- (330 . |algebraicVariables|) (335 . |member?|)
+ (325 . |algebraicVariables|) (330 . |member?|)
|TSETCAT-;algebraic?;VSB;31| |TSETCAT-;select;SVU;32|
|TSETCAT-;collectQuasiMonic;2S;33|
|TSETCAT-;collectUnder;SVS;34|
- |TSETCAT-;collectUpper;SVS;35| (341 . |retractIfCan|)
- |TSETCAT-;construct;LS;36| (346 . |extendIfCan|)
+ |TSETCAT-;collectUpper;SVS;35| (336 . |retractIfCan|)
+ |TSETCAT-;construct;LS;36| (341 . |extendIfCan|)
|TSETCAT-;retractIfCan;LU;37| |TSETCAT-;extend;SPS;38|
- (352 . |size|) (356 . |subtractIfCan|) (362 . |coHeight|)
+ (347 . |size|) (351 . |subtractIfCan|) (357 . |coHeight|)
(|OutputForm|))
- '#(|stronglyReduced?| 367 |stronglyReduce| 378 |select| 384
- |rewriteSetWithReduction| 390 |retractIfCan| 398 |rest|
- 403 |removeZero| 408 |reduced?| 414 |reduceByQuasiMonic|
- 421 |reduce| 427 |quasiComponent| 435 |normalized?| 440
- |mvar| 451 |last| 456 |initials| 461 |initiallyReduced?|
- 466 |initiallyReduce| 477 |infRittWu?| 483 |headReduced?|
- 489 |headReduce| 500 |first| 506 |extend| 511 |degree| 517
- |construct| 522 |collectUpper| 527 |collectUnder| 533
- |collectQuasiMonic| 539 |coerce| 544 |coHeight| 549
- |basicSet| 554 |autoReduced?| 567 |algebraicVariables| 573
- |algebraic?| 578 = 584)
+ '#(|stronglyReduced?| 362 |stronglyReduce| 373 |select| 379
+ |rewriteSetWithReduction| 385 |retractIfCan| 393 |rest|
+ 398 |removeZero| 403 |reduced?| 409 |reduceByQuasiMonic|
+ 416 |reduce| 422 |quasiComponent| 430 |normalized?| 435
+ |mvar| 446 |last| 451 |initials| 456 |initiallyReduced?|
+ 461 |initiallyReduce| 472 |infRittWu?| 478 |headReduced?|
+ 484 |headReduce| 495 |first| 501 |extend| 506 |degree| 512
+ |construct| 517 |collectUpper| 522 |collectUnder| 528
+ |collectQuasiMonic| 534 |coerce| 539 |coHeight| 544
+ |basicSet| 549 |autoReduced?| 562 |algebraicVariables| 568
+ |algebraic?| 573 = 579)
'NIL
(CONS (|makeByteWordVec2| 1 'NIL)
(CONS '#()
(CONS '#()
- (|makeByteWordVec2| 130
+ (|makeByteWordVec2| 129
'(1 6 11 0 12 1 6 13 0 14 2 10 11 0 0
- 15 1 6 16 0 17 2 6 11 0 0 18 1 11 0 0
- 20 1 6 13 0 21 2 10 11 0 0 22 2 10 11
- 0 0 23 1 10 9 0 24 2 6 0 0 9 25 2 6
- 11 0 0 26 1 6 28 0 29 1 10 11 0 32 2
- 28 0 33 0 34 1 10 11 0 35 2 28 11 33
- 0 36 2 28 0 30 0 37 0 6 0 38 2 6 0 0
- 10 39 3 6 11 10 0 30 40 2 28 0 0 0 44
- 1 10 0 0 46 1 10 0 0 47 1 28 0 0 48 1
- 10 50 0 51 1 6 28 0 53 2 10 11 0 56
- 57 2 10 11 0 56 59 1 10 0 0 61 2 6 11
- 10 0 62 2 9 11 0 0 64 2 9 11 0 0 65 2
- 10 11 0 0 66 1 6 11 0 70 0 10 0 71 4
- 6 10 10 0 68 30 72 2 10 0 0 0 74 2 10
- 0 0 0 76 2 10 11 0 0 77 2 10 0 0 0 79
- 2 10 11 0 0 80 2 6 0 0 9 82 2 6 11 9
- 0 83 2 6 13 0 9 84 2 6 10 10 0 85 0
- 10 0 86 2 10 50 0 9 87 1 88 11 0 89 1
- 10 0 0 90 2 10 0 0 0 91 2 10 0 0 0 92
- 1 10 0 0 93 1 6 0 0 95 2 6 96 10 0 97
- 2 6 11 0 99 101 2 10 11 0 56 104 2 10
- 11 0 56 106 1 6 0 28 111 1 6 114 0
- 116 2 114 11 9 0 117 1 6 16 28 123 2
- 6 16 0 10 125 0 9 50 128 2 50 16 0 0
- 129 1 0 50 0 130 1 0 11 0 102 2 0 11
- 10 0 60 2 0 10 10 0 75 2 0 13 0 9 119
- 4 0 28 28 0 68 30 73 1 0 16 28 126 1
- 0 16 0 112 2 0 10 10 0 94 3 0 11 10 0
- 30 31 2 0 10 10 0 98 4 0 10 10 0 68
- 30 69 1 0 54 0 55 1 0 11 0 103 2 0 11
- 10 0 58 1 0 9 0 108 1 0 13 0 110 1 0
- 28 0 49 1 0 11 0 107 2 0 11 10 0 67 2
- 0 10 10 0 81 2 0 11 0 0 27 1 0 11 0
- 105 2 0 11 10 0 63 2 0 10 10 0 78 1 0
- 13 0 109 2 0 0 0 10 127 1 0 50 0 52 1
- 0 0 28 124 2 0 0 0 9 122 2 0 0 0 9
- 121 1 0 0 0 120 1 0 28 0 113 1 0 50 0
- 130 3 0 42 28 33 30 45 2 0 42 28 30
- 43 2 0 11 0 99 100 1 0 114 0 115 2 0
- 11 9 0 118 2 0 11 0 0 19)))))
+ 15 1 6 16 0 17 2 6 11 0 0 18 1 6 13 0
+ 20 2 10 11 0 0 21 2 10 11 0 0 22 1 10
+ 9 0 23 2 6 0 0 9 24 2 6 11 0 0 25 1 6
+ 27 0 28 1 10 11 0 31 2 27 0 32 0 33 1
+ 10 11 0 34 2 27 11 32 0 35 2 27 0 29
+ 0 36 0 6 0 37 2 6 0 0 10 38 3 6 11 10
+ 0 29 39 2 27 0 0 0 43 1 10 0 0 45 1
+ 10 0 0 46 1 27 0 0 47 1 10 49 0 50 1
+ 6 27 0 52 2 10 11 0 55 56 2 10 11 0
+ 55 58 1 10 0 0 60 2 6 11 10 0 61 2 9
+ 11 0 0 63 2 9 11 0 0 64 2 10 11 0 0
+ 65 1 6 11 0 69 0 10 0 70 4 6 10 10 0
+ 67 29 71 2 10 0 0 0 73 2 10 0 0 0 75
+ 2 10 11 0 0 76 2 10 0 0 0 78 2 10 11
+ 0 0 79 2 6 0 0 9 81 2 6 11 9 0 82 2 6
+ 13 0 9 83 2 6 10 10 0 84 0 10 0 85 2
+ 10 49 0 9 86 1 87 11 0 88 1 10 0 0 89
+ 2 10 0 0 0 90 2 10 0 0 0 91 1 10 0 0
+ 92 1 6 0 0 94 2 6 95 10 0 96 2 6 11 0
+ 98 100 2 10 11 0 55 103 2 10 11 0 55
+ 105 1 6 0 27 110 1 6 113 0 115 2 113
+ 11 9 0 116 1 6 16 27 122 2 6 16 0 10
+ 124 0 9 49 127 2 49 16 0 0 128 1 0 49
+ 0 129 1 0 11 0 101 2 0 11 10 0 59 2 0
+ 10 10 0 74 2 0 13 0 9 118 4 0 27 27 0
+ 67 29 72 1 0 16 27 125 1 0 16 0 111 2
+ 0 10 10 0 93 3 0 11 10 0 29 30 2 0 10
+ 10 0 97 4 0 10 10 0 67 29 68 1 0 53 0
+ 54 1 0 11 0 102 2 0 11 10 0 57 1 0 9
+ 0 107 1 0 13 0 109 1 0 27 0 48 1 0 11
+ 0 106 2 0 11 10 0 66 2 0 10 10 0 80 2
+ 0 11 0 0 26 1 0 11 0 104 2 0 11 10 0
+ 62 2 0 10 10 0 77 1 0 13 0 108 2 0 0
+ 0 10 126 1 0 49 0 51 1 0 0 27 123 2 0
+ 0 0 9 121 2 0 0 0 9 120 1 0 0 0 119 1
+ 0 27 0 112 1 0 49 0 129 3 0 41 27 32
+ 29 44 2 0 41 27 29 42 2 0 11 0 98 99
+ 1 0 113 0 114 2 0 11 9 0 117 2 0 11 0
+ 0 19)))))
'|lookupComplete|))
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-02 18:28:34 +0000