aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/UPOLYC-.lsp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-03-01 05:22:19 +0000
committerdos-reis <gdr@axiomatics.org>2009-03-01 05:22:19 +0000
commitc42526006076b88ff2755f33eb1defd2e455e67e (patch)
tree975c82ab94b65bc41169dd0c339700d4a2efc825 /src/algebra/strap/UPOLYC-.lsp
parent4311f047fffe6dbc6f58ba4f37f074cc9d155630 (diff)
downloadopen-axiom-c42526006076b88ff2755f33eb1defd2e455e67e.tar.gz
Optimization should not change slot numbers.
Diffstat (limited to 'src/algebra/strap/UPOLYC-.lsp')
-rw-r--r--src/algebra/strap/UPOLYC-.lsp803
1 files changed, 408 insertions, 395 deletions
diff --git a/src/algebra/strap/UPOLYC-.lsp b/src/algebra/strap/UPOLYC-.lsp
index 87756379..49994497 100644
--- a/src/algebra/strap/UPOLYC-.lsp
+++ b/src/algebra/strap/UPOLYC-.lsp
@@ -179,13 +179,13 @@
((OR (SPADCALL |p| (|getShellEntry| $ 9))
(ZEROP (SPADCALL |p| (|getShellEntry| $ 11))))
NIL)
- ('T (LIST (SPADCALL (|getShellEntry| $ 13))))))
+ ('T (LIST (SPADCALL (|getShellEntry| $ 14))))))
(DEFUN |UPOLYC-;degree;SSaosNni;2| (|p| |v| $)
(SPADCALL |p| (|getShellEntry| $ 11)))
(DEFUN |UPOLYC-;totalDegree;SLNni;3| (|p| |lv| $)
- (COND ((NULL |lv|) 0) ('T (SPADCALL |p| (|getShellEntry| $ 17)))))
+ (COND ((NULL |lv|) 0) ('T (SPADCALL |p| (|getShellEntry| $ 20)))))
(DEFUN |UPOLYC-;degree;SLL;4| (|p| |lv| $)
(COND
@@ -199,10 +199,10 @@
(|error| "can only eval a univariate polynomial once"))
('T
(SPADCALL |p| (|SPADfirst| |lv|) (|SPADfirst| |lq|)
- (|getShellEntry| $ 21)))))
+ (|getShellEntry| $ 28)))))
(DEFUN |UPOLYC-;eval;SSaos2S;6| (|p| |v| |q| $)
- (SPADCALL |p| |q| (|getShellEntry| $ 24)))
+ (SPADCALL |p| |q| (|getShellEntry| $ 31)))
(DEFUN |UPOLYC-;eval;SLLS;7| (|p| |lv| |lr| $)
(COND
@@ -211,11 +211,11 @@
(|error| "can only eval a univariate polynomial once"))
('T
(SPADCALL |p| (|SPADfirst| |lv|) (|SPADfirst| |lr|)
- (|getShellEntry| $ 26)))))
+ (|getShellEntry| $ 35)))))
(DEFUN |UPOLYC-;eval;SSaosRS;8| (|p| |v| |r| $)
- (SPADCALL (SPADCALL |p| |r| (|getShellEntry| $ 29))
- (|getShellEntry| $ 30)))
+ (SPADCALL (SPADCALL |p| |r| (|getShellEntry| $ 37))
+ (|getShellEntry| $ 38)))
(DEFUN |UPOLYC-;eval;SLS;9| (|p| |le| $)
(COND
@@ -226,86 +226,86 @@
(COND
((QEQCAR (SPADCALL
(SPADCALL (|SPADfirst| |le|)
- (|getShellEntry| $ 33))
- (|getShellEntry| $ 35))
+ (|getShellEntry| $ 45))
+ (|getShellEntry| $ 47))
1)
|p|)
('T
(SPADCALL |p|
- (SPADCALL (|SPADfirst| |le|) (|getShellEntry| $ 36))
- (|getShellEntry| $ 24)))))))
+ (SPADCALL (|SPADfirst| |le|) (|getShellEntry| $ 48))
+ (|getShellEntry| $ 31)))))))
(DEFUN |UPOLYC-;mainVariable;SU;10| (|p| $)
(COND
((ZEROP (SPADCALL |p| (|getShellEntry| $ 11))) (CONS 1 "failed"))
- ('T (CONS 0 (SPADCALL (|getShellEntry| $ 13))))))
+ ('T (CONS 0 (SPADCALL (|getShellEntry| $ 14))))))
(DEFUN |UPOLYC-;minimumDegree;SSaosNni;11| (|p| |v| $)
- (SPADCALL |p| (|getShellEntry| $ 41)))
+ (SPADCALL |p| (|getShellEntry| $ 53)))
(DEFUN |UPOLYC-;minimumDegree;SLL;12| (|p| |lv| $)
(COND
((NULL |lv|) NIL)
- ('T (LIST (SPADCALL |p| (|getShellEntry| $ 41))))))
+ ('T (LIST (SPADCALL |p| (|getShellEntry| $ 53))))))
(DEFUN |UPOLYC-;monomial;SSaosNniS;13| (|p| |v| |n| $)
(SPADCALL (CONS #'|UPOLYC-;monomial;SSaosNniS;13!0| (VECTOR $ |n|))
- |p| (|getShellEntry| $ 46)))
+ |p| (|getShellEntry| $ 58)))
(DEFUN |UPOLYC-;monomial;SSaosNniS;13!0| (|#1| $$)
(SPADCALL |#1| (|getShellEntry| $$ 1)
- (|getShellEntry| (|getShellEntry| $$ 0) 44)))
+ (|getShellEntry| (|getShellEntry| $$ 0) 56)))
(DEFUN |UPOLYC-;coerce;SaosS;14| (|v| $)
- (SPADCALL (|spadConstant| $ 49) 1 (|getShellEntry| $ 50)))
+ (SPADCALL (|spadConstant| $ 61) 1 (|getShellEntry| $ 63)))
(DEFUN |UPOLYC-;makeSUP;SSup;15| (|p| $)
(COND
- ((SPADCALL |p| (|getShellEntry| $ 9)) (|spadConstant| $ 53))
+ ((SPADCALL |p| (|getShellEntry| $ 9)) (|spadConstant| $ 66))
('T
(SPADCALL
- (SPADCALL (SPADCALL |p| (|getShellEntry| $ 54))
+ (SPADCALL (SPADCALL |p| (|getShellEntry| $ 67))
(SPADCALL |p| (|getShellEntry| $ 11))
- (|getShellEntry| $ 55))
- (SPADCALL (SPADCALL |p| (|getShellEntry| $ 56))
- (|getShellEntry| $ 57))
- (|getShellEntry| $ 58)))))
+ (|getShellEntry| $ 68))
+ (SPADCALL (SPADCALL |p| (|getShellEntry| $ 69))
+ (|getShellEntry| $ 70))
+ (|getShellEntry| $ 71)))))
(DEFUN |UPOLYC-;unmakeSUP;SupS;16| (|sp| $)
(COND
- ((SPADCALL |sp| (|getShellEntry| $ 60)) (|spadConstant| $ 61))
+ ((SPADCALL |sp| (|getShellEntry| $ 73)) (|spadConstant| $ 74))
('T
(SPADCALL
- (SPADCALL (SPADCALL |sp| (|getShellEntry| $ 62))
- (SPADCALL |sp| (|getShellEntry| $ 63))
- (|getShellEntry| $ 50))
- (SPADCALL (SPADCALL |sp| (|getShellEntry| $ 64))
- (|getShellEntry| $ 65))
- (|getShellEntry| $ 66)))))
+ (SPADCALL (SPADCALL |sp| (|getShellEntry| $ 75))
+ (SPADCALL |sp| (|getShellEntry| $ 76))
+ (|getShellEntry| $ 63))
+ (SPADCALL (SPADCALL |sp| (|getShellEntry| $ 77))
+ (|getShellEntry| $ 78))
+ (|getShellEntry| $ 79)))))
(DEFUN |UPOLYC-;karatsubaDivide;SNniR;17| (|p| |n| $)
(SPADCALL |p|
- (SPADCALL (|spadConstant| $ 49) |n| (|getShellEntry| $ 50))
- (|getShellEntry| $ 69)))
+ (SPADCALL (|spadConstant| $ 61) |n| (|getShellEntry| $ 63))
+ (|getShellEntry| $ 82)))
(DEFUN |UPOLYC-;shiftRight;SNniS;18| (|p| |n| $)
(QCAR (SPADCALL |p|
- (SPADCALL (|spadConstant| $ 49) |n| (|getShellEntry| $ 50))
- (|getShellEntry| $ 69))))
+ (SPADCALL (|spadConstant| $ 61) |n| (|getShellEntry| $ 63))
+ (|getShellEntry| $ 82))))
(DEFUN |UPOLYC-;shiftLeft;SNniS;19| (|p| |n| $)
(SPADCALL |p|
- (SPADCALL (|spadConstant| $ 49) |n| (|getShellEntry| $ 50))
- (|getShellEntry| $ 72)))
+ (SPADCALL (|spadConstant| $ 61) |n| (|getShellEntry| $ 63))
+ (|getShellEntry| $ 85)))
(DEFUN |UPOLYC-;solveLinearPolynomialEquation;LSupU;20| (|lpp| |pp| $)
- (SPADCALL |lpp| |pp| (|getShellEntry| $ 78)))
+ (SPADCALL |lpp| |pp| (|getShellEntry| $ 91)))
(DEFUN |UPOLYC-;factorPolynomial;SupF;21| (|pp| $)
- (SPADCALL |pp| (|getShellEntry| $ 84)))
+ (SPADCALL |pp| (|getShellEntry| $ 97)))
(DEFUN |UPOLYC-;factorSquareFreePolynomial;SupF;22| (|pp| $)
- (SPADCALL |pp| (|getShellEntry| $ 87)))
+ (SPADCALL |pp| (|getShellEntry| $ 100)))
(DEFUN |UPOLYC-;factor;SF;23| (|p| $)
(PROG (|ansR| #0=#:G1691 |w| #1=#:G1692)
@@ -314,21 +314,21 @@
((ZEROP (SPADCALL |p| (|getShellEntry| $ 11)))
(SEQ (LETT |ansR|
(SPADCALL
- (SPADCALL |p| (|getShellEntry| $ 54))
- (|getShellEntry| $ 90))
+ (SPADCALL |p| (|getShellEntry| $ 67))
+ (|getShellEntry| $ 103))
|UPOLYC-;factor;SF;23|)
(EXIT (SPADCALL
(SPADCALL
(SPADCALL |ansR|
- (|getShellEntry| $ 92))
- (|getShellEntry| $ 30))
+ (|getShellEntry| $ 105))
+ (|getShellEntry| $ 38))
(PROGN
(LETT #0# NIL |UPOLYC-;factor;SF;23|)
(SEQ (LETT |w| NIL
|UPOLYC-;factor;SF;23|)
(LETT #1#
(SPADCALL |ansR|
- (|getShellEntry| $ 97))
+ (|getShellEntry| $ 110))
|UPOLYC-;factor;SF;23|)
G190
(COND
@@ -344,7 +344,7 @@
(CONS
(VECTOR (QVELT |w| 0)
(SPADCALL (QVELT |w| 1)
- (|getShellEntry| $ 30))
+ (|getShellEntry| $ 38))
(QVELT |w| 2))
#0#)
|UPOLYC-;factor;SF;23|)))
@@ -352,12 +352,12 @@
|UPOLYC-;factor;SF;23|)
(GO G190) G191
(EXIT (NREVERSE0 #0#))))
- (|getShellEntry| $ 101)))))
+ (|getShellEntry| $ 114)))))
('T
- (SPADCALL (ELT $ 65)
- (SPADCALL (SPADCALL |p| (|getShellEntry| $ 57))
- (|getShellEntry| $ 102))
- (|getShellEntry| $ 106))))))))
+ (SPADCALL (ELT $ 78)
+ (SPADCALL (SPADCALL |p| (|getShellEntry| $ 70))
+ (|getShellEntry| $ 115))
+ (|getShellEntry| $ 119))))))))
(DEFUN |UPOLYC-;vectorise;SNniV;24| (|p| |n| $)
(PROG (|v| |m| |i| #0=#:G1693 #1=#:G1522)
@@ -365,12 +365,12 @@
(SEQ (LETT |m|
(SPADCALL
(LETT |v|
- (SPADCALL |n| (|spadConstant| $ 108)
- (|getShellEntry| $ 110))
+ (SPADCALL |n| (|spadConstant| $ 121)
+ (|getShellEntry| $ 123))
|UPOLYC-;vectorise;SNniV;24|)
- (|getShellEntry| $ 111))
+ (|getShellEntry| $ 124))
|UPOLYC-;vectorise;SNniV;24|)
- (SEQ (LETT |i| (SPADCALL |v| (|getShellEntry| $ 111))
+ (SEQ (LETT |i| (SPADCALL |v| (|getShellEntry| $ 124))
|UPOLYC-;vectorise;SNniV;24|)
(LETT #0# (QVSIZE |v|) |UPOLYC-;vectorise;SNniV;24|)
G190 (COND ((> |i| #0#) (GO G191)))
@@ -385,29 +385,29 @@
('T 'T))
'(|NonNegativeInteger|)
#1#))
- (|getShellEntry| $ 112))
- (|getShellEntry| $ 113))))
+ (|getShellEntry| $ 127))
+ (|getShellEntry| $ 128))))
(LETT |i| (+ |i| 1) |UPOLYC-;vectorise;SNniV;24|)
(GO G190) G191 (EXIT NIL))
(EXIT |v|)))))
(DEFUN |UPOLYC-;retract;SR;25| (|p| $)
(COND
- ((SPADCALL |p| (|getShellEntry| $ 9)) (|spadConstant| $ 108))
+ ((SPADCALL |p| (|getShellEntry| $ 9)) (|spadConstant| $ 121))
((ZEROP (SPADCALL |p| (|getShellEntry| $ 11)))
- (SPADCALL |p| (|getShellEntry| $ 54)))
+ (SPADCALL |p| (|getShellEntry| $ 67)))
('T (|error| "Polynomial is not of degree 0"))))
(DEFUN |UPOLYC-;retractIfCan;SU;26| (|p| $)
(COND
((SPADCALL |p| (|getShellEntry| $ 9))
- (CONS 0 (|spadConstant| $ 108)))
+ (CONS 0 (|spadConstant| $ 121)))
((ZEROP (SPADCALL |p| (|getShellEntry| $ 11)))
- (CONS 0 (SPADCALL |p| (|getShellEntry| $ 54))))
+ (CONS 0 (SPADCALL |p| (|getShellEntry| $ 67))))
('T (CONS 1 "failed"))))
(DEFUN |UPOLYC-;init;S;27| ($)
- (SPADCALL (|spadConstant| $ 118) (|getShellEntry| $ 30)))
+ (SPADCALL (|spadConstant| $ 133) (|getShellEntry| $ 38)))
(DEFUN |UPOLYC-;nextItemInner| (|n| $)
(PROG (|nn| |n1| |n2| #0=#:G1546 |n3|)
@@ -417,27 +417,27 @@
(CONS 0
(SPADCALL
(PROG2 (LETT #0#
- (SPADCALL (|spadConstant| $ 108)
- (|getShellEntry| $ 121))
+ (SPADCALL (|spadConstant| $ 121)
+ (|getShellEntry| $ 136))
|UPOLYC-;nextItemInner|)
(QCDR #0#)
(|check-union| (QEQCAR #0# 0)
(|getShellEntry| $ 7) #0#))
- (|getShellEntry| $ 30))))
+ (|getShellEntry| $ 38))))
((ZEROP (SPADCALL |n| (|getShellEntry| $ 11)))
(SEQ (LETT |nn|
(SPADCALL
- (SPADCALL |n| (|getShellEntry| $ 54))
- (|getShellEntry| $ 121))
+ (SPADCALL |n| (|getShellEntry| $ 67))
+ (|getShellEntry| $ 136))
|UPOLYC-;nextItemInner|)
(EXIT (COND
((QEQCAR |nn| 1) (CONS 1 "failed"))
('T
(CONS 0
(SPADCALL (QCDR |nn|)
- (|getShellEntry| $ 30))))))))
+ (|getShellEntry| $ 38))))))))
('T
- (SEQ (LETT |n1| (SPADCALL |n| (|getShellEntry| $ 56))
+ (SEQ (LETT |n1| (SPADCALL |n| (|getShellEntry| $ 69))
|UPOLYC-;nextItemInner|)
(LETT |n2| (|UPOLYC-;nextItemInner| |n1| $)
|UPOLYC-;nextItemInner|)
@@ -447,12 +447,12 @@
(SPADCALL
(SPADCALL
(SPADCALL |n|
- (|getShellEntry| $ 54))
+ (|getShellEntry| $ 67))
(SPADCALL |n|
(|getShellEntry| $ 11))
- (|getShellEntry| $ 50))
+ (|getShellEntry| $ 63))
(QCDR |n2|)
- (|getShellEntry| $ 66))))
+ (|getShellEntry| $ 79))))
((< (+ 1
(SPADCALL |n1|
(|getShellEntry| $ 11)))
@@ -461,16 +461,16 @@
(SPADCALL
(SPADCALL
(SPADCALL |n|
- (|getShellEntry| $ 54))
+ (|getShellEntry| $ 67))
(SPADCALL |n|
(|getShellEntry| $ 11))
- (|getShellEntry| $ 50))
+ (|getShellEntry| $ 63))
(SPADCALL
(PROG2
(LETT #0#
(SPADCALL
- (|spadConstant| $ 118)
- (|getShellEntry| $ 121))
+ (|spadConstant| $ 133)
+ (|getShellEntry| $ 136))
|UPOLYC-;nextItemInner|)
(QCDR #0#)
(|check-union| (QEQCAR #0# 0)
@@ -478,14 +478,14 @@
(+ 1
(SPADCALL |n1|
(|getShellEntry| $ 11)))
- (|getShellEntry| $ 50))
- (|getShellEntry| $ 66))))
+ (|getShellEntry| $ 63))
+ (|getShellEntry| $ 79))))
('T
(SEQ (LETT |n3|
(SPADCALL
(SPADCALL |n|
- (|getShellEntry| $ 54))
- (|getShellEntry| $ 121))
+ (|getShellEntry| $ 67))
+ (|getShellEntry| $ 136))
|UPOLYC-;nextItemInner|)
(EXIT (COND
((QEQCAR |n3| 1)
@@ -495,7 +495,7 @@
(SPADCALL (QCDR |n3|)
(SPADCALL |n|
(|getShellEntry| $ 11))
- (|getShellEntry| $ 50)))))))))))))))))
+ (|getShellEntry| $ 63)))))))))))))))))
(DEFUN |UPOLYC-;nextItem;SU;29| (|n| $)
(PROG (|n1| #0=#:G1559)
@@ -507,20 +507,20 @@
(CONS 0
(SPADCALL
(PROG2 (LETT #0#
- (SPADCALL (|spadConstant| $ 118)
- (|getShellEntry| $ 121))
+ (SPADCALL (|spadConstant| $ 133)
+ (|getShellEntry| $ 136))
|UPOLYC-;nextItem;SU;29|)
(QCDR #0#)
(|check-union| (QEQCAR #0# 0)
(|getShellEntry| $ 7) #0#))
(+ 1
(SPADCALL |n| (|getShellEntry| $ 11)))
- (|getShellEntry| $ 50))))
+ (|getShellEntry| $ 63))))
('T |n1|)))))))
(DEFUN |UPOLYC-;content;SSaosS;30| (|p| |v| $)
- (SPADCALL (SPADCALL |p| (|getShellEntry| $ 124))
- (|getShellEntry| $ 30)))
+ (SPADCALL (SPADCALL |p| (|getShellEntry| $ 140))
+ (|getShellEntry| $ 38)))
(DEFUN |UPOLYC-;primeFactor| (|p| |q| $)
(PROG (#0=#:G1565 |p1|)
@@ -529,15 +529,15 @@
(PROG2 (LETT #0#
(SPADCALL |p|
(SPADCALL |p| |q|
- (|getShellEntry| $ 126))
- (|getShellEntry| $ 127))
+ (|getShellEntry| $ 142))
+ (|getShellEntry| $ 143))
|UPOLYC-;primeFactor|)
(QCDR #0#)
(|check-union| (QEQCAR #0# 0) (|getShellEntry| $ 6)
#0#))
|UPOLYC-;primeFactor|)
(EXIT (COND
- ((SPADCALL |p1| |p| (|getShellEntry| $ 128)) |p|)
+ ((SPADCALL |p1| |p| (|getShellEntry| $ 144)) |p|)
('T (|UPOLYC-;primeFactor| |p1| |q| $))))))))
(DEFUN |UPOLYC-;separate;2SR;32| (|p| |q| $)
@@ -548,7 +548,7 @@
(EXIT (CONS |a|
(PROG2 (LETT #0#
(SPADCALL |p| |a|
- (|getShellEntry| $ 127))
+ (|getShellEntry| $ 143))
|UPOLYC-;separate;2SR;32|)
(QCDR #0#)
(|check-union| (QEQCAR #0# 0)
@@ -557,7 +557,7 @@
(DEFUN |UPOLYC-;differentiate;SM2S;33| (|x| |deriv| |x'| $)
(PROG (|dg| |lc| #0=#:G1576 |d|)
(RETURN
- (SEQ (LETT |d| (|spadConstant| $ 61)
+ (SEQ (LETT |d| (|spadConstant| $ 74)
|UPOLYC-;differentiate;SM2S;33|)
(SEQ G190
(COND
@@ -566,7 +566,7 @@
(SPADCALL |x| (|getShellEntry| $ 11))
|UPOLYC-;differentiate;SM2S;33|)))
(GO G191)))
- (SEQ (LETT |lc| (SPADCALL |x| (|getShellEntry| $ 54))
+ (SEQ (LETT |lc| (SPADCALL |x| (|getShellEntry| $ 67))
|UPOLYC-;differentiate;SM2S;33|)
(LETT |d|
(SPADCALL
@@ -574,7 +574,7 @@
(SPADCALL |x'|
(SPADCALL
(SPADCALL |dg| |lc|
- (|getShellEntry| $ 132))
+ (|getShellEntry| $ 149))
(PROG1
(LETT #0# (- |dg| 1)
|UPOLYC-;differentiate;SM2S;33|)
@@ -583,30 +583,30 @@
((< #0# 0) 'NIL)
('T 'T))
'(|NonNegativeInteger|) #0#))
- (|getShellEntry| $ 50))
- (|getShellEntry| $ 72))
- (|getShellEntry| $ 66))
+ (|getShellEntry| $ 63))
+ (|getShellEntry| $ 85))
+ (|getShellEntry| $ 79))
(SPADCALL (SPADCALL |lc| |deriv|) |dg|
- (|getShellEntry| $ 50))
- (|getShellEntry| $ 66))
+ (|getShellEntry| $ 63))
+ (|getShellEntry| $ 79))
|UPOLYC-;differentiate;SM2S;33|)
(EXIT (LETT |x|
- (SPADCALL |x| (|getShellEntry| $ 56))
+ (SPADCALL |x| (|getShellEntry| $ 69))
|UPOLYC-;differentiate;SM2S;33|)))
NIL (GO G190) G191 (EXIT NIL))
(EXIT (SPADCALL |d|
(SPADCALL
(SPADCALL
- (SPADCALL |x| (|getShellEntry| $ 54))
+ (SPADCALL |x| (|getShellEntry| $ 67))
|deriv|)
- (|getShellEntry| $ 30))
- (|getShellEntry| $ 66)))))))
+ (|getShellEntry| $ 38))
+ (|getShellEntry| $ 79)))))))
(DEFUN |UPOLYC-;ncdiff| (|n| |x'| $)
(PROG (#0=#:G1594 |n1|)
(RETURN
(COND
- ((ZEROP |n|) (|spadConstant| $ 61))
+ ((ZEROP |n|) (|spadConstant| $ 74))
((ZEROP (LETT |n1|
(PROG1 (LETT #0# (- |n| 1) |UPOLYC-;ncdiff|)
(|check-subtype|
@@ -617,19 +617,19 @@
('T
(SPADCALL
(SPADCALL |x'|
- (SPADCALL (|spadConstant| $ 49) |n1|
- (|getShellEntry| $ 50))
- (|getShellEntry| $ 72))
+ (SPADCALL (|spadConstant| $ 61) |n1|
+ (|getShellEntry| $ 63))
+ (|getShellEntry| $ 85))
(SPADCALL
- (SPADCALL (|spadConstant| $ 49) 1
- (|getShellEntry| $ 50))
- (|UPOLYC-;ncdiff| |n1| |x'| $) (|getShellEntry| $ 72))
- (|getShellEntry| $ 66)))))))
+ (SPADCALL (|spadConstant| $ 61) 1
+ (|getShellEntry| $ 63))
+ (|UPOLYC-;ncdiff| |n1| |x'| $) (|getShellEntry| $ 85))
+ (|getShellEntry| $ 79)))))))
(DEFUN |UPOLYC-;differentiate;SM2S;35| (|x| |deriv| |x'| $)
(PROG (|dg| |lc| |d|)
(RETURN
- (SEQ (LETT |d| (|spadConstant| $ 61)
+ (SEQ (LETT |d| (|spadConstant| $ 74)
|UPOLYC-;differentiate;SM2S;35|)
(SEQ G190
(COND
@@ -638,38 +638,38 @@
(SPADCALL |x| (|getShellEntry| $ 11))
|UPOLYC-;differentiate;SM2S;35|)))
(GO G191)))
- (SEQ (LETT |lc| (SPADCALL |x| (|getShellEntry| $ 54))
+ (SEQ (LETT |lc| (SPADCALL |x| (|getShellEntry| $ 67))
|UPOLYC-;differentiate;SM2S;35|)
(LETT |d|
(SPADCALL
(SPADCALL |d|
(SPADCALL (SPADCALL |lc| |deriv|)
- |dg| (|getShellEntry| $ 50))
- (|getShellEntry| $ 66))
+ |dg| (|getShellEntry| $ 63))
+ (|getShellEntry| $ 79))
(SPADCALL |lc|
(|UPOLYC-;ncdiff| |dg| |x'| $)
- (|getShellEntry| $ 135))
- (|getShellEntry| $ 66))
+ (|getShellEntry| $ 154))
+ (|getShellEntry| $ 79))
|UPOLYC-;differentiate;SM2S;35|)
(EXIT (LETT |x|
- (SPADCALL |x| (|getShellEntry| $ 56))
+ (SPADCALL |x| (|getShellEntry| $ 69))
|UPOLYC-;differentiate;SM2S;35|)))
NIL (GO G190) G191 (EXIT NIL))
(EXIT (SPADCALL |d|
(SPADCALL
(SPADCALL
- (SPADCALL |x| (|getShellEntry| $ 54))
+ (SPADCALL |x| (|getShellEntry| $ 67))
|deriv|)
- (|getShellEntry| $ 30))
- (|getShellEntry| $ 66)))))))
+ (|getShellEntry| $ 38))
+ (|getShellEntry| $ 79)))))))
(DEFUN |UPOLYC-;differentiate;SMS;36| (|x| |deriv| $)
- (SPADCALL |x| |deriv| (|spadConstant| $ 48) (|getShellEntry| $ 136)))
+ (SPADCALL |x| |deriv| (|spadConstant| $ 60) (|getShellEntry| $ 155)))
(DEFUN |UPOLYC-;differentiate;2S;37| (|x| $)
(PROG (|dg| #0=#:G1603 |d|)
(RETURN
- (SEQ (LETT |d| (|spadConstant| $ 61)
+ (SEQ (LETT |d| (|spadConstant| $ 74)
|UPOLYC-;differentiate;2S;37|)
(SEQ G190
(COND
@@ -683,33 +683,33 @@
(SPADCALL
(SPADCALL |dg|
(SPADCALL |x|
- (|getShellEntry| $ 54))
- (|getShellEntry| $ 132))
+ (|getShellEntry| $ 67))
+ (|getShellEntry| $ 149))
(PROG1
(LETT #0# (- |dg| 1)
|UPOLYC-;differentiate;2S;37|)
(|check-subtype|
(COND ((< #0# 0) 'NIL) ('T 'T))
'(|NonNegativeInteger|) #0#))
- (|getShellEntry| $ 50))
- (|getShellEntry| $ 66))
+ (|getShellEntry| $ 63))
+ (|getShellEntry| $ 79))
|UPOLYC-;differentiate;2S;37|)
(EXIT (LETT |x|
- (SPADCALL |x| (|getShellEntry| $ 56))
+ (SPADCALL |x| (|getShellEntry| $ 69))
|UPOLYC-;differentiate;2S;37|)))
NIL (GO G190) G191 (EXIT NIL))
(EXIT |d|)))))
(DEFUN |UPOLYC-;differentiate;SSaosS;38| (|x| |v| $)
- (SPADCALL |x| (|getShellEntry| $ 139)))
+ (SPADCALL |x| (|getShellEntry| $ 158)))
(DEFUN |UPOLYC-;elt;3F;39| (|g| |f| $)
(SPADCALL
- (SPADCALL (SPADCALL |g| (|getShellEntry| $ 142)) |f|
- (|getShellEntry| $ 144))
- (SPADCALL (SPADCALL |g| (|getShellEntry| $ 145)) |f|
- (|getShellEntry| $ 144))
- (|getShellEntry| $ 146)))
+ (SPADCALL (SPADCALL |g| (|getShellEntry| $ 161)) |f|
+ (|getShellEntry| $ 163))
+ (SPADCALL (SPADCALL |g| (|getShellEntry| $ 164)) |f|
+ (|getShellEntry| $ 163))
+ (|getShellEntry| $ 165)))
(DEFUN |UPOLYC-;pseudoQuotient;3S;40| (|p| |q| $)
(PROG (|n| #0=#:G1611)
@@ -720,7 +720,7 @@
1)
|UPOLYC-;pseudoQuotient;3S;40|)
(EXIT (COND
- ((< |n| 1) (|spadConstant| $ 61))
+ ((< |n| 1) (|spadConstant| $ 74))
('T
(PROG2 (LETT #0#
(SPADCALL
@@ -728,19 +728,19 @@
(SPADCALL
(SPADCALL
(SPADCALL |q|
- (|getShellEntry| $ 54))
+ (|getShellEntry| $ 67))
(PROG1 |n|
(|check-subtype|
(COND
((< |n| 0) 'NIL)
('T 'T))
'(|NonNegativeInteger|) |n|))
- (|getShellEntry| $ 148))
- |p| (|getShellEntry| $ 135))
+ (|getShellEntry| $ 169))
+ |p| (|getShellEntry| $ 154))
(SPADCALL |p| |q|
- (|getShellEntry| $ 149))
- (|getShellEntry| $ 150))
- |q| (|getShellEntry| $ 127))
+ (|getShellEntry| $ 170))
+ (|getShellEntry| $ 171))
+ |q| (|getShellEntry| $ 143))
|UPOLYC-;pseudoQuotient;3S;40|)
(QCDR #0#)
(|check-union| (QEQCAR #0# 0)
@@ -756,22 +756,22 @@
|UPOLYC-;pseudoDivide;2SR;41|)
(EXIT (COND
((< |n| 1)
- (VECTOR (|spadConstant| $ 49) (|spadConstant| $ 61)
+ (VECTOR (|spadConstant| $ 61) (|spadConstant| $ 74)
|p|))
('T
(SEQ (LETT |prem|
(SPADCALL |p| |q|
- (|getShellEntry| $ 149))
+ (|getShellEntry| $ 170))
|UPOLYC-;pseudoDivide;2SR;41|)
(LETT |lc|
(SPADCALL
(SPADCALL |q|
- (|getShellEntry| $ 54))
+ (|getShellEntry| $ 67))
(PROG1 |n|
(|check-subtype|
(COND ((< |n| 0) 'NIL) ('T 'T))
'(|NonNegativeInteger|) |n|))
- (|getShellEntry| $ 148))
+ (|getShellEntry| $ 169))
|UPOLYC-;pseudoDivide;2SR;41|)
(EXIT (VECTOR |lc|
(PROG2
@@ -779,10 +779,10 @@
(SPADCALL
(SPADCALL
(SPADCALL |lc| |p|
- (|getShellEntry| $ 135))
+ (|getShellEntry| $ 154))
|prem|
- (|getShellEntry| $ 150))
- |q| (|getShellEntry| $ 127))
+ (|getShellEntry| $ 171))
+ |q| (|getShellEntry| $ 143))
|UPOLYC-;pseudoDivide;2SR;41|)
(QCDR #0#)
(|check-union| (QEQCAR #0# 0)
@@ -793,8 +793,8 @@
(PROG (|n| |d|)
(RETURN
(SEQ (LETT |n|
- (SPADCALL (SPADCALL |f| (|getShellEntry| $ 142)) |q|
- (|getShellEntry| $ 154))
+ (SPADCALL (SPADCALL |f| (|getShellEntry| $ 161)) |q|
+ (|getShellEntry| $ 175))
|UPOLYC-;composite;FSU;42|)
(EXIT (COND
((QEQCAR |n| 1) (CONS 1 "failed"))
@@ -802,33 +802,33 @@
(SEQ (LETT |d|
(SPADCALL
(SPADCALL |f|
- (|getShellEntry| $ 145))
- |q| (|getShellEntry| $ 154))
+ (|getShellEntry| $ 164))
+ |q| (|getShellEntry| $ 175))
|UPOLYC-;composite;FSU;42|)
(EXIT (COND
((QEQCAR |d| 1) (CONS 1 "failed"))
('T
(CONS 0
(SPADCALL (QCDR |n|) (QCDR |d|)
- (|getShellEntry| $ 155))))))))))))))
+ (|getShellEntry| $ 176))))))))))))))
(DEFUN |UPOLYC-;composite;2SU;43| (|p| |q| $)
(PROG (|cqr| |v| |u| |w| #0=#:G1643)
(RETURN
(SEQ (COND
- ((SPADCALL |p| (|getShellEntry| $ 158)) (CONS 0 |p|))
+ ((SPADCALL |p| (|getShellEntry| $ 179)) (CONS 0 |p|))
('T
(SEQ (EXIT (SEQ (LETT |cqr|
(SPADCALL |p| |q|
- (|getShellEntry| $ 159))
+ (|getShellEntry| $ 180))
|UPOLYC-;composite;2SU;43|)
(COND
((SPADCALL (QVELT |cqr| 2)
- (|getShellEntry| $ 158))
+ (|getShellEntry| $ 179))
(SEQ (LETT |v|
(SPADCALL (QVELT |cqr| 2)
(QVELT |cqr| 0)
- (|getShellEntry| $ 160))
+ (|getShellEntry| $ 181))
|UPOLYC-;composite;2SU;43|)
(EXIT
(COND
@@ -837,7 +837,7 @@
(LETT |u|
(SPADCALL (QVELT |cqr| 1)
|q|
- (|getShellEntry| $ 154))
+ (|getShellEntry| $ 175))
|UPOLYC-;composite;2SU;43|)
(EXIT
(COND
@@ -847,7 +847,7 @@
(SPADCALL (QCDR |u|)
(QVELT |cqr| 0)
(|getShellEntry| $
- 160))
+ 181))
|UPOLYC-;composite;2SU;43|)
(EXIT
(COND
@@ -860,15 +860,15 @@
(SPADCALL
(SPADCALL
(|spadConstant|
- $ 49)
+ $ 61)
1
(|getShellEntry|
- $ 50))
+ $ 63))
(QCDR |w|)
(|getShellEntry|
- $ 72))
+ $ 85))
(|getShellEntry|
- $ 66)))
+ $ 79)))
|UPOLYC-;composite;2SU;43|)
(GO #0#))))))))))))))))
(EXIT (CONS 1 "failed"))))
@@ -879,14 +879,14 @@
(RETURN
(SEQ (COND
((SPADCALL |p| (|getShellEntry| $ 9))
- (|spadConstant| $ 162))
+ (|spadConstant| $ 183))
('T
(SEQ (LETT |ans|
(SPADCALL
(SPADCALL
- (SPADCALL |p| (|getShellEntry| $ 54))
- (|getShellEntry| $ 30))
- (|getShellEntry| $ 163))
+ (SPADCALL |p| (|getShellEntry| $ 67))
+ (|getShellEntry| $ 38))
+ (|getShellEntry| $ 184))
|UPOLYC-;elt;S2F;44|)
(LETT |n| (SPADCALL |p| (|getShellEntry| $ 11))
|UPOLYC-;elt;S2F;44|)
@@ -895,7 +895,7 @@
((NULL (NOT (SPADCALL
(LETT |p|
(SPADCALL |p|
- (|getShellEntry| $ 56))
+ (|getShellEntry| $ 69))
|UPOLYC-;elt;S2F;44|)
(|getShellEntry| $ 9))))
(GO G191)))
@@ -916,15 +916,15 @@
((< #0# 0) 'NIL)
('T 'T))
'(|NonNegativeInteger|) #0#))
- (|getShellEntry| $ 164))
- (|getShellEntry| $ 165))
+ (|getShellEntry| $ 185))
+ (|getShellEntry| $ 186))
(SPADCALL
(SPADCALL
(SPADCALL |p|
- (|getShellEntry| $ 54))
- (|getShellEntry| $ 30))
- (|getShellEntry| $ 163))
- (|getShellEntry| $ 166))
+ (|getShellEntry| $ 67))
+ (|getShellEntry| $ 38))
+ (|getShellEntry| $ 184))
+ (|getShellEntry| $ 187))
|UPOLYC-;elt;S2F;44|)))
NIL (GO G190) G191 (EXIT NIL))
(EXIT (COND
@@ -932,8 +932,8 @@
('T
(SPADCALL |ans|
(SPADCALL |f| |n|
- (|getShellEntry| $ 167))
- (|getShellEntry| $ 165))))))))))))
+ (|getShellEntry| $ 188))
+ (|getShellEntry| $ 186))))))))))))
(DEFUN |UPOLYC-;order;2SNni;45| (|p| |q| $)
(PROG (|u| #0=#:G1663 |ans|)
@@ -949,7 +949,7 @@
(SEQ
(LETT |u|
(SPADCALL |p| |q|
- (|getShellEntry| $ 127))
+ (|getShellEntry| $ 143))
|UPOLYC-;order;2SNni;45|)
(EXIT
(COND
@@ -969,41 +969,41 @@
#0# (EXIT #0#)))))
(DEFUN |UPOLYC-;squareFree;SF;46| (|p| $)
- (SPADCALL |p| (|getShellEntry| $ 171)))
+ (SPADCALL |p| (|getShellEntry| $ 192)))
(DEFUN |UPOLYC-;squareFreePart;2S;47| (|p| $)
- (SPADCALL |p| (|getShellEntry| $ 173)))
+ (SPADCALL |p| (|getShellEntry| $ 194)))
(DEFUN |UPOLYC-;gcdPolynomial;3Sup;48| (|pp| |qq| $)
(COND
- ((SPADCALL |pp| (|getShellEntry| $ 175))
- (SPADCALL |qq| (|getShellEntry| $ 176)))
- ((SPADCALL |qq| (|getShellEntry| $ 175))
- (SPADCALL |pp| (|getShellEntry| $ 176)))
+ ((SPADCALL |pp| (|getShellEntry| $ 196))
+ (SPADCALL |qq| (|getShellEntry| $ 197)))
+ ((SPADCALL |qq| (|getShellEntry| $ 196))
+ (SPADCALL |pp| (|getShellEntry| $ 197)))
('T
(SPADCALL
(SPADCALL
- (SPADCALL (SPADCALL |pp| (|getShellEntry| $ 177))
- (SPADCALL |qq| (|getShellEntry| $ 177))
- (|getShellEntry| $ 126))
+ (SPADCALL (SPADCALL |pp| (|getShellEntry| $ 198))
+ (SPADCALL |qq| (|getShellEntry| $ 198))
+ (|getShellEntry| $ 142))
(SPADCALL
- (SPADCALL (SPADCALL |pp| (|getShellEntry| $ 178))
- (SPADCALL |qq| (|getShellEntry| $ 178))
- (|getShellEntry| $ 179))
- (|getShellEntry| $ 178))
- (|getShellEntry| $ 180))
- (|getShellEntry| $ 176)))))
+ (SPADCALL (SPADCALL |pp| (|getShellEntry| $ 199))
+ (SPADCALL |qq| (|getShellEntry| $ 199))
+ (|getShellEntry| $ 200))
+ (|getShellEntry| $ 199))
+ (|getShellEntry| $ 201))
+ (|getShellEntry| $ 197)))))
(DEFUN |UPOLYC-;squareFreePolynomial;SupF;49| (|pp| $)
- (SPADCALL |pp| (|getShellEntry| $ 183)))
+ (SPADCALL |pp| (|getShellEntry| $ 204)))
(DEFUN |UPOLYC-;elt;F2R;50| (|f| |r| $)
(SPADCALL
- (SPADCALL (SPADCALL |f| (|getShellEntry| $ 142)) |r|
- (|getShellEntry| $ 29))
- (SPADCALL (SPADCALL |f| (|getShellEntry| $ 145)) |r|
- (|getShellEntry| $ 29))
- (|getShellEntry| $ 185)))
+ (SPADCALL (SPADCALL |f| (|getShellEntry| $ 161)) |r|
+ (|getShellEntry| $ 37))
+ (SPADCALL (SPADCALL |f| (|getShellEntry| $ 164)) |r|
+ (|getShellEntry| $ 37))
+ (|getShellEntry| $ 206)))
(DEFUN |UPOLYC-;euclideanSize;SNni;51| (|x| $)
(COND
@@ -1018,12 +1018,12 @@
((SPADCALL |y| (|getShellEntry| $ 9))
(|error| "division by 0 in Univariate Polynomials"))
('T
- (SEQ (LETT |quot| (|spadConstant| $ 61)
+ (SEQ (LETT |quot| (|spadConstant| $ 74)
|UPOLYC-;divide;2SR;52|)
(LETT |lc|
(SPADCALL
- (SPADCALL |y| (|getShellEntry| $ 54))
- (|getShellEntry| $ 188))
+ (SPADCALL |y| (|getShellEntry| $ 67))
+ (|getShellEntry| $ 209))
|UPOLYC-;divide;2SR;52|)
(SEQ G190
(COND
@@ -1042,8 +1042,8 @@
(SEQ (LETT |f|
(SPADCALL |lc|
(SPADCALL |x|
- (|getShellEntry| $ 54))
- (|getShellEntry| $ 189))
+ (|getShellEntry| $ 67))
+ (|getShellEntry| $ 211))
|UPOLYC-;divide;2SR;52|)
(LETT |n|
(PROG1
@@ -1061,16 +1061,16 @@
(LETT |quot|
(SPADCALL |quot|
(SPADCALL |f| |n|
- (|getShellEntry| $ 50))
- (|getShellEntry| $ 66))
+ (|getShellEntry| $ 63))
+ (|getShellEntry| $ 79))
|UPOLYC-;divide;2SR;52|)
(EXIT (LETT |x|
(SPADCALL |x|
(SPADCALL
(SPADCALL |f| |n|
- (|getShellEntry| $ 50))
- |y| (|getShellEntry| $ 72))
- (|getShellEntry| $ 150))
+ (|getShellEntry| $ 63))
+ |y| (|getShellEntry| $ 85))
+ (|getShellEntry| $ 171))
|UPOLYC-;divide;2SR;52|)))
NIL (GO G190) G191 (EXIT NIL))
(EXIT (CONS |quot| |x|)))))))))
@@ -1078,13 +1078,13 @@
(DEFUN |UPOLYC-;integrate;2S;53| (|p| $)
(PROG (|l| |d| |ans|)
(RETURN
- (SEQ (LETT |ans| (|spadConstant| $ 61) |UPOLYC-;integrate;2S;53|)
+ (SEQ (LETT |ans| (|spadConstant| $ 74) |UPOLYC-;integrate;2S;53|)
(SEQ G190
(COND
- ((NULL (SPADCALL |p| (|spadConstant| $ 61)
- (|getShellEntry| $ 191)))
+ ((NULL (SPADCALL |p| (|spadConstant| $ 74)
+ (|getShellEntry| $ 213)))
(GO G191)))
- (SEQ (LETT |l| (SPADCALL |p| (|getShellEntry| $ 54))
+ (SEQ (LETT |l| (SPADCALL |p| (|getShellEntry| $ 67))
|UPOLYC-;integrate;2S;53|)
(LETT |d|
(+ 1 (SPADCALL |p| (|getShellEntry| $ 11)))
@@ -1094,15 +1094,15 @@
(SPADCALL
(SPADCALL
(SPADCALL |d|
- (|getShellEntry| $ 193))
- (|getShellEntry| $ 194))
+ (|getShellEntry| $ 215))
+ (|getShellEntry| $ 216))
(SPADCALL |l| |d|
- (|getShellEntry| $ 50))
- (|getShellEntry| $ 195))
- (|getShellEntry| $ 66))
+ (|getShellEntry| $ 63))
+ (|getShellEntry| $ 217))
+ (|getShellEntry| $ 79))
|UPOLYC-;integrate;2S;53|)
(EXIT (LETT |p|
- (SPADCALL |p| (|getShellEntry| $ 56))
+ (SPADCALL |p| (|getShellEntry| $ 69))
|UPOLYC-;integrate;2S;53|)))
NIL (GO G190) G191 (EXIT NIL))
(EXIT |ans|)))))
@@ -1116,7 +1116,7 @@
(LETT |dv$2| (|devaluate| |#2|) . #0#)
(LETT |dv$|
(LIST '|UnivariatePolynomialCategory&| |dv$1| |dv$2|) . #0#)
- (LETT $ (|newShell| 202) . #0#)
+ (LETT $ (|newShell| 224) . #0#)
(|setShellEntry| $ 0 |dv$|)
(|setShellEntry| $ 3
(LETT |pv$|
@@ -1134,279 +1134,292 @@
(COND
((|HasCategory| |#2| '(|PolynomialFactorizationExplicit|))
(PROGN
- (|setShellEntry| $ 82
+ (|setShellEntry| $ 95
(CONS (|dispatchFunction|
|UPOLYC-;solveLinearPolynomialEquation;LSupU;20|)
$))
- (|setShellEntry| $ 86
+ (|setShellEntry| $ 99
(CONS (|dispatchFunction|
|UPOLYC-;factorPolynomial;SupF;21|)
$))
- (|setShellEntry| $ 88
+ (|setShellEntry| $ 101
(CONS (|dispatchFunction|
|UPOLYC-;factorSquareFreePolynomial;SupF;22|)
$))
- (|setShellEntry| $ 107
+ (|setShellEntry| $ 120
(CONS (|dispatchFunction| |UPOLYC-;factor;SF;23|) $)))))
(COND
((|testBitVector| |pv$| 6)
(PROGN
- (|setShellEntry| $ 119
+ (|setShellEntry| $ 134
(CONS (|dispatchFunction| |UPOLYC-;init;S;27|) $))
NIL
- (|setShellEntry| $ 123
+ (|setShellEntry| $ 139
(CONS (|dispatchFunction| |UPOLYC-;nextItem;SU;29|) $)))))
(COND
((|testBitVector| |pv$| 3)
(PROGN
- (|setShellEntry| $ 125
+ (|setShellEntry| $ 141
(CONS (|dispatchFunction| |UPOLYC-;content;SSaosS;30|)
$))
NIL
- (|setShellEntry| $ 130
+ (|setShellEntry| $ 146
(CONS (|dispatchFunction| |UPOLYC-;separate;2SR;32|)
$)))))
(COND
((|testBitVector| |pv$| 5)
- (|setShellEntry| $ 134
+ (|setShellEntry| $ 151
(CONS (|dispatchFunction|
|UPOLYC-;differentiate;SM2S;33|)
$)))
('T
(PROGN
- (|setShellEntry| $ 134
+ (|setShellEntry| $ 151
(CONS (|dispatchFunction|
|UPOLYC-;differentiate;SM2S;35|)
$)))))
(COND
((|testBitVector| |pv$| 4)
(PROGN
- (|setShellEntry| $ 147
+ (|setShellEntry| $ 166
(CONS (|dispatchFunction| |UPOLYC-;elt;3F;39|) $))
- (|setShellEntry| $ 151
+ (|setShellEntry| $ 172
(CONS (|dispatchFunction|
|UPOLYC-;pseudoQuotient;3S;40|)
$))
- (|setShellEntry| $ 153
+ (|setShellEntry| $ 174
(CONS (|dispatchFunction|
|UPOLYC-;pseudoDivide;2SR;41|)
$))
- (|setShellEntry| $ 157
+ (|setShellEntry| $ 178
(CONS (|dispatchFunction| |UPOLYC-;composite;FSU;42|)
$))
- (|setShellEntry| $ 161
+ (|setShellEntry| $ 182
(CONS (|dispatchFunction| |UPOLYC-;composite;2SU;43|)
$))
- (|setShellEntry| $ 168
+ (|setShellEntry| $ 189
(CONS (|dispatchFunction| |UPOLYC-;elt;S2F;44|) $))
- (|setShellEntry| $ 169
+ (|setShellEntry| $ 190
(CONS (|dispatchFunction| |UPOLYC-;order;2SNni;45|) $)))))
(COND
((|testBitVector| |pv$| 3)
(PROGN
- (|setShellEntry| $ 172
+ (|setShellEntry| $ 193
(CONS (|dispatchFunction| |UPOLYC-;squareFree;SF;46|)
$))
- (|setShellEntry| $ 174
+ (|setShellEntry| $ 195
(CONS (|dispatchFunction|
|UPOLYC-;squareFreePart;2S;47|)
$)))))
(COND
((|HasCategory| |#2| '(|PolynomialFactorizationExplicit|))
(PROGN
- (|setShellEntry| $ 181
+ (|setShellEntry| $ 202
(CONS (|dispatchFunction|
|UPOLYC-;gcdPolynomial;3Sup;48|)
$))
- (|setShellEntry| $ 184
+ (|setShellEntry| $ 205
(CONS (|dispatchFunction|
|UPOLYC-;squareFreePolynomial;SupF;49|)
$)))))
(COND
((|testBitVector| |pv$| 2)
(PROGN
- (|setShellEntry| $ 186
+ (|setShellEntry| $ 207
(CONS (|dispatchFunction| |UPOLYC-;elt;F2R;50|) $))
- (|setShellEntry| $ 187
+ (|setShellEntry| $ 208
(CONS (|dispatchFunction|
|UPOLYC-;euclideanSize;SNni;51|)
$))
- (|setShellEntry| $ 190
+ (|setShellEntry| $ 212
(CONS (|dispatchFunction| |UPOLYC-;divide;2SR;52|) $)))))
(COND
((|testBitVector| |pv$| 1)
- (|setShellEntry| $ 196
+ (|setShellEntry| $ 218
(CONS (|dispatchFunction| |UPOLYC-;integrate;2S;53|) $))))
$))))
(MAKEPROP '|UnivariatePolynomialCategory&| '|infovec|
(LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
(|Boolean|) (0 . |zero?|) (|NonNegativeInteger|)
- (5 . |degree|) (|SingletonAsOrderedSet|) (10 . |create|)
- (|List| 12) |UPOLYC-;variables;SL;1|
- |UPOLYC-;degree;SSaosNni;2| (14 . |totalDegree|)
- |UPOLYC-;totalDegree;SLNni;3| (|List| 10)
- |UPOLYC-;degree;SLL;4| (19 . |eval|) (|List| $)
- |UPOLYC-;eval;SLLS;5| (26 . |elt|)
- |UPOLYC-;eval;SSaos2S;6| (32 . |eval|) (|List| 7)
- |UPOLYC-;eval;SLLS;7| (39 . |elt|) (45 . |coerce|)
- |UPOLYC-;eval;SSaosRS;8| (|Equation| 6) (50 . |lhs|)
- (|Union| 12 '"failed") (55 . |mainVariable|) (60 . |rhs|)
- (|Equation| $) (|List| 37) |UPOLYC-;eval;SLS;9|
- |UPOLYC-;mainVariable;SU;10| (65 . |minimumDegree|)
+ (5 . |degree|) (10 . |zero?|) (|SingletonAsOrderedSet|)
+ (15 . |create|) (|List| 13) |UPOLYC-;variables;SL;1|
+ |UPOLYC-;degree;SSaosNni;2| (19 . |empty?|) (24 . |Zero|)
+ (28 . |totalDegree|) |UPOLYC-;totalDegree;SLNni;3|
+ (|List| 10) |UPOLYC-;degree;SLL;4| (33 . |rest|)
+ (38 . |first|) (|List| 6) (43 . |first|) (48 . |eval|)
+ (|List| $) |UPOLYC-;eval;SLLS;5| (55 . |elt|)
+ |UPOLYC-;eval;SSaos2S;6| (|List| 7) (61 . |first|)
+ (66 . |eval|) |UPOLYC-;eval;SLLS;7| (73 . |elt|)
+ (79 . |coerce|) |UPOLYC-;eval;SSaosRS;8| (|Equation| 6)
+ (|List| 40) (84 . |empty?|) (89 . |rest|) (94 . |first|)
+ (99 . |lhs|) (|Union| 13 '"failed") (104 . |mainVariable|)
+ (109 . |rhs|) (|Equation| $) (|List| 49)
+ |UPOLYC-;eval;SLS;9| |UPOLYC-;mainVariable;SU;10|
+ (114 . |minimumDegree|)
|UPOLYC-;minimumDegree;SSaosNni;11|
- |UPOLYC-;minimumDegree;SLL;12| (70 . +) (|Mapping| 10 10)
- (76 . |mapExponents|) |UPOLYC-;monomial;SSaosNniS;13|
- (82 . |One|) (86 . |One|) (90 . |monomial|)
- |UPOLYC-;coerce;SaosS;14| (|SparseUnivariatePolynomial| 7)
- (96 . |Zero|) (100 . |leadingCoefficient|)
- (105 . |monomial|) (111 . |reductum|) (116 . |makeSUP|)
- (121 . +) |UPOLYC-;makeSUP;SSup;15| (127 . |zero?|)
- (132 . |Zero|) (136 . |leadingCoefficient|)
- (141 . |degree|) (146 . |reductum|) (151 . |unmakeSUP|)
- (156 . +) |UPOLYC-;unmakeSUP;SupS;16|
+ |UPOLYC-;minimumDegree;SLL;12| (119 . +) (|Mapping| 10 10)
+ (125 . |mapExponents|) |UPOLYC-;monomial;SSaosNniS;13|
+ (131 . |One|) (135 . |One|) (139 . |One|)
+ (143 . |monomial|) |UPOLYC-;coerce;SaosS;14|
+ (|SparseUnivariatePolynomial| 7) (149 . |Zero|)
+ (153 . |leadingCoefficient|) (158 . |monomial|)
+ (164 . |reductum|) (169 . |makeSUP|) (174 . +)
+ |UPOLYC-;makeSUP;SSup;15| (180 . |zero?|) (185 . |Zero|)
+ (189 . |leadingCoefficient|) (194 . |degree|)
+ (199 . |reductum|) (204 . |unmakeSUP|) (209 . +)
+ |UPOLYC-;unmakeSUP;SupS;16|
(|Record| (|:| |quotient| $) (|:| |remainder| $))
- (162 . |monicDivide|) |UPOLYC-;karatsubaDivide;SNniR;17|
- |UPOLYC-;shiftRight;SNniS;18| (168 . *)
+ (215 . |monicDivide|) |UPOLYC-;karatsubaDivide;SNniR;17|
+ |UPOLYC-;shiftRight;SNniS;18| (221 . *)
|UPOLYC-;shiftLeft;SNniS;19|
- (|SparseUnivariatePolynomial| 6) (|List| 74)
- (|Union| 75 '"failed")
+ (|SparseUnivariatePolynomial| 6) (|List| 87)
+ (|Union| 88 '"failed")
(|PolynomialFactorizationByRecursionUnivariate| 7 6)
- (174 . |solveLinearPolynomialEquationByRecursion|)
- (|SparseUnivariatePolynomial| $) (|List| 79)
- (|Union| 80 '"failed")
- (180 . |solveLinearPolynomialEquation|) (|Factored| 74)
- (186 . |factorByRecursion|) (|Factored| 79)
- (191 . |factorPolynomial|)
- (196 . |factorSquareFreeByRecursion|)
- (201 . |factorSquareFreePolynomial|) (|Factored| $)
- (206 . |factor|) (|Factored| 7) (211 . |unit|)
+ (227 . |solveLinearPolynomialEquationByRecursion|)
+ (|SparseUnivariatePolynomial| $) (|List| 92)
+ (|Union| 93 '"failed")
+ (233 . |solveLinearPolynomialEquation|) (|Factored| 87)
+ (239 . |factorByRecursion|) (|Factored| 92)
+ (244 . |factorPolynomial|)
+ (249 . |factorSquareFreeByRecursion|)
+ (254 . |factorSquareFreePolynomial|) (|Factored| $)
+ (259 . |factor|) (|Factored| 7) (264 . |unit|)
(|Union| '"nil" '"sqfr" '"irred" '"prime") (|Integer|)
- (|Record| (|:| |flg| 93) (|:| |fctr| 7) (|:| |xpnt| 94))
- (|List| 95) (216 . |factorList|)
- (|Record| (|:| |flg| 93) (|:| |fctr| 6) (|:| |xpnt| 94))
- (|List| 98) (|Factored| 6) (221 . |makeFR|)
- (227 . |factorPolynomial|) (|Mapping| 6 52)
- (|Factored| 52) (|FactoredFunctions2| 52 6) (232 . |map|)
- (238 . |factor|) (243 . |Zero|) (|Vector| 7) (247 . |new|)
- (253 . |minIndex|) (258 . |coefficient|)
- (264 . |qsetelt!|) |UPOLYC-;vectorise;SNniV;24|
- |UPOLYC-;retract;SR;25| (|Union| 7 '"failed")
- |UPOLYC-;retractIfCan;SU;26| (271 . |init|) (275 . |init|)
- (|Union| $ '"failed") (279 . |nextItem|) (284 . |One|)
- (288 . |nextItem|) (293 . |content|) (298 . |content|)
- (304 . |gcd|) (310 . |exquo|) (316 . =)
+ (|Record| (|:| |flg| 106) (|:| |fctr| 7) (|:| |xpnt| 107))
+ (|List| 108) (269 . |factorList|)
+ (|Record| (|:| |flg| 106) (|:| |fctr| 6) (|:| |xpnt| 107))
+ (|List| 111) (|Factored| 6) (274 . |makeFR|)
+ (280 . |factorPolynomial|) (|Mapping| 6 65)
+ (|Factored| 65) (|FactoredFunctions2| 65 6) (285 . |map|)
+ (291 . |factor|) (296 . |Zero|) (|Vector| 7) (300 . |new|)
+ (306 . |minIndex|) (311 . |maxIndex|) (316 . -)
+ (322 . |coefficient|) (328 . |qsetelt!|)
+ |UPOLYC-;vectorise;SNniV;24| |UPOLYC-;retract;SR;25|
+ (|Union| 7 '"failed") |UPOLYC-;retractIfCan;SU;26|
+ (335 . |init|) (339 . |init|) (|Union| $ '"failed")
+ (343 . |nextItem|) (348 . |One|) (352 . <)
+ (358 . |nextItem|) (363 . |content|) (368 . |content|)
+ (374 . |gcd|) (380 . |exquo|) (386 . =)
(|Record| (|:| |primePart| $) (|:| |commonPart| $))
- (322 . |separate|) (328 . |Zero|) (332 . *)
- (|Mapping| 7 7) (338 . |differentiate|) (345 . *)
- (351 . |differentiate|) |UPOLYC-;differentiate;SMS;36|
- |UPOLYC-;differentiate;2S;37| (358 . |differentiate|)
+ (392 . |separate|) (398 . |Zero|) (402 . |Zero|) (406 . *)
+ (|Mapping| 7 7) (412 . |differentiate|)
+ (|PositiveInteger|) (419 . |One|) (423 . *)
+ (429 . |differentiate|) |UPOLYC-;differentiate;SMS;36|
+ |UPOLYC-;differentiate;2S;37| (436 . |differentiate|)
|UPOLYC-;differentiate;SSaosS;38| (|Fraction| 6)
- (363 . |numer|) (|Fraction| $) (368 . |elt|)
- (374 . |denom|) (379 . /) (385 . |elt|) (391 . **)
- (397 . |pseudoRemainder|) (403 . -)
- (409 . |pseudoQuotient|)
+ (441 . |numer|) (|Fraction| $) (446 . |elt|)
+ (452 . |denom|) (457 . /) (463 . |elt|) (469 . +)
+ (475 . <) (481 . **) (487 . |pseudoRemainder|) (493 . -)
+ (499 . |pseudoQuotient|)
(|Record| (|:| |coef| 7) (|:| |quotient| $)
(|:| |remainder| $))
- (415 . |pseudoDivide|) (421 . |composite|) (427 . /)
- (|Union| 143 '"failed") (433 . |composite|)
- (439 . |ground?|) (444 . |pseudoDivide|) (450 . |exquo|)
- (456 . |composite|) (462 . |Zero|) (466 . |coerce|)
- (471 . **) (477 . *) (483 . +) (489 . **) (495 . |elt|)
- (501 . |order|) (|UnivariatePolynomialSquareFree| 7 6)
- (507 . |squareFree|) (512 . |squareFree|)
- (517 . |squareFreePart|) (522 . |squareFreePart|)
- (527 . |zero?|) (532 . |unitCanonical|) (537 . |content|)
- (542 . |primitivePart|) (547 . |subResultantGcd|)
- (553 . *) (559 . |gcdPolynomial|)
- (|UnivariatePolynomialSquareFree| 6 74)
- (565 . |squareFree|) (570 . |squareFreePolynomial|)
- (575 . /) (581 . |elt|) (587 . |euclideanSize|)
- (592 . |inv|) (597 . *) (603 . |divide|) (609 . ~=)
- (|Fraction| 94) (615 . |coerce|) (620 . |inv|) (625 . *)
- (631 . |integrate|) (|Symbol|) (|List| 197)
- (|Union| 94 '"failed") (|Union| 192 '"failed")
+ (505 . |pseudoDivide|) (511 . |composite|) (517 . /)
+ (|Union| 162 '"failed") (523 . |composite|)
+ (529 . |ground?|) (534 . |pseudoDivide|) (540 . |exquo|)
+ (546 . |composite|) (552 . |Zero|) (556 . |coerce|)
+ (561 . **) (567 . *) (573 . +) (579 . **) (585 . |elt|)
+ (591 . |order|) (|UnivariatePolynomialSquareFree| 7 6)
+ (597 . |squareFree|) (602 . |squareFree|)
+ (607 . |squareFreePart|) (612 . |squareFreePart|)
+ (617 . |zero?|) (622 . |unitCanonical|) (627 . |content|)
+ (632 . |primitivePart|) (637 . |subResultantGcd|)
+ (643 . *) (649 . |gcdPolynomial|)
+ (|UnivariatePolynomialSquareFree| 6 87)
+ (655 . |squareFree|) (660 . |squareFreePolynomial|)
+ (665 . /) (671 . |elt|) (677 . |euclideanSize|)
+ (682 . |inv|) (687 . |false|) (691 . *) (697 . |divide|)
+ (703 . ~=) (|Fraction| 107) (709 . |coerce|) (714 . |inv|)
+ (719 . *) (725 . |integrate|) (|Symbol|) (|List| 219)
+ (|Union| 107 '"failed") (|Union| 214 '"failed")
(|OutputForm|))
- '#(|vectorise| 636 |variables| 642 |unmakeSUP| 647
- |totalDegree| 652 |squareFreePolynomial| 658
- |squareFreePart| 663 |squareFree| 668
- |solveLinearPolynomialEquation| 673 |shiftRight| 679
- |shiftLeft| 685 |separate| 691 |retractIfCan| 697
- |retract| 702 |pseudoQuotient| 707 |pseudoDivide| 713
- |order| 719 |nextItem| 725 |monomial| 730 |minimumDegree|
- 737 |makeSUP| 749 |mainVariable| 754 |karatsubaDivide| 759
- |integrate| 765 |init| 770 |gcdPolynomial| 774
- |factorSquareFreePolynomial| 780 |factorPolynomial| 785
- |factor| 790 |eval| 795 |euclideanSize| 829 |elt| 834
- |divide| 852 |differentiate| 858 |degree| 882 |content|
- 894 |composite| 900 |coerce| 912)
+ '#(|vectorise| 730 |variables| 736 |unmakeSUP| 741
+ |totalDegree| 746 |squareFreePolynomial| 752
+ |squareFreePart| 757 |squareFree| 762
+ |solveLinearPolynomialEquation| 767 |shiftRight| 773
+ |shiftLeft| 779 |separate| 785 |retractIfCan| 791
+ |retract| 796 |pseudoQuotient| 801 |pseudoDivide| 807
+ |order| 813 |nextItem| 819 |monomial| 824 |minimumDegree|
+ 831 |makeSUP| 843 |mainVariable| 848 |karatsubaDivide| 853
+ |integrate| 859 |init| 864 |gcdPolynomial| 868
+ |factorSquareFreePolynomial| 874 |factorPolynomial| 879
+ |factor| 884 |eval| 889 |euclideanSize| 923 |elt| 928
+ |divide| 946 |differentiate| 952 |degree| 976 |content|
+ 988 |composite| 994 |coerce| 1006)
'NIL
(CONS (|makeByteWordVec2| 1 'NIL)
(CONS '#()
(CONS '#()
- (|makeByteWordVec2| 196
- '(1 6 8 0 9 1 6 10 0 11 0 12 0 13 1 6
- 10 0 17 3 6 0 0 12 0 21 2 6 0 0 0 24
- 3 6 0 0 12 7 26 2 6 7 0 7 29 1 6 0 7
- 30 1 32 6 0 33 1 6 34 0 35 1 32 6 0
- 36 1 6 10 0 41 2 10 0 0 0 44 2 6 0 45
- 0 46 0 6 0 48 0 7 0 49 2 6 0 7 10 50
- 0 52 0 53 1 6 7 0 54 2 52 0 7 10 55 1
- 6 0 0 56 1 6 52 0 57 2 52 0 0 0 58 1
- 52 8 0 60 0 6 0 61 1 52 7 0 62 1 52
- 10 0 63 1 52 0 0 64 1 6 0 52 65 2 6 0
- 0 0 66 2 6 68 0 0 69 2 6 0 0 0 72 2
- 77 76 75 74 78 2 0 81 80 79 82 1 77
- 83 74 84 1 0 85 79 86 1 77 83 74 87 1
- 0 85 79 88 1 7 89 0 90 1 91 7 0 92 1
- 91 96 0 97 2 100 0 6 99 101 1 7 85 79
- 102 2 105 100 103 104 106 1 0 89 0
- 107 0 7 0 108 2 109 0 10 7 110 1 109
- 94 0 111 2 6 7 0 10 112 3 109 7 0 94
- 7 113 0 7 0 118 0 0 0 119 1 7 120 0
- 121 0 74 0 122 1 0 120 0 123 1 6 7 0
- 124 2 0 0 0 12 125 2 6 0 0 0 126 2 6
- 120 0 0 127 2 6 8 0 0 128 2 0 129 0 0
- 130 0 74 0 131 2 7 0 10 0 132 3 0 0 0
- 133 0 134 2 6 0 7 0 135 3 6 0 0 133 0
- 136 1 6 0 0 139 1 141 6 0 142 2 6 143
- 0 143 144 1 141 6 0 145 2 141 0 0 0
- 146 2 0 143 143 143 147 2 7 0 0 10
- 148 2 6 0 0 0 149 2 6 0 0 0 150 2 0 0
- 0 0 151 2 0 152 0 0 153 2 6 120 0 0
- 154 2 141 0 6 6 155 2 0 156 143 0 157
- 1 6 8 0 158 2 6 152 0 0 159 2 6 120 0
- 7 160 2 0 120 0 0 161 0 141 0 162 1
- 141 0 6 163 2 141 0 0 94 164 2 141 0
- 0 0 165 2 141 0 0 0 166 2 141 0 0 10
- 167 2 0 143 0 143 168 2 0 10 0 0 169
- 1 170 100 6 171 1 0 89 0 172 1 170 6
- 6 173 1 0 0 0 174 1 74 8 0 175 1 74 0
- 0 176 1 74 6 0 177 1 74 0 0 178 2 74
- 0 0 0 179 2 74 0 6 0 180 2 0 79 79 79
- 181 1 182 83 74 183 1 0 85 79 184 2 7
- 0 0 0 185 2 0 7 143 7 186 1 0 10 0
- 187 1 7 0 0 188 2 7 0 0 0 189 2 0 68
- 0 0 190 2 6 8 0 0 191 1 192 0 94 193
- 1 192 0 0 194 2 6 0 192 0 195 1 0 0 0
- 196 2 0 109 0 10 114 1 0 14 0 15 1 0
- 0 52 67 2 0 10 0 14 18 1 0 85 79 184
- 1 0 0 0 174 1 0 89 0 172 2 0 81 80 79
- 82 2 0 0 0 10 71 2 0 0 0 10 73 2 0
- 129 0 0 130 1 0 116 0 117 1 0 7 0 115
- 2 0 0 0 0 151 2 0 152 0 0 153 2 0 10
- 0 0 169 1 0 120 0 123 3 0 0 0 12 10
- 47 2 0 19 0 14 43 2 0 10 0 12 42 1 0
- 52 0 59 1 0 34 0 40 2 0 68 0 10 70 1
- 0 0 0 196 0 0 0 119 2 0 79 79 79 181
- 1 0 85 79 88 1 0 85 79 86 1 0 89 0
- 107 3 0 0 0 12 0 25 3 0 0 0 14 22 23
- 3 0 0 0 14 27 28 3 0 0 0 12 7 31 2 0
- 0 0 38 39 1 0 10 0 187 2 0 143 0 143
- 168 2 0 7 143 7 186 2 0 143 143 143
- 147 2 0 68 0 0 190 3 0 0 0 133 0 134
- 2 0 0 0 133 137 1 0 0 0 138 2 0 0 0
- 12 140 2 0 10 0 12 16 2 0 19 0 14 20
- 2 0 0 0 12 125 2 0 120 0 0 161 2 0
- 156 143 0 157 1 0 0 12 51)))))
+ (|makeByteWordVec2| 218
+ '(1 6 8 0 9 1 6 10 0 11 1 10 8 0 12 0
+ 13 0 14 1 15 8 0 18 0 10 0 19 1 6 10
+ 0 20 1 15 0 0 24 1 15 13 0 25 1 26 6
+ 0 27 3 6 0 0 13 0 28 2 6 0 0 0 31 1
+ 33 7 0 34 3 6 0 0 13 7 35 2 6 7 0 7
+ 37 1 6 0 7 38 1 41 8 0 42 1 41 0 0 43
+ 1 41 40 0 44 1 40 6 0 45 1 6 46 0 47
+ 1 40 6 0 48 1 6 10 0 53 2 10 0 0 0 56
+ 2 6 0 57 0 58 0 6 0 60 0 7 0 61 0 10
+ 0 62 2 6 0 7 10 63 0 65 0 66 1 6 7 0
+ 67 2 65 0 7 10 68 1 6 0 0 69 1 6 65 0
+ 70 2 65 0 0 0 71 1 65 8 0 73 0 6 0 74
+ 1 65 7 0 75 1 65 10 0 76 1 65 0 0 77
+ 1 6 0 65 78 2 6 0 0 0 79 2 6 81 0 0
+ 82 2 6 0 0 0 85 2 90 89 88 87 91 2 0
+ 94 93 92 95 1 90 96 87 97 1 0 98 92
+ 99 1 90 96 87 100 1 0 98 92 101 1 7
+ 102 0 103 1 104 7 0 105 1 104 109 0
+ 110 2 113 0 6 112 114 1 7 98 92 115 2
+ 118 113 116 117 119 1 0 102 0 120 0 7
+ 0 121 2 122 0 10 7 123 1 122 107 0
+ 124 1 122 107 0 125 2 107 0 0 0 126 2
+ 6 7 0 10 127 3 122 7 0 107 7 128 0 7
+ 0 133 0 0 0 134 1 7 135 0 136 0 87 0
+ 137 2 10 8 0 0 138 1 0 135 0 139 1 6
+ 7 0 140 2 0 0 0 13 141 2 6 0 0 0 142
+ 2 6 135 0 0 143 2 6 8 0 0 144 2 0 145
+ 0 0 146 0 87 0 147 0 107 0 148 2 7 0
+ 10 0 149 3 0 0 0 150 0 151 0 152 0
+ 153 2 6 0 7 0 154 3 6 0 0 150 0 155 1
+ 6 0 0 158 1 160 6 0 161 2 6 162 0 162
+ 163 1 160 6 0 164 2 160 0 0 0 165 2 0
+ 162 162 162 166 2 107 0 0 0 167 2 107
+ 8 0 0 168 2 7 0 0 10 169 2 6 0 0 0
+ 170 2 6 0 0 0 171 2 0 0 0 0 172 2 0
+ 173 0 0 174 2 6 135 0 0 175 2 160 0 6
+ 6 176 2 0 177 162 0 178 1 6 8 0 179 2
+ 6 173 0 0 180 2 6 135 0 7 181 2 0 135
+ 0 0 182 0 160 0 183 1 160 0 6 184 2
+ 160 0 0 107 185 2 160 0 0 0 186 2 160
+ 0 0 0 187 2 160 0 0 10 188 2 0 162 0
+ 162 189 2 0 10 0 0 190 1 191 113 6
+ 192 1 0 102 0 193 1 191 6 6 194 1 0 0
+ 0 195 1 87 8 0 196 1 87 0 0 197 1 87
+ 6 0 198 1 87 0 0 199 2 87 0 0 0 200 2
+ 87 0 6 0 201 2 0 92 92 92 202 1 203
+ 96 87 204 1 0 98 92 205 2 7 0 0 0 206
+ 2 0 7 162 7 207 1 0 10 0 208 1 7 0 0
+ 209 0 8 0 210 2 7 0 0 0 211 2 0 81 0
+ 0 212 2 6 8 0 0 213 1 214 0 107 215 1
+ 214 0 0 216 2 6 0 214 0 217 1 0 0 0
+ 218 2 0 122 0 10 129 1 0 15 0 16 1 0
+ 0 65 80 2 0 10 0 15 21 1 0 98 92 205
+ 1 0 0 0 195 1 0 102 0 193 2 0 94 93
+ 92 95 2 0 0 0 10 84 2 0 0 0 10 86 2 0
+ 145 0 0 146 1 0 131 0 132 1 0 7 0 130
+ 2 0 0 0 0 172 2 0 173 0 0 174 2 0 10
+ 0 0 190 1 0 135 0 139 3 0 0 0 13 10
+ 59 2 0 22 0 15 55 2 0 10 0 13 54 1 0
+ 65 0 72 1 0 46 0 52 2 0 81 0 10 83 1
+ 0 0 0 218 0 0 0 134 2 0 92 92 92 202
+ 1 0 98 92 101 1 0 98 92 99 1 0 102 0
+ 120 3 0 0 0 13 0 32 3 0 0 0 15 29 30
+ 3 0 0 0 15 33 36 3 0 0 0 13 7 39 2 0
+ 0 0 50 51 1 0 10 0 208 2 0 162 0 162
+ 189 2 0 7 162 7 207 2 0 162 162 162
+ 166 2 0 81 0 0 212 3 0 0 0 150 0 151
+ 2 0 0 0 150 156 1 0 0 0 157 2 0 0 0
+ 13 159 2 0 10 0 13 17 2 0 22 0 15 23
+ 2 0 0 0 13 141 2 0 135 0 0 182 2 0
+ 177 162 0 178 1 0 0 13 64)))))
'|lookupComplete|))