From c42526006076b88ff2755f33eb1defd2e455e67e Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 1 Mar 2009 05:22:19 +0000 Subject: Optimization should not change slot numbers. --- src/algebra/strap/UPOLYC-.lsp | 803 +++++++++++++++++++++--------------------- 1 file changed, 408 insertions(+), 395 deletions(-) (limited to 'src/algebra/strap/UPOLYC-.lsp') 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|)) -- cgit v1.2.3