
(/VERSIONCHECK 2) 

(DEFUN |RPOLCAT-;coerce;SOf;1| (|p| $)
  (PROG (#1=#:G820 |dp| |tp| |ip|)
    (RETURN
     (SEQ
      (EXIT
       (COND
        ((SPADCALL |p| (QREFELT $ 11))
         (SPADCALL (SPADCALL |p| (QREFELT $ 12)) (QREFELT $ 14)))
        (#2='T
         (SEQ
          (SEQ
           (LETT |ip| (SPADCALL |p| (QREFELT $ 15))
                 . #3=(|RPOLCAT-;coerce;SOf;1|))
           (EXIT
            (COND
             ((SPADCALL |ip| (|spadConstant| $ 16) (QREFELT $ 18))
              (COND
               ((SPADCALL (LETT |tp| (SPADCALL |p| (QREFELT $ 19)) . #3#)
                          (QREFELT $ 20))
                (SEQ (LETT |dp| (SPADCALL |p| (QREFELT $ 22)) . #3#)
                     (EXIT
                      (COND
                       ((EQL |dp| 1)
                        (PROGN
                         (LETT #1#
                               (SPADCALL (SPADCALL |p| (QREFELT $ 23))
                                         (QREFELT $ 24))
                               . #3#)
                         (GO #1#)))
                       (#2#
                        (PROGN
                         (LETT #1#
                               (SPADCALL
                                (SPADCALL (SPADCALL |p| (QREFELT $ 23))
                                          (QREFELT $ 24))
                                (SPADCALL |dp| (QREFELT $ 25)) (QREFELT $ 26))
                               . #3#)
                         (GO #1#)))))))
               (#2#
                (SEQ (LETT |dp| (SPADCALL |p| (QREFELT $ 22)) . #3#)
                     (EXIT
                      (COND
                       ((EQL |dp| 1)
                        (PROGN
                         (LETT #1#
                               (SPADCALL
                                (SPADCALL (SPADCALL |p| (QREFELT $ 23))
                                          (QREFELT $ 24))
                                (SPADCALL |tp| (QREFELT $ 27)) (QREFELT $ 28))
                               . #3#)
                         (GO #1#)))
                       (#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))
                               . #3#)
                         (GO #1#)))))))))
             ((SPADCALL (LETT |tp| (SPADCALL |p| (QREFELT $ 19)) . #3#)
                        (QREFELT $ 20))
              (SEQ (LETT |dp| (SPADCALL |p| (QREFELT $ 22)) . #3#)
                   (EXIT
                    (COND
                     ((EQL |dp| 1)
                      (PROGN
                       (LETT #1#
                             (SPADCALL (SPADCALL |ip| (QREFELT $ 27))
                                       (SPADCALL (SPADCALL |p| (QREFELT $ 23))
                                                 (QREFELT $ 24))
                                       (QREFELT $ 29))
                             . #3#)
                       (GO #1#)))
                     (#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))
                             . #3#)
                       (GO #1#)))))))
             ((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))
                     . #3#)
               (GO #1#))))))
          (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)))))))
      #1# (EXIT #1#))))) 

(DEFUN |RPOLCAT-;mvar;SV;2| (|p| $)
  (PROG (#1=#:G825)
    (RETURN
     (COND
      ((SPADCALL |p| (QREFELT $ 11))
       (|error| "Error in mvar from RPOLCAT : #1 is constant."))
      ('T
       (PROG2
           (LETT #1# (SPADCALL |p| (QREFELT $ 32)) |RPOLCAT-;mvar;SV;2|)
           (QCDR #1#)
         (|check-union| (QEQCAR #1# 0) (QREFELT $ 9) #1#))))))) 

(DEFUN |RPOLCAT-;mdeg;SNni;3| (|p| $)
  (PROG (#1=#:G830)
    (RETURN
     (COND ((SPADCALL |p| (QREFELT $ 11)) 0)
           ('T
            (SPADCALL |p|
                      (PROG2
                          (LETT #1# (SPADCALL |p| (QREFELT $ 32))
                                |RPOLCAT-;mdeg;SNni;3|)
                          (QCDR #1#)
                        (|check-union| (QEQCAR #1# 0) (QREFELT $ 9) #1#))
                      (QREFELT $ 34))))))) 

(DEFUN |RPOLCAT-;init;2S;4| (|p| $)
  (PROG (|v| #1=#:G835)
    (RETURN
     (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))
                         . #2=(|RPOLCAT-;init;2S;4|))
                   (QCDR #1#)
                 (|check-union| (QEQCAR #1# 0) (QREFELT $ 9) #1#))
               . #2#)
         (EXIT
          (SPADCALL |p| |v| (SPADCALL |p| |v| (QREFELT $ 34))
                    (QREFELT $ 36)))))))))) 

(DEFUN |RPOLCAT-;leadingCoefficient;SVS;5| (|p| |v| $)
  (PROG (|d|)
    (RETURN
     (COND
      ((ZEROP
        (LETT |d| (SPADCALL |p| |v| (QREFELT $ 34))
              |RPOLCAT-;leadingCoefficient;SVS;5|))
       |p|)
      ('T (SPADCALL |p| |v| |d| (QREFELT $ 36))))))) 

(DEFUN |RPOLCAT-;head;2S;6| (|p| $)
  (PROG (|d| |v| #1=#:G843)
    (RETURN
     (SEQ
      (COND ((SPADCALL |p| (QREFELT $ 11)) |p|)
            ('T
             (SEQ
              (LETT |v|
                    (PROG2
                        (LETT #1# (SPADCALL |p| (QREFELT $ 32))
                              . #2=(|RPOLCAT-;head;2S;6|))
                        (QCDR #1#)
                      (|check-union| (QEQCAR #1# 0) (QREFELT $ 9) #1#))
                    . #2#)
              (LETT |d| (SPADCALL |p| |v| (QREFELT $ 34)) . #2#)
              (EXIT
               (SPADCALL (SPADCALL |p| |v| |d| (QREFELT $ 36)) |v| |d|
                         (QREFELT $ 39)))))))))) 

(DEFUN |RPOLCAT-;reductum;SVS;7| (|p| |v| $)
  (PROG (|d|)
    (RETURN
     (COND
      ((ZEROP
        (LETT |d| (SPADCALL |p| |v| (QREFELT $ 34)) |RPOLCAT-;reductum;SVS;7|))
       (|spadConstant| $ 41))
      ('T
       (SPADCALL |p|
                 (SPADCALL (SPADCALL |p| |v| |d| (QREFELT $ 36)) |v| |d|
                           (QREFELT $ 39))
                 (QREFELT $ 42))))))) 

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

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

(DEFUN |RPOLCAT-;iteratedInitials;SL;10| (|p| $)
  (SEQ
   (COND ((SPADCALL |p| (QREFELT $ 11)) NIL)
         ('T
          (SEQ
           (LETT |p| (SPADCALL |p| (QREFELT $ 15))
                 |RPOLCAT-;iteratedInitials;SL;10|)
           (EXIT (CONS |p| (SPADCALL |p| (QREFELT $ 50))))))))) 

(DEFUN |RPOLCAT-;localDeepestInitial| (|p| $)
  (COND ((SPADCALL |p| (QREFELT $ 11)) |p|)
        ('T (|RPOLCAT-;localDeepestInitial| (SPADCALL |p| (QREFELT $ 15)) $)))) 

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

(DEFUN |RPOLCAT-;monic?;SB;13| (|p| $)
  (COND ((SPADCALL |p| (QREFELT $ 11)) 'NIL)
        ('T
         (QEQCAR (SPADCALL (SPADCALL |p| (QREFELT $ 15)) (QREFELT $ 54)) 0)))) 

(DEFUN |RPOLCAT-;quasiMonic?;SB;14| (|p| $)
  (COND ((SPADCALL |p| (QREFELT $ 11)) 'NIL)
        ('T (SPADCALL (SPADCALL |p| (QREFELT $ 15)) (QREFELT $ 11))))) 

(DEFUN |RPOLCAT-;mainMonomial;2S;15| (|p| $)
  (PROG (|v| #1=#:G874)
    (RETURN
     (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))
                         . #2=(|RPOLCAT-;mainMonomial;2S;15|))
                   (QCDR #1#)
                 (|check-union| (QEQCAR #1# 0) (QREFELT $ 9) #1#))
               . #2#)
         (EXIT
          (SPADCALL (|spadConstant| $ 16) |v| (SPADCALL |p| |v| (QREFELT $ 34))
                    (QREFELT $ 39)))))))))) 

(DEFUN |RPOLCAT-;leastMonomial;2S;16| (|p| $)
  (PROG (|v| #1=#:G881)
    (RETURN
     (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))
                         . #2=(|RPOLCAT-;leastMonomial;2S;16|))
                   (QCDR #1#)
                 (|check-union| (QEQCAR #1# 0) (QREFELT $ 9) #1#))
               . #2#)
         (EXIT
          (SPADCALL (|spadConstant| $ 16) |v| (SPADCALL |p| |v| (QREFELT $ 58))
                    (QREFELT $ 39)))))))))) 

(DEFUN |RPOLCAT-;mainCoefficients;SL;17| (|p| $)
  (PROG (|v| #1=#:G888)
    (RETURN
     (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))
                         . #2=(|RPOLCAT-;mainCoefficients;SL;17|))
                   (QCDR #1#)
                 (|check-union| (QEQCAR #1# 0) (QREFELT $ 9) #1#))
               . #2#)
         (EXIT
          (SPADCALL (SPADCALL |p| |v| (QREFELT $ 61)) (QREFELT $ 64)))))))))) 

(DEFUN |RPOLCAT-;mainMonomials;SL;18| (|p| $)
  (PROG (#1=#:G903 |m| #2=#:G902 |lm| |v| #3=#:G895)
    (RETURN
     (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))
                         . #4=(|RPOLCAT-;mainMonomials;SL;18|))
                   (QCDR #3#)
                 (|check-union| (QEQCAR #3# 0) (QREFELT $ 9) #3#))
               . #4#)
         (LETT |lm| (SPADCALL (SPADCALL |p| |v| (QREFELT $ 61)) (QREFELT $ 66))
               . #4#)
         (EXIT
          (PROGN
           (LETT #2# NIL . #4#)
           (SEQ (LETT |m| NIL . #4#) (LETT #1# |lm| . #4#) G190
                (COND
                 ((OR (ATOM #1#) (PROGN (LETT |m| (CAR #1#) . #4#) NIL))
                  (GO G191)))
                (SEQ
                 (EXIT
                  (LETT #2#
                        (CONS
                         (SPADCALL (|spadConstant| $ 16) |v|
                                   (SPADCALL |m| (QREFELT $ 67))
                                   (QREFELT $ 39))
                         #2#)
                        . #4#)))
                (LETT #1# (CDR #1#) . #4#) (GO G190) G191
                (EXIT (NREVERSE0 #2#)))))))))))) 

(DEFUN |RPOLCAT-;RittWuCompare;2SU;19| (|a| |b| $)
  (PROG (|lc|)
    (RETURN
     (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 $ 46)))
              (CONS 0 'T))
             ((SPADCALL (SPADCALL |b| (QREFELT $ 23))
                        (SPADCALL |a| (QREFELT $ 23)) (QREFELT $ 46))
              (CONS 0 'NIL))
             ((< (SPADCALL |a| (QREFELT $ 22)) (SPADCALL |b| (QREFELT $ 22)))
              (CONS 0 'T))
             ((< (SPADCALL |b| (QREFELT $ 22)) (SPADCALL |a| (QREFELT $ 22)))
              (CONS 0 'NIL))
             (#1='T
              (SEQ
               (LETT |lc|
                     (SPADCALL (SPADCALL |a| (QREFELT $ 15))
                               (SPADCALL |b| (QREFELT $ 15)) (QREFELT $ 70))
                     |RPOLCAT-;RittWuCompare;2SU;19|)
               (EXIT
                (COND ((QEQCAR |lc| 0) |lc|)
                      (#1#
                       (SPADCALL (SPADCALL |a| (QREFELT $ 19))
                                 (SPADCALL |b| (QREFELT $ 19))
                                 (QREFELT $ 70))))))))))))) 

(DEFUN |RPOLCAT-;infRittWu?;2SB;20| (|a| |b| $)
  (PROG (|lc|)
    (RETURN
     (SEQ
      (LETT |lc| (SPADCALL |a| |b| (QREFELT $ 70))
            |RPOLCAT-;infRittWu?;2SB;20|)
      (EXIT (COND ((QEQCAR |lc| 0) (QCDR |lc|)) ('T 'NIL))))))) 

(DEFUN |RPOLCAT-;supRittWu?;2SB;21| (|a| |b| $)
  (SPADCALL |b| |a| (QREFELT $ 73))) 

(DEFUN |RPOLCAT-;prem;3S;22| (|a| |b| $)
  (PROG (|cP|)
    (RETURN
     (SEQ (LETT |cP| (SPADCALL |a| |b| (QREFELT $ 76)) |RPOLCAT-;prem;3S;22|)
          (EXIT
           (SPADCALL (SPADCALL (QVELT |cP| 0) (QVELT |cP| 1) (QREFELT $ 77))
                     (QVELT |cP| 2) (QREFELT $ 78))))))) 

(DEFUN |RPOLCAT-;pquo;3S;23| (|a| |b| $)
  (PROG (|c| |cPS|)
    (RETURN
     (SEQ
      (LETT |cPS| (SPADCALL |a| |b| (QREFELT $ 81))
            . #1=(|RPOLCAT-;pquo;3S;23|))
      (LETT |c| (SPADCALL (QVELT |cPS| 0) (QVELT |cPS| 1) (QREFELT $ 77))
            . #1#)
      (EXIT (SPADCALL |c| (QVELT |cPS| 2) (QREFELT $ 78))))))) 

(DEFUN |RPOLCAT-;prem;2SVS;24| (|a| |b| |v| $)
  (PROG (|cP|)
    (RETURN
     (SEQ
      (LETT |cP| (SPADCALL |a| |b| |v| (QREFELT $ 83)) |RPOLCAT-;prem;2SVS;24|)
      (EXIT
       (SPADCALL (SPADCALL (QVELT |cP| 0) (QVELT |cP| 1) (QREFELT $ 77))
                 (QVELT |cP| 2) (QREFELT $ 78))))))) 

(DEFUN |RPOLCAT-;pquo;2SVS;25| (|a| |b| |v| $)
  (PROG (|c| |cPS|)
    (RETURN
     (SEQ
      (LETT |cPS| (SPADCALL |a| |b| |v| (QREFELT $ 85))
            . #1=(|RPOLCAT-;pquo;2SVS;25|))
      (LETT |c| (SPADCALL (QVELT |cPS| 0) (QVELT |cPS| 1) (QREFELT $ 77))
            . #1#)
      (EXIT (SPADCALL |c| (QVELT |cPS| 2) (QREFELT $ 78))))))) 

(DEFUN |RPOLCAT-;lazyPrem;3S;26| (|a| |b| $)
  (SEQ
   (COND
    ((NULL (SPADCALL |b| (QREFELT $ 11)))
     (COND
      ((SPADCALL |b| (QREFELT $ 87))
       (EXIT (SPADCALL |a| |b| (QREFELT $ 88)))))))
   (EXIT (QVELT (SPADCALL |a| |b| (QREFELT $ 76)) 2)))) 

(DEFUN |RPOLCAT-;lazyPquo;3S;27| (|a| |b| $)
  (QVELT (SPADCALL |a| |b| (QREFELT $ 81)) 2)) 

(DEFUN |RPOLCAT-;lazyPrem;2SVS;28| (|a| |b| |v| $)
  (PROG (|test| |term| #1=#:G949 |lcav| |lcbv| |dav| |dbv|)
    (RETURN
     (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 $ 91))
        (SPADCALL |a| |b| (QREFELT $ 92)))
       (#2='T
        (SEQ
         (LETT |dbv| (SPADCALL |b| |v| (QREFELT $ 34))
               . #3=(|RPOLCAT-;lazyPrem;2SVS;28|))
         (EXIT
          (COND ((ZEROP |dbv|) (|spadConstant| $ 41))
                (#2#
                 (SEQ (LETT |dav| (SPADCALL |a| |v| (QREFELT $ 34)) . #3#)
                      (EXIT
                       (COND ((ZEROP |dav|) |a|)
                             (#2#
                              (SEQ (LETT |test| (- |dav| |dbv|) . #3#)
                                   (LETT |lcbv|
                                         (SPADCALL |b| |v| (QREFELT $ 93))
                                         . #3#)
                                   (SEQ G190
                                        (COND
                                         ((NULL
                                           (COND
                                            ((OR (SPADCALL |a| (QREFELT $ 20))
                                                 (MINUSP |test|))
                                             'NIL)
                                            ('T 'T)))
                                          (GO G191)))
                                        (SEQ
                                         (LETT |lcav|
                                               (SPADCALL |a| |v|
                                                         (QREFELT $ 93))
                                               . #3#)
                                         (LETT |term|
                                               (SPADCALL |lcav| |v|
                                                         (PROG1
                                                             (LETT #1# |test|
                                                                   . #3#)
                                                           (|check-subtype|
                                                            (>= #1# 0)
                                                            '(|NonNegativeInteger|)
                                                            #1#))
                                                         (QREFELT $ 39))
                                               . #3#)
                                         (LETT |a|
                                               (SPADCALL
                                                (SPADCALL |lcbv| |a|
                                                          (QREFELT $ 78))
                                                (SPADCALL |term| |b|
                                                          (QREFELT $ 78))
                                                (QREFELT $ 42))
                                               . #3#)
                                         (EXIT
                                          (LETT |test|
                                                (-
                                                 (SPADCALL |a| |v|
                                                           (QREFELT $ 34))
                                                 |dbv|)
                                                . #3#)))
                                        NIL (GO G190) G191 (EXIT NIL))
                                   (EXIT |a|)))))))))))))))) 

(DEFUN |RPOLCAT-;lazyPquo;2SVS;29| (|a| |b| |v| $)
  (QVELT (SPADCALL |a| |b| |v| (QREFELT $ 85)) 2)) 

(DEFUN |RPOLCAT-;headReduce;3S;30| (|a| |b| $)
  (PROG (|lrc| |ha|)
    (RETURN
     (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 $ 91))
        (SPADCALL |a| |b| (QREFELT $ 92)))
       ('T
        (SEQ
         (SEQ G190
              (COND
               ((NULL
                 (COND
                  ((SPADCALL
                    (LETT |ha| (SPADCALL |a| (QREFELT $ 44))
                          . #1=(|RPOLCAT-;headReduce;3S;30|))
                    |b| (QREFELT $ 96))
                   'NIL)
                  ('T 'T)))
                (GO G191)))
              (SEQ (LETT |lrc| (SPADCALL |ha| |b| (QREFELT $ 98)) . #1#)
                   (EXIT
                    (COND
                     ((SPADCALL (SPADCALL |a| (QREFELT $ 19)) (QREFELT $ 20))
                      (LETT |a| (QVELT |lrc| 0) . #1#))
                     ('T
                      (LETT |a|
                            (SPADCALL (QVELT |lrc| 0)
                                      (SPADCALL
                                       (SPADCALL (QVELT |lrc| 1)
                                                 (QVELT |lrc| 2)
                                                 (QREFELT $ 77))
                                       (SPADCALL |a| (QREFELT $ 19))
                                       (QREFELT $ 78))
                                      (QREFELT $ 99))
                            . #1#)))))
              NIL (GO G190) G191 (EXIT NIL))
         (EXIT |a|)))))))) 

(DEFUN |RPOLCAT-;initiallyReduce;3S;31| (|a| |b| $)
  (PROG (|ia| |ma| |ta| |iamodb| |v|)
    (RETURN
     (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))
               . #2=(|RPOLCAT-;initiallyReduce;3S;31|))
         (EXIT
          (COND
           ((SPADCALL (SPADCALL |a| (QREFELT $ 23)) |v| (QREFELT $ 91))
            (SPADCALL |a| |b| (QREFELT $ 92)))
           (#1#
            (SEQ (LETT |ia| |a| . #2#) (LETT |ma| (|spadConstant| $ 16) . #2#)
                 (LETT |ta| (|spadConstant| $ 41) . #2#)
                 (SEQ G190
                      (COND
                       ((NULL
                         (COND
                          ((OR (SPADCALL |ia| (QREFELT $ 11))
                               (SPADCALL (SPADCALL |ia| (QREFELT $ 23))
                                         (SPADCALL |b| (QREFELT $ 23))
                                         (QREFELT $ 46)))
                           'NIL)
                          ('T 'T)))
                        (GO G191)))
                      (SEQ
                       (COND
                        ((SPADCALL (SPADCALL |ia| (QREFELT $ 23))
                                   (SPADCALL |b| (QREFELT $ 23))
                                   (QREFELT $ 91))
                         (COND
                          ((NULL
                            (< (SPADCALL |ia| (QREFELT $ 22))
                               (SPADCALL |b| (QREFELT $ 22))))
                           (SEQ
                            (LETT |iamodb| (SPADCALL |ia| |b| (QREFELT $ 98))
                                  . #2#)
                            (LETT |ia| (QVELT |iamodb| 0) . #2#)
                            (EXIT
                             (COND
                              ((NULL (SPADCALL |ta| (QREFELT $ 20)))
                               (LETT |ta|
                                     (SPADCALL
                                      (SPADCALL (QVELT |iamodb| 1)
                                                (QVELT |iamodb| 2)
                                                (QREFELT $ 77))
                                      |ta| (QREFELT $ 78))
                                     . #2#)))))))))
                       (EXIT
                        (COND
                         ((SPADCALL |ia| (QREFELT $ 20))
                          (SEQ (LETT |ia| |ta| . #2#)
                               (LETT |ma| (|spadConstant| $ 16) . #2#)
                               (EXIT (LETT |ta| (|spadConstant| $ 41) . #2#))))
                         ((NULL (SPADCALL |ia| (QREFELT $ 11)))
                          (SEQ
                           (LETT |ta|
                                 (SPADCALL
                                  (SPADCALL (SPADCALL |ia| (QREFELT $ 19)) |ma|
                                            (QREFELT $ 78))
                                  |ta| (QREFELT $ 99))
                                 . #2#)
                           (LETT |ma|
                                 (SPADCALL (SPADCALL |ia| (QREFELT $ 101)) |ma|
                                           (QREFELT $ 78))
                                 . #2#)
                           (EXIT
                            (LETT |ia| (SPADCALL |ia| (QREFELT $ 15))
                                  . #2#)))))))
                      NIL (GO G190) G191 (EXIT NIL))
                 (EXIT
                  (SPADCALL (SPADCALL |ia| |ma| (QREFELT $ 78)) |ta|
                            (QREFELT $ 99)))))))))))))) 

(DEFUN |RPOLCAT-;lazyPremWithDefault;2SR;32| (|a| |b| $)
  (PROG (#1=#:G999 |test| |delta| |term| #2=#:G996 #3=#:G990 |db| |lcb| |xb|
         |xa|)
    (RETURN
     (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))
               . #5=(|RPOLCAT-;lazyPremWithDefault;2SR;32|))
         (LETT |xb| (SPADCALL |b| (QREFELT $ 23)) . #5#)
         (EXIT
          (COND
           ((SPADCALL |xa| |xb| (QREFELT $ 46))
            (VECTOR (|spadConstant| $ 16) 0 |a|))
           (#4#
            (SEQ (LETT |lcb| (SPADCALL |b| (QREFELT $ 15)) . #5#)
                 (LETT |db| (SPADCALL |b| (QREFELT $ 22)) . #5#)
                 (LETT |test| (- (SPADCALL |a| |xb| (QREFELT $ 34)) |db|)
                       . #5#)
                 (LETT |delta| (MAX (+ |test| 1) 0) . #5#)
                 (COND
                  ((SPADCALL |xa| |xb| (QREFELT $ 91))
                   (SEQ (LETT |b| (SPADCALL |b| (QREFELT $ 19)) . #5#)
                        (EXIT
                         (SEQ G190
                              (COND
                               ((NULL
                                 (COND
                                  ((OR (SPADCALL |a| (QREFELT $ 20))
                                       (MINUSP |test|))
                                   'NIL)
                                  ('T 'T)))
                                #6=(GO G191)))
                              (SEQ
                               (LETT |term|
                                     (SPADCALL (SPADCALL |a| (QREFELT $ 15))
                                               |xb|
                                               (PROG1 (LETT #3# |test| . #5#)
                                                 (|check-subtype| (>= #3# 0)
                                                                  '(|NonNegativeInteger|)
                                                                  #3#))
                                               (QREFELT $ 39))
                                     . #5#)
                               (LETT |a|
                                     (SPADCALL
                                      (SPADCALL |lcb|
                                                (SPADCALL |a| (QREFELT $ 19))
                                                (QREFELT $ 78))
                                      (SPADCALL |term| |b| (QREFELT $ 78))
                                      (QREFELT $ 42))
                                     . #5#)
                               (LETT |delta| (- |delta| 1) . #5#)
                               (EXIT
                                (LETT |test|
                                      (- (SPADCALL |a| |xb| (QREFELT $ 34))
                                         |db|)
                                      . #5#)))
                              NIL #7=(GO G190) G191 (EXIT NIL)))))
                  (#4#
                   (SEQ G190
                        (COND
                         ((NULL
                           (COND
                            ((OR (SPADCALL |a| (QREFELT $ 20)) (MINUSP |test|))
                             'NIL)
                            ('T 'T)))
                          #6#))
                        (SEQ
                         (LETT |term|
                               (SPADCALL (SPADCALL |a| |xb| (QREFELT $ 93))
                                         |xb|
                                         (PROG1 (LETT #2# |test| . #5#)
                                           (|check-subtype| (>= #2# 0)
                                                            '(|NonNegativeInteger|)
                                                            #2#))
                                         (QREFELT $ 39))
                               . #5#)
                         (LETT |a|
                               (SPADCALL (SPADCALL |lcb| |a| (QREFELT $ 78))
                                         (SPADCALL |term| |b| (QREFELT $ 78))
                                         (QREFELT $ 42))
                               . #5#)
                         (LETT |delta| (- |delta| 1) . #5#)
                         (EXIT
                          (LETT |test|
                                (- (SPADCALL |a| |xb| (QREFELT $ 34)) |db|)
                                . #5#)))
                        NIL #7# G191 (EXIT NIL))))
                 (EXIT
                  (VECTOR |lcb|
                          (PROG1 (LETT #1# |delta| . #5#)
                            (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|)
                                             #1#))
                          |a|))))))))))))) 

(DEFUN |RPOLCAT-;lazyPremWithDefault;2SVR;33| (|a| |b| |v| $)
  (PROG (#1=#:G1011 |test| |delta| |term| #2=#:G1008 |lcav| |lcbv| |dav| |dbv|)
    (RETURN
     (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 $ 91))
        (SPADCALL |a| |b| (QREFELT $ 76)))
       (#3='T
        (SEQ
         (LETT |dbv| (SPADCALL |b| |v| (QREFELT $ 34))
               . #4=(|RPOLCAT-;lazyPremWithDefault;2SVR;33|))
         (EXIT
          (COND ((ZEROP |dbv|) (VECTOR |b| 1 (|spadConstant| $ 41)))
                (#3#
                 (SEQ (LETT |dav| (SPADCALL |a| |v| (QREFELT $ 34)) . #4#)
                      (EXIT
                       (COND
                        ((ZEROP |dav|) (VECTOR (|spadConstant| $ 16) 0 |a|))
                        (#3#
                         (SEQ (LETT |test| (- |dav| |dbv|) . #4#)
                              (LETT |delta| (MAX (+ |test| 1) 0) . #4#)
                              (LETT |lcbv| (SPADCALL |b| |v| (QREFELT $ 93))
                                    . #4#)
                              (SEQ G190
                                   (COND
                                    ((NULL
                                      (COND
                                       ((OR (SPADCALL |a| (QREFELT $ 20))
                                            (MINUSP |test|))
                                        'NIL)
                                       ('T 'T)))
                                     (GO G191)))
                                   (SEQ
                                    (LETT |lcav|
                                          (SPADCALL |a| |v| (QREFELT $ 93))
                                          . #4#)
                                    (LETT |term|
                                          (SPADCALL |lcav| |v|
                                                    (PROG1
                                                        (LETT #2# |test| . #4#)
                                                      (|check-subtype|
                                                       (>= #2# 0)
                                                       '(|NonNegativeInteger|)
                                                       #2#))
                                                    (QREFELT $ 39))
                                          . #4#)
                                    (LETT |a|
                                          (SPADCALL
                                           (SPADCALL |lcbv| |a| (QREFELT $ 78))
                                           (SPADCALL |term| |b| (QREFELT $ 78))
                                           (QREFELT $ 42))
                                          . #4#)
                                    (LETT |delta| (- |delta| 1) . #4#)
                                    (EXIT
                                     (LETT |test|
                                           (- (SPADCALL |a| |v| (QREFELT $ 34))
                                              |dbv|)
                                           . #4#)))
                                   NIL (GO G190) G191 (EXIT NIL))
                              (EXIT
                               (VECTOR |lcbv|
                                       (PROG1 (LETT #1# |delta| . #4#)
                                         (|check-subtype| (>= #1# 0)
                                                          '(|NonNegativeInteger|)
                                                          #1#))
                                       |a|))))))))))))))))) 

(DEFUN |RPOLCAT-;pseudoDivide;2SR;34| (|a| |b| $)
  (PROG (|c| |cPS|)
    (RETURN
     (SEQ
      (LETT |cPS| (SPADCALL |a| |b| (QREFELT $ 81))
            . #1=(|RPOLCAT-;pseudoDivide;2SR;34|))
      (LETT |c| (SPADCALL (QVELT |cPS| 0) (QVELT |cPS| 1) (QREFELT $ 77))
            . #1#)
      (EXIT
       (CONS (SPADCALL |c| (QVELT |cPS| 2) (QREFELT $ 78))
             (SPADCALL |c| (QVELT |cPS| 3) (QREFELT $ 78)))))))) 

(DEFUN |RPOLCAT-;lazyPseudoDivide;2SR;35| (|a| |b| $)
  (PROG (#1=#:G1036 |test| |delta| |q| |term| #2=#:G1033 #3=#:G1027 |db| |lcb|
         |xb| |xa|)
    (RETURN
     (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))
               . #5=(|RPOLCAT-;lazyPseudoDivide;2SR;35|))
         (LETT |xb| (SPADCALL |b| (QREFELT $ 23)) . #5#)
         (EXIT
          (COND
           ((SPADCALL |xa| |xb| (QREFELT $ 46))
            (VECTOR (|spadConstant| $ 16) 0 (|spadConstant| $ 41) |a|))
           (#4#
            (SEQ (LETT |lcb| (SPADCALL |b| (QREFELT $ 15)) . #5#)
                 (LETT |db| (SPADCALL |b| (QREFELT $ 22)) . #5#)
                 (LETT |q| (|spadConstant| $ 41) . #5#)
                 (LETT |test| (- (SPADCALL |a| |xb| (QREFELT $ 34)) |db|)
                       . #5#)
                 (LETT |delta| (MAX (+ |test| 1) 0) . #5#)
                 (COND
                  ((SPADCALL |xa| |xb| (QREFELT $ 91))
                   (SEQ (LETT |b| (SPADCALL |b| (QREFELT $ 19)) . #5#)
                        (EXIT
                         (SEQ G190
                              (COND
                               ((NULL
                                 (COND
                                  ((OR (SPADCALL |a| (QREFELT $ 20))
                                       (MINUSP |test|))
                                   'NIL)
                                  ('T 'T)))
                                #6=(GO G191)))
                              (SEQ
                               (LETT |term|
                                     (SPADCALL (SPADCALL |a| (QREFELT $ 15))
                                               |xb|
                                               (PROG1 (LETT #3# |test| . #5#)
                                                 (|check-subtype| (>= #3# 0)
                                                                  '(|NonNegativeInteger|)
                                                                  #3#))
                                               (QREFELT $ 39))
                                     . #5#)
                               (LETT |a|
                                     (SPADCALL
                                      (SPADCALL |lcb|
                                                (SPADCALL |a| (QREFELT $ 19))
                                                (QREFELT $ 78))
                                      (SPADCALL |term| |b| (QREFELT $ 78))
                                      (QREFELT $ 42))
                                     . #5#)
                               (LETT |q|
                                     (SPADCALL
                                      (SPADCALL |lcb| |q| (QREFELT $ 78))
                                      |term| (QREFELT $ 99))
                                     . #5#)
                               (LETT |delta| (- |delta| 1) . #5#)
                               (EXIT
                                (LETT |test|
                                      (- (SPADCALL |a| |xb| (QREFELT $ 34))
                                         |db|)
                                      . #5#)))
                              NIL #7=(GO G190) G191 (EXIT NIL)))))
                  (#4#
                   (SEQ G190
                        (COND
                         ((NULL
                           (COND
                            ((OR (SPADCALL |a| (QREFELT $ 20)) (MINUSP |test|))
                             'NIL)
                            ('T 'T)))
                          #6#))
                        (SEQ
                         (LETT |term|
                               (SPADCALL (SPADCALL |a| |xb| (QREFELT $ 93))
                                         |xb|
                                         (PROG1 (LETT #2# |test| . #5#)
                                           (|check-subtype| (>= #2# 0)
                                                            '(|NonNegativeInteger|)
                                                            #2#))
                                         (QREFELT $ 39))
                               . #5#)
                         (LETT |a|
                               (SPADCALL (SPADCALL |lcb| |a| (QREFELT $ 78))
                                         (SPADCALL |term| |b| (QREFELT $ 78))
                                         (QREFELT $ 42))
                               . #5#)
                         (LETT |q|
                               (SPADCALL (SPADCALL |lcb| |q| (QREFELT $ 78))
                                         |term| (QREFELT $ 99))
                               . #5#)
                         (LETT |delta| (- |delta| 1) . #5#)
                         (EXIT
                          (LETT |test|
                                (- (SPADCALL |a| |xb| (QREFELT $ 34)) |db|)
                                . #5#)))
                        NIL #7# G191 (EXIT NIL))))
                 (EXIT
                  (VECTOR |lcb|
                          (PROG1 (LETT #1# |delta| . #5#)
                            (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|)
                                             #1#))
                          |q| |a|))))))))))))) 

(DEFUN |RPOLCAT-;lazyPseudoDivide;2SVR;36| (|a| |b| |v| $)
  (PROG (#1=#:G1048 |test| |delta| |q| |term| #2=#:G1045 |lcav| |lcbv| |dav|
         |dbv|)
    (RETURN
     (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 $ 91))
        (SPADCALL |a| |b| (QREFELT $ 81)))
       (#3='T
        (SEQ
         (LETT |dbv| (SPADCALL |b| |v| (QREFELT $ 34))
               . #4=(|RPOLCAT-;lazyPseudoDivide;2SVR;36|))
         (EXIT
          (COND ((ZEROP |dbv|) (VECTOR |b| 1 |a| (|spadConstant| $ 41)))
                (#3#
                 (SEQ (LETT |dav| (SPADCALL |a| |v| (QREFELT $ 34)) . #4#)
                      (EXIT
                       (COND
                        ((ZEROP |dav|)
                         (VECTOR (|spadConstant| $ 16) 0 (|spadConstant| $ 41)
                                 |a|))
                        (#3#
                         (SEQ (LETT |test| (- |dav| |dbv|) . #4#)
                              (LETT |delta| (MAX (+ |test| 1) 0) . #4#)
                              (LETT |lcbv| (SPADCALL |b| |v| (QREFELT $ 93))
                                    . #4#)
                              (LETT |q| (|spadConstant| $ 41) . #4#)
                              (SEQ G190
                                   (COND
                                    ((NULL
                                      (COND
                                       ((OR (SPADCALL |a| (QREFELT $ 20))
                                            (MINUSP |test|))
                                        'NIL)
                                       ('T 'T)))
                                     (GO G191)))
                                   (SEQ
                                    (LETT |lcav|
                                          (SPADCALL |a| |v| (QREFELT $ 93))
                                          . #4#)
                                    (LETT |term|
                                          (SPADCALL |lcav| |v|
                                                    (PROG1
                                                        (LETT #2# |test| . #4#)
                                                      (|check-subtype|
                                                       (>= #2# 0)
                                                       '(|NonNegativeInteger|)
                                                       #2#))
                                                    (QREFELT $ 39))
                                          . #4#)
                                    (LETT |a|
                                          (SPADCALL
                                           (SPADCALL |lcbv| |a| (QREFELT $ 78))
                                           (SPADCALL |term| |b| (QREFELT $ 78))
                                           (QREFELT $ 42))
                                          . #4#)
                                    (LETT |q|
                                          (SPADCALL
                                           (SPADCALL |lcbv| |q| (QREFELT $ 78))
                                           |term| (QREFELT $ 99))
                                          . #4#)
                                    (LETT |delta| (- |delta| 1) . #4#)
                                    (EXIT
                                     (LETT |test|
                                           (- (SPADCALL |a| |v| (QREFELT $ 34))
                                              |dbv|)
                                           . #4#)))
                                   NIL (GO G190) G191 (EXIT NIL))
                              (EXIT
                               (VECTOR |lcbv|
                                       (PROG1 (LETT #1# |delta| . #4#)
                                         (|check-subtype| (>= #1# 0)
                                                          '(|NonNegativeInteger|)
                                                          #1#))
                                       |q| |a|))))))))))))))))) 

(DEFUN |RPOLCAT-;monicModulo;3S;37| (|a| |b| $)
  (PROG (#1=#:G1057 |rec| |ib|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |b| (QREFELT $ 11))
        (|error| "Error in monicModulo from RPOLCAT : #2 is constant"))
       (#2='T
        (SEQ
         (LETT |rec|
               (SPADCALL
                (LETT |ib| (SPADCALL |b| (QREFELT $ 15))
                      . #3=(|RPOLCAT-;monicModulo;3S;37|))
                (QREFELT $ 54))
               . #3#)
         (EXIT
          (COND
           ((QEQCAR |rec| 1)
            (|error| "Error in monicModulo from RPOLCAT : #2 is not monic"))
           ((SPADCALL |a| (QREFELT $ 11)) |a|)
           (#2#
            (SPADCALL |ib|
                      (QVELT
                       (SPADCALL
                        (SPADCALL
                         (PROG2
                             (LETT #1# |rec| . #3#)
                             (QCDR #1#)
                           (|check-union| (QEQCAR #1# 0) (QREFELT $ 6) #1#))
                         |a| (QREFELT $ 78))
                        (SPADCALL
                         (PROG2
                             (LETT #1# |rec| . #3#)
                             (QCDR #1#)
                           (|check-union| (QEQCAR #1# 0) (QREFELT $ 6) #1#))
                         |b| (QREFELT $ 78))
                        (QREFELT $ 76))
                       2)
                      (QREFELT $ 78)))))))))))) 

(DEFUN |RPOLCAT-;lazyResidueClass;2SR;38| (|a| |b| $)
  (PROG (|test| |pow| |term| #1=#:G1073 #2=#:G1067 |db| |lcb| |xb| |xa|)
    (RETURN
     (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))
               . #4=(|RPOLCAT-;lazyResidueClass;2SR;38|))
         (LETT |xb| (SPADCALL |b| (QREFELT $ 23)) . #4#)
         (EXIT
          (COND
           ((SPADCALL |xa| |xb| (QREFELT $ 46))
            (VECTOR |a| (|spadConstant| $ 16) 0))
           ((SPADCALL |b| (QREFELT $ 87))
            (VECTOR (SPADCALL |a| |b| (QREFELT $ 88)) (|spadConstant| $ 16) 0))
           (#3#
            (SEQ (LETT |lcb| (SPADCALL |b| (QREFELT $ 15)) . #4#)
                 (LETT |db| (SPADCALL |b| (QREFELT $ 22)) . #4#)
                 (LETT |test| (- (SPADCALL |a| |xb| (QREFELT $ 34)) |db|)
                       . #4#)
                 (LETT |pow| 0 . #4#)
                 (COND
                  ((SPADCALL |xa| |xb| (QREFELT $ 91))
                   (SEQ (LETT |b| (SPADCALL |b| (QREFELT $ 19)) . #4#)
                        (EXIT
                         (SEQ G190
                              (COND
                               ((NULL
                                 (COND
                                  ((OR (SPADCALL |a| (QREFELT $ 20))
                                       (MINUSP |test|))
                                   'NIL)
                                  ('T 'T)))
                                #5=(GO G191)))
                              (SEQ
                               (LETT |term|
                                     (SPADCALL (SPADCALL |a| (QREFELT $ 15))
                                               |xb|
                                               (PROG1 (LETT #2# |test| . #4#)
                                                 (|check-subtype| (>= #2# 0)
                                                                  '(|NonNegativeInteger|)
                                                                  #2#))
                                               (QREFELT $ 39))
                                     . #4#)
                               (LETT |a|
                                     (SPADCALL
                                      (SPADCALL |lcb|
                                                (SPADCALL |a| (QREFELT $ 19))
                                                (QREFELT $ 78))
                                      (SPADCALL |term| |b| (QREFELT $ 78))
                                      (QREFELT $ 42))
                                     . #4#)
                               (LETT |pow| (+ |pow| 1) . #4#)
                               (EXIT
                                (LETT |test|
                                      (- (SPADCALL |a| |xb| (QREFELT $ 34))
                                         |db|)
                                      . #4#)))
                              NIL #6=(GO G190) G191 (EXIT NIL)))))
                  (#3#
                   (SEQ G190
                        (COND
                         ((NULL
                           (COND
                            ((OR (SPADCALL |a| (QREFELT $ 20)) (MINUSP |test|))
                             'NIL)
                            ('T 'T)))
                          #5#))
                        (SEQ
                         (LETT |term|
                               (SPADCALL (SPADCALL |a| |xb| (QREFELT $ 93))
                                         |xb|
                                         (PROG1 (LETT #1# |test| . #4#)
                                           (|check-subtype| (>= #1# 0)
                                                            '(|NonNegativeInteger|)
                                                            #1#))
                                         (QREFELT $ 39))
                               . #4#)
                         (LETT |a|
                               (SPADCALL (SPADCALL |lcb| |a| (QREFELT $ 78))
                                         (SPADCALL |term| |b| (QREFELT $ 78))
                                         (QREFELT $ 42))
                               . #4#)
                         (LETT |pow| (+ |pow| 1) . #4#)
                         (EXIT
                          (LETT |test|
                                (- (SPADCALL |a| |xb| (QREFELT $ 34)) |db|)
                                . #4#)))
                        NIL #6# G191 (EXIT NIL))))
                 (EXIT (VECTOR |a| |lcb| |pow|))))))))))))) 

(DEFUN |RPOLCAT-;reduced?;2SB;39| (|a| |b| $)
  (< (SPADCALL |a| (SPADCALL |b| (QREFELT $ 23)) (QREFELT $ 34))
     (SPADCALL |b| (QREFELT $ 22)))) 

(DEFUN |RPOLCAT-;reduced?;SLB;40| (|p| |lq| $)
  (SEQ
   (COND ((SPADCALL |p| (QREFELT $ 11)) 'T)
         ('T
          (SEQ
           (SEQ G190
                (COND
                 ((NULL
                   (COND ((NULL |lq|) 'NIL)
                         ('T
                          (SPADCALL |p| (|SPADfirst| |lq|) (QREFELT $ 96)))))
                  (GO G191)))
                (SEQ (EXIT (LETT |lq| (CDR |lq|) |RPOLCAT-;reduced?;SLB;40|)))
                NIL (GO G190) G191 (EXIT NIL))
           (EXIT (NULL |lq|))))))) 

(DEFUN |RPOLCAT-;headReduced?;2SB;41| (|a| |b| $)
  (SPADCALL (SPADCALL |a| (QREFELT $ 44)) |b| (QREFELT $ 96))) 

(DEFUN |RPOLCAT-;headReduced?;SLB;42| (|p| |lq| $)
  (SPADCALL (SPADCALL |p| (QREFELT $ 44)) |lq| (QREFELT $ 114))) 

(DEFUN |RPOLCAT-;initiallyReduced?;2SB;43| (|a| |b| $)
  (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 $ 46)))
    'T)
   ((SPADCALL (SPADCALL |a| (QREFELT $ 23)) (SPADCALL |b| (QREFELT $ 23))
              (QREFELT $ 91))
    (SPADCALL |a| |b| (QREFELT $ 96)))
   ('T (SPADCALL (SPADCALL |a| (QREFELT $ 15)) |b| (QREFELT $ 116))))) 

(DEFUN |RPOLCAT-;initiallyReduced?;SLB;44| (|p| |lq| $)
  (SEQ
   (COND ((SPADCALL |p| (QREFELT $ 11)) 'T)
         ('T
          (SEQ
           (SEQ G190
                (COND
                 ((NULL
                   (COND ((NULL |lq|) 'NIL)
                         ('T
                          (SPADCALL |p| (|SPADfirst| |lq|) (QREFELT $ 116)))))
                  (GO G191)))
                (SEQ
                 (EXIT
                  (LETT |lq| (CDR |lq|) |RPOLCAT-;initiallyReduced?;SLB;44|)))
                NIL (GO G190) G191 (EXIT NIL))
           (EXIT (NULL |lq|))))))) 

(DEFUN |RPOLCAT-;normalized?;2SB;45| (|a| |b| $)
  (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 $ 46)))
    'T)
   ((SPADCALL (SPADCALL |a| (QREFELT $ 23)) (SPADCALL |b| (QREFELT $ 23))
              (QREFELT $ 91))
    'NIL)
   ('T (SPADCALL (SPADCALL |a| (QREFELT $ 15)) |b| (QREFELT $ 119))))) 

(DEFUN |RPOLCAT-;normalized?;SLB;46| (|p| |lq| $)
  (SEQ
   (SEQ G190
        (COND
         ((NULL
           (COND ((NULL |lq|) 'NIL)
                 ('T (SPADCALL |p| (|SPADfirst| |lq|) (QREFELT $ 119)))))
          (GO G191)))
        (SEQ (EXIT (LETT |lq| (CDR |lq|) |RPOLCAT-;normalized?;SLB;46|))) NIL
        (GO G190) G191 (EXIT NIL))
   (EXIT (NULL |lq|)))) 

(DEFUN |RPOLCAT-;iexactQuo;3R;47| (|r| |s| $)
  (SPADCALL |r| |s| (QREFELT $ 122))) 

(DEFUN |RPOLCAT-;iexactQuo;3R;48| (|r| |s| $)
  (PROG (#1=#:G1112)
    (RETURN
     (PROG2
         (LETT #1# (SPADCALL |r| |s| (QREFELT $ 124))
               |RPOLCAT-;iexactQuo;3R;48|)
         (QCDR #1#)
       (|check-union| (QEQCAR #1# 0) (QREFELT $ 7) #1#))))) 

(DEFUN |RPOLCAT-;exactQuo| (|r| |s| $) (SPADCALL |r| |s| (QREFELT $ 125))) 

(DEFUN |RPOLCAT-;exactQuotient;SRS;50| (|p| |r| $)
  (PROG (#1=#:G1117)
    (RETURN
     (PROG2
         (LETT #1# (SPADCALL |p| |r| (QREFELT $ 126))
               |RPOLCAT-;exactQuotient;SRS;50|)
         (QCDR #1#)
       (|check-union| (QEQCAR #1# 0) (QREFELT $ 6) #1#))))) 

(DEFUN |RPOLCAT-;exactQuotient;3S;51| (|a| |b| $)
  (PROG (#1=#:G1121)
    (RETURN
     (COND
      ((SPADCALL |b| (QREFELT $ 11))
       (SPADCALL |a| (SPADCALL |b| (QREFELT $ 12)) (QREFELT $ 128)))
      ('T
       (PROG2
           (LETT #1# (SPADCALL |a| |b| (QREFELT $ 129))
                 |RPOLCAT-;exactQuotient;3S;51|)
           (QCDR #1#)
         (|check-union| (QEQCAR #1# 0) (QREFELT $ 6) #1#))))))) 

(DEFUN |RPOLCAT-;exactQuotient!;3S;52| (|a| |b| $)
  (PROG (#1=#:G1126)
    (RETURN
     (COND
      ((SPADCALL |b| (QREFELT $ 11))
       (SPADCALL |a| (SPADCALL |b| (QREFELT $ 12)) (QREFELT $ 131)))
      ('T
       (LETT |a|
             (PROG2
                 (LETT #1# (SPADCALL |a| |b| (QREFELT $ 129))
                       . #2=(|RPOLCAT-;exactQuotient!;3S;52|))
                 (QCDR #1#)
               (|check-union| (QEQCAR #1# 0) (QREFELT $ 6) #1#))
             . #2#)))))) 

(DEFUN |RPOLCAT-;primPartElseUnitCanonical;2S;53| (|p| $)
  (SPADCALL |p| (QREFELT $ 133))) 

(DEFUN |RPOLCAT-;primPartElseUnitCanonical!;2S;54| (|p| $)
  (LETT |p| (SPADCALL |p| (QREFELT $ 133))
        |RPOLCAT-;primPartElseUnitCanonical!;2S;54|)) 

(DEFUN |RPOLCAT-;primPartElseUnitCanonical;2S;55| (|p| $)
  (SPADCALL |p| (QREFELT $ 136))) 

(DEFUN |RPOLCAT-;primitivePart!;2S;56| (|p| $)
  (PROG (|cp|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |p| (QREFELT $ 20)) |p|)
            (#1='T
             (SEQ
              (SEQ
               (LETT |cp| (SPADCALL |p| (QREFELT $ 137))
                     . #2=(|RPOLCAT-;primitivePart!;2S;56|))
               (EXIT
                (COND
                 ((SPADCALL |cp| (|spadConstant| $ 17) (QREFELT $ 138))
                  (LETT |p| (SPADCALL |p| (QREFELT $ 133)) . #2#))
                 (#1#
                  (LETT |p|
                        (SPADCALL (SPADCALL |p| |cp| (QREFELT $ 131))
                                  (QREFELT $ 133))
                        . #2#)))))
              (EXIT |p|)))))))) 

(DEFUN |RPOLCAT-;primPartElseUnitCanonical!;2S;57| (|p| $)
  (SPADCALL |p| (QREFELT $ 140))) 

(DEFUN |RPOLCAT-;primPartElseUnitCanonical;2S;58| (|p| $)
  (SPADCALL |p| (QREFELT $ 133))) 

(DEFUN |RPOLCAT-;primPartElseUnitCanonical!;2S;59| (|p| $)
  (LETT |p| (SPADCALL |p| (QREFELT $ 133))
        |RPOLCAT-;primPartElseUnitCanonical!;2S;59|)) 

(DEFUN |RPOLCAT-;gcd;RSR;60| (|r| |p| $)
  (COND
   ((OR (SPADCALL |r| (|spadConstant| $ 17) (QREFELT $ 138))
        (SPADCALL |p| (QREFELT $ 20)))
    |r|)
   ((SPADCALL |p| (QREFELT $ 11))
    (SPADCALL |r| (SPADCALL |p| (QREFELT $ 12)) (QREFELT $ 141)))
   ('T
    (SPADCALL (SPADCALL |r| (SPADCALL |p| (QREFELT $ 15)) (QREFELT $ 142))
              (SPADCALL |p| (QREFELT $ 19)) (QREFELT $ 142))))) 

(DEFUN |RPOLCAT-;mainContent;2S;61| (|p| $)
  (PROG (#1=#:G1144 #2=#:G1143 #3=#:G1145 #4=#:G1148 #5=#:G661)
    (RETURN
     (SEQ
      (COND ((SPADCALL |p| (QREFELT $ 20)) |p|)
            (#6='T
             (PROGN
              (LETT #1# NIL . #7=(|RPOLCAT-;mainContent;2S;61|))
              (SEQ (LETT #5# NIL . #7#)
                   (LETT #4# (SPADCALL |p| (QREFELT $ 144)) . #7#) G190
                   (COND
                    ((OR (ATOM #4#) (PROGN (LETT #5# (CAR #4#) . #7#) NIL))
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (PROGN
                      (LETT #3# #5# . #7#)
                      (COND
                       (#1#
                        (LETT #2# (SPADCALL #2# #3# (QREFELT $ 145)) . #7#))
                       ('T
                        (PROGN (LETT #2# #3# . #7#) (LETT #1# 'T . #7#)))))))
                   (LETT #4# (CDR #4#) . #7#) (GO G190) G191 (EXIT NIL))
              (COND (#1# #2#) (#6# (|spadConstant| $ 41)))))))))) 

(DEFUN |RPOLCAT-;mainPrimitivePart;2S;62| (|p| $)
  (PROG (#1=#:G1150)
    (RETURN
     (COND ((SPADCALL |p| (QREFELT $ 20)) |p|)
           ('T
            (QVELT
             (SPADCALL
              (PROG2
                  (LETT #1#
                        (SPADCALL |p| (SPADCALL |p| (QREFELT $ 147))
                                  (QREFELT $ 129))
                        |RPOLCAT-;mainPrimitivePart;2S;62|)
                  (QCDR #1#)
                (|check-union| (QEQCAR #1# 0) (QREFELT $ 6) #1#))
              (QREFELT $ 149))
             1)))))) 

(DEFUN |RPOLCAT-;mainSquareFreePart;2S;63| (|p| $)
  (PROG (|sfp| |v| #1=#:G1157)
    (RETURN
     (SEQ
      (COND ((SPADCALL |p| (QREFELT $ 11)) |p|)
            ('T
             (SEQ
              (LETT |v|
                    (PROG2
                        (LETT #1# (SPADCALL |p| (QREFELT $ 32))
                              . #2=(|RPOLCAT-;mainSquareFreePart;2S;63|))
                        (QCDR #1#)
                      (|check-union| (QEQCAR #1# 0) (QREFELT $ 9) #1#))
                    . #2#)
              (LETT |sfp|
                    (SPADCALL (SPADCALL |p| |v| (QREFELT $ 61))
                              (QREFELT $ 151))
                    . #2#)
              (EXIT (SPADCALL |sfp| |v| (QREFELT $ 152)))))))))) 

(DEFUN |RPOLCAT-;convert;SP;64| (|p| $)
  (PROG (|d| |v|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |p| (QREFELT $ 11))
        (SPADCALL (SPADCALL |p| (QREFELT $ 12)) (QREFELT $ 155)))
       ('T
        (SEQ
         (LETT |v| (SPADCALL |p| (QREFELT $ 23))
               . #1=(|RPOLCAT-;convert;SP;64|))
         (LETT |d| (SPADCALL |p| (QREFELT $ 22)) . #1#)
         (EXIT
          (SPADCALL
           (SPADCALL (SPADCALL (SPADCALL |p| (QREFELT $ 15)) (QREFELT $ 156))
                     (SPADCALL
                      (SPADCALL (SPADCALL |v| (QREFELT $ 158)) (QREFELT $ 159))
                      |d| (QREFELT $ 160))
                     (QREFELT $ 161))
           (SPADCALL (SPADCALL |p| (QREFELT $ 19)) (QREFELT $ 156))
           (QREFELT $ 162)))))))))) 

(DEFUN |RPOLCAT-;coerce;SP;65| (|p| $) (SPADCALL |p| (QREFELT $ 156))) 

(DEFUN |RPOLCAT-;localRetract| (|p| $)
  (PROG (|newp| |xvimvp| |c| |d| |vimvp| |imvp| #1=#:G1174 |mvp| #2=#:G1172)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |p| (QREFELT $ 170))
        (SPADCALL (SPADCALL |p| (QREFELT $ 171)) (QREFELT $ 172)))
       ('T
        (SEQ
         (LETT |mvp|
               (PROG2
                   (LETT #2# (SPADCALL |p| (QREFELT $ 174))
                         . #3=(|RPOLCAT-;localRetract|))
                   (QCDR #2#)
                 (|check-union| (QEQCAR #2# 0) (|Symbol|) #2#))
               . #3#)
         (LETT |imvp|
               (PROG1
                   (LETT #1# (SPADCALL |mvp| (QREFELT $ 169) (QREFELT $ 177))
                         . #3#)
                 (|check-subtype| (> #1# 0) '(|PositiveInteger|) #1#))
               . #3#)
         (LETT |vimvp| (SPADCALL |imvp| (QREFELT $ 168)) . #3#)
         (LETT |newp| (|spadConstant| $ 41) . #3#)
         (SEQ G190
              (COND
               ((NULL
                 (COND
                  ((ZEROP
                    (LETT |d| (SPADCALL |p| |mvp| (QREFELT $ 178)) . #3#))
                   'NIL)
                  ('T 'T)))
                (GO G191)))
              (SEQ
               (LETT |c|
                     (|RPOLCAT-;localRetract|
                      (SPADCALL |p| |mvp| |d| (QREFELT $ 179)) $)
                     . #3#)
               (LETT |xvimvp| (SPADCALL |c| |vimvp| |d| (QREFELT $ 39)) . #3#)
               (LETT |newp| (SPADCALL |newp| |xvimvp| (QREFELT $ 99)) . #3#)
               (EXIT
                (LETT |p|
                      (SPADCALL |p|
                                (SPADCALL
                                 (SPADCALL |p| |mvp| |d| (QREFELT $ 179)) |mvp|
                                 |d| (QREFELT $ 180))
                                (QREFELT $ 181))
                      . #3#)))
              NIL (GO G190) G191 (EXIT NIL))
         (EXIT
          (SPADCALL |newp| (|RPOLCAT-;localRetract| |p| $)
                    (QREFELT $ 99)))))))))) 

(DEFUN |RPOLCAT-;localRetractPQ| (|pq| $)
  (PROG (|newp| |xvimvp| |c| |d| |vimvp| |imvp| #1=#:G1184 |mvp| #2=#:G1182)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |pq| (QREFELT $ 183))
        (SPADCALL (SPADCALL (SPADCALL |pq| (QREFELT $ 185)) (QREFELT $ 186))
                  (QREFELT $ 172)))
       ('T
        (SEQ
         (LETT |mvp|
               (PROG2
                   (LETT #2# (SPADCALL |pq| (QREFELT $ 187))
                         . #3=(|RPOLCAT-;localRetractPQ|))
                   (QCDR #2#)
                 (|check-union| (QEQCAR #2# 0) (|Symbol|) #2#))
               . #3#)
         (LETT |imvp|
               (PROG1
                   (LETT #1# (SPADCALL |mvp| (QREFELT $ 169) (QREFELT $ 177))
                         . #3#)
                 (|check-subtype| (> #1# 0) '(|PositiveInteger|) #1#))
               . #3#)
         (LETT |vimvp| (SPADCALL |imvp| (QREFELT $ 168)) . #3#)
         (LETT |newp| (|spadConstant| $ 41) . #3#)
         (SEQ G190
              (COND
               ((NULL
                 (COND
                  ((ZEROP
                    (LETT |d| (SPADCALL |pq| |mvp| (QREFELT $ 188)) . #3#))
                   'NIL)
                  ('T 'T)))
                (GO G191)))
              (SEQ
               (LETT |c|
                     (|RPOLCAT-;localRetractPQ|
                      (SPADCALL |pq| |mvp| |d| (QREFELT $ 189)) $)
                     . #3#)
               (LETT |xvimvp| (SPADCALL |c| |vimvp| |d| (QREFELT $ 39)) . #3#)
               (LETT |newp| (SPADCALL |newp| |xvimvp| (QREFELT $ 99)) . #3#)
               (EXIT
                (LETT |pq|
                      (SPADCALL |pq|
                                (SPADCALL
                                 (SPADCALL |pq| |mvp| |d| (QREFELT $ 189))
                                 |mvp| |d| (QREFELT $ 190))
                                (QREFELT $ 191))
                      . #3#)))
              NIL (GO G190) G191 (EXIT NIL))
         (EXIT
          (SPADCALL |newp| (|RPOLCAT-;localRetractPQ| |pq| $)
                    (QREFELT $ 99)))))))))) 

(DEFUN |RPOLCAT-;localRetractPZ| (|pz| $)
  (PROG (|newp| |xvimvp| |c| |d| |vimvp| |imvp| #1=#:G1194 |mvp| #2=#:G1192)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |pz| (QREFELT $ 193))
        (SPADCALL (SPADCALL (SPADCALL |pz| (QREFELT $ 194)) (QREFELT $ 195))
                  (QREFELT $ 172)))
       ('T
        (SEQ
         (LETT |mvp|
               (PROG2
                   (LETT #2# (SPADCALL |pz| (QREFELT $ 196))
                         . #3=(|RPOLCAT-;localRetractPZ|))
                   (QCDR #2#)
                 (|check-union| (QEQCAR #2# 0) (|Symbol|) #2#))
               . #3#)
         (LETT |imvp|
               (PROG1
                   (LETT #1# (SPADCALL |mvp| (QREFELT $ 169) (QREFELT $ 177))
                         . #3#)
                 (|check-subtype| (> #1# 0) '(|PositiveInteger|) #1#))
               . #3#)
         (LETT |vimvp| (SPADCALL |imvp| (QREFELT $ 168)) . #3#)
         (LETT |newp| (|spadConstant| $ 41) . #3#)
         (SEQ G190
              (COND
               ((NULL
                 (COND
                  ((ZEROP
                    (LETT |d| (SPADCALL |pz| |mvp| (QREFELT $ 197)) . #3#))
                   'NIL)
                  ('T 'T)))
                (GO G191)))
              (SEQ
               (LETT |c|
                     (|RPOLCAT-;localRetractPZ|
                      (SPADCALL |pz| |mvp| |d| (QREFELT $ 198)) $)
                     . #3#)
               (LETT |xvimvp| (SPADCALL |c| |vimvp| |d| (QREFELT $ 39)) . #3#)
               (LETT |newp| (SPADCALL |newp| |xvimvp| (QREFELT $ 99)) . #3#)
               (EXIT
                (LETT |pz|
                      (SPADCALL |pz|
                                (SPADCALL
                                 (SPADCALL |pz| |mvp| |d| (QREFELT $ 198))
                                 |mvp| |d| (QREFELT $ 199))
                                (QREFELT $ 200))
                      . #3#)))
              NIL (GO G190) G191 (EXIT NIL))
         (EXIT
          (SPADCALL |newp| (|RPOLCAT-;localRetractPZ| |pz| $)
                    (QREFELT $ 99)))))))))) 

(DEFUN |RPOLCAT-;retractable?| (|p| $)
  (PROG (|lvp|)
    (RETURN
     (SEQ
      (LETT |lvp| (SPADCALL |p| (QREFELT $ 201))
            . #1=(|RPOLCAT-;retractable?|))
      (SEQ G190
           (COND
            ((NULL
              (COND ((NULL |lvp|) 'NIL)
                    ('T
                     (SPADCALL (|SPADfirst| |lvp|) (QREFELT $ 169)
                               (QREFELT $ 202)))))
             (GO G191)))
           (SEQ (EXIT (LETT |lvp| (CDR |lvp|) . #1#))) NIL (GO G190) G191
           (EXIT NIL))
      (EXIT (NULL |lvp|)))))) 

(DEFUN |RPOLCAT-;retractablePQ?| (|p| $)
  (PROG (|lvp|)
    (RETURN
     (SEQ
      (LETT |lvp| (SPADCALL |p| (QREFELT $ 203))
            . #1=(|RPOLCAT-;retractablePQ?|))
      (SEQ G190
           (COND
            ((NULL
              (COND ((NULL |lvp|) 'NIL)
                    ('T
                     (SPADCALL (|SPADfirst| |lvp|) (QREFELT $ 169)
                               (QREFELT $ 202)))))
             (GO G191)))
           (SEQ (EXIT (LETT |lvp| (CDR |lvp|) . #1#))) NIL (GO G190) G191
           (EXIT NIL))
      (EXIT (NULL |lvp|)))))) 

(DEFUN |RPOLCAT-;retractablePZ?| (|p| $)
  (PROG (|lvp|)
    (RETURN
     (SEQ
      (LETT |lvp| (SPADCALL |p| (QREFELT $ 204))
            . #1=(|RPOLCAT-;retractablePZ?|))
      (SEQ G190
           (COND
            ((NULL
              (COND ((NULL |lvp|) 'NIL)
                    ('T
                     (SPADCALL (|SPADfirst| |lvp|) (QREFELT $ 169)
                               (QREFELT $ 202)))))
             (GO G191)))
           (SEQ (EXIT (LETT |lvp| (CDR |lvp|) . #1#))) NIL (GO G190) G191
           (EXIT NIL))
      (EXIT (NULL |lvp|)))))) 

(DEFUN |RPOLCAT-;localRetractIfCan| (|p| $)
  (COND ((NULL (|RPOLCAT-;retractable?| |p| $)) (CONS 1 "failed"))
        ('T (CONS 0 (|RPOLCAT-;localRetract| |p| $))))) 

(DEFUN |RPOLCAT-;localRetractIfCanPQ| (|p| $)
  (COND ((NULL (|RPOLCAT-;retractablePQ?| |p| $)) (CONS 1 "failed"))
        ('T (CONS 0 (|RPOLCAT-;localRetractPQ| |p| $))))) 

(DEFUN |RPOLCAT-;localRetractIfCanPZ| (|p| $)
  (COND ((NULL (|RPOLCAT-;retractablePZ?| |p| $)) (CONS 1 "failed"))
        ('T (CONS 0 (|RPOLCAT-;localRetractPZ| |p| $))))) 

(DEFUN |RPOLCAT-;ZToR| (|z| $) (SPADCALL |z| (QREFELT $ 195))) 

(DEFUN |RPOLCAT-;PZToPR| (|pz| $)
  (SPADCALL (CONS (|function| |RPOLCAT-;ZToR|) $) |pz| (QREFELT $ 207))) 

(DEFUN |RPOLCAT-;QToR| (|q| $) (SPADCALL |q| (QREFELT $ 186))) 

(DEFUN |RPOLCAT-;PQToPR| (|pq| $)
  (SPADCALL (CONS (|function| |RPOLCAT-;QToR|) $) |pq| (QREFELT $ 210))) 

(DEFUN |RPOLCAT-;retract;PS;79| (|pz| $)
  (PROG (|rif|)
    (RETURN
     (SEQ (LETT |rif| (SPADCALL |pz| (QREFELT $ 211)) |RPOLCAT-;retract;PS;79|)
          (EXIT
           (COND
            ((QEQCAR |rif| 1)
             (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
            ('T (QCDR |rif|)))))))) 

(DEFUN |RPOLCAT-;convert;PS;80| (|pz| $) (SPADCALL |pz| (QREFELT $ 213))) 

(DEFUN |RPOLCAT-;retract;PS;81| (|pq| $)
  (PROG (|rif|)
    (RETURN
     (SEQ (LETT |rif| (SPADCALL |pq| (QREFELT $ 215)) |RPOLCAT-;retract;PS;81|)
          (EXIT
           (COND
            ((QEQCAR |rif| 1)
             (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
            ('T (QCDR |rif|)))))))) 

(DEFUN |RPOLCAT-;convert;PS;82| (|pq| $) (SPADCALL |pq| (QREFELT $ 217))) 

(DEFUN |RPOLCAT-;ZToQ| (|z| $) (SPADCALL |z| (QREFELT $ 221))) 

(DEFUN |RPOLCAT-;RToQ| (|r| $) (SPADCALL |r| (QREFELT $ 222))) 

(DEFUN |RPOLCAT-;PZToPQ| (|pz| $)
  (SPADCALL (CONS (|function| |RPOLCAT-;ZToQ|) $) |pz| (QREFELT $ 224))) 

(DEFUN |RPOLCAT-;PRToPQ| (|pr| $)
  (SPADCALL (CONS (|function| |RPOLCAT-;RToQ|) $) |pr| (QREFELT $ 226))) 

(DEFUN |RPOLCAT-;retractIfCan;PU;87| (|pz| $)
  (PROG (|pq|)
    (RETURN
     (SEQ (LETT |pq| (|RPOLCAT-;PZToPQ| |pz| $) |RPOLCAT-;retractIfCan;PU;87|)
          (EXIT (SPADCALL |pq| (QREFELT $ 215))))))) 

(DEFUN |RPOLCAT-;retractIfCan;PU;88| (|pq| $)
  (|RPOLCAT-;localRetractIfCanPQ| |pq| $)) 

(DEFUN |RPOLCAT-;convert;PS;89| (|pr| $)
  (PROG (|lrif|)
    (RETURN
     (SEQ
      (LETT |lrif| (|RPOLCAT-;localRetractIfCan| |pr| $)
            |RPOLCAT-;convert;PS;89|)
      (EXIT
       (COND
        ((QEQCAR |lrif| 1) (|error| "failed in convert: PR->% from RPOLCAT"))
        ('T (QCDR |lrif|)))))))) 

(DEFUN |RPOLCAT-;convert;PS;90| (|pr| $)
  (PROG (|pq|)
    (RETURN
     (SEQ (LETT |pq| (|RPOLCAT-;PRToPQ| |pr| $) |RPOLCAT-;convert;PS;90|)
          (EXIT (SPADCALL |pq| (QREFELT $ 217))))))) 

(DEFUN |RPOLCAT-;retractIfCan;PU;91| (|pr| $)
  (|RPOLCAT-;localRetractIfCan| |pr| $)) 

(DEFUN |RPOLCAT-;retractIfCan;PU;92| (|pq| $)
  (|RPOLCAT-;localRetractIfCanPQ| |pq| $)) 

(DEFUN |RPOLCAT-;retractIfCan;PU;93| (|pq| $)
  (PROG (|pr|)
    (RETURN
     (SEQ (LETT |pr| (|RPOLCAT-;PQToPR| |pq| $) |RPOLCAT-;retractIfCan;PU;93|)
          (EXIT (SPADCALL |pr| (QREFELT $ 231))))))) 

(DEFUN |RPOLCAT-;retractIfCan;PU;94| (|pz| $)
  (PROG (|pr|)
    (RETURN
     (SEQ (LETT |pr| (|RPOLCAT-;PZToPR| |pz| $) |RPOLCAT-;retractIfCan;PU;94|)
          (EXIT (SPADCALL |pr| (QREFELT $ 231))))))) 

(DEFUN |RPOLCAT-;retract;PS;95| (|pr| $)
  (PROG (|rif|)
    (RETURN
     (SEQ (LETT |rif| (SPADCALL |pr| (QREFELT $ 231)) |RPOLCAT-;retract;PS;95|)
          (EXIT
           (COND
            ((QEQCAR |rif| 1)
             (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
            ('T (QCDR |rif|)))))))) 

(DEFUN |RPOLCAT-;convert;PS;96| (|pr| $) (SPADCALL |pr| (QREFELT $ 233))) 

(DEFUN |RPOLCAT-;retract;PS;97| (|pz| $)
  (PROG (|rif|)
    (RETURN
     (SEQ (LETT |rif| (SPADCALL |pz| (QREFELT $ 211)) |RPOLCAT-;retract;PS;97|)
          (EXIT
           (COND
            ((QEQCAR |rif| 1)
             (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
            ('T (QCDR |rif|)))))))) 

(DEFUN |RPOLCAT-;convert;PS;98| (|pz| $) (SPADCALL |pz| (QREFELT $ 213))) 

(DEFUN |RPOLCAT-;RToZ| (|r| $) (SPADCALL |r| (QREFELT $ 235))) 

(DEFUN |RPOLCAT-;PRToPZ| (|pr| $)
  (SPADCALL (CONS (|function| |RPOLCAT-;RToZ|) $) |pr| (QREFELT $ 237))) 

(DEFUN |RPOLCAT-;convert;PS;101| (|pr| $)
  (PROG (|lrif|)
    (RETURN
     (SEQ
      (LETT |lrif| (|RPOLCAT-;localRetractIfCan| |pr| $)
            |RPOLCAT-;convert;PS;101|)
      (EXIT
       (COND
        ((QEQCAR |lrif| 1) (|error| "failed in convert: PR->% from RPOLCAT"))
        ('T (QCDR |lrif|)))))))) 

(DEFUN |RPOLCAT-;retractIfCan;PU;102| (|pz| $)
  (|RPOLCAT-;localRetractIfCanPZ| |pz| $)) 

(DEFUN |RPOLCAT-;convert;PS;103| (|pr| $)
  (PROG (|pz|)
    (RETURN
     (SEQ (LETT |pz| (|RPOLCAT-;PRToPZ| |pr| $) |RPOLCAT-;convert;PS;103|)
          (EXIT (SPADCALL |pz| (QREFELT $ 213))))))) 

(DEFUN |RPOLCAT-;retractIfCan;PU;104| (|pr| $)
  (|RPOLCAT-;localRetractIfCan| |pr| $)) 

(DEFUN |RPOLCAT-;retractIfCan;PU;105| (|pz| $)
  (|RPOLCAT-;localRetractIfCanPZ| |pz| $)) 

(DEFUN |RPOLCAT-;retractIfCan;PU;106| (|pz| $)
  (PROG (|pr|)
    (RETURN
     (SEQ (LETT |pr| (|RPOLCAT-;PZToPR| |pz| $) |RPOLCAT-;retractIfCan;PU;106|)
          (EXIT (SPADCALL |pr| (QREFELT $ 231))))))) 

(DEFUN |RPOLCAT-;retract;PS;107| (|pr| $)
  (PROG (|rif|)
    (RETURN
     (SEQ
      (LETT |rif| (SPADCALL |pr| (QREFELT $ 231)) |RPOLCAT-;retract;PS;107|)
      (EXIT
       (COND
        ((QEQCAR |rif| 1)
         (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
        ('T (QCDR |rif|)))))))) 

(DEFUN |RPOLCAT-;convert;PS;108| (|pr| $) (SPADCALL |pr| (QREFELT $ 233))) 

(DEFUN |RPOLCAT-;ZToR| (|z| $) (SPADCALL |z| (QREFELT $ 195))) 

(DEFUN |RPOLCAT-;PZToPR| (|pz| $)
  (SPADCALL (CONS (|function| |RPOLCAT-;ZToR|) $) |pz| (QREFELT $ 207))) 

(DEFUN |RPOLCAT-;QToR| (|q| $) (SPADCALL |q| (QREFELT $ 186))) 

(DEFUN |RPOLCAT-;PQToPR| (|pq| $)
  (SPADCALL (CONS (|function| |RPOLCAT-;QToR|) $) |pq| (QREFELT $ 210))) 

(DEFUN |RPOLCAT-;retract;PS;113| (|pz| $)
  (PROG (|rif|)
    (RETURN
     (SEQ
      (LETT |rif| (SPADCALL |pz| (QREFELT $ 211)) |RPOLCAT-;retract;PS;113|)
      (EXIT
       (COND
        ((QEQCAR |rif| 1)
         (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
        ('T (QCDR |rif|)))))))) 

(DEFUN |RPOLCAT-;convert;PS;114| (|pz| $) (SPADCALL |pz| (QREFELT $ 213))) 

(DEFUN |RPOLCAT-;retract;PS;115| (|pq| $)
  (PROG (|rif|)
    (RETURN
     (SEQ
      (LETT |rif| (SPADCALL |pq| (QREFELT $ 215)) |RPOLCAT-;retract;PS;115|)
      (EXIT
       (COND
        ((QEQCAR |rif| 1)
         (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
        ('T (QCDR |rif|)))))))) 

(DEFUN |RPOLCAT-;convert;PS;116| (|pq| $) (SPADCALL |pq| (QREFELT $ 217))) 

(DEFUN |RPOLCAT-;ZToQ| (|z| $) (SPADCALL |z| (QREFELT $ 221))) 

(DEFUN |RPOLCAT-;RToQ| (|r| $) (SPADCALL |r| (QREFELT $ 222))) 

(DEFUN |RPOLCAT-;PZToPQ| (|pz| $)
  (SPADCALL (CONS (|function| |RPOLCAT-;ZToQ|) $) |pz| (QREFELT $ 224))) 

(DEFUN |RPOLCAT-;PRToPQ| (|pr| $)
  (SPADCALL (CONS (|function| |RPOLCAT-;RToQ|) $) |pr| (QREFELT $ 226))) 

(DEFUN |RPOLCAT-;retractIfCan;PU;121| (|pz| $)
  (PROG (|pq|)
    (RETURN
     (SEQ (LETT |pq| (|RPOLCAT-;PZToPQ| |pz| $) |RPOLCAT-;retractIfCan;PU;121|)
          (EXIT (SPADCALL |pq| (QREFELT $ 215))))))) 

(DEFUN |RPOLCAT-;retractIfCan;PU;122| (|pq| $)
  (|RPOLCAT-;localRetractIfCanPQ| |pq| $)) 

(DEFUN |RPOLCAT-;convert;PS;123| (|pr| $)
  (PROG (|lrif|)
    (RETURN
     (SEQ
      (LETT |lrif| (|RPOLCAT-;localRetractIfCan| |pr| $)
            |RPOLCAT-;convert;PS;123|)
      (EXIT
       (COND
        ((QEQCAR |lrif| 1) (|error| "failed in convert: PR->% from RPOLCAT"))
        ('T (QCDR |lrif|)))))))) 

(DEFUN |RPOLCAT-;convert;PS;124| (|pr| $)
  (PROG (|pq|)
    (RETURN
     (SEQ (LETT |pq| (|RPOLCAT-;PRToPQ| |pr| $) |RPOLCAT-;convert;PS;124|)
          (EXIT (SPADCALL |pq| (QREFELT $ 217))))))) 

(DEFUN |RPOLCAT-;retractIfCan;PU;125| (|pr| $)
  (|RPOLCAT-;localRetractIfCan| |pr| $)) 

(DEFUN |RPOLCAT-;retractIfCan;PU;126| (|pq| $)
  (|RPOLCAT-;localRetractIfCanPQ| |pq| $)) 

(DEFUN |RPOLCAT-;retractIfCan;PU;127| (|pq| $)
  (PROG (|pr|)
    (RETURN
     (SEQ (LETT |pr| (|RPOLCAT-;PQToPR| |pq| $) |RPOLCAT-;retractIfCan;PU;127|)
          (EXIT (SPADCALL |pr| (QREFELT $ 231))))))) 

(DEFUN |RPOLCAT-;retractIfCan;PU;128| (|pz| $)
  (PROG (|pr|)
    (RETURN
     (SEQ (LETT |pr| (|RPOLCAT-;PZToPR| |pz| $) |RPOLCAT-;retractIfCan;PU;128|)
          (EXIT (SPADCALL |pr| (QREFELT $ 231))))))) 

(DEFUN |RPOLCAT-;retract;PS;129| (|pr| $)
  (PROG (|rif|)
    (RETURN
     (SEQ
      (LETT |rif| (SPADCALL |pr| (QREFELT $ 231)) |RPOLCAT-;retract;PS;129|)
      (EXIT
       (COND
        ((QEQCAR |rif| 1)
         (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
        ('T (QCDR |rif|)))))))) 

(DEFUN |RPOLCAT-;convert;PS;130| (|pr| $) (SPADCALL |pr| (QREFELT $ 233))) 

(DEFUN |RPOLCAT-;retract;PS;131| (|pz| $)
  (PROG (|rif|)
    (RETURN
     (SEQ
      (LETT |rif| (SPADCALL |pz| (QREFELT $ 211)) |RPOLCAT-;retract;PS;131|)
      (EXIT
       (COND
        ((QEQCAR |rif| 1)
         (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
        ('T (QCDR |rif|)))))))) 

(DEFUN |RPOLCAT-;convert;PS;132| (|pz| $) (SPADCALL |pz| (QREFELT $ 213))) 

(DEFUN |RPOLCAT-;RToZ| (|r| $) (SPADCALL |r| (QREFELT $ 235))) 

(DEFUN |RPOLCAT-;PRToPZ| (|pr| $)
  (SPADCALL (CONS (|function| |RPOLCAT-;RToZ|) $) |pr| (QREFELT $ 237))) 

(DEFUN |RPOLCAT-;convert;PS;135| (|pr| $)
  (PROG (|lrif|)
    (RETURN
     (SEQ
      (LETT |lrif| (|RPOLCAT-;localRetractIfCan| |pr| $)
            |RPOLCAT-;convert;PS;135|)
      (EXIT
       (COND
        ((QEQCAR |lrif| 1) (|error| "failed in convert: PR->% from RPOLCAT"))
        ('T (QCDR |lrif|)))))))) 

(DEFUN |RPOLCAT-;retractIfCan;PU;136| (|pz| $)
  (|RPOLCAT-;localRetractIfCanPZ| |pz| $)) 

(DEFUN |RPOLCAT-;convert;PS;137| (|pr| $)
  (PROG (|pz|)
    (RETURN
     (SEQ (LETT |pz| (|RPOLCAT-;PRToPZ| |pr| $) |RPOLCAT-;convert;PS;137|)
          (EXIT (SPADCALL |pz| (QREFELT $ 213))))))) 

(DEFUN |RPOLCAT-;retractIfCan;PU;138| (|pr| $)
  (|RPOLCAT-;localRetractIfCan| |pr| $)) 

(DEFUN |RPOLCAT-;retractIfCan;PU;139| (|pz| $)
  (|RPOLCAT-;localRetractIfCanPZ| |pz| $)) 

(DEFUN |RPOLCAT-;retractIfCan;PU;140| (|pz| $)
  (PROG (|pr|)
    (RETURN
     (SEQ (LETT |pr| (|RPOLCAT-;PZToPR| |pz| $) |RPOLCAT-;retractIfCan;PU;140|)
          (EXIT (SPADCALL |pr| (QREFELT $ 231))))))) 

(DEFUN |RPOLCAT-;retract;PS;141| (|pr| $)
  (PROG (|rif|)
    (RETURN
     (SEQ
      (LETT |rif| (SPADCALL |pr| (QREFELT $ 231)) |RPOLCAT-;retract;PS;141|)
      (EXIT
       (COND
        ((QEQCAR |rif| 1)
         (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
        ('T (QCDR |rif|)))))))) 

(DEFUN |RPOLCAT-;convert;PS;142| (|pr| $) (SPADCALL |pr| (QREFELT $ 233))) 

(DEFUN |RPOLCAT-;retractIfCan;PU;143| (|pr| $)
  (|RPOLCAT-;localRetractIfCan| |pr| $)) 

(DEFUN |RPOLCAT-;retract;PS;144| (|pr| $)
  (PROG (|rif|)
    (RETURN
     (SEQ
      (LETT |rif| (SPADCALL |pr| (QREFELT $ 231)) |RPOLCAT-;retract;PS;144|)
      (EXIT
       (COND
        ((QEQCAR |rif| 1)
         (|error| "failed in retract: POLY Z -> % from RPOLCAT"))
        ('T (QCDR |rif|)))))))) 

(DEFUN |RPOLCAT-;convert;PS;145| (|pr| $) (SPADCALL |pr| (QREFELT $ 233))) 

(DEFUN |RPOLCAT-;convert;SS;146| (|pol| $)
  (PROG (|stpol| |n| |sdpol| |svpol| |sipol| |tpol| |dpol| |vpol| |ipol|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |pol| (QREFELT $ 11))
        (STRINGIMAGE
         (SPADCALL (SPADCALL |pol| (QREFELT $ 12)) (QREFELT $ 235))))
       (#1='T
        (SEQ
         (LETT |ipol| (SPADCALL |pol| (QREFELT $ 15))
               . #2=(|RPOLCAT-;convert;SS;146|))
         (LETT |vpol| (SPADCALL |pol| (QREFELT $ 23)) . #2#)
         (LETT |dpol| (SPADCALL |pol| (QREFELT $ 22)) . #2#)
         (LETT |tpol| (SPADCALL |pol| (QREFELT $ 19)) . #2#)
         (COND
          ((SPADCALL |ipol| (|spadConstant| $ 16) (QREFELT $ 18))
           (LETT |sipol| (MAKE-FULL-CVEC 0) . #2#))
          ((SPADCALL (SPADCALL |ipol| (QREFELT $ 238)) (|spadConstant| $ 16)
                     (QREFELT $ 18))
           (LETT |sipol| "-" . #2#))
          (#1#
           (SEQ (LETT |sipol| (SPADCALL |ipol| (QREFELT $ 240)) . #2#)
                (EXIT
                 (COND
                  ((SPADCALL |ipol| (QREFELT $ 241))
                   (LETT |sipol| (STRCONC |sipol| "*") . #2#))
                  (#1#
                   (LETT |sipol|
                         (SPADCALL (LIST "(" |sipol| ")*") (QREFELT $ 242))
                         . #2#)))))))
         (LETT |svpol|
               (SPADCALL (SPADCALL |vpol| (QREFELT $ 158)) (QREFELT $ 243))
               . #2#)
         (COND ((EQL |dpol| 1) (LETT |sdpol| (MAKE-FULL-CVEC 0) . #2#))
               (#1# (LETT |sdpol| (STRCONC "^" (STRINGIMAGE |dpol|)) . #2#)))
         (COND
          ((SPADCALL |tpol| (QREFELT $ 20))
           (LETT |stpol| (MAKE-FULL-CVEC 0) . #2#))
          ((SPADCALL |tpol| (QREFELT $ 11))
           (SEQ
            (LETT |n|
                  (SPADCALL (SPADCALL |tpol| (QREFELT $ 12)) (QREFELT $ 235))
                  . #2#)
            (EXIT
             (COND
              ((< 0 |n|) (LETT |stpol| (STRCONC " +" (STRINGIMAGE |n|)) . #2#))
              (#1# (LETT |stpol| (STRINGIMAGE |n|) . #2#))))))
          (#1#
           (SEQ (LETT |stpol| (SPADCALL |tpol| (QREFELT $ 240)) . #2#)
                (EXIT
                 (COND
                  ((NULL
                    (SPADCALL
                     (SPADCALL (SPADCALL |stpol| 1 (QREFELT $ 247))
                               (QREFELT $ 248))
                     (LIST "+" "-") (QREFELT $ 250)))
                   (LETT |stpol| (STRCONC " + " |stpol|) . #2#)))))))
         (EXIT
          (SPADCALL (LIST |sipol| |svpol| |sdpol| |stpol|)
                    (QREFELT $ 242)))))))))) 

(DEFUN |RecursivePolynomialCategory&| (|#1| |#2| |#3| |#4|)
  (PROG (#1=#:G1166 #2=#:G1461 |i| #3=#:G1460 |pv$| $ |dv$| DV$4 DV$3 DV$2
         DV$1)
    (RETURN
     (SEQ
      (PROGN
       (LETT DV$1 (|devaluate| |#1|) . #4=(|RecursivePolynomialCategory&|))
       (LETT DV$2 (|devaluate| |#2|) . #4#)
       (LETT DV$3 (|devaluate| |#3|) . #4#)
       (LETT DV$4 (|devaluate| |#4|) . #4#)
       (LETT |dv$| (LIST '|RecursivePolynomialCategory&| DV$1 DV$2 DV$3 DV$4)
             . #4#)
       (LETT $ (GETREFV 258) . #4#)
       (QSETREFV $ 0 |dv$|)
       (QSETREFV $ 3
                 (LETT |pv$|
                       (|buildPredVector| 0 0
                                          (LIST
                                           (|HasCategory| |#2| '(|GcdDomain|))
                                           (|HasCategory| |#2|
                                                          '(|IntegralDomain|))
                                           (|HasCategory| |#2|
                                                          '(|RetractableTo|
                                                            (|Integer|)))
                                           (|HasCategory| |#2|
                                                          '(|IntegerNumberSystem|))
                                           (|HasCategory| |#2|
                                                          '(|Algebra|
                                                            (|Integer|)))
                                           (|HasCategory| |#2|
                                                          '(|QuotientFieldCategory|
                                                            (|Integer|)))
                                           (|HasCategory| |#2|
                                                          '(|Algebra|
                                                            (|Fraction|
                                                             (|Integer|))))
                                           (|HasCategory| |#4|
                                                          '(|ConvertibleTo|
                                                            (|Symbol|)))))
                       . #4#))
       (|stuffDomainSlots| $)
       (QSETREFV $ 6 |#1|)
       (QSETREFV $ 7 |#2|)
       (QSETREFV $ 8 |#3|)
       (QSETREFV $ 9 |#4|)
       (COND
        ((|testBitVector| |pv$| 2)
         (PROGN
          (COND
           ((|HasCategory| |#2| '(|EuclideanDomain|))
            (QSETREFV $ 123
                      (CONS (|dispatchFunction| |RPOLCAT-;iexactQuo;3R;47|)
                            $)))
           ('T
            (QSETREFV $ 123
                      (CONS (|dispatchFunction| |RPOLCAT-;iexactQuo;3R;48|)
                            $))))
          (QSETREFV $ 127
                    (CONS (|dispatchFunction| |RPOLCAT-;exactQuotient;SRS;50|)
                          $))
          (QSETREFV $ 130
                    (CONS (|dispatchFunction| |RPOLCAT-;exactQuotient;3S;51|)
                          $))
          (QSETREFV $ 132
                    (CONS (|dispatchFunction| |RPOLCAT-;exactQuotient!;3S;52|)
                          $))
          (COND
           ((|testBitVector| |pv$| 1)
            (COND
             ((|HasCategory| |#2| '(|Field|))
              (PROGN
               (QSETREFV $ 134
                         (CONS
                          (|dispatchFunction|
                           |RPOLCAT-;primPartElseUnitCanonical;2S;53|)
                          $))
               (QSETREFV $ 135
                         (CONS
                          (|dispatchFunction|
                           |RPOLCAT-;primPartElseUnitCanonical!;2S;54|)
                          $))))
             ('T
              (PROGN
               (QSETREFV $ 134
                         (CONS
                          (|dispatchFunction|
                           |RPOLCAT-;primPartElseUnitCanonical;2S;55|)
                          $))
               (QSETREFV $ 139
                         (CONS
                          (|dispatchFunction| |RPOLCAT-;primitivePart!;2S;56|)
                          $))
               (QSETREFV $ 135
                         (CONS
                          (|dispatchFunction|
                           |RPOLCAT-;primPartElseUnitCanonical!;2S;57|)
                          $))))))
           ('T
            (PROGN
             (QSETREFV $ 134
                       (CONS
                        (|dispatchFunction|
                         |RPOLCAT-;primPartElseUnitCanonical;2S;58|)
                        $))
             (QSETREFV $ 135
                       (CONS
                        (|dispatchFunction|
                         |RPOLCAT-;primPartElseUnitCanonical!;2S;59|)
                        $))))))))
       (COND
        ((|testBitVector| |pv$| 1)
         (PROGN
          (QSETREFV $ 143 (CONS (|dispatchFunction| |RPOLCAT-;gcd;RSR;60|) $))
          (QSETREFV $ 146
                    (CONS (|dispatchFunction| |RPOLCAT-;mainContent;2S;61|) $))
          (QSETREFV $ 150
                    (CONS
                     (|dispatchFunction| |RPOLCAT-;mainPrimitivePart;2S;62|)
                     $))
          (QSETREFV $ 153
                    (CONS
                     (|dispatchFunction| |RPOLCAT-;mainSquareFreePart;2S;63|)
                     $)))))
       (COND
        ((|testBitVector| |pv$| 8)
         (PROGN
          (QSETREFV $ 163
                    (CONS (|dispatchFunction| |RPOLCAT-;convert;SP;64|) $))
          (QSETREFV $ 164
                    (CONS (|dispatchFunction| |RPOLCAT-;coerce;SP;65|) $))
          NIL
          NIL
          NIL
          NIL
          NIL
          NIL
          (COND
           ((|HasCategory| |#4| '(|Finite|))
            (PROGN
             (QSETREFV $ 166 (SPADCALL (QREFELT $ 165)))
             NIL
             (QSETREFV $ 169
                       (PROGN
                        (LETT #3# NIL . #4#)
                        (SEQ (LETT |i| 1 . #4#)
                             (LETT #2# (QREFELT $ 166) . #4#) G190
                             (COND ((QSGREATERP |i| #2#) (GO G191)))
                             (SEQ
                              (EXIT
                               (LETT #3#
                                     (CONS
                                      (SPADCALL
                                       (SPADCALL
                                        (PROG1 (LETT #1# |i| . #4#)
                                          (|check-subtype| (> #1# 0)
                                                           '(|PositiveInteger|)
                                                           #1#))
                                        (QREFELT $ 168))
                                       (QREFELT $ 158))
                                      #3#)
                                     . #4#)))
                             (LETT |i| (QSADD1 |i|) . #4#) (GO G190) G191
                             (EXIT (NREVERSE0 #3#)))))
             (COND ((|testBitVector| |pv$| 7)))
             (COND ((|testBitVector| |pv$| 5))))))
          (COND
           ((|testBitVector| |pv$| 5)
            (PROGN
             (QSETREFV $ 205
                       (|MPolyCatFunctions2| (|Symbol|)
                                             (|IndexedExponents| (|Symbol|))
                                             (|IndexedExponents| (|Symbol|))
                                             (|Integer|) |#2|
                                             (|Polynomial| (|Integer|))
                                             (|Polynomial| |#2|)))
             (COND
              ((|testBitVector| |pv$| 7)
               (PROGN
                (QSETREFV $ 208
                          (|MPolyCatFunctions2| (|Symbol|)
                                                (|IndexedExponents| (|Symbol|))
                                                (|IndexedExponents| (|Symbol|))
                                                (|Fraction| (|Integer|)) |#2|
                                                (|Polynomial|
                                                 (|Fraction| (|Integer|)))
                                                (|Polynomial| |#2|)))
                (QSETREFV $ 212
                          (CONS (|dispatchFunction| |RPOLCAT-;retract;PS;79|)
                                $))
                (QSETREFV $ 214
                          (CONS (|dispatchFunction| |RPOLCAT-;convert;PS;80|)
                                $))
                (QSETREFV $ 216
                          (CONS (|dispatchFunction| |RPOLCAT-;retract;PS;81|)
                                $))
                (QSETREFV $ 218
                          (CONS (|dispatchFunction| |RPOLCAT-;convert;PS;82|)
                                $))
                (COND
                 ((|testBitVector| |pv$| 6)
                  (PROGN
                   (QSETREFV $ 219
                             (|MPolyCatFunctions2| (|Symbol|)
                                                   (|IndexedExponents|
                                                    (|Symbol|))
                                                   (|IndexedExponents|
                                                    (|Symbol|))
                                                   (|Integer|)
                                                   (|Fraction| (|Integer|))
                                                   (|Polynomial| (|Integer|))
                                                   (|Polynomial|
                                                    (|Fraction| (|Integer|)))))
                   (QSETREFV $ 220
                             (|MPolyCatFunctions2| (|Symbol|)
                                                   (|IndexedExponents|
                                                    (|Symbol|))
                                                   (|IndexedExponents|
                                                    (|Symbol|))
                                                   |#2|
                                                   (|Fraction| (|Integer|))
                                                   (|Polynomial| |#2|)
                                                   (|Polynomial|
                                                    (|Fraction| (|Integer|)))))
                   (QSETREFV $ 227
                             (CONS
                              (|dispatchFunction|
                               |RPOLCAT-;retractIfCan;PU;87|)
                              $))
                   (COND
                    ((|HasCategory| |#4| '(|Finite|))
                     (PROGN
                      (QSETREFV $ 228
                                (CONS
                                 (|dispatchFunction|
                                  |RPOLCAT-;retractIfCan;PU;88|)
                                 $))
                      (QSETREFV $ 229
                                (CONS
                                 (|dispatchFunction| |RPOLCAT-;convert;PS;89|)
                                 $))))
                    ('T
                     (QSETREFV $ 229
                               (CONS
                                (|dispatchFunction| |RPOLCAT-;convert;PS;90|)
                                $))))))
                 ('T
                  (PROGN
                   (COND
                    ((|HasCategory| |#4| '(|Finite|))
                     (PROGN
                      (QSETREFV $ 230
                                (CONS
                                 (|dispatchFunction|
                                  |RPOLCAT-;retractIfCan;PU;91|)
                                 $))
                      (QSETREFV $ 228
                                (CONS
                                 (|dispatchFunction|
                                  |RPOLCAT-;retractIfCan;PU;92|)
                                 $))))
                    ('T
                     (QSETREFV $ 228
                               (CONS
                                (|dispatchFunction|
                                 |RPOLCAT-;retractIfCan;PU;93|)
                                $))))
                   (QSETREFV $ 227
                             (CONS
                              (|dispatchFunction|
                               |RPOLCAT-;retractIfCan;PU;94|)
                              $))
                   (QSETREFV $ 232
                             (CONS
                              (|dispatchFunction| |RPOLCAT-;retract;PS;95|) $))
                   (QSETREFV $ 229
                             (CONS
                              (|dispatchFunction| |RPOLCAT-;convert;PS;96|)
                              $))))))))
             (COND
              ((|testBitVector| |pv$| 5)
               (COND ((|testBitVector| |pv$| 7))
                     ('T
                      (PROGN
                       (QSETREFV $ 212
                                 (CONS
                                  (|dispatchFunction| |RPOLCAT-;retract;PS;97|)
                                  $))
                       (QSETREFV $ 214
                                 (CONS
                                  (|dispatchFunction| |RPOLCAT-;convert;PS;98|)
                                  $))
                       (COND
                        ((|testBitVector| |pv$| 4)
                         (PROGN
                          (QSETREFV $ 234
                                    (|MPolyCatFunctions2| (|Symbol|)
                                                          (|IndexedExponents|
                                                           (|Symbol|))
                                                          (|IndexedExponents|
                                                           (|Symbol|))
                                                          |#2| (|Integer|)
                                                          (|Polynomial| |#2|)
                                                          (|Polynomial|
                                                           (|Integer|))))
                          (COND
                           ((|HasCategory| |#4| '(|Finite|))
                            (PROGN
                             (QSETREFV $ 229
                                       (CONS
                                        (|dispatchFunction|
                                         |RPOLCAT-;convert;PS;101|)
                                        $))
                             (QSETREFV $ 227
                                       (CONS
                                        (|dispatchFunction|
                                         |RPOLCAT-;retractIfCan;PU;102|)
                                        $))))
                           ('T
                            (QSETREFV $ 229
                                      (CONS
                                       (|dispatchFunction|
                                        |RPOLCAT-;convert;PS;103|)
                                       $))))))
                        ('T
                         (PROGN
                          (COND
                           ((|HasCategory| |#4| '(|Finite|))
                            (PROGN
                             (QSETREFV $ 230
                                       (CONS
                                        (|dispatchFunction|
                                         |RPOLCAT-;retractIfCan;PU;104|)
                                        $))
                             (QSETREFV $ 227
                                       (CONS
                                        (|dispatchFunction|
                                         |RPOLCAT-;retractIfCan;PU;105|)
                                        $))))
                           ('T
                            (QSETREFV $ 227
                                      (CONS
                                       (|dispatchFunction|
                                        |RPOLCAT-;retractIfCan;PU;106|)
                                       $))))
                          (QSETREFV $ 232
                                    (CONS
                                     (|dispatchFunction|
                                      |RPOLCAT-;retract;PS;107|)
                                     $))
                          (QSETREFV $ 229
                                    (CONS
                                     (|dispatchFunction|
                                      |RPOLCAT-;convert;PS;108|)
                                     $))))))))))))
           ((|testBitVector| |pv$| 7)
            (PROGN
             (SETELT $ 205
                     (|MPolyCatFunctions2| (|Symbol|)
                                           (|IndexedExponents| (|Symbol|))
                                           (|IndexedExponents| (|Symbol|))
                                           (|Integer|) |#2|
                                           (|Polynomial| (|Integer|))
                                           (|Polynomial| |#2|)))
             (COND
              ((|testBitVector| |pv$| 7)
               (PROGN
                (SETELT $ 208
                        (|MPolyCatFunctions2| (|Symbol|)
                                              (|IndexedExponents| (|Symbol|))
                                              (|IndexedExponents| (|Symbol|))
                                              (|Fraction| (|Integer|)) |#2|
                                              (|Polynomial|
                                               (|Fraction| (|Integer|)))
                                              (|Polynomial| |#2|)))
                (QSETREFV $ 212
                          (CONS (|dispatchFunction| |RPOLCAT-;retract;PS;113|)
                                $))
                (QSETREFV $ 214
                          (CONS (|dispatchFunction| |RPOLCAT-;convert;PS;114|)
                                $))
                (QSETREFV $ 216
                          (CONS (|dispatchFunction| |RPOLCAT-;retract;PS;115|)
                                $))
                (QSETREFV $ 218
                          (CONS (|dispatchFunction| |RPOLCAT-;convert;PS;116|)
                                $))
                (COND
                 ((|testBitVector| |pv$| 6)
                  (PROGN
                   (SETELT $ 219
                           (|MPolyCatFunctions2| (|Symbol|)
                                                 (|IndexedExponents|
                                                  (|Symbol|))
                                                 (|IndexedExponents|
                                                  (|Symbol|))
                                                 (|Integer|)
                                                 (|Fraction| (|Integer|))
                                                 (|Polynomial| (|Integer|))
                                                 (|Polynomial|
                                                  (|Fraction| (|Integer|)))))
                   (SETELT $ 220
                           (|MPolyCatFunctions2| (|Symbol|)
                                                 (|IndexedExponents|
                                                  (|Symbol|))
                                                 (|IndexedExponents|
                                                  (|Symbol|))
                                                 |#2| (|Fraction| (|Integer|))
                                                 (|Polynomial| |#2|)
                                                 (|Polynomial|
                                                  (|Fraction| (|Integer|)))))
                   (QSETREFV $ 227
                             (CONS
                              (|dispatchFunction|
                               |RPOLCAT-;retractIfCan;PU;121|)
                              $))
                   (COND
                    ((|HasCategory| |#4| '(|Finite|))
                     (PROGN
                      (QSETREFV $ 228
                                (CONS
                                 (|dispatchFunction|
                                  |RPOLCAT-;retractIfCan;PU;122|)
                                 $))
                      (QSETREFV $ 229
                                (CONS
                                 (|dispatchFunction| |RPOLCAT-;convert;PS;123|)
                                 $))))
                    ('T
                     (QSETREFV $ 229
                               (CONS
                                (|dispatchFunction| |RPOLCAT-;convert;PS;124|)
                                $))))))
                 ('T
                  (PROGN
                   (COND
                    ((|HasCategory| |#4| '(|Finite|))
                     (PROGN
                      (QSETREFV $ 230
                                (CONS
                                 (|dispatchFunction|
                                  |RPOLCAT-;retractIfCan;PU;125|)
                                 $))
                      (QSETREFV $ 228
                                (CONS
                                 (|dispatchFunction|
                                  |RPOLCAT-;retractIfCan;PU;126|)
                                 $))))
                    ('T
                     (QSETREFV $ 228
                               (CONS
                                (|dispatchFunction|
                                 |RPOLCAT-;retractIfCan;PU;127|)
                                $))))
                   (QSETREFV $ 227
                             (CONS
                              (|dispatchFunction|
                               |RPOLCAT-;retractIfCan;PU;128|)
                              $))
                   (QSETREFV $ 232
                             (CONS
                              (|dispatchFunction| |RPOLCAT-;retract;PS;129|)
                              $))
                   (QSETREFV $ 229
                             (CONS
                              (|dispatchFunction| |RPOLCAT-;convert;PS;130|)
                              $))))))))
             (COND
              ((|testBitVector| |pv$| 5)
               (COND ((|testBitVector| |pv$| 7))
                     ('T
                      (PROGN
                       (QSETREFV $ 212
                                 (CONS
                                  (|dispatchFunction|
                                   |RPOLCAT-;retract;PS;131|)
                                  $))
                       (QSETREFV $ 214
                                 (CONS
                                  (|dispatchFunction|
                                   |RPOLCAT-;convert;PS;132|)
                                  $))
                       (COND
                        ((|testBitVector| |pv$| 4)
                         (PROGN
                          (SETELT $ 234
                                  (|MPolyCatFunctions2| (|Symbol|)
                                                        (|IndexedExponents|
                                                         (|Symbol|))
                                                        (|IndexedExponents|
                                                         (|Symbol|))
                                                        |#2| (|Integer|)
                                                        (|Polynomial| |#2|)
                                                        (|Polynomial|
                                                         (|Integer|))))
                          (COND
                           ((|HasCategory| |#4| '(|Finite|))
                            (PROGN
                             (QSETREFV $ 229
                                       (CONS
                                        (|dispatchFunction|
                                         |RPOLCAT-;convert;PS;135|)
                                        $))
                             (QSETREFV $ 227
                                       (CONS
                                        (|dispatchFunction|
                                         |RPOLCAT-;retractIfCan;PU;136|)
                                        $))))
                           ('T
                            (QSETREFV $ 229
                                      (CONS
                                       (|dispatchFunction|
                                        |RPOLCAT-;convert;PS;137|)
                                       $))))))
                        ('T
                         (PROGN
                          (COND
                           ((|HasCategory| |#4| '(|Finite|))
                            (PROGN
                             (QSETREFV $ 230
                                       (CONS
                                        (|dispatchFunction|
                                         |RPOLCAT-;retractIfCan;PU;138|)
                                        $))
                             (QSETREFV $ 227
                                       (CONS
                                        (|dispatchFunction|
                                         |RPOLCAT-;retractIfCan;PU;139|)
                                        $))))
                           ('T
                            (QSETREFV $ 227
                                      (CONS
                                       (|dispatchFunction|
                                        |RPOLCAT-;retractIfCan;PU;140|)
                                       $))))
                          (QSETREFV $ 232
                                    (CONS
                                     (|dispatchFunction|
                                      |RPOLCAT-;retract;PS;141|)
                                     $))
                          (QSETREFV $ 229
                                    (CONS
                                     (|dispatchFunction|
                                      |RPOLCAT-;convert;PS;142|)
                                     $)))))))))))))
          (COND ((OR (|testBitVector| |pv$| 5) (|testBitVector| |pv$| 7)))
                ('T
                 (PROGN
                  (COND
                   ((|HasCategory| |#4| '(|Finite|))
                    (QSETREFV $ 230
                              (CONS
                               (|dispatchFunction|
                                |RPOLCAT-;retractIfCan;PU;143|)
                               $))))
                  (QSETREFV $ 232
                            (CONS
                             (|dispatchFunction| |RPOLCAT-;retract;PS;144|) $))
                  (QSETREFV $ 229
                            (CONS
                             (|dispatchFunction| |RPOLCAT-;convert;PS;145|)
                             $)))))
          (COND
           ((|testBitVector| |pv$| 3)
            (QSETREFV $ 251
                      (CONS (|dispatchFunction| |RPOLCAT-;convert;SS;146|)
                            $)))))))
       $))))) 

(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|
              (|Union| 10 '"failed") (175 . |RittWuCompare|)
              |RPOLCAT-;RittWuCompare;2SU;19| |RPOLCAT-;infRittWu?;2SB;20|
              (181 . |infRittWu?|) |RPOLCAT-;supRittWu?;2SB;21|
              (|Record| (|:| |coef| $) (|:| |gap| 21) (|:| |remainder| $))
              (187 . |lazyPremWithDefault|) (193 . ^) (199 . *)
              |RPOLCAT-;prem;3S;22|
              (|Record| (|:| |coef| $) (|:| |gap| 21) (|:| |quotient| $)
                        (|:| |remainder| $))
              (205 . |lazyPseudoDivide|) |RPOLCAT-;pquo;3S;23|
              (211 . |lazyPremWithDefault|) |RPOLCAT-;prem;2SVS;24|
              (218 . |lazyPseudoDivide|) |RPOLCAT-;pquo;2SVS;25|
              (225 . |monic?|) (230 . |monicModulo|) |RPOLCAT-;lazyPrem;3S;26|
              |RPOLCAT-;lazyPquo;3S;27| (236 . =) (242 . |lazyPrem|)
              (248 . |leadingCoefficient|) |RPOLCAT-;lazyPrem;2SVS;28|
              |RPOLCAT-;lazyPquo;2SVS;29| (254 . |reduced?|)
              (|Record| (|:| |polnum| $) (|:| |polden| $) (|:| |power| 21))
              (260 . |lazyResidueClass|) (266 . +) |RPOLCAT-;headReduce;3S;30|
              (272 . |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|
              (277 . |reduced?|) |RPOLCAT-;headReduced?;SLB;42|
              (283 . |initiallyReduced?|) |RPOLCAT-;initiallyReduced?;2SB;43|
              |RPOLCAT-;initiallyReduced?;SLB;44| (289 . |normalized?|)
              |RPOLCAT-;normalized?;2SB;45| |RPOLCAT-;normalized?;SLB;46|
              (295 . |quo|) (301 . |iexactQuo|) (307 . |exquo|)
              (313 . |iexactQuo|) (319 . |exquo|) (325 . |exactQuotient|)
              (331 . |exactQuotient|) (337 . |exquo|) (343 . |exactQuotient|)
              (349 . |exactQuotient!|) (355 . |exactQuotient!|)
              (361 . |unitCanonical|) (366 . |primPartElseUnitCanonical|)
              (371 . |primPartElseUnitCanonical!|) (376 . |primitivePart|)
              (381 . |content|) (386 . =) (392 . |primitivePart!|)
              (397 . |primitivePart!|) (402 . |gcd|) (408 . |gcd|)
              (414 . |gcd|) (420 . |mainCoefficients|) (425 . |gcd|)
              (431 . |mainContent|) (436 . |mainContent|)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (441 . |unitNormal|) (446 . |mainPrimitivePart|)
              (451 . |squareFreePart|) (456 . |multivariate|)
              (462 . |mainSquareFreePart|) (|Polynomial| 7) (467 . |coerce|)
              (472 . |convert|) (|Symbol|) (477 . |convert|) (482 . |coerce|)
              (487 . ^) (493 . *) (499 . +) (505 . |convert|) (510 . |coerce|)
              (515 . |size|) '|sizeV| (|PositiveInteger|) (519 . |index|) '|lv|
              (524 . |ground?|) (529 . |ground|) (534 . |coerce|)
              (|Union| 157 '"failed") (539 . |mainVariable|) (|Integer|)
              (|List| 157) (544 . |position|) (550 . |degree|)
              (556 . |coefficient|) (563 . |monomial|) (570 . -)
              (|Polynomial| 184) (576 . |ground?|) (|Fraction| 175)
              (581 . |ground|) (586 . |coerce|) (591 . |mainVariable|)
              (596 . |degree|) (602 . |coefficient|) (609 . |monomial|)
              (616 . -) (|Polynomial| 175) (622 . |ground?|) (627 . |ground|)
              (632 . |coerce|) (637 . |mainVariable|) (642 . |degree|)
              (648 . |coefficient|) (655 . |monomial|) (662 . -)
              (668 . |variables|) (673 . |member?|) (679 . |variables|)
              (684 . |variables|) '|mpc2Z| (|Mapping| 7 175) (689 . |map|)
              '|mpc2Q| (|Mapping| 7 184) (695 . |map|) (701 . |retractIfCan|)
              (706 . |retract|) (711 . |retract|) (716 . |convert|)
              (721 . |retractIfCan|) (726 . |retract|) (731 . |retract|)
              (736 . |convert|) '|mpc2ZQ| '|mpc2RQ| (741 . |coerce|)
              (746 . |retract|) (|Mapping| 184 175) (751 . |map|)
              (|Mapping| 184 7) (757 . |map|) (763 . |retractIfCan|)
              (768 . |retractIfCan|) (773 . |convert|) (778 . |retractIfCan|)
              (783 . |retractIfCan|) (788 . |retract|) (793 . |retract|)
              '|mpc2RZ| (798 . |retract|) (|Mapping| 175 7) (803 . |map|)
              (809 . -) (|String|) (814 . |convert|) (819 . |monomial?|)
              (824 . |concat|) (829 . |string|) (834 . |Zero|) (838 . |Zero|)
              (|Character|) (842 . |elt|) (848 . |coerce|) (|List| 239)
              (853 . |member?|) (859 . |convert|) (|Pattern| 175) (|InputForm|)
              (|Pattern| (|Float|)) (|Union| 175 '#1="failed")
              (|Union| 184 '#1#) (|Union| 7 '#1#))
           '#(|tail| 864 |supRittWu?| 869 |retractIfCan| 875 |retract| 890
              |reductum| 905 |reduced?| 911 |quasiMonic?| 923 |pseudoDivide|
              928 |primitivePart!| 934 |primPartElseUnitCanonical!| 939
              |primPartElseUnitCanonical| 944 |prem| 949 |pquo| 962
              |normalized?| 975 |mvar| 987 |monicModulo| 992 |monic?| 998
              |mdeg| 1003 |mainSquareFreePart| 1008 |mainPrimitivePart| 1013
              |mainMonomials| 1018 |mainMonomial| 1023 |mainContent| 1028
              |mainCoefficients| 1033 |leastMonomial| 1038 |leadingCoefficient|
              1043 |lazyResidueClass| 1049 |lazyPseudoDivide| 1055
              |lazyPremWithDefault| 1068 |lazyPrem| 1081 |lazyPquo| 1094
              |iteratedInitials| 1107 |initiallyReduced?| 1112
              |initiallyReduce| 1124 |init| 1130 |infRittWu?| 1135 |iexactQuo|
              1141 |headReduced?| 1147 |headReduce| 1159 |head| 1165 |gcd| 1170
              |exactQuotient!| 1176 |exactQuotient| 1182 |deepestTail| 1194
              |deepestInitial| 1199 |convert| 1204 |coerce| 1229
              |RittWuCompare| 1239)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 251
                                                 '(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 6 69 0 0 70 2
                                                   6 10 0 0 73 2 6 75 0 0 76 2
                                                   6 0 0 21 77 2 6 0 0 0 78 2 6
                                                   80 0 0 81 3 6 75 0 0 9 83 3
                                                   6 80 0 0 9 85 1 6 10 0 87 2
                                                   6 0 0 0 88 2 9 10 0 0 91 2 6
                                                   0 0 0 92 2 6 0 0 9 93 2 6 10
                                                   0 0 96 2 6 97 0 0 98 2 6 0 0
                                                   0 99 1 6 0 0 101 2 6 10 0 49
                                                   114 2 6 10 0 0 116 2 6 10 0
                                                   0 119 2 7 0 0 0 122 2 0 7 7
                                                   7 123 2 7 53 0 0 124 2 6 7 7
                                                   7 125 2 6 53 0 7 126 2 0 0 0
                                                   7 127 2 6 0 0 7 128 2 6 53 0
                                                   0 129 2 0 0 0 0 130 2 6 0 0
                                                   7 131 2 0 0 0 0 132 1 6 0 0
                                                   133 1 0 0 0 134 1 0 0 0 135
                                                   1 6 0 0 136 1 6 7 0 137 2 7
                                                   10 0 0 138 1 0 0 0 139 1 6 0
                                                   0 140 2 7 0 0 0 141 2 6 7 7
                                                   0 142 2 0 7 7 0 143 1 6 49 0
                                                   144 2 6 0 0 0 145 1 0 0 0
                                                   146 1 6 0 0 147 1 6 148 0
                                                   149 1 0 0 0 150 1 63 0 0 151
                                                   2 6 0 60 9 152 1 0 0 0 153 1
                                                   154 0 7 155 1 6 154 0 156 1
                                                   9 157 0 158 1 154 0 157 159
                                                   2 154 0 0 21 160 2 154 0 0 0
                                                   161 2 154 0 0 0 162 1 0 154
                                                   0 163 1 0 154 0 164 0 9 21
                                                   165 1 9 0 167 168 1 154 10 0
                                                   170 1 154 7 0 171 1 6 0 7
                                                   172 1 154 173 0 174 2 176
                                                   175 157 0 177 2 154 21 0 157
                                                   178 3 154 0 0 157 21 179 3
                                                   154 0 0 157 21 180 2 154 0 0
                                                   0 181 1 182 10 0 183 1 182
                                                   184 0 185 1 7 0 184 186 1
                                                   182 173 0 187 2 182 21 0 157
                                                   188 3 182 0 0 157 21 189 3
                                                   182 0 0 157 21 190 2 182 0 0
                                                   0 191 1 192 10 0 193 1 192
                                                   175 0 194 1 7 0 175 195 1
                                                   192 173 0 196 2 192 21 0 157
                                                   197 3 192 0 0 157 21 198 3
                                                   192 0 0 157 21 199 2 192 0 0
                                                   0 200 1 154 176 0 201 2 176
                                                   10 157 0 202 1 182 176 0 203
                                                   1 192 176 0 204 2 205 154
                                                   206 192 207 2 208 154 209
                                                   182 210 1 6 53 192 211 1 0 0
                                                   192 212 1 6 0 192 213 1 0 0
                                                   192 214 1 6 53 182 215 1 0 0
                                                   182 216 1 6 0 182 217 1 0 0
                                                   182 218 1 184 0 175 221 1 7
                                                   184 0 222 2 219 182 223 192
                                                   224 2 220 182 225 154 226 1
                                                   0 53 192 227 1 0 53 182 228
                                                   1 0 0 154 229 1 0 53 154 230
                                                   1 6 53 154 231 1 0 0 154 232
                                                   1 6 0 154 233 1 7 175 0 235
                                                   2 234 192 236 154 237 1 6 0
                                                   0 238 1 6 239 0 240 1 6 10 0
                                                   241 1 239 0 49 242 1 157 239
                                                   0 243 0 7 0 244 0 8 0 245 2
                                                   239 246 0 175 247 1 239 0
                                                   246 248 2 249 10 239 0 250 1
                                                   0 239 0 251 1 0 0 0 45 2 0
                                                   10 0 0 74 1 0 53 154 230 1 0
                                                   53 192 227 1 0 53 182 228 1
                                                   0 0 154 232 1 0 0 192 212 1
                                                   0 0 182 216 2 0 0 0 9 43 2 0
                                                   10 0 49 112 2 0 10 0 0 111 1
                                                   0 10 0 56 2 0 105 0 0 106 1
                                                   0 0 0 139 1 0 0 0 135 1 0 0
                                                   0 134 3 0 0 0 0 9 84 2 0 0 0
                                                   0 79 3 0 0 0 0 9 86 2 0 0 0
                                                   0 82 2 0 10 0 49 121 2 0 10
                                                   0 0 120 1 0 9 0 33 2 0 0 0 0
                                                   109 1 0 10 0 55 1 0 21 0 35
                                                   1 0 0 0 153 1 0 0 0 150 1 0
                                                   49 0 68 1 0 0 0 57 1 0 0 0
                                                   146 1 0 49 0 65 1 0 0 0 59 2
                                                   0 0 0 9 38 2 0 97 0 0 110 2
                                                   0 80 0 0 107 3 0 80 0 0 9
                                                   108 3 0 75 0 0 9 104 2 0 75
                                                   0 0 103 3 0 0 0 0 9 94 2 0 0
                                                   0 0 89 3 0 0 0 0 9 95 2 0 0
                                                   0 0 90 1 0 49 0 51 2 0 10 0
                                                   0 117 2 0 10 0 49 118 2 0 0
                                                   0 0 102 1 0 0 0 37 2 0 10 0
                                                   0 72 2 0 7 7 7 123 2 0 10 0
                                                   49 115 2 0 10 0 0 113 2 0 0
                                                   0 0 100 1 0 0 0 40 2 0 7 7 0
                                                   143 2 0 0 0 0 132 2 0 0 0 0
                                                   130 2 0 0 0 7 127 1 0 0 0 48
                                                   1 0 0 0 52 1 0 154 0 163 1 0
                                                   239 0 251 1 0 0 154 229 1 0
                                                   0 192 214 1 0 0 182 218 1 0
                                                   154 0 164 1 0 13 0 30 2 0 69
                                                   0 0 71)))))
           '|lookupComplete|)) 
