
(SDEFUN |RPOLCAT-;coerce;SOf;1| ((|p| (S)) (% (|OutputForm|)))
        (SPROG
         ((#1=#:G162 NIL) (|dp| (|NonNegativeInteger|)) (|tp| (S)) (|ip| (S)))
         (SEQ
          (EXIT
           (COND
            ((SPADCALL |p| (QREFELT % 11))
             (SPADCALL (SPADCALL |p| (QREFELT % 12)) (QREFELT % 14)))
            (#2='T
             (SEQ
              (SEQ (LETT |ip| (SPADCALL |p| (QREFELT % 15)))
                   (EXIT
                    (COND
                     ((SPADCALL |ip| (|spadConstant| % 16) (QREFELT % 18))
                      (COND
                       ((SPADCALL (LETT |tp| (SPADCALL |p| (QREFELT % 19)))
                                  (QREFELT % 20))
                        (SEQ (LETT |dp| (SPADCALL |p| (QREFELT % 22)))
                             (EXIT
                              (COND
                               ((EQL |dp| 1)
                                (PROGN
                                 (LETT #1#
                                       (SPADCALL (SPADCALL |p| (QREFELT % 23))
                                                 (QREFELT % 24)))
                                 (GO #3=#:G161)))
                               (#2#
                                (PROGN
                                 (LETT #1#
                                       (SPADCALL
                                        (SPADCALL (SPADCALL |p| (QREFELT % 23))
                                                  (QREFELT % 24))
                                        (SPADCALL |dp| (QREFELT % 25))
                                        (QREFELT % 26)))
                                 (GO #3#)))))))
                       (#2#
                        (SEQ (LETT |dp| (SPADCALL |p| (QREFELT % 22)))
                             (EXIT
                              (COND
                               ((EQL |dp| 1)
                                (PROGN
                                 (LETT #1#
                                       (SPADCALL
                                        (SPADCALL (SPADCALL |p| (QREFELT % 23))
                                                  (QREFELT % 24))
                                        (SPADCALL |tp| (QREFELT % 27))
                                        (QREFELT % 28)))
                                 (GO #3#)))
                               (#2#
                                (PROGN
                                 (LETT #1#
                                       (SPADCALL
                                        (SPADCALL
                                         (SPADCALL
                                          (SPADCALL |p| (QREFELT % 23))
                                          (QREFELT % 24))
                                         (SPADCALL |dp| (QREFELT % 25))
                                         (QREFELT % 26))
                                        (SPADCALL |tp| (QREFELT % 27))
                                        (QREFELT % 28)))
                                 (GO #3#)))))))))
                     ((SPADCALL (LETT |tp| (SPADCALL |p| (QREFELT % 19)))
                                (QREFELT % 20))
                      (SEQ (LETT |dp| (SPADCALL |p| (QREFELT % 22)))
                           (EXIT
                            (COND
                             ((EQL |dp| 1)
                              (PROGN
                               (LETT #1#
                                     (SPADCALL (SPADCALL |ip| (QREFELT % 27))
                                               (SPADCALL
                                                (SPADCALL |p| (QREFELT % 23))
                                                (QREFELT % 24))
                                               (QREFELT % 29)))
                               (GO #3#)))
                             (#2#
                              (PROGN
                               (LETT #1#
                                     (SPADCALL (SPADCALL |ip| (QREFELT % 27))
                                               (SPADCALL
                                                (SPADCALL
                                                 (SPADCALL |p| (QREFELT % 23))
                                                 (QREFELT % 24))
                                                (SPADCALL |dp| (QREFELT % 25))
                                                (QREFELT % 26))
                                               (QREFELT % 29)))
                               (GO #3#)))))))
                     ((EQL (SPADCALL |p| (QREFELT % 22)) 1)
                      (PROGN
                       (LETT #1#
                             (SPADCALL
                              (SPADCALL (SPADCALL |ip| (QREFELT % 27))
                                        (SPADCALL (SPADCALL |p| (QREFELT % 23))
                                                  (QREFELT % 24))
                                        (QREFELT % 29))
                              (SPADCALL |tp| (QREFELT % 27)) (QREFELT % 28)))
                       (GO #3#))))))
              (EXIT
               (SPADCALL
                (SPADCALL (SPADCALL |ip| (QREFELT % 27))
                          (SPADCALL
                           (SPADCALL (SPADCALL |p| (QREFELT % 23))
                                     (QREFELT % 24))
                           (SPADCALL (SPADCALL |p| (QREFELT % 22))
                                     (QREFELT % 25))
                           (QREFELT % 26))
                          (QREFELT % 29))
                (SPADCALL (SPADCALL |p| (QREFELT % 19)) (QREFELT % 27))
                (QREFELT % 28)))))))
          #3# (EXIT #1#)))) 

(SDEFUN |RPOLCAT-;mvar;SV;2| ((|p| (S)) (% (V)))
        (SPROG ((#1=#:G164 NIL))
               (COND
                ((SPADCALL |p| (QREFELT % 11))
                 (|error| "Error in mvar from RPOLCAT : #1 is constant."))
                ('T
                 (PROG2 (LETT #1# (SPADCALL |p| (QREFELT % 32)))
                     (QCDR #1#)
                   (|check_union2| (QEQCAR #1# 0) (QREFELT % 9)
                                   (|Union| (QREFELT % 9) "failed") #1#)))))) 

(SDEFUN |RPOLCAT-;mdeg;SNni;3| ((|p| (S)) (% (|NonNegativeInteger|)))
        (SPROG ((#1=#:G169 NIL))
               (COND ((SPADCALL |p| (QREFELT % 11)) 0)
                     ('T
                      (SPADCALL |p|
                                (PROG2 (LETT #1# (SPADCALL |p| (QREFELT % 32)))
                                    (QCDR #1#)
                                  (|check_union2| (QEQCAR #1# 0) (QREFELT % 9)
                                                  (|Union| (QREFELT % 9)
                                                           "failed")
                                                  #1#))
                                (QREFELT % 34)))))) 

(SDEFUN |RPOLCAT-;init;2S;4| ((|p| (S)) (% (S)))
        (SPROG ((|v| (V)) (#1=#:G174 NIL))
               (SEQ
                (COND
                 ((SPADCALL |p| (QREFELT % 11))
                  (|error| "Error in mvar from RPOLCAT : #1 is constant."))
                 ('T
                  (SEQ
                   (LETT |v|
                         (PROG2 (LETT #1# (SPADCALL |p| (QREFELT % 32)))
                             (QCDR #1#)
                           (|check_union2| (QEQCAR #1# 0) (QREFELT % 9)
                                           (|Union| (QREFELT % 9) "failed")
                                           #1#)))
                   (EXIT
                    (SPADCALL |p| |v| (SPADCALL |p| |v| (QREFELT % 34))
                              (QREFELT % 36))))))))) 

(SDEFUN |RPOLCAT-;leadingCoefficient;SVS;5| ((|p| (S)) (|v| (V)) (% (S)))
        (SPROG ((|d| (|NonNegativeInteger|)))
               (COND ((ZEROP (LETT |d| (SPADCALL |p| |v| (QREFELT % 34)))) |p|)
                     ('T (SPADCALL |p| |v| |d| (QREFELT % 36)))))) 

(SDEFUN |RPOLCAT-;head;2S;6| ((|p| (S)) (% (S)))
        (SPROG ((|d| (|NonNegativeInteger|)) (|v| (V)) (#1=#:G186 NIL))
               (SEQ
                (COND ((SPADCALL |p| (QREFELT % 11)) |p|)
                      ('T
                       (SEQ
                        (LETT |v|
                              (PROG2 (LETT #1# (SPADCALL |p| (QREFELT % 32)))
                                  (QCDR #1#)
                                (|check_union2| (QEQCAR #1# 0) (QREFELT % 9)
                                                (|Union| (QREFELT % 9)
                                                         "failed")
                                                #1#)))
                        (LETT |d| (SPADCALL |p| |v| (QREFELT % 34)))
                        (EXIT
                         (SPADCALL (SPADCALL |p| |v| |d| (QREFELT % 36)) |v|
                                   |d| (QREFELT % 39))))))))) 

(SDEFUN |RPOLCAT-;reductum;SVS;7| ((|p| (S)) (|v| (V)) (% (S)))
        (SPROG ((|d| (|NonNegativeInteger|)))
               (COND
                ((ZEROP (LETT |d| (SPADCALL |p| |v| (QREFELT % 34))))
                 (|spadConstant| % 41))
                ('T
                 (SPADCALL |p|
                           (SPADCALL (SPADCALL |p| |v| |d| (QREFELT % 36)) |v|
                                     |d| (QREFELT % 39))
                           (QREFELT % 42)))))) 

(SDEFUN |RPOLCAT-;tail;2S;8| ((|p| (S)) (% (S)))
        (COND ((SPADCALL |p| (QREFELT % 11)) (|spadConstant| % 41))
              ('T (SPADCALL |p| (SPADCALL |p| (QREFELT % 44)) (QREFELT % 42))))) 

(SDEFUN |RPOLCAT-;deepestTail;2S;9| ((|p| (S)) (% (S)))
        (COND ((SPADCALL |p| (QREFELT % 11)) (|spadConstant| % 41))
              ((OR (SPADCALL (SPADCALL |p| (QREFELT % 19)) (QREFELT % 11))
                   (SPADCALL (SPADCALL |p| (QREFELT % 23))
                             (SPADCALL (SPADCALL |p| (QREFELT % 19))
                                       (QREFELT % 23))
                             (QREFELT % 46)))
               (SPADCALL |p| (QREFELT % 19)))
              ('T (SPADCALL (SPADCALL |p| (QREFELT % 19)) (QREFELT % 47))))) 

(SDEFUN |RPOLCAT-;iteratedInitials;SL;10| ((|p| (S)) (% (|List| S)))
        (SEQ
         (COND ((SPADCALL |p| (QREFELT % 11)) NIL)
               ('T
                (SEQ (LETT |p| (SPADCALL |p| (QREFELT % 15)))
                     (EXIT (CONS |p| (SPADCALL |p| (QREFELT % 50))))))))) 

(SDEFUN |RPOLCAT-;localDeepestInitial| ((|p| (S)) (% (S)))
        (COND ((SPADCALL |p| (QREFELT % 11)) |p|)
              ('T
               (|RPOLCAT-;localDeepestInitial| (SPADCALL |p| (QREFELT % 15))
                %)))) 

(SDEFUN |RPOLCAT-;deepestInitial;2S;12| ((|p| (S)) (% (S)))
        (COND
         ((SPADCALL |p| (QREFELT % 11))
          (|error| "Error in deepestInitial from RPOLCAT : #1 is constant."))
         ('T (|RPOLCAT-;localDeepestInitial| (SPADCALL |p| (QREFELT % 15)) %)))) 

(SDEFUN |RPOLCAT-;monic?;SB;13| ((|p| (S)) (% (|Boolean|)))
        (COND ((SPADCALL |p| (QREFELT % 11)) NIL)
              ('T
               (QEQCAR (SPADCALL (SPADCALL |p| (QREFELT % 15)) (QREFELT % 54))
                       0)))) 

(SDEFUN |RPOLCAT-;quasiMonic?;SB;14| ((|p| (S)) (% (|Boolean|)))
        (COND ((SPADCALL |p| (QREFELT % 11)) NIL)
              ('T (SPADCALL (SPADCALL |p| (QREFELT % 15)) (QREFELT % 11))))) 

(SDEFUN |RPOLCAT-;mainMonomial;2S;15| ((|p| (S)) (% (S)))
        (SPROG ((|v| (V)) (#1=#:G214 NIL))
               (SEQ
                (COND
                 ((SPADCALL |p| (QREFELT % 20))
                  (|error| "Error in mainMonomial from RPOLCAT : #1 is zero"))
                 ((SPADCALL |p| (QREFELT % 11)) (|spadConstant| % 16))
                 ('T
                  (SEQ
                   (LETT |v|
                         (PROG2 (LETT #1# (SPADCALL |p| (QREFELT % 32)))
                             (QCDR #1#)
                           (|check_union2| (QEQCAR #1# 0) (QREFELT % 9)
                                           (|Union| (QREFELT % 9) "failed")
                                           #1#)))
                   (EXIT
                    (SPADCALL (|spadConstant| % 16) |v|
                              (SPADCALL |p| |v| (QREFELT % 34))
                              (QREFELT % 39))))))))) 

(SDEFUN |RPOLCAT-;leastMonomial;2S;16| ((|p| (S)) (% (S)))
        (SPROG ((|v| (V)) (#1=#:G221 NIL))
               (SEQ
                (COND
                 ((SPADCALL |p| (QREFELT % 20))
                  (|error| "Error in leastMonomial from RPOLCAT : #1 is zero"))
                 ((SPADCALL |p| (QREFELT % 11)) (|spadConstant| % 16))
                 ('T
                  (SEQ
                   (LETT |v|
                         (PROG2 (LETT #1# (SPADCALL |p| (QREFELT % 32)))
                             (QCDR #1#)
                           (|check_union2| (QEQCAR #1# 0) (QREFELT % 9)
                                           (|Union| (QREFELT % 9) "failed")
                                           #1#)))
                   (EXIT
                    (SPADCALL (|spadConstant| % 16) |v|
                              (SPADCALL |p| |v| (QREFELT % 58))
                              (QREFELT % 39))))))))) 

(SDEFUN |RPOLCAT-;mainCoefficients;SL;17| ((|p| (S)) (% (|List| S)))
        (SPROG ((|v| (V)) (#1=#:G228 NIL))
               (SEQ
                (COND
                 ((SPADCALL |p| (QREFELT % 20))
                  (|error|
                   "Error in mainCoefficients from RPOLCAT : #1 is zero"))
                 ((SPADCALL |p| (QREFELT % 11)) (LIST |p|))
                 ('T
                  (SEQ
                   (LETT |v|
                         (PROG2 (LETT #1# (SPADCALL |p| (QREFELT % 32)))
                             (QCDR #1#)
                           (|check_union2| (QEQCAR #1# 0) (QREFELT % 9)
                                           (|Union| (QREFELT % 9) "failed")
                                           #1#)))
                   (EXIT
                    (SPADCALL (SPADCALL |p| |v| (QREFELT % 61))
                              (QREFELT % 64))))))))) 

(SDEFUN |RPOLCAT-;mainMonomials;SL;18| ((|p| (S)) (% (|List| S)))
        (SPROG
         ((#1=#:G244 NIL) (|m| NIL) (#2=#:G243 NIL)
          (|lm| (|List| (|SparseUnivariatePolynomial| S))) (|v| (V))
          (#3=#:G235 NIL))
         (SEQ
          (COND
           ((SPADCALL |p| (QREFELT % 20))
            (|error| "Error in mainMonomials from RPOLCAT : #1 is zero"))
           ((SPADCALL |p| (QREFELT % 11)) (LIST (|spadConstant| % 16)))
           ('T
            (SEQ
             (LETT |v|
                   (PROG2 (LETT #3# (SPADCALL |p| (QREFELT % 32)))
                       (QCDR #3#)
                     (|check_union2| (QEQCAR #3# 0) (QREFELT % 9)
                                     (|Union| (QREFELT % 9) "failed") #3#)))
             (LETT |lm|
                   (SPADCALL (SPADCALL |p| |v| (QREFELT % 61)) (QREFELT % 66)))
             (EXIT
              (PROGN
               (LETT #2# NIL)
               (SEQ (LETT |m| NIL) (LETT #1# |lm|) G190
                    (COND
                     ((OR (ATOM #1#) (PROGN (LETT |m| (CAR #1#)) NIL))
                      (GO G191)))
                    (SEQ
                     (EXIT
                      (LETT #2#
                            (CONS
                             (SPADCALL (|spadConstant| % 16) |v|
                                       (SPADCALL |m| (QREFELT % 67))
                                       (QREFELT % 39))
                             #2#))))
                    (LETT #1# (CDR #1#)) (GO G190) G191
                    (EXIT (NREVERSE #2#))))))))))) 

(SDEFUN |RPOLCAT-;RittWuCompare;2SU;19|
        ((|a| (S)) (|b| (S)) (% (|Union| (|Boolean|) #1="failed")))
        (SPROG ((|lc| (|Union| (|Boolean|) #1#)))
               (SEQ
                (COND
                 ((SPADCALL |b| (QREFELT % 11))
                  (COND
                   ((SPADCALL |a| (QREFELT % 11)) (EXIT (CONS 1 "failed"))))))
                (EXIT
                 (COND ((SPADCALL |b| (QREFELT % 11)) (CONS 0 NIL))
                       ((OR (SPADCALL |a| (QREFELT % 11))
                            (SPADCALL (SPADCALL |a| (QREFELT % 23))
                                      (SPADCALL |b| (QREFELT % 23))
                                      (QREFELT % 69)))
                        (CONS 0 'T))
                       ((SPADCALL (SPADCALL |a| (QREFELT % 23))
                                  (SPADCALL |b| (QREFELT % 23)) (QREFELT % 46))
                        (CONS 0 NIL))
                       ((< (SPADCALL |a| (QREFELT % 22))
                           (SPADCALL |b| (QREFELT % 22)))
                        (CONS 0 'T))
                       ((> (SPADCALL |a| (QREFELT % 22))
                           (SPADCALL |b| (QREFELT % 22)))
                        (CONS 0 NIL))
                       (#2='T
                        (SEQ
                         (LETT |lc|
                               (SPADCALL (SPADCALL |a| (QREFELT % 15))
                                         (SPADCALL |b| (QREFELT % 15))
                                         (QREFELT % 71)))
                         (EXIT
                          (COND ((QEQCAR |lc| 0) |lc|)
                                (#2#
                                 (SPADCALL (SPADCALL |a| (QREFELT % 19))
                                           (SPADCALL |b| (QREFELT % 19))
                                           (QREFELT % 71)))))))))))) 

(SDEFUN |RPOLCAT-;infRittWu?;2SB;20| ((|a| (S)) (|b| (S)) (% (|Boolean|)))
        (SPROG ((|lc| (|Union| (|Boolean|) "failed")))
               (SEQ (LETT |lc| (SPADCALL |a| |b| (QREFELT % 71)))
                    (EXIT (COND ((QEQCAR |lc| 0) (QCDR |lc|)) ('T NIL)))))) 

(SDEFUN |RPOLCAT-;supRittWu?;2SB;21| ((|a| (S)) (|b| (S)) (% (|Boolean|)))
        (SPADCALL |b| |a| (QREFELT % 74))) 

(SDEFUN |RPOLCAT-;prem;3S;22| ((|a| (S)) (|b| (S)) (% (S)))
        (SPROG
         ((|cP|
           (|Record| (|:| |coef| S) (|:| |gap| (|NonNegativeInteger|))
                     (|:| |remainder| S))))
         (SEQ (LETT |cP| (SPADCALL |a| |b| (QREFELT % 77)))
              (EXIT
               (SPADCALL
                (SPADCALL (QVELT |cP| 0) (QVELT |cP| 1) (QREFELT % 78))
                (QVELT |cP| 2) (QREFELT % 79)))))) 

(SDEFUN |RPOLCAT-;pquo;3S;23| ((|a| (S)) (|b| (S)) (% (S)))
        (SPROG
         ((|c| (S))
          (|cPS|
           (|Record| (|:| |coef| S) (|:| |gap| (|NonNegativeInteger|))
                     (|:| |quotient| S) (|:| |remainder| S))))
         (SEQ (LETT |cPS| (SPADCALL |a| |b| (QREFELT % 82)))
              (LETT |c|
                    (SPADCALL (QVELT |cPS| 0) (QVELT |cPS| 1) (QREFELT % 78)))
              (EXIT (SPADCALL |c| (QVELT |cPS| 2) (QREFELT % 79)))))) 

(SDEFUN |RPOLCAT-;prem;2SVS;24| ((|a| (S)) (|b| (S)) (|v| (V)) (% (S)))
        (SPROG
         ((|cP|
           (|Record| (|:| |coef| S) (|:| |gap| (|NonNegativeInteger|))
                     (|:| |remainder| S))))
         (SEQ (LETT |cP| (SPADCALL |a| |b| |v| (QREFELT % 84)))
              (EXIT
               (SPADCALL
                (SPADCALL (QVELT |cP| 0) (QVELT |cP| 1) (QREFELT % 78))
                (QVELT |cP| 2) (QREFELT % 79)))))) 

(SDEFUN |RPOLCAT-;pquo;2SVS;25| ((|a| (S)) (|b| (S)) (|v| (V)) (% (S)))
        (SPROG
         ((|c| (S))
          (|cPS|
           (|Record| (|:| |coef| S) (|:| |gap| (|NonNegativeInteger|))
                     (|:| |quotient| S) (|:| |remainder| S))))
         (SEQ (LETT |cPS| (SPADCALL |a| |b| |v| (QREFELT % 86)))
              (LETT |c|
                    (SPADCALL (QVELT |cPS| 0) (QVELT |cPS| 1) (QREFELT % 78)))
              (EXIT (SPADCALL |c| (QVELT |cPS| 2) (QREFELT % 79)))))) 

(SDEFUN |RPOLCAT-;lazyPrem;3S;26| ((|a| (S)) (|b| (S)) (% (S)))
        (SEQ
         (COND
          ((NULL (SPADCALL |b| (QREFELT % 11)))
           (COND
            ((SPADCALL |b| (QREFELT % 88))
             (EXIT (SPADCALL |a| |b| (QREFELT % 89)))))))
         (EXIT (QVELT (SPADCALL |a| |b| (QREFELT % 77)) 2)))) 

(SDEFUN |RPOLCAT-;lazyPquo;3S;27| ((|a| (S)) (|b| (S)) (% (S)))
        (QVELT (SPADCALL |a| |b| (QREFELT % 82)) 2)) 

(SDEFUN |RPOLCAT-;lazyPrem;2SVS;28| ((|a| (S)) (|b| (S)) (|v| (V)) (% (S)))
        (SPROG
         ((|test| (|Integer|)) (|term| (S)) (#1=#:G288 NIL) (|lcav| (S))
          (|lcbv| (S)) (|dav| #2=(|NonNegativeInteger|)) (|dbv| #2#))
         (SEQ
          (COND
           ((SPADCALL |b| (QREFELT % 20))
            (|error|
             "Error in lazyPrem : (%,%,V) -> % from RPOLCAT : #2 is zero"))
           ((SPADCALL |b| (QREFELT % 11)) (|spadConstant| % 41))
           ((SPADCALL |v| (SPADCALL |b| (QREFELT % 23)) (QREFELT % 92))
            (SPADCALL |a| |b| (QREFELT % 93)))
           (#3='T
            (SEQ (LETT |dbv| (SPADCALL |b| |v| (QREFELT % 34)))
                 (EXIT
                  (COND ((ZEROP |dbv|) (|spadConstant| % 41))
                        (#3#
                         (SEQ (LETT |dav| (SPADCALL |a| |v| (QREFELT % 34)))
                              (EXIT
                               (COND ((ZEROP |dav|) |a|)
                                     (#3#
                                      (SEQ (LETT |test| (- |dav| |dbv|))
                                           (LETT |lcbv|
                                                 (SPADCALL |b| |v|
                                                           (QREFELT % 94)))
                                           (SEQ G190
                                                (COND
                                                 ((NULL
                                                   (COND
                                                    ((SPADCALL |a|
                                                               (QREFELT % 20))
                                                     NIL)
                                                    ('T
                                                     (NULL (MINUSP |test|)))))
                                                  (GO G191)))
                                                (SEQ
                                                 (LETT |lcav|
                                                       (SPADCALL |a| |v|
                                                                 (QREFELT %
                                                                          94)))
                                                 (LETT |term|
                                                       (SPADCALL |lcav| |v|
                                                                 (PROG1
                                                                     (LETT #1#
                                                                           |test|)
                                                                   (|check_subtype2|
                                                                    (>= #1# 0)
                                                                    '(|NonNegativeInteger|)
                                                                    '(|Integer|)
                                                                    #1#))
                                                                 (QREFELT %
                                                                          39)))
                                                 (LETT |a|
                                                       (SPADCALL
                                                        (SPADCALL |lcbv| |a|
                                                                  (QREFELT %
                                                                           79))
                                                        (SPADCALL |term| |b|
                                                                  (QREFELT %
                                                                           79))
                                                        (QREFELT % 42)))
                                                 (EXIT
                                                  (LETT |test|
                                                        (-
                                                         (SPADCALL |a| |v|
                                                                   (QREFELT %
                                                                            34))
                                                         |dbv|))))
                                                NIL (GO G190) G191 (EXIT NIL))
                                           (EXIT |a|))))))))))))))) 

(SDEFUN |RPOLCAT-;lazyPquo;2SVS;29| ((|a| (S)) (|b| (S)) (|v| (V)) (% (S)))
        (QVELT (SPADCALL |a| |b| |v| (QREFELT % 86)) 2)) 

(SDEFUN |RPOLCAT-;headReduce;3S;30| ((|a| (S)) (|b| (S)) (% (S)))
        (SPROG
         ((|lrc|
           (|Record| (|:| |polnum| S) (|:| |polden| S)
                     (|:| |power| (|NonNegativeInteger|))))
          (|ha| (S)))
         (SEQ
          (COND
           ((SPADCALL |b| (QREFELT % 11))
            (|error|
             "Error in headReduce : (%,%) -> Boolean from TSETCAT : #2 is constant"))
           ((SPADCALL |a| (QREFELT % 11)) |a|)
           ((SPADCALL (SPADCALL |a| (QREFELT % 23))
                      (SPADCALL |b| (QREFELT % 23)) (QREFELT % 92))
            (SPADCALL |a| |b| (QREFELT % 93)))
           ('T
            (SEQ
             (SEQ G190
                  (COND
                   ((NULL
                     (NULL
                      (SPADCALL (LETT |ha| (SPADCALL |a| (QREFELT % 44))) |b|
                                (QREFELT % 97))))
                    (GO G191)))
                  (SEQ (LETT |lrc| (SPADCALL |ha| |b| (QREFELT % 99)))
                       (EXIT
                        (COND
                         ((SPADCALL (SPADCALL |a| (QREFELT % 19))
                                    (QREFELT % 20))
                          (LETT |a| (QVELT |lrc| 0)))
                         ('T
                          (LETT |a|
                                (SPADCALL (QVELT |lrc| 0)
                                          (SPADCALL
                                           (SPADCALL (QVELT |lrc| 1)
                                                     (QVELT |lrc| 2)
                                                     (QREFELT % 78))
                                           (SPADCALL |a| (QREFELT % 19))
                                           (QREFELT % 79))
                                          (QREFELT % 100)))))))
                  NIL (GO G190) G191 (EXIT NIL))
             (EXIT |a|))))))) 

(SDEFUN |RPOLCAT-;initiallyReduce;3S;31| ((|a| (S)) (|b| (S)) (% (S)))
        (SPROG
         ((|ia| (S)) (|ma| (S)) (|ta| (S))
          (|iamodb|
           (|Record| (|:| |polnum| S) (|:| |polden| S)
                     (|:| |power| (|NonNegativeInteger|))))
          (|v| (V)))
         (SEQ
          (COND
           ((SPADCALL |b| (QREFELT % 11))
            (|error|
             "Error in initiallyReduce : (%,%) -> Boolean from TSETCAT : #2 is constant"))
           ((SPADCALL |a| (QREFELT % 11)) |a|)
           (#1='T
            (SEQ (LETT |v| (SPADCALL |b| (QREFELT % 23)))
                 (EXIT
                  (COND
                   ((SPADCALL (SPADCALL |a| (QREFELT % 23)) |v| (QREFELT % 92))
                    (SPADCALL |a| |b| (QREFELT % 93)))
                   (#1#
                    (SEQ (LETT |ia| |a|) (LETT |ma| (|spadConstant| % 16))
                         (LETT |ta| (|spadConstant| % 41))
                         (SEQ G190
                              (COND
                               ((NULL
                                 (COND ((SPADCALL |ia| (QREFELT % 11)) NIL)
                                       ('T
                                        (SPADCALL
                                         (SPADCALL |ia| (QREFELT % 23))
                                         (SPADCALL |b| (QREFELT % 23))
                                         (QREFELT % 102)))))
                                (GO G191)))
                              (SEQ
                               (COND
                                ((SPADCALL (SPADCALL |ia| (QREFELT % 23))
                                           (SPADCALL |b| (QREFELT % 23))
                                           (QREFELT % 92))
                                 (COND
                                  ((>= (SPADCALL |ia| (QREFELT % 22))
                                       (SPADCALL |b| (QREFELT % 22)))
                                   (SEQ
                                    (LETT |iamodb|
                                          (SPADCALL |ia| |b| (QREFELT % 99)))
                                    (LETT |ia| (QVELT |iamodb| 0))
                                    (EXIT
                                     (COND
                                      ((NULL (SPADCALL |ta| (QREFELT % 20)))
                                       (LETT |ta|
                                             (SPADCALL
                                              (SPADCALL (QVELT |iamodb| 1)
                                                        (QVELT |iamodb| 2)
                                                        (QREFELT % 78))
                                              |ta| (QREFELT % 79)))))))))))
                               (EXIT
                                (COND
                                 ((SPADCALL |ia| (QREFELT % 20))
                                  (SEQ (LETT |ia| |ta|)
                                       (LETT |ma| (|spadConstant| % 16))
                                       (EXIT
                                        (LETT |ta| (|spadConstant| % 41)))))
                                 ((NULL (SPADCALL |ia| (QREFELT % 11)))
                                  (SEQ
                                   (LETT |ta|
                                         (SPADCALL
                                          (SPADCALL
                                           (SPADCALL |ia| (QREFELT % 19)) |ma|
                                           (QREFELT % 79))
                                          |ta| (QREFELT % 100)))
                                   (LETT |ma|
                                         (SPADCALL
                                          (SPADCALL |ia| (QREFELT % 103)) |ma|
                                          (QREFELT % 79)))
                                   (EXIT
                                    (LETT |ia|
                                          (SPADCALL |ia| (QREFELT % 15)))))))))
                              NIL (GO G190) G191 (EXIT NIL))
                         (EXIT
                          (SPADCALL (SPADCALL |ia| |ma| (QREFELT % 79)) |ta|
                                    (QREFELT % 100))))))))))))) 

(SDEFUN |RPOLCAT-;lazyPremWithDefault;2SR;32|
        ((|a| (S)) (|b| (S))
         (%
          (|Record| (|:| |coef| S) (|:| |gap| (|NonNegativeInteger|))
                    (|:| |remainder| S))))
        (SPROG
         ((#1=#:G341 NIL) (|test| (|Integer|)) (|delta| (|Integer|))
          (|term| (S)) (#2=#:G337 NIL) (#3=#:G330 NIL)
          (|db| (|NonNegativeInteger|)) (|lcb| (S)) (|xb| (V)) (|xa| (V)))
         (SEQ
          (COND
           ((SPADCALL |b| (QREFELT % 11))
            (|error|
             "Error in lazyPremWithDefault from RPOLCAT : #2 is constant"))
           ((SPADCALL |a| (QREFELT % 11)) (VECTOR (|spadConstant| % 16) 0 |a|))
           (#4='T
            (SEQ (LETT |xa| (SPADCALL |a| (QREFELT % 23)))
                 (LETT |xb| (SPADCALL |b| (QREFELT % 23)))
                 (EXIT
                  (COND
                   ((SPADCALL |xa| |xb| (QREFELT % 69))
                    (VECTOR (|spadConstant| % 16) 0 |a|))
                   (#4#
                    (SEQ (LETT |lcb| (SPADCALL |b| (QREFELT % 15)))
                         (LETT |db| (SPADCALL |b| (QREFELT % 22)))
                         (LETT |test|
                               (- (SPADCALL |a| |xb| (QREFELT % 34)) |db|))
                         (LETT |delta| (MAX (+ |test| 1) 0))
                         (COND
                          ((SPADCALL |xa| |xb| (QREFELT % 92))
                           (SEQ (LETT |b| (SPADCALL |b| (QREFELT % 19)))
                                (EXIT
                                 (SEQ G190
                                      (COND
                                       ((NULL
                                         (COND
                                          ((SPADCALL |a| (QREFELT % 20)) NIL)
                                          ('T (NULL (MINUSP |test|)))))
                                        (GO G191)))
                                      (SEQ
                                       (LETT |term|
                                             (SPADCALL
                                              (SPADCALL |a| (QREFELT % 15))
                                              |xb|
                                              (PROG1 (LETT #3# |test|)
                                                (|check_subtype2| (>= #3# 0)
                                                                  '(|NonNegativeInteger|)
                                                                  '(|Integer|)
                                                                  #3#))
                                              (QREFELT % 39)))
                                       (LETT |a|
                                             (SPADCALL
                                              (SPADCALL |lcb|
                                                        (SPADCALL |a|
                                                                  (QREFELT %
                                                                           19))
                                                        (QREFELT % 79))
                                              (SPADCALL |term| |b|
                                                        (QREFELT % 79))
                                              (QREFELT % 42)))
                                       (LETT |delta| (- |delta| 1))
                                       (EXIT
                                        (LETT |test|
                                              (-
                                               (SPADCALL |a| |xb|
                                                         (QREFELT % 34))
                                               |db|))))
                                      NIL (GO G190) G191 (EXIT NIL)))))
                          (#4#
                           (SEQ G190
                                (COND
                                 ((NULL
                                   (COND ((SPADCALL |a| (QREFELT % 20)) NIL)
                                         ('T (NULL (MINUSP |test|)))))
                                  (GO G191)))
                                (SEQ
                                 (LETT |term|
                                       (SPADCALL
                                        (SPADCALL |a| |xb| (QREFELT % 94)) |xb|
                                        (PROG1 (LETT #2# |test|)
                                          (|check_subtype2| (>= #2# 0)
                                                            '(|NonNegativeInteger|)
                                                            '(|Integer|) #2#))
                                        (QREFELT % 39)))
                                 (LETT |a|
                                       (SPADCALL
                                        (SPADCALL |lcb| |a| (QREFELT % 79))
                                        (SPADCALL |term| |b| (QREFELT % 79))
                                        (QREFELT % 42)))
                                 (LETT |delta| (- |delta| 1))
                                 (EXIT
                                  (LETT |test|
                                        (- (SPADCALL |a| |xb| (QREFELT % 34))
                                           |db|))))
                                NIL (GO G190) G191 (EXIT NIL))))
                         (EXIT
                          (VECTOR |lcb|
                                  (PROG1 (LETT #1# |delta|)
                                    (|check_subtype2| (>= #1# 0)
                                                      '(|NonNegativeInteger|)
                                                      '(|Integer|) #1#))
                                  |a|)))))))))))) 

(SDEFUN |RPOLCAT-;lazyPremWithDefault;2SVR;33|
        ((|a| (S)) (|b| (S)) (|v| (V))
         (%
          (|Record| (|:| |coef| S) (|:| |gap| (|NonNegativeInteger|))
                    (|:| |remainder| S))))
        (SPROG
         ((#1=#:G356 NIL) (|test| (|Integer|)) (|delta| (|Integer|))
          (|term| (S)) (#2=#:G352 NIL) (|lcav| (S)) (|lcbv| (S))
          (|dav| #3=(|NonNegativeInteger|)) (|dbv| #3#))
         (SEQ
          (COND
           ((SPADCALL |b| (QREFELT % 20))
            (|error|
             "Error in lazyPremWithDefault : (%,%,V) -> % from RPOLCAT : #2 is zero"))
           ((SPADCALL |b| (QREFELT % 11)) (VECTOR |b| 1 (|spadConstant| % 41)))
           ((SPADCALL |v| (SPADCALL |b| (QREFELT % 23)) (QREFELT % 92))
            (SPADCALL |a| |b| (QREFELT % 77)))
           (#4='T
            (SEQ (LETT |dbv| (SPADCALL |b| |v| (QREFELT % 34)))
                 (EXIT
                  (COND ((ZEROP |dbv|) (VECTOR |b| 1 (|spadConstant| % 41)))
                        (#4#
                         (SEQ (LETT |dav| (SPADCALL |a| |v| (QREFELT % 34)))
                              (EXIT
                               (COND
                                ((ZEROP |dav|)
                                 (VECTOR (|spadConstant| % 16) 0 |a|))
                                (#4#
                                 (SEQ (LETT |test| (- |dav| |dbv|))
                                      (LETT |delta| (MAX (+ |test| 1) 0))
                                      (LETT |lcbv|
                                            (SPADCALL |b| |v| (QREFELT % 94)))
                                      (SEQ G190
                                           (COND
                                            ((NULL
                                              (COND
                                               ((SPADCALL |a| (QREFELT % 20))
                                                NIL)
                                               ('T (NULL (MINUSP |test|)))))
                                             (GO G191)))
                                           (SEQ
                                            (LETT |lcav|
                                                  (SPADCALL |a| |v|
                                                            (QREFELT % 94)))
                                            (LETT |term|
                                                  (SPADCALL |lcav| |v|
                                                            (PROG1
                                                                (LETT #2#
                                                                      |test|)
                                                              (|check_subtype2|
                                                               (>= #2# 0)
                                                               '(|NonNegativeInteger|)
                                                               '(|Integer|)
                                                               #2#))
                                                            (QREFELT % 39)))
                                            (LETT |a|
                                                  (SPADCALL
                                                   (SPADCALL |lcbv| |a|
                                                             (QREFELT % 79))
                                                   (SPADCALL |term| |b|
                                                             (QREFELT % 79))
                                                   (QREFELT % 42)))
                                            (LETT |delta| (- |delta| 1))
                                            (EXIT
                                             (LETT |test|
                                                   (-
                                                    (SPADCALL |a| |v|
                                                              (QREFELT % 34))
                                                    |dbv|))))
                                           NIL (GO G190) G191 (EXIT NIL))
                                      (EXIT
                                       (VECTOR |lcbv|
                                               (PROG1 (LETT #1# |delta|)
                                                 (|check_subtype2| (>= #1# 0)
                                                                   '(|NonNegativeInteger|)
                                                                   '(|Integer|)
                                                                   #1#))
                                               |a|)))))))))))))))) 

(SDEFUN |RPOLCAT-;pseudoDivide;2SR;34|
        ((|a| (S)) (|b| (S))
         (% (|Record| (|:| |quotient| S) (|:| |remainder| S))))
        (SPROG
         ((|c| (S))
          (|cPS|
           (|Record| (|:| |coef| S) (|:| |gap| (|NonNegativeInteger|))
                     (|:| |quotient| S) (|:| |remainder| S))))
         (SEQ (LETT |cPS| (SPADCALL |a| |b| (QREFELT % 82)))
              (LETT |c|
                    (SPADCALL (QVELT |cPS| 0) (QVELT |cPS| 1) (QREFELT % 78)))
              (EXIT
               (CONS (SPADCALL |c| (QVELT |cPS| 2) (QREFELT % 79))
                     (SPADCALL |c| (QVELT |cPS| 3) (QREFELT % 79))))))) 

(SDEFUN |RPOLCAT-;lazyPseudoDivide;2SR;35|
        ((|a| (S)) (|b| (S))
         (%
          (|Record| (|:| |coef| S) (|:| |gap| (|NonNegativeInteger|))
                    (|:| |quotient| S) (|:| |remainder| S))))
        (SPROG
         ((#1=#:G384 NIL) (|test| (|Integer|)) (|delta| (|Integer|)) (|q| (S))
          (|term| (S)) (#2=#:G380 NIL) (#3=#:G373 NIL)
          (|db| (|NonNegativeInteger|)) (|lcb| (S)) (|xb| (V)) (|xa| (V)))
         (SEQ
          (COND
           ((SPADCALL |b| (QREFELT % 11))
            (|error|
             "Error in lazyPseudoDivide from RPOLCAT : #2 is constant"))
           ((SPADCALL |a| (QREFELT % 11))
            (VECTOR (|spadConstant| % 16) 0 (|spadConstant| % 41) |a|))
           (#4='T
            (SEQ (LETT |xa| (SPADCALL |a| (QREFELT % 23)))
                 (LETT |xb| (SPADCALL |b| (QREFELT % 23)))
                 (EXIT
                  (COND
                   ((SPADCALL |xa| |xb| (QREFELT % 69))
                    (VECTOR (|spadConstant| % 16) 0 (|spadConstant| % 41) |a|))
                   (#4#
                    (SEQ (LETT |lcb| (SPADCALL |b| (QREFELT % 15)))
                         (LETT |db| (SPADCALL |b| (QREFELT % 22)))
                         (LETT |q| (|spadConstant| % 41))
                         (LETT |test|
                               (- (SPADCALL |a| |xb| (QREFELT % 34)) |db|))
                         (LETT |delta| (MAX (+ |test| 1) 0))
                         (COND
                          ((SPADCALL |xa| |xb| (QREFELT % 92))
                           (SEQ (LETT |b| (SPADCALL |b| (QREFELT % 19)))
                                (EXIT
                                 (SEQ G190
                                      (COND
                                       ((NULL
                                         (COND
                                          ((SPADCALL |a| (QREFELT % 20)) NIL)
                                          ('T (NULL (MINUSP |test|)))))
                                        (GO G191)))
                                      (SEQ
                                       (LETT |term|
                                             (SPADCALL
                                              (SPADCALL |a| (QREFELT % 15))
                                              |xb|
                                              (PROG1 (LETT #3# |test|)
                                                (|check_subtype2| (>= #3# 0)
                                                                  '(|NonNegativeInteger|)
                                                                  '(|Integer|)
                                                                  #3#))
                                              (QREFELT % 39)))
                                       (LETT |a|
                                             (SPADCALL
                                              (SPADCALL |lcb|
                                                        (SPADCALL |a|
                                                                  (QREFELT %
                                                                           19))
                                                        (QREFELT % 79))
                                              (SPADCALL |term| |b|
                                                        (QREFELT % 79))
                                              (QREFELT % 42)))
                                       (LETT |q|
                                             (SPADCALL
                                              (SPADCALL |lcb| |q|
                                                        (QREFELT % 79))
                                              |term| (QREFELT % 100)))
                                       (LETT |delta| (- |delta| 1))
                                       (EXIT
                                        (LETT |test|
                                              (-
                                               (SPADCALL |a| |xb|
                                                         (QREFELT % 34))
                                               |db|))))
                                      NIL (GO G190) G191 (EXIT NIL)))))
                          (#4#
                           (SEQ G190
                                (COND
                                 ((NULL
                                   (COND ((SPADCALL |a| (QREFELT % 20)) NIL)
                                         ('T (NULL (MINUSP |test|)))))
                                  (GO G191)))
                                (SEQ
                                 (LETT |term|
                                       (SPADCALL
                                        (SPADCALL |a| |xb| (QREFELT % 94)) |xb|
                                        (PROG1 (LETT #2# |test|)
                                          (|check_subtype2| (>= #2# 0)
                                                            '(|NonNegativeInteger|)
                                                            '(|Integer|) #2#))
                                        (QREFELT % 39)))
                                 (LETT |a|
                                       (SPADCALL
                                        (SPADCALL |lcb| |a| (QREFELT % 79))
                                        (SPADCALL |term| |b| (QREFELT % 79))
                                        (QREFELT % 42)))
                                 (LETT |q|
                                       (SPADCALL
                                        (SPADCALL |lcb| |q| (QREFELT % 79))
                                        |term| (QREFELT % 100)))
                                 (LETT |delta| (- |delta| 1))
                                 (EXIT
                                  (LETT |test|
                                        (- (SPADCALL |a| |xb| (QREFELT % 34))
                                           |db|))))
                                NIL (GO G190) G191 (EXIT NIL))))
                         (EXIT
                          (VECTOR |lcb|
                                  (PROG1 (LETT #1# |delta|)
                                    (|check_subtype2| (>= #1# 0)
                                                      '(|NonNegativeInteger|)
                                                      '(|Integer|) #1#))
                                  |q| |a|)))))))))))) 

(SDEFUN |RPOLCAT-;lazyPseudoDivide;2SVR;36|
        ((|a| (S)) (|b| (S)) (|v| (V))
         (%
          (|Record| (|:| |coef| S) (|:| |gap| (|NonNegativeInteger|))
                    (|:| |quotient| S) (|:| |remainder| S))))
        (SPROG
         ((#1=#:G399 NIL) (|test| (|Integer|)) (|delta| (|Integer|)) (|q| (S))
          (|term| (S)) (#2=#:G395 NIL) (|lcav| (S)) (|lcbv| (S))
          (|dav| #3=(|NonNegativeInteger|)) (|dbv| #3#))
         (SEQ
          (COND
           ((SPADCALL |b| (QREFELT % 20))
            (|error|
             "Error in lazyPseudoDivide : (%,%,V) -> % from RPOLCAT : #2 is zero"))
           ((SPADCALL |b| (QREFELT % 11))
            (VECTOR |b| 1 |a| (|spadConstant| % 41)))
           ((SPADCALL |v| (SPADCALL |b| (QREFELT % 23)) (QREFELT % 92))
            (SPADCALL |a| |b| (QREFELT % 82)))
           (#4='T
            (SEQ (LETT |dbv| (SPADCALL |b| |v| (QREFELT % 34)))
                 (EXIT
                  (COND
                   ((ZEROP |dbv|) (VECTOR |b| 1 |a| (|spadConstant| % 41)))
                   (#4#
                    (SEQ (LETT |dav| (SPADCALL |a| |v| (QREFELT % 34)))
                         (EXIT
                          (COND
                           ((ZEROP |dav|)
                            (VECTOR (|spadConstant| % 16) 0
                                    (|spadConstant| % 41) |a|))
                           (#4#
                            (SEQ (LETT |test| (- |dav| |dbv|))
                                 (LETT |delta| (MAX (+ |test| 1) 0))
                                 (LETT |lcbv|
                                       (SPADCALL |b| |v| (QREFELT % 94)))
                                 (LETT |q| (|spadConstant| % 41))
                                 (SEQ G190
                                      (COND
                                       ((NULL
                                         (COND
                                          ((SPADCALL |a| (QREFELT % 20)) NIL)
                                          ('T (NULL (MINUSP |test|)))))
                                        (GO G191)))
                                      (SEQ
                                       (LETT |lcav|
                                             (SPADCALL |a| |v| (QREFELT % 94)))
                                       (LETT |term|
                                             (SPADCALL |lcav| |v|
                                                       (PROG1 (LETT #2# |test|)
                                                         (|check_subtype2|
                                                          (>= #2# 0)
                                                          '(|NonNegativeInteger|)
                                                          '(|Integer|) #2#))
                                                       (QREFELT % 39)))
                                       (LETT |a|
                                             (SPADCALL
                                              (SPADCALL |lcbv| |a|
                                                        (QREFELT % 79))
                                              (SPADCALL |term| |b|
                                                        (QREFELT % 79))
                                              (QREFELT % 42)))
                                       (LETT |q|
                                             (SPADCALL
                                              (SPADCALL |lcbv| |q|
                                                        (QREFELT % 79))
                                              |term| (QREFELT % 100)))
                                       (LETT |delta| (- |delta| 1))
                                       (EXIT
                                        (LETT |test|
                                              (-
                                               (SPADCALL |a| |v|
                                                         (QREFELT % 34))
                                               |dbv|))))
                                      NIL (GO G190) G191 (EXIT NIL))
                                 (EXIT
                                  (VECTOR |lcbv|
                                          (PROG1 (LETT #1# |delta|)
                                            (|check_subtype2| (>= #1# 0)
                                                              '(|NonNegativeInteger|)
                                                              '(|Integer|)
                                                              #1#))
                                          |q| |a|)))))))))))))))) 

(SDEFUN |RPOLCAT-;monicModulo;3S;37| ((|a| (S)) (|b| (S)) (% (S)))
        (SPROG ((|r1| (S)) (|rec| (|Union| S "failed")) (|ib| (S)))
               (SEQ
                (COND
                 ((SPADCALL |b| (QREFELT % 11))
                  (|error|
                   "Error in monicModulo from RPOLCAT : #2 is constant"))
                 (#1='T
                  (SEQ
                   (LETT |rec|
                         (SPADCALL (LETT |ib| (SPADCALL |b| (QREFELT % 15)))
                                   (QREFELT % 54)))
                   (EXIT
                    (COND
                     ((QEQCAR |rec| 1)
                      (|error|
                       "Error in monicModulo from RPOLCAT : #2 is not monic"))
                     ((SPADCALL |a| (QREFELT % 11)) |a|)
                     (#1#
                      (SEQ (LETT |r1| (QCDR |rec|))
                           (EXIT
                            (SPADCALL |ib|
                                      (QVELT
                                       (SPADCALL
                                        (SPADCALL |r1| |a| (QREFELT % 79))
                                        (SPADCALL |r1| |b| (QREFELT % 79))
                                        (QREFELT % 77))
                                       2)
                                      (QREFELT % 79))))))))))))) 

(SDEFUN |RPOLCAT-;lazyResidueClass;2SR;38|
        ((|a| (S)) (|b| (S))
         (%
          (|Record| (|:| |polnum| S) (|:| |polden| S)
                    (|:| |power| (|NonNegativeInteger|)))))
        (SPROG
         ((|test| (|Integer|)) (|pow| (|NonNegativeInteger|)) (|term| (S))
          (#1=#:G427 NIL) (#2=#:G420 NIL) (|db| (|NonNegativeInteger|))
          (|lcb| (S)) (|xb| (V)) (|xa| (V)))
         (SEQ
          (COND
           ((SPADCALL |b| (QREFELT % 20)) (VECTOR |a| (|spadConstant| % 16) 0))
           ((SPADCALL |b| (QREFELT % 11))
            (VECTOR (|spadConstant| % 41) (|spadConstant| % 16) 0))
           ((SPADCALL |a| (QREFELT % 11)) (VECTOR |a| (|spadConstant| % 16) 0))
           (#3='T
            (SEQ (LETT |xa| (SPADCALL |a| (QREFELT % 23)))
                 (LETT |xb| (SPADCALL |b| (QREFELT % 23)))
                 (EXIT
                  (COND
                   ((SPADCALL |xa| |xb| (QREFELT % 69))
                    (VECTOR |a| (|spadConstant| % 16) 0))
                   ((SPADCALL |b| (QREFELT % 88))
                    (VECTOR (SPADCALL |a| |b| (QREFELT % 89))
                            (|spadConstant| % 16) 0))
                   (#3#
                    (SEQ (LETT |lcb| (SPADCALL |b| (QREFELT % 15)))
                         (LETT |db| (SPADCALL |b| (QREFELT % 22)))
                         (LETT |test|
                               (- (SPADCALL |a| |xb| (QREFELT % 34)) |db|))
                         (LETT |pow| 0)
                         (COND
                          ((SPADCALL |xa| |xb| (QREFELT % 92))
                           (SEQ (LETT |b| (SPADCALL |b| (QREFELT % 19)))
                                (EXIT
                                 (SEQ G190
                                      (COND
                                       ((NULL
                                         (COND
                                          ((SPADCALL |a| (QREFELT % 20)) NIL)
                                          ('T (NULL (MINUSP |test|)))))
                                        (GO G191)))
                                      (SEQ
                                       (LETT |term|
                                             (SPADCALL
                                              (SPADCALL |a| (QREFELT % 15))
                                              |xb|
                                              (PROG1 (LETT #2# |test|)
                                                (|check_subtype2| (>= #2# 0)
                                                                  '(|NonNegativeInteger|)
                                                                  '(|Integer|)
                                                                  #2#))
                                              (QREFELT % 39)))
                                       (LETT |a|
                                             (SPADCALL
                                              (SPADCALL |lcb|
                                                        (SPADCALL |a|
                                                                  (QREFELT %
                                                                           19))
                                                        (QREFELT % 79))
                                              (SPADCALL |term| |b|
                                                        (QREFELT % 79))
                                              (QREFELT % 42)))
                                       (LETT |pow| (+ |pow| 1))
                                       (EXIT
                                        (LETT |test|
                                              (-
                                               (SPADCALL |a| |xb|
                                                         (QREFELT % 34))
                                               |db|))))
                                      NIL (GO G190) G191 (EXIT NIL)))))
                          (#3#
                           (SEQ G190
                                (COND
                                 ((NULL
                                   (COND ((SPADCALL |a| (QREFELT % 20)) NIL)
                                         ('T (NULL (MINUSP |test|)))))
                                  (GO G191)))
                                (SEQ
                                 (LETT |term|
                                       (SPADCALL
                                        (SPADCALL |a| |xb| (QREFELT % 94)) |xb|
                                        (PROG1 (LETT #1# |test|)
                                          (|check_subtype2| (>= #1# 0)
                                                            '(|NonNegativeInteger|)
                                                            '(|Integer|) #1#))
                                        (QREFELT % 39)))
                                 (LETT |a|
                                       (SPADCALL
                                        (SPADCALL |lcb| |a| (QREFELT % 79))
                                        (SPADCALL |term| |b| (QREFELT % 79))
                                        (QREFELT % 42)))
                                 (LETT |pow| (+ |pow| 1))
                                 (EXIT
                                  (LETT |test|
                                        (- (SPADCALL |a| |xb| (QREFELT % 34))
                                           |db|))))
                                NIL (GO G190) G191 (EXIT NIL))))
                         (EXIT (VECTOR |a| |lcb| |pow|)))))))))))) 

(SDEFUN |RPOLCAT-;reduced?;2SB;39| ((|a| (S)) (|b| (S)) (% (|Boolean|)))
        (< (SPADCALL |a| (SPADCALL |b| (QREFELT % 23)) (QREFELT % 34))
           (SPADCALL |b| (QREFELT % 22)))) 

(SDEFUN |RPOLCAT-;reduced?;SLB;40|
        ((|p| (S)) (|lq| (|List| S)) (% (|Boolean|)))
        (SEQ
         (COND ((SPADCALL |p| (QREFELT % 11)) 'T)
               ('T
                (SEQ
                 (SEQ G190
                      (COND
                       ((NULL
                         (COND ((NULL |lq|) NIL)
                               ('T
                                (SPADCALL |p| (|SPADfirst| |lq|)
                                          (QREFELT % 97)))))
                        (GO G191)))
                      (SEQ (EXIT (LETT |lq| (CDR |lq|)))) NIL (GO G190) G191
                      (EXIT NIL))
                 (EXIT (NULL |lq|))))))) 

(SDEFUN |RPOLCAT-;headReduced?;2SB;41| ((|a| (S)) (|b| (S)) (% (|Boolean|)))
        (SPADCALL (SPADCALL |a| (QREFELT % 44)) |b| (QREFELT % 97))) 

(SDEFUN |RPOLCAT-;headReduced?;SLB;42|
        ((|p| (S)) (|lq| (|List| S)) (% (|Boolean|)))
        (SPADCALL (SPADCALL |p| (QREFELT % 44)) |lq| (QREFELT % 116))) 

(SDEFUN |RPOLCAT-;initiallyReduced?;2SB;43|
        ((|a| (S)) (|b| (S)) (% (|Boolean|)))
        (COND
         ((SPADCALL |b| (QREFELT % 11))
          (|error|
           "Error in initiallyReduced? : (%,%) -> Bool. from RPOLCAT : #2 is constant"))
         ((OR (SPADCALL |a| (QREFELT % 11))
              (SPADCALL (SPADCALL |a| (QREFELT % 23))
                        (SPADCALL |b| (QREFELT % 23)) (QREFELT % 69)))
          'T)
         ((SPADCALL (SPADCALL |a| (QREFELT % 23)) (SPADCALL |b| (QREFELT % 23))
                    (QREFELT % 92))
          (SPADCALL |a| |b| (QREFELT % 97)))
         ('T (SPADCALL (SPADCALL |a| (QREFELT % 15)) |b| (QREFELT % 118))))) 

(SDEFUN |RPOLCAT-;initiallyReduced?;SLB;44|
        ((|p| (S)) (|lq| (|List| S)) (% (|Boolean|)))
        (SEQ
         (COND ((SPADCALL |p| (QREFELT % 11)) 'T)
               ('T
                (SEQ
                 (SEQ G190
                      (COND
                       ((NULL
                         (COND ((NULL |lq|) NIL)
                               ('T
                                (SPADCALL |p| (|SPADfirst| |lq|)
                                          (QREFELT % 118)))))
                        (GO G191)))
                      (SEQ (EXIT (LETT |lq| (CDR |lq|)))) NIL (GO G190) G191
                      (EXIT NIL))
                 (EXIT (NULL |lq|))))))) 

(SDEFUN |RPOLCAT-;normalized?;2SB;45| ((|a| (S)) (|b| (S)) (% (|Boolean|)))
        (COND
         ((SPADCALL |b| (QREFELT % 11))
          (|error|
           "Error in  normalized? : (%,%) -> Boolean from TSETCAT : #2 is constant"))
         ((OR (SPADCALL |a| (QREFELT % 11))
              (SPADCALL (SPADCALL |a| (QREFELT % 23))
                        (SPADCALL |b| (QREFELT % 23)) (QREFELT % 69)))
          'T)
         ((SPADCALL (SPADCALL |a| (QREFELT % 23)) (SPADCALL |b| (QREFELT % 23))
                    (QREFELT % 92))
          NIL)
         ('T (SPADCALL (SPADCALL |a| (QREFELT % 15)) |b| (QREFELT % 121))))) 

(SDEFUN |RPOLCAT-;normalized?;SLB;46|
        ((|p| (S)) (|lq| (|List| S)) (% (|Boolean|)))
        (SEQ
         (SEQ G190
              (COND
               ((NULL
                 (COND ((NULL |lq|) NIL)
                       ('T (SPADCALL |p| (|SPADfirst| |lq|) (QREFELT % 121)))))
                (GO G191)))
              (SEQ (EXIT (LETT |lq| (CDR |lq|)))) NIL (GO G190) G191
              (EXIT NIL))
         (EXIT (NULL |lq|)))) 

(SDEFUN |RPOLCAT-;iexactQuo;3R;47| ((|r| (R)) (|s| (R)) (% (R)))
        (SPADCALL |r| |s| (QREFELT % 124))) 

(SDEFUN |RPOLCAT-;iexactQuo;3R;48| ((|r| (R)) (|s| (R)) (% (R)))
        (SPROG ((#1=#:G469 NIL))
               (PROG2 (LETT #1# (SPADCALL |r| |s| (QREFELT % 126)))
                   (QCDR #1#)
                 (|check_union2| (QEQCAR #1# 0) (QREFELT % 7)
                                 (|Union| (QREFELT % 7) "failed") #1#)))) 

(SDEFUN |RPOLCAT-;exactQuo| ((|r| (R)) (|s| (R)) (% (R)))
        (SPADCALL |r| |s| (QREFELT % 127))) 

(SDEFUN |RPOLCAT-;exactQuotient;SRS;50| ((|p| (S)) (|r| (R)) (% (S)))
        (SPROG ((#1=#:G474 NIL))
               (PROG2 (LETT #1# (SPADCALL |p| |r| (QREFELT % 128)))
                   (QCDR #1#)
                 (|check_union2| (QEQCAR #1# 0) (QREFELT % 6)
                                 (|Union| (QREFELT % 6) "failed") #1#)))) 

(SDEFUN |RPOLCAT-;exactQuotient;3S;51| ((|a| (S)) (|b| (S)) (% (S)))
        (SPROG ((#1=#:G478 NIL))
               (COND
                ((SPADCALL |b| (QREFELT % 11))
                 (SPADCALL |a| (SPADCALL |b| (QREFELT % 12)) (QREFELT % 130)))
                ('T
                 (PROG2 (LETT #1# (SPADCALL |a| |b| (QREFELT % 131)))
                     (QCDR #1#)
                   (|check_union2| (QEQCAR #1# 0) (QREFELT % 6)
                                   (|Union| (QREFELT % 6) "failed") #1#)))))) 

(SDEFUN |RPOLCAT-;exactQuotient!;3S;52| ((|a| (S)) (|b| (S)) (% (S)))
        (SPROG ((#1=#:G483 NIL))
               (COND
                ((SPADCALL |b| (QREFELT % 11))
                 (SPADCALL |a| (SPADCALL |b| (QREFELT % 12)) (QREFELT % 133)))
                ('T
                 (LETT |a|
                       (PROG2 (LETT #1# (SPADCALL |a| |b| (QREFELT % 131)))
                           (QCDR #1#)
                         (|check_union2| (QEQCAR #1# 0) (QREFELT % 6)
                                         (|Union| (QREFELT % 6) "failed")
                                         #1#))))))) 

(SDEFUN |RPOLCAT-;primPartElseUnitCanonical;2S;53| ((|p| (S)) (% (S)))
        (SPADCALL |p| (QREFELT % 135))) 

(SDEFUN |RPOLCAT-;primPartElseUnitCanonical!;2S;54| ((|p| (S)) (% (S)))
        (LETT |p| (SPADCALL |p| (QREFELT % 135)))) 

(SDEFUN |RPOLCAT-;primPartElseUnitCanonical;2S;55| ((|p| (S)) (% (S)))
        (SPADCALL |p| (QREFELT % 138))) 

(SDEFUN |RPOLCAT-;primitivePart!;2S;56| ((|p| (S)) (% (S)))
        (SPROG ((|cp| (R)))
               (SEQ
                (COND ((SPADCALL |p| (QREFELT % 20)) |p|)
                      (#1='T
                       (SEQ
                        (SEQ (LETT |cp| (SPADCALL |p| (QREFELT % 139)))
                             (EXIT
                              (COND
                               ((SPADCALL |cp| (|spadConstant| % 17)
                                          (QREFELT % 140))
                                (LETT |p| (SPADCALL |p| (QREFELT % 135))))
                               (#1#
                                (LETT |p|
                                      (SPADCALL
                                       (SPADCALL |p| |cp| (QREFELT % 133))
                                       (QREFELT % 135)))))))
                        (EXIT |p|))))))) 

(SDEFUN |RPOLCAT-;primPartElseUnitCanonical!;2S;57| ((|p| (S)) (% (S)))
        (SPADCALL |p| (QREFELT % 142))) 

(SDEFUN |RPOLCAT-;primPartElseUnitCanonical;2S;58| ((|p| (S)) (% (S)))
        (SPADCALL |p| (QREFELT % 135))) 

(SDEFUN |RPOLCAT-;primPartElseUnitCanonical!;2S;59| ((|p| (S)) (% (S)))
        (LETT |p| (SPADCALL |p| (QREFELT % 135)))) 

(SDEFUN |RPOLCAT-;gcd;RSR;60| ((|r| (R)) (|p| (S)) (% (R)))
        (COND
         ((OR (SPADCALL |r| (|spadConstant| % 17) (QREFELT % 140))
              (SPADCALL |p| (QREFELT % 20)))
          |r|)
         ((SPADCALL |p| (QREFELT % 11))
          (SPADCALL |r| (SPADCALL |p| (QREFELT % 12)) (QREFELT % 143)))
         ('T
          (SPADCALL
           (SPADCALL |r| (SPADCALL |p| (QREFELT % 15)) (QREFELT % 144))
           (SPADCALL |p| (QREFELT % 19)) (QREFELT % 144))))) 

(SDEFUN |RPOLCAT-;mainContent;2S;61| ((|p| (S)) (% (S)))
        (SPROG
         ((#1=#:G501 NIL) (#2=#:G500 (S)) (#3=#:G502 (S)) (#4=#:G505 NIL)
          (#5=#:G1 NIL))
         (SEQ
          (COND ((SPADCALL |p| (QREFELT % 20)) |p|)
                (#6='T
                 (PROGN
                  (LETT #1# NIL)
                  (SEQ (LETT #5# NIL) (LETT #4# (SPADCALL |p| (QREFELT % 146)))
                       G190
                       (COND
                        ((OR (ATOM #4#) (PROGN (LETT #5# (CAR #4#)) NIL))
                         (GO G191)))
                       (SEQ
                        (EXIT
                         (PROGN
                          (LETT #3# #5#)
                          (COND
                           (#1# (LETT #2# (SPADCALL #2# #3# (QREFELT % 147))))
                           ('T (PROGN (LETT #2# #3#) (LETT #1# 'T)))))))
                       (LETT #4# (CDR #4#)) (GO G190) G191 (EXIT NIL))
                  (COND (#1# #2#) (#6# (|spadConstant| % 41))))))))) 

(SDEFUN |RPOLCAT-;mainPrimitivePart;2S;62| ((|p| (S)) (% (S)))
        (SPROG ((#1=#:G507 NIL))
               (COND ((SPADCALL |p| (QREFELT % 20)) |p|)
                     ('T
                      (QVELT
                       (SPADCALL
                        (PROG2
                            (LETT #1#
                                  (SPADCALL |p| (SPADCALL |p| (QREFELT % 149))
                                            (QREFELT % 131)))
                            (QCDR #1#)
                          (|check_union2| (QEQCAR #1# 0) (QREFELT % 6)
                                          (|Union| (QREFELT % 6) "failed")
                                          #1#))
                        (QREFELT % 151))
                       1))))) 

(SDEFUN |RPOLCAT-;mainSquareFreePart;2S;63| ((|p| (S)) (% (S)))
        (SPROG
         ((|sfp| (|SparseUnivariatePolynomial| S)) (|v| (V)) (#1=#:G513 NIL))
         (SEQ
          (COND ((SPADCALL |p| (QREFELT % 11)) |p|)
                ('T
                 (SEQ
                  (LETT |v|
                        (PROG2 (LETT #1# (SPADCALL |p| (QREFELT % 32)))
                            (QCDR #1#)
                          (|check_union2| (QEQCAR #1# 0) (QREFELT % 9)
                                          (|Union| (QREFELT % 9) "failed")
                                          #1#)))
                  (LETT |sfp|
                        (SPADCALL (SPADCALL |p| |v| (QREFELT % 61))
                                  (QREFELT % 153)))
                  (EXIT (SPADCALL |sfp| |v| (QREFELT % 154))))))))) 

(SDEFUN |RPOLCAT-;convert;SP;64| ((|p| (S)) (% (|Polynomial| R)))
        (SPROG ((|d| (|NonNegativeInteger|)) (|v| (V)))
               (SEQ
                (COND
                 ((SPADCALL |p| (QREFELT % 11))
                  (SPADCALL (SPADCALL |p| (QREFELT % 12)) (QREFELT % 157)))
                 ('T
                  (SEQ (LETT |v| (SPADCALL |p| (QREFELT % 23)))
                       (LETT |d| (SPADCALL |p| (QREFELT % 22)))
                       (EXIT
                        (SPADCALL
                         (SPADCALL
                          (SPADCALL (SPADCALL |p| (QREFELT % 15))
                                    (QREFELT % 158))
                          (SPADCALL
                           (SPADCALL (SPADCALL |v| (QREFELT % 160))
                                     (QREFELT % 161))
                           |d| (QREFELT % 162))
                          (QREFELT % 163))
                         (SPADCALL (SPADCALL |p| (QREFELT % 19))
                                   (QREFELT % 158))
                         (QREFELT % 164))))))))) 

(SDEFUN |RPOLCAT-;coerce;SP;65| ((|p| (S)) (% (|Polynomial| R)))
        (SPADCALL |p| (QREFELT % 158))) 

(SDEFUN |RPOLCAT-;localRetract| ((|p| (|Polynomial| R)) (% (S)))
        (SPROG
         ((|newp| (S)) (|xvimvp| (S)) (|c| (S)) (|d| (|NonNegativeInteger|))
          (|vimvp| (V)) (|imvp| (|PositiveInteger|)) (#1=#:G541 NIL)
          (|mvp| (|Symbol|)) (#2=#:G539 NIL))
         (SEQ
          (COND
           ((SPADCALL |p| (QREFELT % 172))
            (SPADCALL (SPADCALL |p| (QREFELT % 173)) (QREFELT % 174)))
           ('T
            (SEQ
             (LETT |mvp|
                   (PROG2 (LETT #2# (SPADCALL |p| (QREFELT % 176)))
                       (QCDR #2#)
                     (|check_union2| (QEQCAR #2# 0) (|Symbol|)
                                     (|Union| (|Symbol|) "failed") #2#)))
             (LETT |imvp|
                   (PROG1
                       (LETT #1#
                             (SPADCALL |mvp| (QREFELT % 171) (QREFELT % 179)))
                     (|check_subtype2| (> #1# 0) '(|PositiveInteger|)
                                       '(|Integer|) #1#)))
             (LETT |vimvp| (SPADCALL |imvp| (QREFELT % 170)))
             (LETT |newp| (|spadConstant| % 41))
             (SEQ G190
                  (COND
                   ((NULL
                     (NULL
                      (ZEROP (LETT |d| (SPADCALL |p| |mvp| (QREFELT % 180))))))
                    (GO G191)))
                  (SEQ
                   (LETT |c|
                         (|RPOLCAT-;localRetract|
                          (SPADCALL |p| |mvp| |d| (QREFELT % 181)) %))
                   (LETT |xvimvp| (SPADCALL |c| |vimvp| |d| (QREFELT % 39)))
                   (LETT |newp| (SPADCALL |newp| |xvimvp| (QREFELT % 100)))
                   (EXIT
                    (LETT |p|
                          (SPADCALL |p|
                                    (SPADCALL
                                     (SPADCALL |p| |mvp| |d| (QREFELT % 181))
                                     |mvp| |d| (QREFELT % 182))
                                    (QREFELT % 183)))))
                  NIL (GO G190) G191 (EXIT NIL))
             (EXIT
              (SPADCALL |newp| (|RPOLCAT-;localRetract| |p| %)
                        (QREFELT % 100))))))))) 

(SDEFUN |RPOLCAT-;localRetractPQ|
        ((|pq| (|Polynomial| (|Fraction| (|Integer|)))) (% (S)))
        (SPROG
         ((|newp| (S)) (|xvimvp| (S)) (|c| (S)) (|d| (|NonNegativeInteger|))
          (|vimvp| (V)) (|imvp| (|PositiveInteger|)) (#1=#:G552 NIL)
          (|mvp| (|Symbol|)) (#2=#:G550 NIL))
         (SEQ
          (COND
           ((SPADCALL |pq| (QREFELT % 185))
            (SPADCALL
             (SPADCALL (SPADCALL |pq| (QREFELT % 187)) (QREFELT % 188))
             (QREFELT % 174)))
           ('T
            (SEQ
             (LETT |mvp|
                   (PROG2 (LETT #2# (SPADCALL |pq| (QREFELT % 189)))
                       (QCDR #2#)
                     (|check_union2| (QEQCAR #2# 0) (|Symbol|)
                                     (|Union| (|Symbol|) "failed") #2#)))
             (LETT |imvp|
                   (PROG1
                       (LETT #1#
                             (SPADCALL |mvp| (QREFELT % 171) (QREFELT % 179)))
                     (|check_subtype2| (> #1# 0) '(|PositiveInteger|)
                                       '(|Integer|) #1#)))
             (LETT |vimvp| (SPADCALL |imvp| (QREFELT % 170)))
             (LETT |newp| (|spadConstant| % 41))
             (SEQ G190
                  (COND
                   ((NULL
                     (NULL
                      (ZEROP
                       (LETT |d| (SPADCALL |pq| |mvp| (QREFELT % 190))))))
                    (GO G191)))
                  (SEQ
                   (LETT |c|
                         (|RPOLCAT-;localRetractPQ|
                          (SPADCALL |pq| |mvp| |d| (QREFELT % 191)) %))
                   (LETT |xvimvp| (SPADCALL |c| |vimvp| |d| (QREFELT % 39)))
                   (LETT |newp| (SPADCALL |newp| |xvimvp| (QREFELT % 100)))
                   (EXIT
                    (LETT |pq|
                          (SPADCALL |pq|
                                    (SPADCALL
                                     (SPADCALL |pq| |mvp| |d| (QREFELT % 191))
                                     |mvp| |d| (QREFELT % 192))
                                    (QREFELT % 193)))))
                  NIL (GO G190) G191 (EXIT NIL))
             (EXIT
              (SPADCALL |newp| (|RPOLCAT-;localRetractPQ| |pq| %)
                        (QREFELT % 100))))))))) 

(SDEFUN |RPOLCAT-;localRetractPZ| ((|pz| (|Polynomial| (|Integer|))) (% (S)))
        (SPROG
         ((|newp| (S)) (|xvimvp| (S)) (|c| (S)) (|d| (|NonNegativeInteger|))
          (|vimvp| (V)) (|imvp| (|PositiveInteger|)) (#1=#:G563 NIL)
          (|mvp| (|Symbol|)) (#2=#:G561 NIL))
         (SEQ
          (COND
           ((SPADCALL |pz| (QREFELT % 195))
            (SPADCALL
             (SPADCALL (SPADCALL |pz| (QREFELT % 196)) (QREFELT % 197))
             (QREFELT % 174)))
           ('T
            (SEQ
             (LETT |mvp|
                   (PROG2 (LETT #2# (SPADCALL |pz| (QREFELT % 198)))
                       (QCDR #2#)
                     (|check_union2| (QEQCAR #2# 0) (|Symbol|)
                                     (|Union| (|Symbol|) "failed") #2#)))
             (LETT |imvp|
                   (PROG1
                       (LETT #1#
                             (SPADCALL |mvp| (QREFELT % 171) (QREFELT % 179)))
                     (|check_subtype2| (> #1# 0) '(|PositiveInteger|)
                                       '(|Integer|) #1#)))
             (LETT |vimvp| (SPADCALL |imvp| (QREFELT % 170)))
             (LETT |newp| (|spadConstant| % 41))
             (SEQ G190
                  (COND
                   ((NULL
                     (NULL
                      (ZEROP
                       (LETT |d| (SPADCALL |pz| |mvp| (QREFELT % 199))))))
                    (GO G191)))
                  (SEQ
                   (LETT |c|
                         (|RPOLCAT-;localRetractPZ|
                          (SPADCALL |pz| |mvp| |d| (QREFELT % 200)) %))
                   (LETT |xvimvp| (SPADCALL |c| |vimvp| |d| (QREFELT % 39)))
                   (LETT |newp| (SPADCALL |newp| |xvimvp| (QREFELT % 100)))
                   (EXIT
                    (LETT |pz|
                          (SPADCALL |pz|
                                    (SPADCALL
                                     (SPADCALL |pz| |mvp| |d| (QREFELT % 200))
                                     |mvp| |d| (QREFELT % 201))
                                    (QREFELT % 202)))))
                  NIL (GO G190) G191 (EXIT NIL))
             (EXIT
              (SPADCALL |newp| (|RPOLCAT-;localRetractPZ| |pz| %)
                        (QREFELT % 100))))))))) 

(SDEFUN |RPOLCAT-;retractable?| ((|p| (|Polynomial| R)) (% (|Boolean|)))
        (SPROG ((|lvp| (|List| (|Symbol|))))
               (SEQ (LETT |lvp| (SPADCALL |p| (QREFELT % 203)))
                    (SEQ G190
                         (COND
                          ((NULL
                            (COND ((NULL |lvp|) NIL)
                                  ('T
                                   (SPADCALL (|SPADfirst| |lvp|)
                                             (QREFELT % 171)
                                             (QREFELT % 204)))))
                           (GO G191)))
                         (SEQ (EXIT (LETT |lvp| (CDR |lvp|)))) NIL (GO G190)
                         G191 (EXIT NIL))
                    (EXIT (NULL |lvp|))))) 

(SDEFUN |RPOLCAT-;retractablePQ?|
        ((|p| (|Polynomial| (|Fraction| (|Integer|)))) (% (|Boolean|)))
        (SPROG ((|lvp| (|List| (|Symbol|))))
               (SEQ (LETT |lvp| (SPADCALL |p| (QREFELT % 205)))
                    (SEQ G190
                         (COND
                          ((NULL
                            (COND ((NULL |lvp|) NIL)
                                  ('T
                                   (SPADCALL (|SPADfirst| |lvp|)
                                             (QREFELT % 171)
                                             (QREFELT % 204)))))
                           (GO G191)))
                         (SEQ (EXIT (LETT |lvp| (CDR |lvp|)))) NIL (GO G190)
                         G191 (EXIT NIL))
                    (EXIT (NULL |lvp|))))) 

(SDEFUN |RPOLCAT-;retractablePZ?|
        ((|p| (|Polynomial| (|Integer|))) (% (|Boolean|)))
        (SPROG ((|lvp| (|List| (|Symbol|))))
               (SEQ (LETT |lvp| (SPADCALL |p| (QREFELT % 206)))
                    (SEQ G190
                         (COND
                          ((NULL
                            (COND ((NULL |lvp|) NIL)
                                  ('T
                                   (SPADCALL (|SPADfirst| |lvp|)
                                             (QREFELT % 171)
                                             (QREFELT % 204)))))
                           (GO G191)))
                         (SEQ (EXIT (LETT |lvp| (CDR |lvp|)))) NIL (GO G190)
                         G191 (EXIT NIL))
                    (EXIT (NULL |lvp|))))) 

(SDEFUN |RPOLCAT-;localRetractIfCan|
        ((|p| (|Polynomial| R)) (% (|Union| S "failed")))
        (COND ((NULL (|RPOLCAT-;retractable?| |p| %)) (CONS 1 "failed"))
              ('T (CONS 0 (|RPOLCAT-;localRetract| |p| %))))) 

(SDEFUN |RPOLCAT-;localRetractIfCanPQ|
        ((|p| (|Polynomial| (|Fraction| (|Integer|))))
         (% (|Union| S "failed")))
        (COND ((NULL (|RPOLCAT-;retractablePQ?| |p| %)) (CONS 1 "failed"))
              ('T (CONS 0 (|RPOLCAT-;localRetractPQ| |p| %))))) 

(SDEFUN |RPOLCAT-;localRetractIfCanPZ|
        ((|p| (|Polynomial| (|Integer|))) (% (|Union| S "failed")))
        (COND ((NULL (|RPOLCAT-;retractablePZ?| |p| %)) (CONS 1 "failed"))
              ('T (CONS 0 (|RPOLCAT-;localRetractPZ| |p| %))))) 

(SDEFUN |RPOLCAT-;ZToR| ((|z| (|Integer|)) (% (R)))
        (SPADCALL |z| (QREFELT % 197))) 

(SDEFUN |RPOLCAT-;PZToPR|
        ((|pz| (|Polynomial| (|Integer|))) (% (|Polynomial| R)))
        (SPADCALL (CONS (|function| |RPOLCAT-;ZToR|) %) |pz| (QREFELT % 209))) 

(SDEFUN |RPOLCAT-;QToR| ((|q| (|Fraction| (|Integer|))) (% (R)))
        (SPADCALL |q| (QREFELT % 188))) 

(SDEFUN |RPOLCAT-;PQToPR|
        ((|pq| (|Polynomial| (|Fraction| (|Integer|)))) (% (|Polynomial| R)))
        (SPADCALL (CONS (|function| |RPOLCAT-;QToR|) %) |pq| (QREFELT % 212))) 

(SDEFUN |RPOLCAT-;retract;PS;79|
        ((|pq| (|Polynomial| (|Fraction| (|Integer|)))) (% (S)))
        (SPROG ((|rif| (|Union| S "failed")))
               (SEQ (LETT |rif| (SPADCALL |pq| (QREFELT % 213)))
                    (EXIT
                     (COND
                      ((QEQCAR |rif| 1)
                       (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
                      ('T (QCDR |rif|))))))) 

(SDEFUN |RPOLCAT-;convert;PS;80|
        ((|pq| (|Polynomial| (|Fraction| (|Integer|)))) (% (S)))
        (SPADCALL |pq| (QREFELT % 215))) 

(SDEFUN |RPOLCAT-;ZToQ| ((|z| (|Integer|)) (% (|Fraction| (|Integer|))))
        (SPADCALL |z| (QREFELT % 219))) 

(SDEFUN |RPOLCAT-;RToQ| ((|r| (R)) (% (|Fraction| (|Integer|))))
        (SPADCALL |r| (QREFELT % 220))) 

(SDEFUN |RPOLCAT-;PZToPQ|
        ((|pz| (|Polynomial| (|Integer|)))
         (% (|Polynomial| (|Fraction| (|Integer|)))))
        (SPADCALL (CONS (|function| |RPOLCAT-;ZToQ|) %) |pz| (QREFELT % 222))) 

(SDEFUN |RPOLCAT-;PRToPQ|
        ((|pr| (|Polynomial| R)) (% (|Polynomial| (|Fraction| (|Integer|)))))
        (SPADCALL (CONS (|function| |RPOLCAT-;RToQ|) %) |pr| (QREFELT % 224))) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;85|
        ((|pz| (|Polynomial| (|Integer|))) (% (|Union| S "failed")))
        (SPROG ((|pq| (|Polynomial| (|Fraction| (|Integer|)))))
               (SEQ (LETT |pq| (|RPOLCAT-;PZToPQ| |pz| %))
                    (EXIT (SPADCALL |pq| (QREFELT % 213)))))) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;86|
        ((|pq| (|Polynomial| (|Fraction| (|Integer|))))
         (% (|Union| S "failed")))
        (|RPOLCAT-;localRetractIfCanPQ| |pq| %)) 

(SDEFUN |RPOLCAT-;convert;PS;87| ((|pr| (|Polynomial| R)) (% (S)))
        (SPROG ((|lrif| (|Union| S "failed")))
               (SEQ (LETT |lrif| (|RPOLCAT-;localRetractIfCan| |pr| %))
                    (EXIT
                     (COND
                      ((QEQCAR |lrif| 1)
                       (|error| "failed in convert: PR->% from RPOLCAT"))
                      ('T (QCDR |lrif|))))))) 

(SDEFUN |RPOLCAT-;convert;PS;88| ((|pr| (|Polynomial| R)) (% (S)))
        (SPROG ((|pq| (|Polynomial| (|Fraction| (|Integer|)))))
               (SEQ (LETT |pq| (|RPOLCAT-;PRToPQ| |pr| %))
                    (EXIT (SPADCALL |pq| (QREFELT % 215)))))) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;89|
        ((|pr| (|Polynomial| R)) (% (|Union| S "failed")))
        (|RPOLCAT-;localRetractIfCan| |pr| %)) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;90|
        ((|pq| (|Polynomial| (|Fraction| (|Integer|))))
         (% (|Union| S "failed")))
        (|RPOLCAT-;localRetractIfCanPQ| |pq| %)) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;91|
        ((|pq| (|Polynomial| (|Fraction| (|Integer|))))
         (% (|Union| S "failed")))
        (SPROG ((|pr| (|Polynomial| R)))
               (SEQ (LETT |pr| (|RPOLCAT-;PQToPR| |pq| %))
                    (EXIT (SPADCALL |pr| (QREFELT % 229)))))) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;92|
        ((|pz| (|Polynomial| (|Integer|))) (% (|Union| S "failed")))
        (SPROG ((|pr| (|Polynomial| R)))
               (SEQ (LETT |pr| (|RPOLCAT-;PZToPR| |pz| %))
                    (EXIT (SPADCALL |pr| (QREFELT % 229)))))) 

(SDEFUN |RPOLCAT-;retract;PS;93| ((|pr| (|Polynomial| R)) (% (S)))
        (SPROG ((|rif| (|Union| S "failed")))
               (SEQ (LETT |rif| (SPADCALL |pr| (QREFELT % 229)))
                    (EXIT
                     (COND
                      ((QEQCAR |rif| 1)
                       (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
                      ('T (QCDR |rif|))))))) 

(SDEFUN |RPOLCAT-;convert;PS;94| ((|pr| (|Polynomial| R)) (% (S)))
        (SPADCALL |pr| (QREFELT % 231))) 

(SDEFUN |RPOLCAT-;retract;PS;95| ((|pz| (|Polynomial| (|Integer|))) (% (S)))
        (SPROG ((|rif| (|Union| S "failed")))
               (SEQ (LETT |rif| (SPADCALL |pz| (QREFELT % 232)))
                    (EXIT
                     (COND
                      ((QEQCAR |rif| 1)
                       (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
                      ('T (QCDR |rif|))))))) 

(SDEFUN |RPOLCAT-;convert;PS;96| ((|pz| (|Polynomial| (|Integer|))) (% (S)))
        (SPADCALL |pz| (QREFELT % 234))) 

(SDEFUN |RPOLCAT-;RToZ| ((|r| (R)) (% (|Integer|)))
        (SPADCALL |r| (QREFELT % 237))) 

(SDEFUN |RPOLCAT-;PRToPZ|
        ((|pr| (|Polynomial| R)) (% (|Polynomial| (|Integer|))))
        (SPADCALL (CONS (|function| |RPOLCAT-;RToZ|) %) |pr| (QREFELT % 239))) 

(SDEFUN |RPOLCAT-;convert;PS;99| ((|pr| (|Polynomial| R)) (% (S)))
        (SPROG ((|lrif| (|Union| S "failed")))
               (SEQ (LETT |lrif| (|RPOLCAT-;localRetractIfCan| |pr| %))
                    (EXIT
                     (COND
                      ((QEQCAR |lrif| 1)
                       (|error| "failed in convert: PR->% from RPOLCAT"))
                      ('T (QCDR |lrif|))))))) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;100|
        ((|pz| (|Polynomial| (|Integer|))) (% (|Union| S "failed")))
        (|RPOLCAT-;localRetractIfCanPZ| |pz| %)) 

(SDEFUN |RPOLCAT-;convert;PS;101| ((|pr| (|Polynomial| R)) (% (S)))
        (SPROG ((|pz| (|Polynomial| (|Integer|))))
               (SEQ (LETT |pz| (|RPOLCAT-;PRToPZ| |pr| %))
                    (EXIT (SPADCALL |pz| (QREFELT % 234)))))) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;102|
        ((|pr| (|Polynomial| R)) (% (|Union| S "failed")))
        (|RPOLCAT-;localRetractIfCan| |pr| %)) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;103|
        ((|pz| (|Polynomial| (|Integer|))) (% (|Union| S "failed")))
        (|RPOLCAT-;localRetractIfCanPZ| |pz| %)) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;104|
        ((|pz| (|Polynomial| (|Integer|))) (% (|Union| S "failed")))
        (SPROG ((|pr| (|Polynomial| R)))
               (SEQ (LETT |pr| (|RPOLCAT-;PZToPR| |pz| %))
                    (EXIT (SPADCALL |pr| (QREFELT % 229)))))) 

(SDEFUN |RPOLCAT-;retract;PS;105| ((|pr| (|Polynomial| R)) (% (S)))
        (SPROG ((|rif| (|Union| S "failed")))
               (SEQ (LETT |rif| (SPADCALL |pr| (QREFELT % 229)))
                    (EXIT
                     (COND
                      ((QEQCAR |rif| 1)
                       (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
                      ('T (QCDR |rif|))))))) 

(SDEFUN |RPOLCAT-;convert;PS;106| ((|pr| (|Polynomial| R)) (% (S)))
        (SPADCALL |pr| (QREFELT % 231))) 

(SDEFUN |RPOLCAT-;ZToR| ((|z| (|Integer|)) (% (R)))
        (SPADCALL |z| (QREFELT % 197))) 

(SDEFUN |RPOLCAT-;PZToPR|
        ((|pz| (|Polynomial| (|Integer|))) (% (|Polynomial| R)))
        (SPADCALL (CONS (|function| |RPOLCAT-;ZToR|) %) |pz| (QREFELT % 209))) 

(SDEFUN |RPOLCAT-;QToR| ((|q| (|Fraction| (|Integer|))) (% (R)))
        (SPADCALL |q| (QREFELT % 188))) 

(SDEFUN |RPOLCAT-;PQToPR|
        ((|pq| (|Polynomial| (|Fraction| (|Integer|)))) (% (|Polynomial| R)))
        (SPADCALL (CONS (|function| |RPOLCAT-;QToR|) %) |pq| (QREFELT % 212))) 

(SDEFUN |RPOLCAT-;retract;PS;111|
        ((|pq| (|Polynomial| (|Fraction| (|Integer|)))) (% (S)))
        (SPROG ((|rif| (|Union| S "failed")))
               (SEQ (LETT |rif| (SPADCALL |pq| (QREFELT % 213)))
                    (EXIT
                     (COND
                      ((QEQCAR |rif| 1)
                       (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
                      ('T (QCDR |rif|))))))) 

(SDEFUN |RPOLCAT-;convert;PS;112|
        ((|pq| (|Polynomial| (|Fraction| (|Integer|)))) (% (S)))
        (SPADCALL |pq| (QREFELT % 215))) 

(SDEFUN |RPOLCAT-;ZToQ| ((|z| (|Integer|)) (% (|Fraction| (|Integer|))))
        (SPADCALL |z| (QREFELT % 219))) 

(SDEFUN |RPOLCAT-;RToQ| ((|r| (R)) (% (|Fraction| (|Integer|))))
        (SPADCALL |r| (QREFELT % 220))) 

(SDEFUN |RPOLCAT-;PZToPQ|
        ((|pz| (|Polynomial| (|Integer|)))
         (% (|Polynomial| (|Fraction| (|Integer|)))))
        (SPADCALL (CONS (|function| |RPOLCAT-;ZToQ|) %) |pz| (QREFELT % 222))) 

(SDEFUN |RPOLCAT-;PRToPQ|
        ((|pr| (|Polynomial| R)) (% (|Polynomial| (|Fraction| (|Integer|)))))
        (SPADCALL (CONS (|function| |RPOLCAT-;RToQ|) %) |pr| (QREFELT % 224))) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;117|
        ((|pz| (|Polynomial| (|Integer|))) (% (|Union| S "failed")))
        (SPROG ((|pq| (|Polynomial| (|Fraction| (|Integer|)))))
               (SEQ (LETT |pq| (|RPOLCAT-;PZToPQ| |pz| %))
                    (EXIT (SPADCALL |pq| (QREFELT % 213)))))) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;118|
        ((|pq| (|Polynomial| (|Fraction| (|Integer|))))
         (% (|Union| S "failed")))
        (|RPOLCAT-;localRetractIfCanPQ| |pq| %)) 

(SDEFUN |RPOLCAT-;convert;PS;119| ((|pr| (|Polynomial| R)) (% (S)))
        (SPROG ((|lrif| (|Union| S "failed")))
               (SEQ (LETT |lrif| (|RPOLCAT-;localRetractIfCan| |pr| %))
                    (EXIT
                     (COND
                      ((QEQCAR |lrif| 1)
                       (|error| "failed in convert: PR->% from RPOLCAT"))
                      ('T (QCDR |lrif|))))))) 

(SDEFUN |RPOLCAT-;convert;PS;120| ((|pr| (|Polynomial| R)) (% (S)))
        (SPROG ((|pq| (|Polynomial| (|Fraction| (|Integer|)))))
               (SEQ (LETT |pq| (|RPOLCAT-;PRToPQ| |pr| %))
                    (EXIT (SPADCALL |pq| (QREFELT % 215)))))) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;121|
        ((|pr| (|Polynomial| R)) (% (|Union| S "failed")))
        (|RPOLCAT-;localRetractIfCan| |pr| %)) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;122|
        ((|pq| (|Polynomial| (|Fraction| (|Integer|))))
         (% (|Union| S "failed")))
        (|RPOLCAT-;localRetractIfCanPQ| |pq| %)) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;123|
        ((|pq| (|Polynomial| (|Fraction| (|Integer|))))
         (% (|Union| S "failed")))
        (SPROG ((|pr| (|Polynomial| R)))
               (SEQ (LETT |pr| (|RPOLCAT-;PQToPR| |pq| %))
                    (EXIT (SPADCALL |pr| (QREFELT % 229)))))) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;124|
        ((|pz| (|Polynomial| (|Integer|))) (% (|Union| S "failed")))
        (SPROG ((|pr| (|Polynomial| R)))
               (SEQ (LETT |pr| (|RPOLCAT-;PZToPR| |pz| %))
                    (EXIT (SPADCALL |pr| (QREFELT % 229)))))) 

(SDEFUN |RPOLCAT-;retract;PS;125| ((|pr| (|Polynomial| R)) (% (S)))
        (SPROG ((|rif| (|Union| S "failed")))
               (SEQ (LETT |rif| (SPADCALL |pr| (QREFELT % 229)))
                    (EXIT
                     (COND
                      ((QEQCAR |rif| 1)
                       (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
                      ('T (QCDR |rif|))))))) 

(SDEFUN |RPOLCAT-;convert;PS;126| ((|pr| (|Polynomial| R)) (% (S)))
        (SPADCALL |pr| (QREFELT % 231))) 

(SDEFUN |RPOLCAT-;retract;PS;127| ((|pz| (|Polynomial| (|Integer|))) (% (S)))
        (SPROG ((|rif| (|Union| S "failed")))
               (SEQ (LETT |rif| (SPADCALL |pz| (QREFELT % 232)))
                    (EXIT
                     (COND
                      ((QEQCAR |rif| 1)
                       (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
                      ('T (QCDR |rif|))))))) 

(SDEFUN |RPOLCAT-;convert;PS;128| ((|pz| (|Polynomial| (|Integer|))) (% (S)))
        (SPADCALL |pz| (QREFELT % 234))) 

(SDEFUN |RPOLCAT-;RToZ| ((|r| (R)) (% (|Integer|)))
        (SPADCALL |r| (QREFELT % 237))) 

(SDEFUN |RPOLCAT-;PRToPZ|
        ((|pr| (|Polynomial| R)) (% (|Polynomial| (|Integer|))))
        (SPADCALL (CONS (|function| |RPOLCAT-;RToZ|) %) |pr| (QREFELT % 239))) 

(SDEFUN |RPOLCAT-;convert;PS;131| ((|pr| (|Polynomial| R)) (% (S)))
        (SPROG ((|lrif| (|Union| S "failed")))
               (SEQ (LETT |lrif| (|RPOLCAT-;localRetractIfCan| |pr| %))
                    (EXIT
                     (COND
                      ((QEQCAR |lrif| 1)
                       (|error| "failed in convert: PR->% from RPOLCAT"))
                      ('T (QCDR |lrif|))))))) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;132|
        ((|pz| (|Polynomial| (|Integer|))) (% (|Union| S "failed")))
        (|RPOLCAT-;localRetractIfCanPZ| |pz| %)) 

(SDEFUN |RPOLCAT-;convert;PS;133| ((|pr| (|Polynomial| R)) (% (S)))
        (SPROG ((|pz| (|Polynomial| (|Integer|))))
               (SEQ (LETT |pz| (|RPOLCAT-;PRToPZ| |pr| %))
                    (EXIT (SPADCALL |pz| (QREFELT % 234)))))) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;134|
        ((|pr| (|Polynomial| R)) (% (|Union| S "failed")))
        (|RPOLCAT-;localRetractIfCan| |pr| %)) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;135|
        ((|pz| (|Polynomial| (|Integer|))) (% (|Union| S "failed")))
        (|RPOLCAT-;localRetractIfCanPZ| |pz| %)) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;136|
        ((|pz| (|Polynomial| (|Integer|))) (% (|Union| S "failed")))
        (SPROG ((|pr| (|Polynomial| R)))
               (SEQ (LETT |pr| (|RPOLCAT-;PZToPR| |pz| %))
                    (EXIT (SPADCALL |pr| (QREFELT % 229)))))) 

(SDEFUN |RPOLCAT-;retract;PS;137| ((|pr| (|Polynomial| R)) (% (S)))
        (SPROG ((|rif| (|Union| S "failed")))
               (SEQ (LETT |rif| (SPADCALL |pr| (QREFELT % 229)))
                    (EXIT
                     (COND
                      ((QEQCAR |rif| 1)
                       (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
                      ('T (QCDR |rif|))))))) 

(SDEFUN |RPOLCAT-;convert;PS;138| ((|pr| (|Polynomial| R)) (% (S)))
        (SPADCALL |pr| (QREFELT % 231))) 

(SDEFUN |RPOLCAT-;retractIfCan;PU;139|
        ((|pr| (|Polynomial| R)) (% (|Union| S "failed")))
        (|RPOLCAT-;localRetractIfCan| |pr| %)) 

(SDEFUN |RPOLCAT-;retract;PS;140| ((|pr| (|Polynomial| R)) (% (S)))
        (SPROG ((|rif| (|Union| S "failed")))
               (SEQ (LETT |rif| (SPADCALL |pr| (QREFELT % 229)))
                    (EXIT
                     (COND
                      ((QEQCAR |rif| 1)
                       (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
                      ('T (QCDR |rif|))))))) 

(SDEFUN |RPOLCAT-;convert;PS;141| ((|pr| (|Polynomial| R)) (% (S)))
        (SPADCALL |pr| (QREFELT % 231))) 

(SDEFUN |RPOLCAT-;convert;SS;142| ((|pol| (S)) (% (|String|)))
        (SPROG
         ((|stpol| #1=(|String|)) (|n| (|Integer|)) (|sdpol| #1#)
          (|svpol| (|String|)) (|sipol| #1#) (|tpol| (S))
          (|dpol| (|NonNegativeInteger|)) (|vpol| (V)) (|ipol| (S)))
         (SEQ
          (COND
           ((SPADCALL |pol| (QREFELT % 11))
            (STRINGIMAGE
             (SPADCALL (SPADCALL |pol| (QREFELT % 12)) (QREFELT % 237))))
           (#2='T
            (SEQ (LETT |ipol| (SPADCALL |pol| (QREFELT % 15)))
                 (LETT |vpol| (SPADCALL |pol| (QREFELT % 23)))
                 (LETT |dpol| (SPADCALL |pol| (QREFELT % 22)))
                 (LETT |tpol| (SPADCALL |pol| (QREFELT % 19)))
                 (COND
                  ((SPADCALL |ipol| (|spadConstant| % 16) (QREFELT % 18))
                   (LETT |sipol| (|make_full_CVEC| 0)))
                  ((SPADCALL (SPADCALL |ipol| (QREFELT % 240))
                             (|spadConstant| % 16) (QREFELT % 18))
                   (LETT |sipol| "-"))
                  (#2#
                   (SEQ (LETT |sipol| (SPADCALL |ipol| (QREFELT % 242)))
                        (EXIT
                         (COND
                          ((SPADCALL |ipol| (QREFELT % 243))
                           (LETT |sipol| (STRCONC |sipol| "*")))
                          (#2#
                           (LETT |sipol|
                                 (SPADCALL (LIST "(" |sipol| ")*")
                                           (QREFELT % 244)))))))))
                 (LETT |svpol|
                       (SPADCALL (SPADCALL |vpol| (QREFELT % 160))
                                 (QREFELT % 245)))
                 (COND ((EQL |dpol| 1) (LETT |sdpol| (|make_full_CVEC| 0)))
                       (#2# (LETT |sdpol| (STRCONC "^" (STRINGIMAGE |dpol|)))))
                 (COND
                  ((SPADCALL |tpol| (QREFELT % 20))
                   (LETT |stpol| (|make_full_CVEC| 0)))
                  ((SPADCALL |tpol| (QREFELT % 11))
                   (SEQ
                    (LETT |n|
                          (SPADCALL (SPADCALL |tpol| (QREFELT % 12))
                                    (QREFELT % 237)))
                    (EXIT
                     (COND
                      ((> |n| 0)
                       (LETT |stpol| (STRCONC " +" (STRINGIMAGE |n|))))
                      (#2# (LETT |stpol| (STRINGIMAGE |n|)))))))
                  (#2#
                   (SEQ (LETT |stpol| (SPADCALL |tpol| (QREFELT % 242)))
                        (EXIT
                         (COND
                          ((NULL
                            (SPADCALL
                             (SPADCALL (SPADCALL |stpol| 1 (QREFELT % 248))
                                       (QREFELT % 249))
                             (LIST "+" "-") (QREFELT % 251)))
                           (LETT |stpol| (STRCONC " + " |stpol|))))))))
                 (EXIT
                  (SPADCALL (LIST |sipol| |svpol| |sdpol| |stpol|)
                            (QREFELT % 244))))))))) 

(DECLAIM (NOTINLINE |RecursivePolynomialCategory&;|)) 

(DEFUN |RecursivePolynomialCategory&| (|#1| |#2| |#3| |#4|)
  (SPROG
   ((#1=#:G536 NIL) (#2=#:G834 NIL) (|i| NIL) (#3=#:G833 NIL) (|pv$| NIL)
    (% NIL) (|dv$| NIL) (DV$4 NIL) (DV$3 NIL) (DV$2 NIL) (DV$1 NIL))
   (SEQ
    (PROGN
     (LETT DV$1 (|devaluate| |#1|))
     (LETT DV$2 (|devaluate| |#2|))
     (LETT DV$3 (|devaluate| |#3|))
     (LETT DV$4 (|devaluate| |#4|))
     (LETT |dv$| (LIST '|RecursivePolynomialCategory&| DV$1 DV$2 DV$3 DV$4))
     (LETT % (GETREFV 259))
     (QSETREFV % 0 |dv$|)
     (QSETREFV % 3
               (LETT |pv$|
                     (|buildPredVector| 0 0
                                        (LIST
                                         (|HasCategory| |#2| '(|GcdDomain|))
                                         (|HasCategory| |#2|
                                                        '(|IntegralDomain|))
                                         (|HasCategory| |#2|
                                                        '(|RetractableTo|
                                                          (|Integer|)))
                                         (|HasCategory| |#2|
                                                        '(|Algebra|
                                                          (|Integer|)))
                                         (|HasCategory| |#2|
                                                        '(|Algebra|
                                                          (|Fraction|
                                                           (|Integer|))))
                                         (|HasCategory| |#4|
                                                        '(|ConvertibleTo|
                                                          (|Symbol|)))))))
     (|stuffDomainSlots| %)
     (QSETREFV % 6 |#1|)
     (QSETREFV % 7 |#2|)
     (QSETREFV % 8 |#3|)
     (QSETREFV % 9 |#4|)
     (SETF |pv$| (QREFELT % 3))
     (COND
      ((|testBitVector| |pv$| 2)
       (PROGN
        (COND
         ((|HasCategory| |#2| '(|EuclideanDomain|))
          (QSETREFV % 125
                    (CONS (|dispatchFunction| |RPOLCAT-;iexactQuo;3R;47|) %)))
         ('T
          (QSETREFV % 125
                    (CONS (|dispatchFunction| |RPOLCAT-;iexactQuo;3R;48|) %))))
        (QSETREFV % 129
                  (CONS (|dispatchFunction| |RPOLCAT-;exactQuotient;SRS;50|)
                        %))
        (QSETREFV % 132
                  (CONS (|dispatchFunction| |RPOLCAT-;exactQuotient;3S;51|) %))
        (QSETREFV % 134
                  (CONS (|dispatchFunction| |RPOLCAT-;exactQuotient!;3S;52|)
                        %))
        (COND
         ((|testBitVector| |pv$| 1)
          (COND
           ((|HasCategory| |#2| '(|Field|))
            (PROGN
             (QSETREFV % 136
                       (CONS
                        (|dispatchFunction|
                         |RPOLCAT-;primPartElseUnitCanonical;2S;53|)
                        %))
             (QSETREFV % 137
                       (CONS
                        (|dispatchFunction|
                         |RPOLCAT-;primPartElseUnitCanonical!;2S;54|)
                        %))))
           ('T
            (PROGN
             (QSETREFV % 136
                       (CONS
                        (|dispatchFunction|
                         |RPOLCAT-;primPartElseUnitCanonical;2S;55|)
                        %))
             (QSETREFV % 141
                       (CONS
                        (|dispatchFunction| |RPOLCAT-;primitivePart!;2S;56|)
                        %))
             (QSETREFV % 137
                       (CONS
                        (|dispatchFunction|
                         |RPOLCAT-;primPartElseUnitCanonical!;2S;57|)
                        %))))))
         ('T
          (PROGN
           (QSETREFV % 136
                     (CONS
                      (|dispatchFunction|
                       |RPOLCAT-;primPartElseUnitCanonical;2S;58|)
                      %))
           (QSETREFV % 137
                     (CONS
                      (|dispatchFunction|
                       |RPOLCAT-;primPartElseUnitCanonical!;2S;59|)
                      %))))))))
     (COND
      ((|testBitVector| |pv$| 1)
       (PROGN
        (QSETREFV % 145 (CONS (|dispatchFunction| |RPOLCAT-;gcd;RSR;60|) %))
        (QSETREFV % 148
                  (CONS (|dispatchFunction| |RPOLCAT-;mainContent;2S;61|) %))
        (QSETREFV % 152
                  (CONS (|dispatchFunction| |RPOLCAT-;mainPrimitivePart;2S;62|)
                        %))
        (QSETREFV % 155
                  (CONS
                   (|dispatchFunction| |RPOLCAT-;mainSquareFreePart;2S;63|)
                   %)))))
     (COND
      ((|testBitVector| |pv$| 6)
       (PROGN
        (QSETREFV % 165 (CONS (|dispatchFunction| |RPOLCAT-;convert;SP;64|) %))
        (QSETREFV % 166 (CONS (|dispatchFunction| |RPOLCAT-;coerce;SP;65|) %))
        NIL
        NIL
        NIL
        NIL
        NIL
        NIL
        (COND
         ((|HasCategory| |#4| '(|Finite|))
          (PROGN
           (QSETREFV % 168 (SPADCALL (QREFELT % 167)))
           NIL
           (QSETREFV % 171
                     (PROGN
                      (LETT #3# NIL)
                      (SEQ (LETT |i| 1) (LETT #2# (QREFELT % 168)) G190
                           (COND ((|greater_SI| |i| #2#) (GO G191)))
                           (SEQ
                            (EXIT
                             (LETT #3#
                                   (CONS
                                    (SPADCALL
                                     (SPADCALL
                                      (PROG1 (LETT #1# |i|)
                                        (|check_subtype2| (> #1# 0)
                                                          '(|PositiveInteger|)
                                                          '(|NonNegativeInteger|)
                                                          #1#))
                                      (QREFELT % 170))
                                     (QREFELT % 160))
                                    #3#))))
                           (LETT |i| (|inc_SI| |i|)) (GO G190) G191
                           (EXIT (NREVERSE #3#)))))
           (COND ((|testBitVector| |pv$| 5)))
           (COND ((|testBitVector| |pv$| 4))))))
        (COND
         ((|testBitVector| |pv$| 4)
          (PROGN
           (QSETREFV % 207
                     (|MPolyCatFunctions2| (|Symbol|)
                                           (|IndexedExponents| (|Symbol|))
                                           (|IndexedExponents| (|Symbol|))
                                           (|Integer|) |#2|
                                           (|Polynomial| (|Integer|))
                                           (|Polynomial| |#2|)))
           (COND
            ((|testBitVector| |pv$| 5)
             (PROGN
              (QSETREFV % 210
                        (|MPolyCatFunctions2| (|Symbol|)
                                              (|IndexedExponents| (|Symbol|))
                                              (|IndexedExponents| (|Symbol|))
                                              (|Fraction| (|Integer|)) |#2|
                                              (|Polynomial|
                                               (|Fraction| (|Integer|)))
                                              (|Polynomial| |#2|)))
              (QSETREFV % 214
                        (CONS (|dispatchFunction| |RPOLCAT-;retract;PS;79|) %))
              (QSETREFV % 216
                        (CONS (|dispatchFunction| |RPOLCAT-;convert;PS;80|) %))
              (COND
               ((|HasCategory| |#2| '(|QuotientFieldCategory| (|Integer|)))
                (PROGN
                 (QSETREFV % 217
                           (|MPolyCatFunctions2| (|Symbol|)
                                                 (|IndexedExponents|
                                                  (|Symbol|))
                                                 (|IndexedExponents|
                                                  (|Symbol|))
                                                 (|Integer|)
                                                 (|Fraction| (|Integer|))
                                                 (|Polynomial| (|Integer|))
                                                 (|Polynomial|
                                                  (|Fraction| (|Integer|)))))
                 (QSETREFV % 218
                           (|MPolyCatFunctions2| (|Symbol|)
                                                 (|IndexedExponents|
                                                  (|Symbol|))
                                                 (|IndexedExponents|
                                                  (|Symbol|))
                                                 |#2| (|Fraction| (|Integer|))
                                                 (|Polynomial| |#2|)
                                                 (|Polynomial|
                                                  (|Fraction| (|Integer|)))))
                 (QSETREFV % 225
                           (CONS
                            (|dispatchFunction| |RPOLCAT-;retractIfCan;PU;85|)
                            %))
                 (COND
                  ((|HasCategory| |#4| '(|Finite|))
                   (PROGN
                    (QSETREFV % 226
                              (CONS
                               (|dispatchFunction|
                                |RPOLCAT-;retractIfCan;PU;86|)
                               %))
                    (QSETREFV % 227
                              (CONS
                               (|dispatchFunction| |RPOLCAT-;convert;PS;87|)
                               %))))
                  ('T
                   (QSETREFV % 227
                             (CONS
                              (|dispatchFunction| |RPOLCAT-;convert;PS;88|)
                              %))))))
               ('T
                (PROGN
                 (COND
                  ((|HasCategory| |#4| '(|Finite|))
                   (PROGN
                    (QSETREFV % 228
                              (CONS
                               (|dispatchFunction|
                                |RPOLCAT-;retractIfCan;PU;89|)
                               %))
                    (QSETREFV % 226
                              (CONS
                               (|dispatchFunction|
                                |RPOLCAT-;retractIfCan;PU;90|)
                               %))))
                  ('T
                   (QSETREFV % 226
                             (CONS
                              (|dispatchFunction|
                               |RPOLCAT-;retractIfCan;PU;91|)
                              %))))
                 (QSETREFV % 225
                           (CONS
                            (|dispatchFunction| |RPOLCAT-;retractIfCan;PU;92|)
                            %))
                 (QSETREFV % 230
                           (CONS (|dispatchFunction| |RPOLCAT-;retract;PS;93|)
                                 %))
                 (QSETREFV % 227
                           (CONS (|dispatchFunction| |RPOLCAT-;convert;PS;94|)
                                 %))))))))
           (COND
            ((|testBitVector| |pv$| 4)
             (COND ((|testBitVector| |pv$| 5))
                   ('T
                    (PROGN
                     (QSETREFV % 233
                               (CONS
                                (|dispatchFunction| |RPOLCAT-;retract;PS;95|)
                                %))
                     (QSETREFV % 235
                               (CONS
                                (|dispatchFunction| |RPOLCAT-;convert;PS;96|)
                                %))
                     (COND
                      ((|HasCategory| |#2| '(|IntegerNumberSystem|))
                       (PROGN
                        (QSETREFV % 236
                                  (|MPolyCatFunctions2| (|Symbol|)
                                                        (|IndexedExponents|
                                                         (|Symbol|))
                                                        (|IndexedExponents|
                                                         (|Symbol|))
                                                        |#2| (|Integer|)
                                                        (|Polynomial| |#2|)
                                                        (|Polynomial|
                                                         (|Integer|))))
                        (COND
                         ((|HasCategory| |#4| '(|Finite|))
                          (PROGN
                           (QSETREFV % 227
                                     (CONS
                                      (|dispatchFunction|
                                       |RPOLCAT-;convert;PS;99|)
                                      %))
                           (QSETREFV % 225
                                     (CONS
                                      (|dispatchFunction|
                                       |RPOLCAT-;retractIfCan;PU;100|)
                                      %))))
                         ('T
                          (QSETREFV % 227
                                    (CONS
                                     (|dispatchFunction|
                                      |RPOLCAT-;convert;PS;101|)
                                     %))))))
                      ('T
                       (PROGN
                        (COND
                         ((|HasCategory| |#4| '(|Finite|))
                          (PROGN
                           (QSETREFV % 228
                                     (CONS
                                      (|dispatchFunction|
                                       |RPOLCAT-;retractIfCan;PU;102|)
                                      %))
                           (QSETREFV % 225
                                     (CONS
                                      (|dispatchFunction|
                                       |RPOLCAT-;retractIfCan;PU;103|)
                                      %))))
                         ('T
                          (QSETREFV % 225
                                    (CONS
                                     (|dispatchFunction|
                                      |RPOLCAT-;retractIfCan;PU;104|)
                                     %))))
                        (QSETREFV % 230
                                  (CONS
                                   (|dispatchFunction|
                                    |RPOLCAT-;retract;PS;105|)
                                   %))
                        (QSETREFV % 227
                                  (CONS
                                   (|dispatchFunction|
                                    |RPOLCAT-;convert;PS;106|)
                                   %))))))))))))
         ((|testBitVector| |pv$| 5)
          (PROGN
           (SETELT % 207
                   (|MPolyCatFunctions2| (|Symbol|)
                                         (|IndexedExponents| (|Symbol|))
                                         (|IndexedExponents| (|Symbol|))
                                         (|Integer|) |#2|
                                         (|Polynomial| (|Integer|))
                                         (|Polynomial| |#2|)))
           (COND
            ((|testBitVector| |pv$| 5)
             (PROGN
              (SETELT % 210
                      (|MPolyCatFunctions2| (|Symbol|)
                                            (|IndexedExponents| (|Symbol|))
                                            (|IndexedExponents| (|Symbol|))
                                            (|Fraction| (|Integer|)) |#2|
                                            (|Polynomial|
                                             (|Fraction| (|Integer|)))
                                            (|Polynomial| |#2|)))
              (QSETREFV % 214
                        (CONS (|dispatchFunction| |RPOLCAT-;retract;PS;111|)
                              %))
              (QSETREFV % 216
                        (CONS (|dispatchFunction| |RPOLCAT-;convert;PS;112|)
                              %))
              (COND
               ((|HasCategory| |#2| '(|QuotientFieldCategory| (|Integer|)))
                (PROGN
                 (SETELT % 217
                         (|MPolyCatFunctions2| (|Symbol|)
                                               (|IndexedExponents| (|Symbol|))
                                               (|IndexedExponents| (|Symbol|))
                                               (|Integer|)
                                               (|Fraction| (|Integer|))
                                               (|Polynomial| (|Integer|))
                                               (|Polynomial|
                                                (|Fraction| (|Integer|)))))
                 (SETELT % 218
                         (|MPolyCatFunctions2| (|Symbol|)
                                               (|IndexedExponents| (|Symbol|))
                                               (|IndexedExponents| (|Symbol|))
                                               |#2| (|Fraction| (|Integer|))
                                               (|Polynomial| |#2|)
                                               (|Polynomial|
                                                (|Fraction| (|Integer|)))))
                 (QSETREFV % 225
                           (CONS
                            (|dispatchFunction| |RPOLCAT-;retractIfCan;PU;117|)
                            %))
                 (COND
                  ((|HasCategory| |#4| '(|Finite|))
                   (PROGN
                    (QSETREFV % 226
                              (CONS
                               (|dispatchFunction|
                                |RPOLCAT-;retractIfCan;PU;118|)
                               %))
                    (QSETREFV % 227
                              (CONS
                               (|dispatchFunction| |RPOLCAT-;convert;PS;119|)
                               %))))
                  ('T
                   (QSETREFV % 227
                             (CONS
                              (|dispatchFunction| |RPOLCAT-;convert;PS;120|)
                              %))))))
               ('T
                (PROGN
                 (COND
                  ((|HasCategory| |#4| '(|Finite|))
                   (PROGN
                    (QSETREFV % 228
                              (CONS
                               (|dispatchFunction|
                                |RPOLCAT-;retractIfCan;PU;121|)
                               %))
                    (QSETREFV % 226
                              (CONS
                               (|dispatchFunction|
                                |RPOLCAT-;retractIfCan;PU;122|)
                               %))))
                  ('T
                   (QSETREFV % 226
                             (CONS
                              (|dispatchFunction|
                               |RPOLCAT-;retractIfCan;PU;123|)
                              %))))
                 (QSETREFV % 225
                           (CONS
                            (|dispatchFunction| |RPOLCAT-;retractIfCan;PU;124|)
                            %))
                 (QSETREFV % 230
                           (CONS (|dispatchFunction| |RPOLCAT-;retract;PS;125|)
                                 %))
                 (QSETREFV % 227
                           (CONS (|dispatchFunction| |RPOLCAT-;convert;PS;126|)
                                 %))))))))
           (COND
            ((|testBitVector| |pv$| 4)
             (COND ((|testBitVector| |pv$| 5))
                   ('T
                    (PROGN
                     (QSETREFV % 233
                               (CONS
                                (|dispatchFunction| |RPOLCAT-;retract;PS;127|)
                                %))
                     (QSETREFV % 235
                               (CONS
                                (|dispatchFunction| |RPOLCAT-;convert;PS;128|)
                                %))
                     (COND
                      ((|HasCategory| |#2| '(|IntegerNumberSystem|))
                       (PROGN
                        (SETELT % 236
                                (|MPolyCatFunctions2| (|Symbol|)
                                                      (|IndexedExponents|
                                                       (|Symbol|))
                                                      (|IndexedExponents|
                                                       (|Symbol|))
                                                      |#2| (|Integer|)
                                                      (|Polynomial| |#2|)
                                                      (|Polynomial|
                                                       (|Integer|))))
                        (COND
                         ((|HasCategory| |#4| '(|Finite|))
                          (PROGN
                           (QSETREFV % 227
                                     (CONS
                                      (|dispatchFunction|
                                       |RPOLCAT-;convert;PS;131|)
                                      %))
                           (QSETREFV % 225
                                     (CONS
                                      (|dispatchFunction|
                                       |RPOLCAT-;retractIfCan;PU;132|)
                                      %))))
                         ('T
                          (QSETREFV % 227
                                    (CONS
                                     (|dispatchFunction|
                                      |RPOLCAT-;convert;PS;133|)
                                     %))))))
                      ('T
                       (PROGN
                        (COND
                         ((|HasCategory| |#4| '(|Finite|))
                          (PROGN
                           (QSETREFV % 228
                                     (CONS
                                      (|dispatchFunction|
                                       |RPOLCAT-;retractIfCan;PU;134|)
                                      %))
                           (QSETREFV % 225
                                     (CONS
                                      (|dispatchFunction|
                                       |RPOLCAT-;retractIfCan;PU;135|)
                                      %))))
                         ('T
                          (QSETREFV % 225
                                    (CONS
                                     (|dispatchFunction|
                                      |RPOLCAT-;retractIfCan;PU;136|)
                                     %))))
                        (QSETREFV % 230
                                  (CONS
                                   (|dispatchFunction|
                                    |RPOLCAT-;retract;PS;137|)
                                   %))
                        (QSETREFV % 227
                                  (CONS
                                   (|dispatchFunction|
                                    |RPOLCAT-;convert;PS;138|)
                                   %)))))))))))))
        (COND ((OR (|testBitVector| |pv$| 4) (|testBitVector| |pv$| 5)))
              ('T
               (PROGN
                (COND
                 ((|HasCategory| |#4| '(|Finite|))
                  (QSETREFV % 228
                            (CONS
                             (|dispatchFunction|
                              |RPOLCAT-;retractIfCan;PU;139|)
                             %))))
                (QSETREFV % 230
                          (CONS (|dispatchFunction| |RPOLCAT-;retract;PS;140|)
                                %))
                (QSETREFV % 227
                          (CONS (|dispatchFunction| |RPOLCAT-;convert;PS;141|)
                                %)))))
        (COND
         ((|testBitVector| |pv$| 3)
          (QSETREFV % 252
                    (CONS (|dispatchFunction| |RPOLCAT-;convert;SS;142|)
                          %)))))))
     %)))) 

(MAKEPROP '|RecursivePolynomialCategory&| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (|local| |#3|) (|local| |#4|) (|Boolean|) (0 . |ground?|)
              (5 . |ground|) (|OutputForm|) (10 . |coerce|) (15 . |init|)
              (20 . |One|) (24 . |One|) (28 . =) (34 . |tail|) (39 . |zero?|)
              (|NonNegativeInteger|) (44 . |mdeg|) (49 . |mvar|)
              (54 . |coerce|) (59 . |coerce|) (64 . ^) (70 . |coerce|) (75 . +)
              (81 . *) |RPOLCAT-;coerce;SOf;1| (|Union| 9 '"failed")
              (87 . |mainVariable|) |RPOLCAT-;mvar;SV;2| (92 . |degree|)
              |RPOLCAT-;mdeg;SNni;3| (98 . |coefficient|) |RPOLCAT-;init;2S;4|
              |RPOLCAT-;leadingCoefficient;SVS;5| (105 . |monomial|)
              |RPOLCAT-;head;2S;6| (112 . |Zero|) (116 . -)
              |RPOLCAT-;reductum;SVS;7| (122 . |head|) |RPOLCAT-;tail;2S;8|
              (127 . >) (133 . |deepestTail|) |RPOLCAT-;deepestTail;2S;9|
              (|List| %) (138 . |iteratedInitials|)
              |RPOLCAT-;iteratedInitials;SL;10| |RPOLCAT-;deepestInitial;2S;12|
              (|Union| % '"failed") (143 . |recip|) |RPOLCAT-;monic?;SB;13|
              |RPOLCAT-;quasiMonic?;SB;14| |RPOLCAT-;mainMonomial;2S;15|
              (148 . |minimumDegree|) |RPOLCAT-;leastMonomial;2S;16|
              (|SparseUnivariatePolynomial| %) (154 . |univariate|) (|List| 6)
              (|SparseUnivariatePolynomial| 6) (160 . |coefficients|)
              |RPOLCAT-;mainCoefficients;SL;17| (165 . |monomials|)
              (170 . |degree|) |RPOLCAT-;mainMonomials;SL;18| (175 . <)
              (|Union| 10 '#1="failed") (181 . |RittWuCompare|)
              |RPOLCAT-;RittWuCompare;2SU;19| |RPOLCAT-;infRittWu?;2SB;20|
              (187 . |infRittWu?|) |RPOLCAT-;supRittWu?;2SB;21|
              (|Record| (|:| |coef| %) (|:| |gap| 21) (|:| |remainder| %))
              (193 . |lazyPremWithDefault|) (199 . ^) (205 . *)
              |RPOLCAT-;prem;3S;22|
              (|Record| (|:| |coef| %) (|:| |gap| 21) (|:| |quotient| %)
                        (|:| |remainder| %))
              (211 . |lazyPseudoDivide|) |RPOLCAT-;pquo;3S;23|
              (217 . |lazyPremWithDefault|) |RPOLCAT-;prem;2SVS;24|
              (224 . |lazyPseudoDivide|) |RPOLCAT-;pquo;2SVS;25|
              (231 . |monic?|) (236 . |monicModulo|) |RPOLCAT-;lazyPrem;3S;26|
              |RPOLCAT-;lazyPquo;3S;27| (242 . =) (248 . |lazyPrem|)
              (254 . |leadingCoefficient|) |RPOLCAT-;lazyPrem;2SVS;28|
              |RPOLCAT-;lazyPquo;2SVS;29| (260 . |reduced?|)
              (|Record| (|:| |polnum| %) (|:| |polden| %) (|:| |power| 21))
              (266 . |lazyResidueClass|) (272 . +) |RPOLCAT-;headReduce;3S;30|
              (278 . >=) (284 . |mainMonomial|)
              |RPOLCAT-;initiallyReduce;3S;31|
              |RPOLCAT-;lazyPremWithDefault;2SR;32|
              |RPOLCAT-;lazyPremWithDefault;2SVR;33|
              (|Record| (|:| |quotient| %) (|:| |remainder| %))
              |RPOLCAT-;pseudoDivide;2SR;34| |RPOLCAT-;lazyPseudoDivide;2SR;35|
              |RPOLCAT-;lazyPseudoDivide;2SVR;36| |RPOLCAT-;monicModulo;3S;37|
              |RPOLCAT-;lazyResidueClass;2SR;38| |RPOLCAT-;reduced?;2SB;39|
              |RPOLCAT-;reduced?;SLB;40| |RPOLCAT-;headReduced?;2SB;41|
              (289 . |reduced?|) |RPOLCAT-;headReduced?;SLB;42|
              (295 . |initiallyReduced?|) |RPOLCAT-;initiallyReduced?;2SB;43|
              |RPOLCAT-;initiallyReduced?;SLB;44| (301 . |normalized?|)
              |RPOLCAT-;normalized?;2SB;45| |RPOLCAT-;normalized?;SLB;46|
              (307 . |quo|) (313 . |iexactQuo|) (319 . |exquo|)
              (325 . |iexactQuo|) (331 . |exquo|) (337 . |exactQuotient|)
              (343 . |exactQuotient|) (349 . |exquo|) (355 . |exactQuotient|)
              (361 . |exactQuotient!|) (367 . |exactQuotient!|)
              (373 . |unitCanonical|) (378 . |primPartElseUnitCanonical|)
              (383 . |primPartElseUnitCanonical!|) (388 . |primitivePart|)
              (393 . |content|) (398 . =) (404 . |primitivePart!|)
              (409 . |primitivePart!|) (414 . |gcd|) (420 . |gcd|)
              (426 . |gcd|) (432 . |mainCoefficients|) (437 . |gcd|)
              (443 . |mainContent|) (448 . |mainContent|)
              (|Record| (|:| |unit| %) (|:| |canonical| %) (|:| |associate| %))
              (453 . |unitNormal|) (458 . |mainPrimitivePart|)
              (463 . |squareFreePart|) (468 . |multivariate|)
              (474 . |mainSquareFreePart|) (|Polynomial| 7) (479 . |coerce|)
              (484 . |convert|) (|Symbol|) (489 . |convert|) (494 . |coerce|)
              (499 . ^) (505 . *) (511 . +) (517 . |convert|) (522 . |coerce|)
              (527 . |size|) '|sizeV| (|PositiveInteger|) (531 . |index|) '|lv|
              (536 . |ground?|) (541 . |ground|) (546 . |coerce|)
              (|Union| 159 '"failed") (551 . |mainVariable|) (|Integer|)
              (|List| 159) (556 . |position|) (562 . |degree|)
              (568 . |coefficient|) (575 . |monomial|) (582 . -)
              (|Polynomial| 186) (588 . |ground?|) (|Fraction| 177)
              (593 . |ground|) (598 . |coerce|) (603 . |mainVariable|)
              (608 . |degree|) (614 . |coefficient|) (621 . |monomial|)
              (628 . -) (|Polynomial| 177) (634 . |ground?|) (639 . |ground|)
              (644 . |coerce|) (649 . |mainVariable|) (654 . |degree|)
              (660 . |coefficient|) (667 . |monomial|) (674 . -)
              (680 . |variables|) (685 . |member?|) (691 . |variables|)
              (696 . |variables|) '|mpc2Z| (|Mapping| 7 177) (701 . |map|)
              '|mpc2Q| (|Mapping| 7 186) (707 . |map|) (713 . |retractIfCan|)
              (718 . |retract|) (723 . |retract|) (728 . |convert|) '|mpc2ZQ|
              '|mpc2RQ| (733 . |coerce|) (738 . |retract|) (|Mapping| 186 177)
              (743 . |map|) (|Mapping| 186 7) (749 . |map|)
              (755 . |retractIfCan|) (760 . |retractIfCan|) (765 . |convert|)
              (770 . |retractIfCan|) (775 . |retractIfCan|) (780 . |retract|)
              (785 . |retract|) (790 . |retractIfCan|) (795 . |retract|)
              (800 . |retract|) (805 . |convert|) '|mpc2RZ| (810 . |retract|)
              (|Mapping| 177 7) (815 . |map|) (821 . -) (|String|)
              (826 . |convert|) (831 . |monomial?|) (836 . |concat|)
              (841 . |string|) (846 . |Zero|) (|Character|) (850 . |elt|)
              (856 . |coerce|) (|List| 241) (861 . |member?|) (867 . |convert|)
              (|Union| 177 '#2="failed") (|Union| 186 '#2#) (|Union| 7 '#2#)
              (|Pattern| (|Float|)) (|InputForm|) (|Pattern| 177))
           '#(|tail| 872 |supRittWu?| 877 |retractIfCan| 883 |retract| 898
              |reductum| 913 |reduced?| 919 |quasiMonic?| 931 |pseudoDivide|
              936 |primitivePart!| 942 |primPartElseUnitCanonical!| 947
              |primPartElseUnitCanonical| 952 |prem| 957 |pquo| 970
              |normalized?| 983 |mvar| 995 |monicModulo| 1000 |monic?| 1006
              |mdeg| 1011 |mainSquareFreePart| 1016 |mainPrimitivePart| 1021
              |mainMonomials| 1026 |mainMonomial| 1031 |mainContent| 1036
              |mainCoefficients| 1041 |leastMonomial| 1046 |leadingCoefficient|
              1051 |lazyResidueClass| 1057 |lazyPseudoDivide| 1063
              |lazyPremWithDefault| 1076 |lazyPrem| 1089 |lazyPquo| 1102
              |iteratedInitials| 1115 |initiallyReduced?| 1120
              |initiallyReduce| 1132 |init| 1138 |infRittWu?| 1143 |iexactQuo|
              1149 |headReduced?| 1155 |headReduce| 1167 |head| 1173 |gcd| 1178
              |exactQuotient!| 1184 |exactQuotient| 1190 |deepestTail| 1202
              |deepestInitial| 1207 |convert| 1212 |coerce| 1237
              |RittWuCompare| 1247)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0))
                 (CONS '#(NIL)
                       (CONS
                        '#((|Join|
                            (|mkCategory|
                             (LIST '((|coerce| ((|Polynomial| |#2|) |#1|)) T)
                                   '((|convert| ((|Polynomial| |#2|) |#1|)) T)
                                   '((|convert| ((|String|) |#1|)) T)
                                   '((|mainSquareFreePart| (|#1| |#1|)) T)
                                   '((|mainPrimitivePart| (|#1| |#1|)) T)
                                   '((|mainContent| (|#1| |#1|)) T)
                                   '((|primitivePart!| (|#1| |#1|)) T)
                                   '((|gcd| (|#2| |#2| |#1|)) T)
                                   '((|iexactQuo| (|#2| |#2| |#2|)) T)
                                   '((|exactQuotient!| (|#1| |#1| |#1|)) T)
                                   '((|exactQuotient| (|#1| |#1| |#1|)) T)
                                   '((|exactQuotient!| (|#1| |#1| |#2|)) T)
                                   '((|exactQuotient| (|#1| |#1| |#2|)) T)
                                   '((|primPartElseUnitCanonical!| (|#1| |#1|))
                                     T)
                                   '((|primPartElseUnitCanonical| (|#1| |#1|))
                                     T)
                                   '((|convert| (|#1| (|Polynomial| |#2|))) T)
                                   '((|retract| (|#1| (|Polynomial| |#2|))) T)
                                   '((|retractIfCan|
                                      ((|Union| |#1| "failed")
                                       (|Polynomial| |#2|)))
                                     T)
                                   '((|convert|
                                      (|#1| (|Polynomial| (|Integer|))))
                                     T)
                                   '((|retract|
                                      (|#1| (|Polynomial| (|Integer|))))
                                     T)
                                   '((|retractIfCan|
                                      ((|Union| |#1| "failed")
                                       (|Polynomial| (|Integer|))))
                                     T)
                                   '((|convert|
                                      (|#1|
                                       (|Polynomial|
                                        (|Fraction| (|Integer|)))))
                                     T)
                                   '((|retract|
                                      (|#1|
                                       (|Polynomial|
                                        (|Fraction| (|Integer|)))))
                                     T)
                                   '((|retractIfCan|
                                      ((|Union| |#1| "failed")
                                       (|Polynomial|
                                        (|Fraction| (|Integer|)))))
                                     T)
                                   '((|initiallyReduce| (|#1| |#1| |#1|)) T)
                                   '((|headReduce| (|#1| |#1| |#1|)) T)
                                   '((|lazyResidueClass|
                                      ((|Record| (|:| |polnum| |#1|)
                                                 (|:| |polden| |#1|)
                                                 (|:| |power|
                                                      (|NonNegativeInteger|)))
                                       |#1| |#1|))
                                     T)
                                   '((|monicModulo| (|#1| |#1| |#1|)) T)
                                   '((|pseudoDivide|
                                      ((|Record| (|:| |quotient| |#1|)
                                                 (|:| |remainder| |#1|))
                                       |#1| |#1|))
                                     T)
                                   '((|lazyPseudoDivide|
                                      ((|Record| (|:| |coef| |#1|)
                                                 (|:| |gap|
                                                      (|NonNegativeInteger|))
                                                 (|:| |quotient| |#1|)
                                                 (|:| |remainder| |#1|))
                                       |#1| |#1| |#4|))
                                     T)
                                   '((|lazyPseudoDivide|
                                      ((|Record| (|:| |coef| |#1|)
                                                 (|:| |gap|
                                                      (|NonNegativeInteger|))
                                                 (|:| |quotient| |#1|)
                                                 (|:| |remainder| |#1|))
                                       |#1| |#1|))
                                     T)
                                   '((|lazyPremWithDefault|
                                      ((|Record| (|:| |coef| |#1|)
                                                 (|:| |gap|
                                                      (|NonNegativeInteger|))
                                                 (|:| |remainder| |#1|))
                                       |#1| |#1| |#4|))
                                     T)
                                   '((|lazyPremWithDefault|
                                      ((|Record| (|:| |coef| |#1|)
                                                 (|:| |gap|
                                                      (|NonNegativeInteger|))
                                                 (|:| |remainder| |#1|))
                                       |#1| |#1|))
                                     T)
                                   '((|lazyPquo| (|#1| |#1| |#1| |#4|)) T)
                                   '((|lazyPrem| (|#1| |#1| |#1| |#4|)) T)
                                   '((|lazyPquo| (|#1| |#1| |#1|)) T)
                                   '((|lazyPrem| (|#1| |#1| |#1|)) T)
                                   '((|pquo| (|#1| |#1| |#1| |#4|)) T)
                                   '((|prem| (|#1| |#1| |#1| |#4|)) T)
                                   '((|pquo| (|#1| |#1| |#1|)) T)
                                   '((|prem| (|#1| |#1| |#1|)) T)
                                   '((|normalized?|
                                      ((|Boolean|) |#1| (|List| |#1|)))
                                     T)
                                   '((|normalized?| ((|Boolean|) |#1| |#1|)) T)
                                   '((|initiallyReduced?|
                                      ((|Boolean|) |#1| (|List| |#1|)))
                                     T)
                                   '((|initiallyReduced?|
                                      ((|Boolean|) |#1| |#1|))
                                     T)
                                   '((|headReduced?|
                                      ((|Boolean|) |#1| (|List| |#1|)))
                                     T)
                                   '((|headReduced?| ((|Boolean|) |#1| |#1|))
                                     T)
                                   '((|reduced?|
                                      ((|Boolean|) |#1| (|List| |#1|)))
                                     T)
                                   '((|reduced?| ((|Boolean|) |#1| |#1|)) T)
                                   '((|supRittWu?| ((|Boolean|) |#1| |#1|)) T)
                                   '((|infRittWu?| ((|Boolean|) |#1| |#1|)) T)
                                   '((|RittWuCompare|
                                      ((|Union| (|Boolean|) #1#) |#1| |#1|))
                                     T)
                                   '((|mainMonomials| ((|List| |#1|) |#1|)) T)
                                   '((|mainCoefficients| ((|List| |#1|) |#1|))
                                     T)
                                   '((|leastMonomial| (|#1| |#1|)) T)
                                   '((|mainMonomial| (|#1| |#1|)) T)
                                   '((|quasiMonic?| ((|Boolean|) |#1|)) T)
                                   '((|monic?| ((|Boolean|) |#1|)) T)
                                   '((|reductum| (|#1| |#1| |#4|)) T)
                                   '((|leadingCoefficient| (|#1| |#1| |#4|)) T)
                                   '((|deepestInitial| (|#1| |#1|)) T)
                                   '((|iteratedInitials| ((|List| |#1|) |#1|))
                                     T)
                                   '((|deepestTail| (|#1| |#1|)) T)
                                   '((|tail| (|#1| |#1|)) T)
                                   '((|head| (|#1| |#1|)) T)
                                   '((|init| (|#1| |#1|)) T)
                                   '((|mdeg| ((|NonNegativeInteger|) |#1|)) T)
                                   '((|mvar| (|#4| |#1|)) T)
                                   '((|coerce| (|#1| |#4|)) T)
                                   '((|retractIfCan| ((|Union| |#4| #2#) |#1|))
                                     T)
                                   '((|retract| (|#4| |#1|)) T)
                                   '((|coerce| (|#1| (|Integer|))) T)
                                   '((|convert| ((|InputForm|) |#1|)) T)
                                   '((|convert| ((|Pattern| (|Integer|)) |#1|))
                                     T)
                                   '((|convert| ((|Pattern| (|Float|)) |#1|))
                                     T)
                                   '((|coerce| (|#1| |#1|)) T)
                                   '((|gcd| (|#1| |#1| |#1|)) T)
                                   '((|gcd| (|#1| (|List| |#1|))) T)
                                   '((|coerce| (|#1| |#2|)) T)
                                   '((|retractIfCan| ((|Union| |#2| #2#) |#1|))
                                     T)
                                   '((|retract| (|#2| |#1|)) T)
                                   '((|retract|
                                      ((|Fraction| (|Integer|)) |#1|))
                                     T)
                                   '((|retractIfCan|
                                      ((|Union| (|Fraction| (|Integer|)) #2#)
                                       |#1|))
                                     T)
                                   '((|coerce| (|#1| (|Fraction| (|Integer|))))
                                     T)
                                   '((|retract| ((|Integer|) |#1|)) T)
                                   '((|retractIfCan|
                                      ((|Union| (|Integer|) #2#) |#1|))
                                     T)
                                   '((|leadingCoefficient| (|#2| |#1|)) T)
                                   '((|reductum| (|#1| |#1|)) T)
                                   '((|coerce| ((|OutputForm|) |#1|)) T))
                             (LIST) NIL NIL)))
                        (|makeByteWordVec2| 252
                                            '(1 6 10 0 11 1 6 7 0 12 1 7 13 0
                                              14 1 6 0 0 15 0 6 0 16 0 7 0 17 2
                                              6 10 0 0 18 1 6 0 0 19 1 6 10 0
                                              20 1 6 21 0 22 1 6 9 0 23 1 9 13
                                              0 24 1 21 13 0 25 2 13 0 0 0 26 1
                                              6 13 0 27 2 13 0 0 0 28 2 13 0 0
                                              0 29 1 6 31 0 32 2 6 21 0 9 34 3
                                              6 0 0 9 21 36 3 6 0 0 9 21 39 0 6
                                              0 41 2 6 0 0 0 42 1 6 0 0 44 2 9
                                              10 0 0 46 1 6 0 0 47 1 6 49 0 50
                                              1 6 53 0 54 2 6 21 0 9 58 2 6 60
                                              0 9 61 1 63 62 0 64 1 63 49 0 66
                                              1 63 21 0 67 2 9 10 0 0 69 2 6 70
                                              0 0 71 2 6 10 0 0 74 2 6 76 0 0
                                              77 2 6 0 0 21 78 2 6 0 0 0 79 2 6
                                              81 0 0 82 3 6 76 0 0 9 84 3 6 81
                                              0 0 9 86 1 6 10 0 88 2 6 0 0 0 89
                                              2 9 10 0 0 92 2 6 0 0 0 93 2 6 0
                                              0 9 94 2 6 10 0 0 97 2 6 98 0 0
                                              99 2 6 0 0 0 100 2 9 10 0 0 102 1
                                              6 0 0 103 2 6 10 0 49 116 2 6 10
                                              0 0 118 2 6 10 0 0 121 2 7 0 0 0
                                              124 2 0 7 7 7 125 2 7 53 0 0 126
                                              2 6 7 7 7 127 2 6 53 0 7 128 2 0
                                              0 0 7 129 2 6 0 0 7 130 2 6 53 0
                                              0 131 2 0 0 0 0 132 2 6 0 0 7 133
                                              2 0 0 0 0 134 1 6 0 0 135 1 0 0 0
                                              136 1 0 0 0 137 1 6 0 0 138 1 6 7
                                              0 139 2 7 10 0 0 140 1 0 0 0 141
                                              1 6 0 0 142 2 7 0 0 0 143 2 6 7 7
                                              0 144 2 0 7 7 0 145 1 6 49 0 146
                                              2 6 0 0 0 147 1 0 0 0 148 1 6 0 0
                                              149 1 6 150 0 151 1 0 0 0 152 1
                                              63 0 0 153 2 6 0 60 9 154 1 0 0 0
                                              155 1 156 0 7 157 1 6 156 0 158 1
                                              9 159 0 160 1 156 0 159 161 2 156
                                              0 0 21 162 2 156 0 0 0 163 2 156
                                              0 0 0 164 1 0 156 0 165 1 0 156 0
                                              166 0 9 21 167 1 9 0 169 170 1
                                              156 10 0 172 1 156 7 0 173 1 6 0
                                              7 174 1 156 175 0 176 2 178 177
                                              159 0 179 2 156 21 0 159 180 3
                                              156 0 0 159 21 181 3 156 0 0 159
                                              21 182 2 156 0 0 0 183 1 184 10 0
                                              185 1 184 186 0 187 1 7 0 186 188
                                              1 184 175 0 189 2 184 21 0 159
                                              190 3 184 0 0 159 21 191 3 184 0
                                              0 159 21 192 2 184 0 0 0 193 1
                                              194 10 0 195 1 194 177 0 196 1 7
                                              0 177 197 1 194 175 0 198 2 194
                                              21 0 159 199 3 194 0 0 159 21 200
                                              3 194 0 0 159 21 201 2 194 0 0 0
                                              202 1 156 178 0 203 2 178 10 159
                                              0 204 1 184 178 0 205 1 194 178 0
                                              206 2 207 156 208 194 209 2 210
                                              156 211 184 212 1 6 53 184 213 1
                                              0 0 184 214 1 6 0 184 215 1 0 0
                                              184 216 1 186 0 177 219 1 7 186 0
                                              220 2 217 184 221 194 222 2 218
                                              184 223 156 224 1 0 53 194 225 1
                                              0 53 184 226 1 0 0 156 227 1 0 53
                                              156 228 1 6 53 156 229 1 0 0 156
                                              230 1 6 0 156 231 1 6 53 194 232
                                              1 0 0 194 233 1 6 0 194 234 1 0 0
                                              194 235 1 7 177 0 237 2 236 194
                                              238 156 239 1 6 0 0 240 1 6 241 0
                                              242 1 6 10 0 243 1 241 0 49 244 1
                                              159 241 0 245 0 7 0 246 2 241 247
                                              0 177 248 1 241 0 247 249 2 250
                                              10 241 0 251 1 0 241 0 252 1 0 0
                                              0 45 2 0 10 0 0 75 1 0 53 184 226
                                              1 0 53 194 225 1 0 53 156 228 1 0
                                              0 184 214 1 0 0 194 233 1 0 0 156
                                              230 2 0 0 0 9 43 2 0 10 0 49 114
                                              2 0 10 0 0 113 1 0 10 0 56 2 0
                                              107 0 0 108 1 0 0 0 141 1 0 0 0
                                              137 1 0 0 0 136 2 0 0 0 0 80 3 0
                                              0 0 0 9 85 2 0 0 0 0 83 3 0 0 0 0
                                              9 87 2 0 10 0 0 122 2 0 10 0 49
                                              123 1 0 9 0 33 2 0 0 0 0 111 1 0
                                              10 0 55 1 0 21 0 35 1 0 0 0 155 1
                                              0 0 0 152 1 0 49 0 68 1 0 0 0 57
                                              1 0 0 0 148 1 0 49 0 65 1 0 0 0
                                              59 2 0 0 0 9 38 2 0 98 0 0 112 2
                                              0 81 0 0 109 3 0 81 0 0 9 110 3 0
                                              76 0 0 9 106 2 0 76 0 0 105 2 0 0
                                              0 0 90 3 0 0 0 0 9 95 2 0 0 0 0
                                              91 3 0 0 0 0 9 96 1 0 49 0 51 2 0
                                              10 0 0 119 2 0 10 0 49 120 2 0 0
                                              0 0 104 1 0 0 0 37 2 0 10 0 0 73
                                              2 0 7 7 7 125 2 0 10 0 0 115 2 0
                                              10 0 49 117 2 0 0 0 0 101 1 0 0 0
                                              40 2 0 7 7 0 145 2 0 0 0 0 134 2
                                              0 0 0 7 129 2 0 0 0 0 132 1 0 0 0
                                              48 1 0 0 0 52 1 0 0 184 216 1 0 0
                                              194 235 1 0 0 156 227 1 0 241 0
                                              252 1 0 156 0 165 1 0 13 0 30 1 0
                                              156 0 166 2 0 70 0 0 72)))))
           '|lookupComplete|)) 
