From 3b24f6e21fc68e562a47f36a4a693391da50fdf3 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 24 Apr 2009 11:40:17 +0000 Subject: * algebra/strap/UPOLYC.lsp: Remove. * algebra/strap/UPOLYC-.lsp: Likewise. --- src/algebra/strap/UPOLYC-.lsp | 1425 ----------------------------------------- src/algebra/strap/UPOLYC.lsp | 157 ----- 2 files changed, 1582 deletions(-) delete mode 100644 src/algebra/strap/UPOLYC-.lsp delete mode 100644 src/algebra/strap/UPOLYC.lsp (limited to 'src/algebra/strap') diff --git a/src/algebra/strap/UPOLYC-.lsp b/src/algebra/strap/UPOLYC-.lsp deleted file mode 100644 index c6538499..00000000 --- a/src/algebra/strap/UPOLYC-.lsp +++ /dev/null @@ -1,1425 +0,0 @@ - -(/VERSIONCHECK 2) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%List|) - |UPOLYC-;variables;SL;1|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) - (|%IntegerSection| 0)) - |UPOLYC-;degree;SSaosNni;2|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) - (|%IntegerSection| 0)) - |UPOLYC-;totalDegree;SLNni;3|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%List|) - |UPOLYC-;degree;SLL;4|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%List| |%Shell|) |%Thing|) - |UPOLYC-;eval;SLLS;5|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|) - |%Thing|) - |UPOLYC-;eval;SSaos2S;6|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%List| |%Shell|) |%Thing|) - |UPOLYC-;eval;SLLS;7|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|) - |%Thing|) - |UPOLYC-;eval;SSaosRS;8|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%Thing|) - |UPOLYC-;eval;SLS;9|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Pair|) - |UPOLYC-;mainVariable;SU;10|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) - (|%IntegerSection| 0)) - |UPOLYC-;minimumDegree;SSaosNni;11|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%List|) - |UPOLYC-;minimumDegree;SLL;12|)) - -(DECLAIM (FTYPE (FUNCTION - (|%Thing| |%Thing| (|%IntegerSection| 0) |%Shell|) - |%Thing|) - |UPOLYC-;monomial;SSaosNniS;13|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |UPOLYC-;coerce;SaosS;14|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |UPOLYC-;makeSUP;SSup;15|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |UPOLYC-;unmakeSUP;SupS;16|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| (|%IntegerSection| 0) |%Shell|) - |%Pair|) - |UPOLYC-;karatsubaDivide;SNniR;17|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| (|%IntegerSection| 0) |%Shell|) - |%Thing|) - |UPOLYC-;shiftRight;SNniS;18|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| (|%IntegerSection| 0) |%Shell|) - |%Thing|) - |UPOLYC-;shiftLeft;SNniS;19|)) - -(DECLAIM (FTYPE (FUNCTION (|%List| |%Thing| |%Shell|) |%Pair|) - |UPOLYC-;solveLinearPolynomialEquation;LSupU;20|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |UPOLYC-;factorPolynomial;SupF;21|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |UPOLYC-;factorSquareFreePolynomial;SupF;22|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |UPOLYC-;factor;SF;23|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| (|%IntegerSection| 0) |%Shell|) - (|%Vector| *)) - |UPOLYC-;vectorise;SNniV;24|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |UPOLYC-;retract;SR;25|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Pair|) - |UPOLYC-;retractIfCan;SU;26|)) - -(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Thing|) |UPOLYC-;init;S;27|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Pair|) - |UPOLYC-;nextItemInner|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Pair|) - |UPOLYC-;nextItem;SU;29|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |UPOLYC-;content;SSaosS;30|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |UPOLYC-;primeFactor|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Pair|) - |UPOLYC-;separate;2SR;32|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|) - |%Thing|) - |UPOLYC-;differentiate;SM2S;33|)) - -(DECLAIM (FTYPE (FUNCTION ((|%IntegerSection| 0) |%Thing| |%Shell|) - |%Thing|) - |UPOLYC-;ncdiff|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|) - |%Thing|) - |UPOLYC-;differentiate;SM2S;35|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |UPOLYC-;differentiate;SMS;36|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |UPOLYC-;differentiate;2S;37|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |UPOLYC-;differentiate;SSaosS;38|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |UPOLYC-;elt;3F;39|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |UPOLYC-;pseudoQuotient;3S;40|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Shell|) - |UPOLYC-;pseudoDivide;2SR;41|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Pair|) - |UPOLYC-;composite;FSU;42|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Pair|) - |UPOLYC-;composite;2SU;43|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |UPOLYC-;elt;S2F;44|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) - (|%IntegerSection| 0)) - |UPOLYC-;order;2SNni;45|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |UPOLYC-;squareFree;SF;46|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |UPOLYC-;squareFreePart;2S;47|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |UPOLYC-;gcdPolynomial;3Sup;48|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |UPOLYC-;squareFreePolynomial;SupF;49|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |UPOLYC-;elt;F2R;50|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) (|%IntegerSection| 0)) - |UPOLYC-;euclideanSize;SNni;51|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Pair|) - |UPOLYC-;divide;2SR;52|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |UPOLYC-;integrate;2S;53|)) - -(DEFUN |UPOLYC-;variables;SL;1| (|p| $) - (COND - ((OR (SPADCALL |p| (|getShellEntry| $ 9)) - (ZEROP (SPADCALL |p| (|getShellEntry| $ 11)))) - NIL) - ('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| $ 20))))) - -(DEFUN |UPOLYC-;degree;SLL;4| (|p| |lv| $) - (COND - ((NULL |lv|) NIL) - ('T (LIST (SPADCALL |p| (|getShellEntry| $ 11)))))) - -(DEFUN |UPOLYC-;eval;SLLS;5| (|p| |lv| |lq| $) - (COND - ((NULL |lv|) |p|) - ((NOT (NULL (CDR |lv|))) - (|error| "can only eval a univariate polynomial once")) - ('T - (SPADCALL |p| (|SPADfirst| |lv|) (|SPADfirst| |lq|) - (|getShellEntry| $ 28))))) - -(DEFUN |UPOLYC-;eval;SSaos2S;6| (|p| |v| |q| $) - (SPADCALL |p| |q| (|getShellEntry| $ 31))) - -(DEFUN |UPOLYC-;eval;SLLS;7| (|p| |lv| |lr| $) - (COND - ((NULL |lv|) |p|) - ((NOT (NULL (CDR |lv|))) - (|error| "can only eval a univariate polynomial once")) - ('T - (SPADCALL |p| (|SPADfirst| |lv|) (|SPADfirst| |lr|) - (|getShellEntry| $ 35))))) - -(DEFUN |UPOLYC-;eval;SSaosRS;8| (|p| |v| |r| $) - (SPADCALL (SPADCALL |p| |r| (|getShellEntry| $ 37)) - (|getShellEntry| $ 38))) - -(DEFUN |UPOLYC-;eval;SLS;9| (|p| |le| $) - (COND - ((NULL |le|) |p|) - ((NOT (NULL (CDR |le|))) - (|error| "can only eval a univariate polynomial once")) - ('T - (COND - ((QEQCAR (SPADCALL - (SPADCALL (|SPADfirst| |le|) - (|getShellEntry| $ 45)) - (|getShellEntry| $ 47)) - 1) - |p|) - ('T - (SPADCALL |p| - (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| $ 14)))))) - -(DEFUN |UPOLYC-;minimumDegree;SSaosNni;11| (|p| |v| $) - (SPADCALL |p| (|getShellEntry| $ 53))) - -(DEFUN |UPOLYC-;minimumDegree;SLL;12| (|p| |lv| $) - (COND - ((NULL |lv|) NIL) - ('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| $ 58))) - -(DEFUN |UPOLYC-;monomial;SSaosNniS;13!0| (|#1| $$) - (SPADCALL |#1| (|getShellEntry| $$ 1) - (|getShellEntry| (|getShellEntry| $$ 0) 56))) - -(DEFUN |UPOLYC-;coerce;SaosS;14| (|v| $) - (SPADCALL (|spadConstant| $ 61) 1 (|getShellEntry| $ 63))) - -(DEFUN |UPOLYC-;makeSUP;SSup;15| (|p| $) - (COND - ((SPADCALL |p| (|getShellEntry| $ 9)) (|spadConstant| $ 66)) - ('T - (SPADCALL - (SPADCALL (SPADCALL |p| (|getShellEntry| $ 67)) - (SPADCALL |p| (|getShellEntry| $ 11)) - (|getShellEntry| $ 68)) - (SPADCALL (SPADCALL |p| (|getShellEntry| $ 69)) - (|getShellEntry| $ 70)) - (|getShellEntry| $ 71))))) - -(DEFUN |UPOLYC-;unmakeSUP;SupS;16| (|sp| $) - (COND - ((SPADCALL |sp| (|getShellEntry| $ 73)) (|spadConstant| $ 74)) - ('T - (SPADCALL - (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| $ 61) |n| (|getShellEntry| $ 63)) - (|getShellEntry| $ 82))) - -(DEFUN |UPOLYC-;shiftRight;SNniS;18| (|p| |n| $) - (QCAR (SPADCALL |p| - (SPADCALL (|spadConstant| $ 61) |n| (|getShellEntry| $ 63)) - (|getShellEntry| $ 82)))) - -(DEFUN |UPOLYC-;shiftLeft;SNniS;19| (|p| |n| $) - (SPADCALL |p| - (SPADCALL (|spadConstant| $ 61) |n| (|getShellEntry| $ 63)) - (|getShellEntry| $ 85))) - -(DEFUN |UPOLYC-;solveLinearPolynomialEquation;LSupU;20| (|lpp| |pp| $) - (SPADCALL |lpp| |pp| (|getShellEntry| $ 91))) - -(DEFUN |UPOLYC-;factorPolynomial;SupF;21| (|pp| $) - (SPADCALL |pp| (|getShellEntry| $ 97))) - -(DEFUN |UPOLYC-;factorSquareFreePolynomial;SupF;22| (|pp| $) - (SPADCALL |pp| (|getShellEntry| $ 100))) - -(DEFUN |UPOLYC-;factor;SF;23| (|p| $) - (PROG (|ansR| #0=#:G1691 |w| #1=#:G1692) - (RETURN - (SEQ (COND - ((ZEROP (SPADCALL |p| (|getShellEntry| $ 11))) - (SEQ (LETT |ansR| - (SPADCALL - (SPADCALL |p| (|getShellEntry| $ 67)) - (|getShellEntry| $ 103)) - |UPOLYC-;factor;SF;23|) - (EXIT (SPADCALL - (SPADCALL - (SPADCALL |ansR| - (|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| $ 110)) - |UPOLYC-;factor;SF;23|) - G190 - (COND - ((OR (ATOM #1#) - (PROGN - (LETT |w| (CAR #1#) - |UPOLYC-;factor;SF;23|) - NIL)) - (GO G191))) - (SEQ - (EXIT - (LETT #0# - (CONS - (VECTOR (QVELT |w| 0) - (SPADCALL (QVELT |w| 1) - (|getShellEntry| $ 38)) - (QVELT |w| 2)) - #0#) - |UPOLYC-;factor;SF;23|))) - (LETT #1# (CDR #1#) - |UPOLYC-;factor;SF;23|) - (GO G190) G191 - (EXIT (NREVERSE0 #0#)))) - (|getShellEntry| $ 114))))) - ('T - (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) - (RETURN - (SEQ (LETT |m| - (SPADCALL - (LETT |v| - (SPADCALL |n| (|spadConstant| $ 121) - (|getShellEntry| $ 123)) - |UPOLYC-;vectorise;SNniV;24|) - (|getShellEntry| $ 124)) - |UPOLYC-;vectorise;SNniV;24|) - (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))) - (SEQ (EXIT (SPADCALL |v| |i| - (SPADCALL |p| - (PROG1 - (LETT #1# (- |i| |m|) - |UPOLYC-;vectorise;SNniV;24|) - (|check-subtype| - (COND - ((< #1# 0) 'NIL) - ('T 'T)) - '(|NonNegativeInteger|) - #1#)) - (|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| $ 121)) - ((ZEROP (SPADCALL |p| (|getShellEntry| $ 11))) - (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| $ 121))) - ((ZEROP (SPADCALL |p| (|getShellEntry| $ 11))) - (CONS 0 (SPADCALL |p| (|getShellEntry| $ 67)))) - ('T (CONS 1 "failed")))) - -(DEFUN |UPOLYC-;init;S;27| ($) - (SPADCALL (|spadConstant| $ 133) (|getShellEntry| $ 38))) - -(DEFUN |UPOLYC-;nextItemInner| (|n| $) - (PROG (|nn| |n1| |n2| #0=#:G1546 |n3|) - (RETURN - (SEQ (COND - ((SPADCALL |n| (|getShellEntry| $ 9)) - (CONS 0 - (SPADCALL - (PROG2 (LETT #0# - (SPADCALL (|spadConstant| $ 121) - (|getShellEntry| $ 136)) - |UPOLYC-;nextItemInner|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) - (|getShellEntry| $ 7) #0#)) - (|getShellEntry| $ 38)))) - ((ZEROP (SPADCALL |n| (|getShellEntry| $ 11))) - (SEQ (LETT |nn| - (SPADCALL - (SPADCALL |n| (|getShellEntry| $ 67)) - (|getShellEntry| $ 136)) - |UPOLYC-;nextItemInner|) - (EXIT (COND - ((QEQCAR |nn| 1) (CONS 1 "failed")) - ('T - (CONS 0 - (SPADCALL (QCDR |nn|) - (|getShellEntry| $ 38)))))))) - ('T - (SEQ (LETT |n1| (SPADCALL |n| (|getShellEntry| $ 69)) - |UPOLYC-;nextItemInner|) - (LETT |n2| (|UPOLYC-;nextItemInner| |n1| $) - |UPOLYC-;nextItemInner|) - (EXIT (COND - ((QEQCAR |n2| 0) - (CONS 0 - (SPADCALL - (SPADCALL - (SPADCALL |n| - (|getShellEntry| $ 67)) - (SPADCALL |n| - (|getShellEntry| $ 11)) - (|getShellEntry| $ 63)) - (QCDR |n2|) - (|getShellEntry| $ 79)))) - ((< (+ 1 - (SPADCALL |n1| - (|getShellEntry| $ 11))) - (SPADCALL |n| (|getShellEntry| $ 11))) - (CONS 0 - (SPADCALL - (SPADCALL - (SPADCALL |n| - (|getShellEntry| $ 67)) - (SPADCALL |n| - (|getShellEntry| $ 11)) - (|getShellEntry| $ 63)) - (SPADCALL - (PROG2 - (LETT #0# - (SPADCALL - (|spadConstant| $ 133) - (|getShellEntry| $ 136)) - |UPOLYC-;nextItemInner|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) - (|getShellEntry| $ 7) #0#)) - (+ 1 - (SPADCALL |n1| - (|getShellEntry| $ 11))) - (|getShellEntry| $ 63)) - (|getShellEntry| $ 79)))) - ('T - (SEQ (LETT |n3| - (SPADCALL - (SPADCALL |n| - (|getShellEntry| $ 67)) - (|getShellEntry| $ 136)) - |UPOLYC-;nextItemInner|) - (EXIT (COND - ((QEQCAR |n3| 1) - (CONS 1 "failed")) - ('T - (CONS 0 - (SPADCALL (QCDR |n3|) - (SPADCALL |n| - (|getShellEntry| $ 11)) - (|getShellEntry| $ 63))))))))))))))))) - -(DEFUN |UPOLYC-;nextItem;SU;29| (|n| $) - (PROG (|n1| #0=#:G1559) - (RETURN - (SEQ (LETT |n1| (|UPOLYC-;nextItemInner| |n| $) - |UPOLYC-;nextItem;SU;29|) - (EXIT (COND - ((QEQCAR |n1| 1) - (CONS 0 - (SPADCALL - (PROG2 (LETT #0# - (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| $ 63)))) - ('T |n1|))))))) - -(DEFUN |UPOLYC-;content;SSaosS;30| (|p| |v| $) - (SPADCALL (SPADCALL |p| (|getShellEntry| $ 140)) - (|getShellEntry| $ 38))) - -(DEFUN |UPOLYC-;primeFactor| (|p| |q| $) - (PROG (#0=#:G1565 |p1|) - (RETURN - (SEQ (LETT |p1| - (PROG2 (LETT #0# - (SPADCALL |p| - (SPADCALL |p| |q| - (|getShellEntry| $ 142)) - (|getShellEntry| $ 143)) - |UPOLYC-;primeFactor|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) (|getShellEntry| $ 6) - #0#)) - |UPOLYC-;primeFactor|) - (EXIT (COND - ((SPADCALL |p1| |p| (|getShellEntry| $ 144)) |p|) - ('T (|UPOLYC-;primeFactor| |p1| |q| $)))))))) - -(DEFUN |UPOLYC-;separate;2SR;32| (|p| |q| $) - (PROG (|a| #0=#:G1571) - (RETURN - (SEQ (LETT |a| (|UPOLYC-;primeFactor| |p| |q| $) - |UPOLYC-;separate;2SR;32|) - (EXIT (CONS |a| - (PROG2 (LETT #0# - (SPADCALL |p| |a| - (|getShellEntry| $ 143)) - |UPOLYC-;separate;2SR;32|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) - (|getShellEntry| $ 6) #0#)))))))) - -(DEFUN |UPOLYC-;differentiate;SM2S;33| (|x| |deriv| |x'| $) - (PROG (|dg| |lc| #0=#:G1576 |d|) - (RETURN - (SEQ (LETT |d| (|spadConstant| $ 74) - |UPOLYC-;differentiate;SM2S;33|) - (SEQ G190 - (COND - ((NULL (< 0 - (LETT |dg| - (SPADCALL |x| (|getShellEntry| $ 11)) - |UPOLYC-;differentiate;SM2S;33|))) - (GO G191))) - (SEQ (LETT |lc| (SPADCALL |x| (|getShellEntry| $ 67)) - |UPOLYC-;differentiate;SM2S;33|) - (LETT |d| - (SPADCALL - (SPADCALL |d| - (SPADCALL |x'| - (SPADCALL - (SPADCALL |dg| |lc| - (|getShellEntry| $ 149)) - (PROG1 - (LETT #0# (- |dg| 1) - |UPOLYC-;differentiate;SM2S;33|) - (|check-subtype| - (COND - ((< #0# 0) 'NIL) - ('T 'T)) - '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 63)) - (|getShellEntry| $ 85)) - (|getShellEntry| $ 79)) - (SPADCALL (SPADCALL |lc| |deriv|) |dg| - (|getShellEntry| $ 63)) - (|getShellEntry| $ 79)) - |UPOLYC-;differentiate;SM2S;33|) - (EXIT (LETT |x| - (SPADCALL |x| (|getShellEntry| $ 69)) - |UPOLYC-;differentiate;SM2S;33|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |d| - (SPADCALL - (SPADCALL - (SPADCALL |x| (|getShellEntry| $ 67)) - |deriv|) - (|getShellEntry| $ 38)) - (|getShellEntry| $ 79))))))) - -(DEFUN |UPOLYC-;ncdiff| (|n| |x'| $) - (PROG (#0=#:G1594 |n1|) - (RETURN - (COND - ((ZEROP |n|) (|spadConstant| $ 74)) - ((ZEROP (LETT |n1| - (PROG1 (LETT #0# (- |n| 1) |UPOLYC-;ncdiff|) - (|check-subtype| - (COND ((< #0# 0) 'NIL) ('T 'T)) - '(|NonNegativeInteger|) #0#)) - |UPOLYC-;ncdiff|)) - |x'|) - ('T - (SPADCALL - (SPADCALL |x'| - (SPADCALL (|spadConstant| $ 61) |n1| - (|getShellEntry| $ 63)) - (|getShellEntry| $ 85)) - (SPADCALL - (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| $ 74) - |UPOLYC-;differentiate;SM2S;35|) - (SEQ G190 - (COND - ((NULL (< 0 - (LETT |dg| - (SPADCALL |x| (|getShellEntry| $ 11)) - |UPOLYC-;differentiate;SM2S;35|))) - (GO G191))) - (SEQ (LETT |lc| (SPADCALL |x| (|getShellEntry| $ 67)) - |UPOLYC-;differentiate;SM2S;35|) - (LETT |d| - (SPADCALL - (SPADCALL |d| - (SPADCALL (SPADCALL |lc| |deriv|) - |dg| (|getShellEntry| $ 63)) - (|getShellEntry| $ 79)) - (SPADCALL |lc| - (|UPOLYC-;ncdiff| |dg| |x'| $) - (|getShellEntry| $ 154)) - (|getShellEntry| $ 79)) - |UPOLYC-;differentiate;SM2S;35|) - (EXIT (LETT |x| - (SPADCALL |x| (|getShellEntry| $ 69)) - |UPOLYC-;differentiate;SM2S;35|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |d| - (SPADCALL - (SPADCALL - (SPADCALL |x| (|getShellEntry| $ 67)) - |deriv|) - (|getShellEntry| $ 38)) - (|getShellEntry| $ 79))))))) - -(DEFUN |UPOLYC-;differentiate;SMS;36| (|x| |deriv| $) - (SPADCALL |x| |deriv| (|spadConstant| $ 60) (|getShellEntry| $ 155))) - -(DEFUN |UPOLYC-;differentiate;2S;37| (|x| $) - (PROG (|dg| #0=#:G1603 |d|) - (RETURN - (SEQ (LETT |d| (|spadConstant| $ 74) - |UPOLYC-;differentiate;2S;37|) - (SEQ G190 - (COND - ((NULL (< 0 - (LETT |dg| - (SPADCALL |x| (|getShellEntry| $ 11)) - |UPOLYC-;differentiate;2S;37|))) - (GO G191))) - (SEQ (LETT |d| - (SPADCALL |d| - (SPADCALL - (SPADCALL |dg| - (SPADCALL |x| - (|getShellEntry| $ 67)) - (|getShellEntry| $ 149)) - (PROG1 - (LETT #0# (- |dg| 1) - |UPOLYC-;differentiate;2S;37|) - (|check-subtype| - (COND ((< #0# 0) 'NIL) ('T 'T)) - '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 63)) - (|getShellEntry| $ 79)) - |UPOLYC-;differentiate;2S;37|) - (EXIT (LETT |x| - (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| $ 158))) - -(DEFUN |UPOLYC-;elt;3F;39| (|g| |f| $) - (SPADCALL - (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) - (RETURN - (SEQ (LETT |n| - (+ (- (SPADCALL |p| (|getShellEntry| $ 11)) - (SPADCALL |q| (|getShellEntry| $ 11))) - 1) - |UPOLYC-;pseudoQuotient;3S;40|) - (EXIT (COND - ((< |n| 1) (|spadConstant| $ 74)) - ('T - (PROG2 (LETT #0# - (SPADCALL - (SPADCALL - (SPADCALL - (SPADCALL - (SPADCALL |q| - (|getShellEntry| $ 67)) - (PROG1 |n| - (|check-subtype| - (COND - ((< |n| 0) 'NIL) - ('T 'T)) - '(|NonNegativeInteger|) |n|)) - (|getShellEntry| $ 169)) - |p| (|getShellEntry| $ 154)) - (SPADCALL |p| |q| - (|getShellEntry| $ 170)) - (|getShellEntry| $ 171)) - |q| (|getShellEntry| $ 143)) - |UPOLYC-;pseudoQuotient;3S;40|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) - (|getShellEntry| $ 6) #0#))))))))) - -(DEFUN |UPOLYC-;pseudoDivide;2SR;41| (|p| |q| $) - (PROG (|n| |prem| |lc| #0=#:G1617) - (RETURN - (SEQ (LETT |n| - (+ (- (SPADCALL |p| (|getShellEntry| $ 11)) - (SPADCALL |q| (|getShellEntry| $ 11))) - 1) - |UPOLYC-;pseudoDivide;2SR;41|) - (EXIT (COND - ((< |n| 1) - (VECTOR (|spadConstant| $ 61) (|spadConstant| $ 74) - |p|)) - ('T - (SEQ (LETT |prem| - (SPADCALL |p| |q| - (|getShellEntry| $ 170)) - |UPOLYC-;pseudoDivide;2SR;41|) - (LETT |lc| - (SPADCALL - (SPADCALL |q| - (|getShellEntry| $ 67)) - (PROG1 |n| - (|check-subtype| - (COND ((< |n| 0) 'NIL) ('T 'T)) - '(|NonNegativeInteger|) |n|)) - (|getShellEntry| $ 169)) - |UPOLYC-;pseudoDivide;2SR;41|) - (EXIT (VECTOR |lc| - (PROG2 - (LETT #0# - (SPADCALL - (SPADCALL - (SPADCALL |lc| |p| - (|getShellEntry| $ 154)) - |prem| - (|getShellEntry| $ 171)) - |q| (|getShellEntry| $ 143)) - |UPOLYC-;pseudoDivide;2SR;41|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) - (|getShellEntry| $ 6) #0#)) - |prem|)))))))))) - -(DEFUN |UPOLYC-;composite;FSU;42| (|f| |q| $) - (PROG (|n| |d|) - (RETURN - (SEQ (LETT |n| - (SPADCALL (SPADCALL |f| (|getShellEntry| $ 161)) |q| - (|getShellEntry| $ 175)) - |UPOLYC-;composite;FSU;42|) - (EXIT (COND - ((QEQCAR |n| 1) (CONS 1 "failed")) - ('T - (SEQ (LETT |d| - (SPADCALL - (SPADCALL |f| - (|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| $ 176)))))))))))))) - -(DEFUN |UPOLYC-;composite;2SU;43| (|p| |q| $) - (PROG (|cqr| |v| |u| |w| #0=#:G1643) - (RETURN - (SEQ (COND - ((SPADCALL |p| (|getShellEntry| $ 179)) (CONS 0 |p|)) - ('T - (SEQ (EXIT (SEQ (LETT |cqr| - (SPADCALL |p| |q| - (|getShellEntry| $ 180)) - |UPOLYC-;composite;2SU;43|) - (COND - ((SPADCALL (QVELT |cqr| 2) - (|getShellEntry| $ 179)) - (SEQ (LETT |v| - (SPADCALL (QVELT |cqr| 2) - (QVELT |cqr| 0) - (|getShellEntry| $ 181)) - |UPOLYC-;composite;2SU;43|) - (EXIT - (COND - ((QEQCAR |v| 0) - (SEQ - (LETT |u| - (SPADCALL (QVELT |cqr| 1) - |q| - (|getShellEntry| $ 175)) - |UPOLYC-;composite;2SU;43|) - (EXIT - (COND - ((QEQCAR |u| 0) - (SEQ - (LETT |w| - (SPADCALL (QCDR |u|) - (QVELT |cqr| 0) - (|getShellEntry| $ - 181)) - |UPOLYC-;composite;2SU;43|) - (EXIT - (COND - ((QEQCAR |w| 0) - (PROGN - (LETT #0# - (CONS 0 - (SPADCALL - (QCDR |v|) - (SPADCALL - (SPADCALL - (|spadConstant| - $ 61) - 1 - (|getShellEntry| - $ 63)) - (QCDR |w|) - (|getShellEntry| - $ 85)) - (|getShellEntry| - $ 79))) - |UPOLYC-;composite;2SU;43|) - (GO #0#)))))))))))))))) - (EXIT (CONS 1 "failed")))) - #0# (EXIT #0#)))))))) - -(DEFUN |UPOLYC-;elt;S2F;44| (|p| |f| $) - (PROG (|n| #0=#:G1649 |ans|) - (RETURN - (SEQ (COND - ((SPADCALL |p| (|getShellEntry| $ 9)) - (|spadConstant| $ 183)) - ('T - (SEQ (LETT |ans| - (SPADCALL - (SPADCALL - (SPADCALL |p| (|getShellEntry| $ 67)) - (|getShellEntry| $ 38)) - (|getShellEntry| $ 184)) - |UPOLYC-;elt;S2F;44|) - (LETT |n| (SPADCALL |p| (|getShellEntry| $ 11)) - |UPOLYC-;elt;S2F;44|) - (SEQ G190 - (COND - ((NULL (NOT (SPADCALL - (LETT |p| - (SPADCALL |p| - (|getShellEntry| $ 69)) - |UPOLYC-;elt;S2F;44|) - (|getShellEntry| $ 9)))) - (GO G191))) - (SEQ (EXIT (LETT |ans| - (SPADCALL - (SPADCALL |ans| - (SPADCALL |f| - (PROG1 - (LETT #0# - (- |n| - (LETT |n| - (SPADCALL |p| - (|getShellEntry| $ 11)) - |UPOLYC-;elt;S2F;44|)) - |UPOLYC-;elt;S2F;44|) - (|check-subtype| - (COND - ((< #0# 0) 'NIL) - ('T 'T)) - '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 185)) - (|getShellEntry| $ 186)) - (SPADCALL - (SPADCALL - (SPADCALL |p| - (|getShellEntry| $ 67)) - (|getShellEntry| $ 38)) - (|getShellEntry| $ 184)) - (|getShellEntry| $ 187)) - |UPOLYC-;elt;S2F;44|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (COND - ((ZEROP |n|) |ans|) - ('T - (SPADCALL |ans| - (SPADCALL |f| |n| - (|getShellEntry| $ 188)) - (|getShellEntry| $ 186)))))))))))) - -(DEFUN |UPOLYC-;order;2SNni;45| (|p| |q| $) - (PROG (|u| #0=#:G1663 |ans|) - (RETURN - (SEQ (EXIT (COND - ((SPADCALL |p| (|getShellEntry| $ 9)) - (|error| "order: arguments must be nonzero")) - ((< (SPADCALL |q| (|getShellEntry| $ 11)) 1) - (|error| "order: place must be non-trivial")) - ('T - (SEQ (LETT |ans| 0 |UPOLYC-;order;2SNni;45|) - (EXIT (SEQ G190 NIL - (SEQ - (LETT |u| - (SPADCALL |p| |q| - (|getShellEntry| $ 143)) - |UPOLYC-;order;2SNni;45|) - (EXIT - (COND - ((QEQCAR |u| 1) - (PROGN - (LETT #0# |ans| - |UPOLYC-;order;2SNni;45|) - (GO #0#))) - ('T - (SEQ - (LETT |p| (QCDR |u|) - |UPOLYC-;order;2SNni;45|) - (EXIT - (LETT |ans| (+ |ans| 1) - |UPOLYC-;order;2SNni;45|))))))) - NIL (GO G190) G191 (EXIT NIL))))))) - #0# (EXIT #0#))))) - -(DEFUN |UPOLYC-;squareFree;SF;46| (|p| $) - (SPADCALL |p| (|getShellEntry| $ 192))) - -(DEFUN |UPOLYC-;squareFreePart;2S;47| (|p| $) - (SPADCALL |p| (|getShellEntry| $ 194))) - -(DEFUN |UPOLYC-;gcdPolynomial;3Sup;48| (|pp| |qq| $) - (COND - ((SPADCALL |pp| (|getShellEntry| $ 196)) - (SPADCALL |qq| (|getShellEntry| $ 197))) - ((SPADCALL |qq| (|getShellEntry| $ 196)) - (SPADCALL |pp| (|getShellEntry| $ 197))) - ('T - (SPADCALL - (SPADCALL - (SPADCALL (SPADCALL |pp| (|getShellEntry| $ 198)) - (SPADCALL |qq| (|getShellEntry| $ 198)) - (|getShellEntry| $ 142)) - (SPADCALL - (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| $ 204))) - -(DEFUN |UPOLYC-;elt;F2R;50| (|f| |r| $) - (SPADCALL - (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 - ((SPADCALL |x| (|getShellEntry| $ 9)) - (|error| "euclideanSize called on 0 in Univariate Polynomial")) - ('T (SPADCALL |x| (|getShellEntry| $ 11))))) - -(DEFUN |UPOLYC-;divide;2SR;52| (|x| |y| $) - (PROG (|lc| |f| #0=#:G1675 |n| |quot|) - (RETURN - (SEQ (COND - ((SPADCALL |y| (|getShellEntry| $ 9)) - (|error| "division by 0 in Univariate Polynomials")) - ('T - (SEQ (LETT |quot| (|spadConstant| $ 74) - |UPOLYC-;divide;2SR;52|) - (LETT |lc| - (SPADCALL - (SPADCALL |y| (|getShellEntry| $ 67)) - (|getShellEntry| $ 209)) - |UPOLYC-;divide;2SR;52|) - (SEQ G190 - (COND - ((NULL (COND - ((SPADCALL |x| - (|getShellEntry| $ 9)) - 'NIL) - ('T - (NOT - (< - (SPADCALL |x| - (|getShellEntry| $ 11)) - (SPADCALL |y| - (|getShellEntry| $ 11))))))) - (GO G191))) - (SEQ (LETT |f| - (SPADCALL |lc| - (SPADCALL |x| - (|getShellEntry| $ 67)) - (|getShellEntry| $ 211)) - |UPOLYC-;divide;2SR;52|) - (LETT |n| - (PROG1 - (LETT #0# - (- - (SPADCALL |x| - (|getShellEntry| $ 11)) - (SPADCALL |y| - (|getShellEntry| $ 11))) - |UPOLYC-;divide;2SR;52|) - (|check-subtype| - (COND ((< #0# 0) 'NIL) ('T 'T)) - '(|NonNegativeInteger|) #0#)) - |UPOLYC-;divide;2SR;52|) - (LETT |quot| - (SPADCALL |quot| - (SPADCALL |f| |n| - (|getShellEntry| $ 63)) - (|getShellEntry| $ 79)) - |UPOLYC-;divide;2SR;52|) - (EXIT (LETT |x| - (SPADCALL |x| - (SPADCALL - (SPADCALL |f| |n| - (|getShellEntry| $ 63)) - |y| (|getShellEntry| $ 85)) - (|getShellEntry| $ 171)) - |UPOLYC-;divide;2SR;52|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (CONS |quot| |x|))))))))) - -(DEFUN |UPOLYC-;integrate;2S;53| (|p| $) - (PROG (|l| |d| |ans|) - (RETURN - (SEQ (LETT |ans| (|spadConstant| $ 74) |UPOLYC-;integrate;2S;53|) - (SEQ G190 - (COND - ((NULL (SPADCALL |p| (|spadConstant| $ 74) - (|getShellEntry| $ 213))) - (GO G191))) - (SEQ (LETT |l| (SPADCALL |p| (|getShellEntry| $ 67)) - |UPOLYC-;integrate;2S;53|) - (LETT |d| - (+ 1 (SPADCALL |p| (|getShellEntry| $ 11))) - |UPOLYC-;integrate;2S;53|) - (LETT |ans| - (SPADCALL |ans| - (SPADCALL - (SPADCALL - (SPADCALL |d| - (|getShellEntry| $ 215)) - (|getShellEntry| $ 216)) - (SPADCALL |l| |d| - (|getShellEntry| $ 63)) - (|getShellEntry| $ 217)) - (|getShellEntry| $ 79)) - |UPOLYC-;integrate;2S;53|) - (EXIT (LETT |p| - (SPADCALL |p| (|getShellEntry| $ 69)) - |UPOLYC-;integrate;2S;53|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT |ans|))))) - -(DEFUN |UnivariatePolynomialCategory&| (|#1| |#2|) - (PROG (|dv$1| |dv$2| |dv$| $ |pv$|) - (RETURN - (PROGN - (LETT |dv$1| (|devaluate| |#1|) - . #0=(|UnivariatePolynomialCategory&|)) - (LETT |dv$2| (|devaluate| |#2|) . #0#) - (LETT |dv$| - (LIST '|UnivariatePolynomialCategory&| |dv$1| |dv$2|) . #0#) - (LETT $ (|newShell| 224) . #0#) - (|setShellEntry| $ 0 |dv$|) - (|setShellEntry| $ 3 - (LETT |pv$| - (|buildPredVector| 0 0 - (LIST (|HasCategory| |#2| - '(|Algebra| (|Fraction| (|Integer|)))) - (|HasCategory| |#2| '(|Field|)) - (|HasCategory| |#2| '(|GcdDomain|)) - (|HasCategory| |#2| '(|IntegralDomain|)) - (|HasCategory| |#2| '(|CommutativeRing|)) - (|HasCategory| |#2| '(|StepThrough|)))) . #0#)) - (|stuffDomainSlots| $) - (|setShellEntry| $ 6 |#1|) - (|setShellEntry| $ 7 |#2|) - (COND - ((|HasCategory| |#2| '(|PolynomialFactorizationExplicit|)) - (PROGN - (|setShellEntry| $ 95 - (CONS (|dispatchFunction| - |UPOLYC-;solveLinearPolynomialEquation;LSupU;20|) - $)) - (|setShellEntry| $ 99 - (CONS (|dispatchFunction| - |UPOLYC-;factorPolynomial;SupF;21|) - $)) - (|setShellEntry| $ 101 - (CONS (|dispatchFunction| - |UPOLYC-;factorSquareFreePolynomial;SupF;22|) - $)) - (|setShellEntry| $ 120 - (CONS (|dispatchFunction| |UPOLYC-;factor;SF;23|) $))))) - (COND - ((|testBitVector| |pv$| 6) - (PROGN - (|setShellEntry| $ 134 - (CONS (|dispatchFunction| |UPOLYC-;init;S;27|) $)) - NIL - (|setShellEntry| $ 139 - (CONS (|dispatchFunction| |UPOLYC-;nextItem;SU;29|) $))))) - (COND - ((|testBitVector| |pv$| 3) - (PROGN - (|setShellEntry| $ 141 - (CONS (|dispatchFunction| |UPOLYC-;content;SSaosS;30|) - $)) - NIL - (|setShellEntry| $ 146 - (CONS (|dispatchFunction| |UPOLYC-;separate;2SR;32|) - $))))) - (COND - ((|testBitVector| |pv$| 5) - (|setShellEntry| $ 151 - (CONS (|dispatchFunction| - |UPOLYC-;differentiate;SM2S;33|) - $))) - ('T - (PROGN - (|setShellEntry| $ 151 - (CONS (|dispatchFunction| - |UPOLYC-;differentiate;SM2S;35|) - $))))) - (COND - ((|testBitVector| |pv$| 4) - (PROGN - (|setShellEntry| $ 166 - (CONS (|dispatchFunction| |UPOLYC-;elt;3F;39|) $)) - (|setShellEntry| $ 172 - (CONS (|dispatchFunction| - |UPOLYC-;pseudoQuotient;3S;40|) - $)) - (|setShellEntry| $ 174 - (CONS (|dispatchFunction| - |UPOLYC-;pseudoDivide;2SR;41|) - $)) - (|setShellEntry| $ 178 - (CONS (|dispatchFunction| |UPOLYC-;composite;FSU;42|) - $)) - (|setShellEntry| $ 182 - (CONS (|dispatchFunction| |UPOLYC-;composite;2SU;43|) - $)) - (|setShellEntry| $ 189 - (CONS (|dispatchFunction| |UPOLYC-;elt;S2F;44|) $)) - (|setShellEntry| $ 190 - (CONS (|dispatchFunction| |UPOLYC-;order;2SNni;45|) $))))) - (COND - ((|testBitVector| |pv$| 3) - (PROGN - (|setShellEntry| $ 193 - (CONS (|dispatchFunction| |UPOLYC-;squareFree;SF;46|) - $)) - (|setShellEntry| $ 195 - (CONS (|dispatchFunction| - |UPOLYC-;squareFreePart;2S;47|) - $))))) - (COND - ((|HasCategory| |#2| '(|PolynomialFactorizationExplicit|)) - (PROGN - (|setShellEntry| $ 202 - (CONS (|dispatchFunction| - |UPOLYC-;gcdPolynomial;3Sup;48|) - $)) - (|setShellEntry| $ 205 - (CONS (|dispatchFunction| - |UPOLYC-;squareFreePolynomial;SupF;49|) - $))))) - (COND - ((|testBitVector| |pv$| 2) - (PROGN - (|setShellEntry| $ 207 - (CONS (|dispatchFunction| |UPOLYC-;elt;F2R;50|) $)) - (|setShellEntry| $ 208 - (CONS (|dispatchFunction| - |UPOLYC-;euclideanSize;SNni;51|) - $)) - (|setShellEntry| $ 212 - (CONS (|dispatchFunction| |UPOLYC-;divide;2SR;52|) $))))) - (COND - ((|testBitVector| |pv$| 1) - (|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|) (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| (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| $)) - (215 . |monicDivide|) |UPOLYC-;karatsubaDivide;SNniR;17| - |UPOLYC-;shiftRight;SNniS;18| (221 . *) - |UPOLYC-;shiftLeft;SNniS;19| - (|SparseUnivariatePolynomial| 6) (|List| 87) - (|Union| 88 '"failed") - (|PolynomialFactorizationByRecursionUnivariate| 7 6) - (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| 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| $)) - (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) - (441 . |numer|) (|Fraction| $) (446 . |elt|) - (452 . |denom|) (457 . /) (463 . |elt|) (469 . +) - (475 . <) (481 . **) (487 . |pseudoRemainder|) (493 . -) - (499 . |pseudoQuotient|) - (|Record| (|:| |coef| 7) (|:| |quotient| $) - (|:| |remainder| $)) - (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| 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| 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|)) diff --git a/src/algebra/strap/UPOLYC.lsp b/src/algebra/strap/UPOLYC.lsp deleted file mode 100644 index 1017ee1c..00000000 --- a/src/algebra/strap/UPOLYC.lsp +++ /dev/null @@ -1,157 +0,0 @@ - -(/VERSIONCHECK 2) - -(DEFPARAMETER |UnivariatePolynomialCategory;CAT| 'NIL) - -(DEFPARAMETER |UnivariatePolynomialCategory;AL| 'NIL) - -(DEFUN |UnivariatePolynomialCategory;| (|t#1|) - (PROG (#0=#:G1436) - (RETURN - (PROG1 (LETT #0# - (|sublisV| - (PAIR '(|t#1|) (LIST (|devaluate| |t#1|))) - (|sublisV| - (PAIR '(#1=#:G1434 #2=#:G1435) - (LIST '(|NonNegativeInteger|) - '(|SingletonAsOrderedSet|))) - (COND - (|UnivariatePolynomialCategory;CAT|) - ('T - (LETT |UnivariatePolynomialCategory;CAT| - (|Join| - (|PolynomialCategory| '|t#1| '#1# - '#2#) - (|Eltable| '|t#1| '|t#1|) - (|Eltable| '$ '$) - (|DifferentialRing|) - (|DifferentialExtension| '|t#1|) - (|mkCategory| '|domain| - '(((|vectorise| - ((|Vector| |t#1|) $ - (|NonNegativeInteger|))) - T) - ((|makeSUP| - ((|SparseUnivariatePolynomial| - |t#1|) - $)) - T) - ((|unmakeSUP| - ($ - (|SparseUnivariatePolynomial| - |t#1|))) - T) - ((|multiplyExponents| - ($ $ (|NonNegativeInteger|))) - T) - ((|divideExponents| - ((|Union| $ "failed") $ - (|NonNegativeInteger|))) - T) - ((|monicDivide| - ((|Record| (|:| |quotient| $) - (|:| |remainder| $)) - $ $)) - T) - ((|karatsubaDivide| - ((|Record| (|:| |quotient| $) - (|:| |remainder| $)) - $ (|NonNegativeInteger|))) - T) - ((|shiftRight| - ($ $ (|NonNegativeInteger|))) - T) - ((|shiftLeft| - ($ $ (|NonNegativeInteger|))) - T) - ((|pseudoRemainder| ($ $ $)) T) - ((|differentiate| - ($ $ (|Mapping| |t#1| |t#1|) - $)) - T) - ((|discriminant| (|t#1| $)) - (|has| |t#1| - (|CommutativeRing|))) - ((|resultant| (|t#1| $ $)) - (|has| |t#1| - (|CommutativeRing|))) - ((|elt| - ((|Fraction| $) - (|Fraction| $) - (|Fraction| $))) - (|has| |t#1| - (|IntegralDomain|))) - ((|order| - ((|NonNegativeInteger|) $ $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|subResultantGcd| ($ $ $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|composite| - ((|Union| $ "failed") $ $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|composite| - ((|Union| (|Fraction| $) - "failed") - (|Fraction| $) $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|pseudoQuotient| ($ $ $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|pseudoDivide| - ((|Record| (|:| |coef| |t#1|) - (|:| |quotient| $) - (|:| |remainder| $)) - $ $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|separate| - ((|Record| - (|:| |primePart| $) - (|:| |commonPart| $)) - $ $)) - (|has| |t#1| (|GcdDomain|))) - ((|elt| - (|t#1| (|Fraction| $) |t#1|)) - (|has| |t#1| (|Field|))) - ((|integrate| ($ $)) - (|has| |t#1| - (|Algebra| - (|Fraction| (|Integer|)))))) - '(((|StepThrough|) - (|has| |t#1| (|StepThrough|))) - ((|Eltable| (|Fraction| $) - (|Fraction| $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|EuclideanDomain|) - (|has| |t#1| (|Field|))) - (|additiveValuation| - (|has| |t#1| (|Field|)))) - '((|Fraction| $) - (|NonNegativeInteger|) - (|SparseUnivariatePolynomial| - |t#1|) - (|Vector| |t#1|)) - NIL)) - . #3=(|UnivariatePolynomialCategory|)))))) . #3#) - (|setShellEntry| #0# 0 - (LIST '|UnivariatePolynomialCategory| (|devaluate| |t#1|))))))) - -(DEFUN |UnivariatePolynomialCategory| (#0=#:G1437) - (LET (#1=#:G1438) - (COND - ((SETQ #1# - (|assoc| (|devaluate| #0#) - |UnivariatePolynomialCategory;AL|)) - (CDR #1#)) - (T (SETQ |UnivariatePolynomialCategory;AL| - (|cons5| (CONS (|devaluate| #0#) - (SETQ #1# - (|UnivariatePolynomialCategory;| - #0#))) - |UnivariatePolynomialCategory;AL|)) - #1#)))) -- cgit v1.2.3