
(/VERSIONCHECK 2) 

(DEFUN |PRS;*;R2V;1| (|r| |v| $)
  (SPADCALL (SPADCALL |r| (QREFELT $ 13)) |v| (QREFELT $ 15))) 

(DEFUN |PRS;exquo;VRV;2| (|v| |r| $)
  (PROG ()
    (RETURN
      (SPADCALL
          (CONS #'|PRS;exquo;VRV;2!0| (VECTOR (QREFELT $ 7) $ |r|)) |v|
          (QREFELT $ 20))))) 

(DEFUN |PRS;exquo;VRV;2!0| (|#1| $$)
  (PROG (#0=#:G1995)
    (RETURN
      (PROG2 (LETT #0#
                   (SPADCALL |#1| (QREFELT $$ 2)
                       (QREFELT (QREFELT $$ 1) 18))
                   NIL)
             (QCDR #0#)
        (|check-union| (QEQCAR #0# 0) (QREFELT $$ 0) #0#))))) 

(DEFUN |PRS;pseudoDivide;2polRR;3| (P Q $)
  (PROG (|lcQ| |#G10| |#G11| |degP| |degQ| #0=#:G2000 |co| |#G1|
               |delta| #1=#:G2002 |i| #2=#:G2003 |mon| |quot|
               #3=#:G2011)
    (RETURN
      (SEQ (EXIT (COND
                   ((SPADCALL Q (QREFELT $ 23))
                    (|error| "PseudoDivide$PRS : division by 0"))
                   ((SPADCALL P (QREFELT $ 23))
                    (VECTOR (|spadConstant| $ 8) (|spadConstant| $ 24)
                            P))
                   ('T
                    (SEQ (LETT |lcQ| (SPADCALL Q (QREFELT $ 25))
                               . #4=(|PRS;pseudoDivide;2polRR;3|))
                         (PROGN
                           (LETT |#G10|
                                 (SPADCALL P (QREFELT $ 26)) . #4#)
                           (LETT |#G11|
                                 (SPADCALL Q (QREFELT $ 26)) . #4#)
                           (LETT |degP| |#G10| . #4#)
                           (LETT |degQ| |#G11| . #4#))
                         (EXIT (COND
                                 ((< |degP| |degQ|)
                                  (VECTOR (|spadConstant| $ 8)
                                          (|spadConstant| $ 24) P))
                                 ('T
                                  (SEQ (LETT Q
                                        (SPADCALL Q (QREFELT $ 27)) . #4#)
                                       (LETT |i|
                                        (PROG1
                                         (LETT #0#
                                          (+ (- |degP| |degQ|) 1) . #4#)
                                          (|check-subtype| (>= #0# 0)
                                           '(|NonNegativeInteger|) #0#)) . #4#)
                                       (LETT |co|
                                        (SPADCALL |lcQ| |i|
                                         (QREFELT $ 28)) . #4#)
                                       (LETT |quot|
                                        (|spadConstant| $ 24) . #4#)
                                       (SEQ G190
                                        (COND
                                          ((NULL
                                            (SEQ
                                             (LETT |#G1|
                                              (-
                                               (SPADCALL P
                                                (QREFELT $ 26))
                                               |degQ|) . #4#)
                                             (LETT |delta| |#G1| . #4#)
                                             (EXIT
                                              (COND
                                                ((< |#G1| 0) 'NIL)
                                                ('T 'T)))))
                                           (GO G191)))
                                        (SEQ
                                         (LETT |i|
                                          (PROG1
                                           (LETT #1# (- |i| 1) . #4#)
                                            (|check-subtype| (>= #1# 0)
                                             '(|NonNegativeInteger|)
                                             #1#)) . #4#)
                                         (LETT |mon|
                                          (SPADCALL
                                           (SPADCALL P (QREFELT $ 25))
                                           (PROG1
                                            (LETT #2# |delta| . #4#)
                                             (|check-subtype|
                                              (>= #2# 0)
                                              '(|NonNegativeInteger|)
                                              #2#))
                                           (QREFELT $ 11)) . #4#)
                                         (LETT |quot|
                                          (SPADCALL |quot|
                                           (SPADCALL
                                            (SPADCALL |lcQ| |i|
                                             (QREFELT $ 28))
                                            |mon| (QREFELT $ 30))
                                           (QREFELT $ 31)) . #4#)
                                         (EXIT
                                          (LETT P
                                           (SPADCALL
                                            (SPADCALL |lcQ|
                                             (SPADCALL P
                                              (QREFELT $ 27))
                                             (QREFELT $ 30))
                                            (SPADCALL |mon| Q
                                             (QREFELT $ 32))
                                            (QREFELT $ 33)) . #4#)))
                                        NIL (GO G190) G191 (EXIT NIL))
                                       (LETT P
                                        (SPADCALL
                                         (SPADCALL |lcQ| |i|
                                          (QREFELT $ 28))
                                         P (QREFELT $ 30)) . #4#)
                                       (EXIT
                                        (PROGN
                                          (LETT #3#
                                           (VECTOR |co| |quot| P) . #4#)
                                          (GO #3#)))))))))))
           #3# (EXIT #3#))))) 

(DEFUN |PRS;divide;2polRR;4| (F G $)
  (PROG (|lcG| |degG| #0=#:G2014 |delta| #1=#:G2019 #2=#:G2021 |mon|
               |quot| #3=#:G2027)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |lcG| (SPADCALL G (QREFELT $ 25))
                            . #4=(|PRS;divide;2polRR;4|))
                      (LETT |degG| (SPADCALL G (QREFELT $ 26)) . #4#)
                      (EXIT (COND
                              ((ZEROP |degG|)
                               (SEQ (LETT F
                                     (PROG2
                                      (LETT #0#
                                       (SPADCALL F |lcG|
                                        (QREFELT $ 18)) . #4#)
                                      (QCDR #0#)
                                       (|check-union| (QEQCAR #0# 0)
                                        (QREFELT $ 7) #0#)) . #4#)
                                    (EXIT
                                     (PROGN
                                       (LETT #3#
                                        (CONS F (|spadConstant| $ 24)) . #4#)
                                       (GO #3#)))))
                              ('T
                               (SEQ (LETT G
                                     (SPADCALL G (QREFELT $ 27)) . #4#)
                                    (LETT |quot|
                                     (|spadConstant| $ 24) . #4#)
                                    (SEQ G190
                                     (COND
                                       ((NULL
                                         (SEQ
                                          (LETT |delta|
                                           (-
                                            (SPADCALL F (QREFELT $ 26))
                                            |degG|) . #4#)
                                          (EXIT
                                           (COND
                                             ((< |delta| 0) 'NIL)
                                             ('T 'T)))))
                                        (GO G191)))
                                     (SEQ
                                      (LETT |mon|
                                       (SPADCALL
                                        (PROG2
                                         (LETT #1#
                                          (SPADCALL
                                           (SPADCALL F (QREFELT $ 25))
                                           |lcG| (QREFELT $ 36)) . #4#)
                                         (QCDR #1#)
                                          (|check-union| (QEQCAR #1# 0)
                                           (QREFELT $ 6) #1#))
                                        (PROG1 (LETT #2# |delta| . #4#)
                                          (|check-subtype| (>= #2# 0)
                                           '(|NonNegativeInteger|) #2#))
                                        (QREFELT $ 11)) . #4#)
                                      (LETT |quot|
                                       (SPADCALL |quot| |mon|
                                        (QREFELT $ 31)) . #4#)
                                      (EXIT
                                       (LETT F
                                        (SPADCALL
                                         (SPADCALL F (QREFELT $ 27))
                                         (SPADCALL |mon| G
                                          (QREFELT $ 32))
                                         (QREFELT $ 33)) . #4#)))
                                     NIL (GO G190) G191 (EXIT NIL))
                                    (EXIT
                                     (PROGN
                                       (LETT #3# (CONS |quot| F) . #4#)
                                       (GO #3#)))))))))
           #3# (EXIT #3#))))) 

(DEFUN |PRS;resultantnaif;2polRR;5| (P Q $)
  (PROG (|#G20| |#G21| |degP| |degQ| #0=#:G2038 U #1=#:G2032 |a| |#G22|
                |#G23|)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |a| (|spadConstant| $ 8)
                            . #2=(|PRS;resultantnaif;2polRR;5|))
                      (EXIT (SEQ G190 NIL
                                 (SEQ (EXIT
                                       (COND
                                         ((SPADCALL Q (QREFELT $ 23))
                                          (PROGN
                                            (LETT #0#
                                             (|spadConstant| $ 29) . #2#)
                                            (GO #0#)))
                                         ('T
                                          (SEQ
                                           (PROGN
                                             (LETT |#G20|
                                              (SPADCALL P
                                               (QREFELT $ 26)) . #2#)
                                             (LETT |#G21|
                                              (SPADCALL Q
                                               (QREFELT $ 26)) . #2#)
                                             (LETT |degP| |#G20| . #2#)
                                             (LETT |degQ| |#G21| . #2#))
                                           (COND
                                             ((ODDP |degP|)
                                              (COND
                                                ((ODDP |degQ|)
                                                 (LETT |a|
                                                  (SPADCALL |a|
                                                   (QREFELT $ 39)) . #2#)))))
                                           (EXIT
                                            (COND
                                              ((ZEROP |degQ|)
                                               (PROGN
                                                 (LETT #0#
                                                  (SPADCALL |a|
                                                   (SPADCALL
                                                    (SPADCALL Q
                                                     (QREFELT $ 25))
                                                    |degP|
                                                    (QREFELT $ 28))
                                                   (QREFELT $ 40)) . #2#)
                                                 (GO #0#)))
                                              ('T
                                               (SEQ
                                                (LETT U
                                                 (QCDR
                                                  (SPADCALL P Q
                                                   (QREFELT $ 38))) . #2#)
                                                (LETT |a|
                                                 (SPADCALL |a|
                                                  (SPADCALL
                                                   (SPADCALL Q
                                                    (QREFELT $ 25))
                                                   (PROG1
                                                    (LETT #1#
                                                     (- |degP|
                                                      (SPADCALL U
                                                       (QREFELT $ 26))) . #2#)
                                                     (|check-subtype|
                                                      (>= #1# 0)
                                                      '(|NonNegativeInteger|)
                                                      #1#))
                                                   (QREFELT $ 28))
                                                  (QREFELT $ 40)) . #2#)
                                                (EXIT
                                                 (PROGN
                                                   (LETT |#G22|
                                                    Q . #2#)
                                                   (LETT |#G23|
                                                    U . #2#)
                                                   (LETT P
                                                    |#G22| . #2#)
                                                   (LETT Q
                                                    |#G23| . #2#))))))))))))
                                 NIL (GO G190) G191 (EXIT NIL)))))
           #0# (EXIT #0#))))) 

(DEFUN |PRS;resultantEuclideannaif;2polRR;6| (P Q $)
  (PROG (|#G26| |#G27| |degP| |degQ| #0=#:G2043 #1=#:G2054 |divid|
                #2=#:G2048 |a| |#G28| |#G29| |#G30| |#G31| |#G32|
                |#G33| |oldcf1| |oldcf2| |cf1| |cf2|)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |a| (|spadConstant| $ 8)
                            . #3=(|PRS;resultantEuclideannaif;2polRR;6|))
                      (LETT |oldcf1| (|spadConstant| $ 9) . #3#)
                      (LETT |cf1| (|spadConstant| $ 24) . #3#)
                      (LETT |oldcf2| (|spadConstant| $ 24) . #3#)
                      (LETT |cf2| (|spadConstant| $ 9) . #3#)
                      (EXIT (SEQ G190 NIL
                                 (SEQ (EXIT
                                       (COND
                                         ((SPADCALL Q (QREFELT $ 23))
                                          (PROGN
                                            (LETT #1#
                                             (VECTOR
                                              (|spadConstant| $ 24)
                                              (|spadConstant| $ 24)
                                              (|spadConstant| $ 29)) . #3#)
                                            (GO #1#)))
                                         ('T
                                          (SEQ
                                           (PROGN
                                             (LETT |#G26|
                                              (SPADCALL P
                                               (QREFELT $ 26)) . #3#)
                                             (LETT |#G27|
                                              (SPADCALL Q
                                               (QREFELT $ 26)) . #3#)
                                             (LETT |degP| |#G26| . #3#)
                                             (LETT |degQ| |#G27| . #3#))
                                           (COND
                                             ((ODDP |degP|)
                                              (COND
                                                ((ODDP |degQ|)
                                                 (LETT |a|
                                                  (SPADCALL |a|
                                                   (QREFELT $ 39)) . #3#)))))
                                           (COND
                                             ((ZEROP |degQ|)
                                              (SEQ
                                               (LETT |a|
                                                (SPADCALL |a|
                                                 (SPADCALL
                                                  (SPADCALL Q
                                                   (QREFELT $ 25))
                                                  (PROG1
                                                   (LETT #0#
                                                    (- |degP| 1) . #3#)
                                                    (|check-subtype|
                                                     (>= #0# 0)
                                                     '(|NonNegativeInteger|)
                                                     #0#))
                                                  (QREFELT $ 28))
                                                 (QREFELT $ 40)) . #3#)
                                               (EXIT
                                                (PROGN
                                                  (LETT #1#
                                                   (VECTOR
                                                    (SPADCALL |a| |cf1|
                                                     (QREFELT $ 30))
                                                    (SPADCALL |a| |cf2|
                                                     (QREFELT $ 30))
                                                    (SPADCALL |a|
                                                     (SPADCALL Q
                                                      (QREFELT $ 25))
                                                     (QREFELT $ 40))) . #3#)
                                                  (GO #1#))))))
                                           (LETT |divid|
                                            (SPADCALL P Q
                                             (QREFELT $ 38)) . #3#)
                                           (LETT |a|
                                            (SPADCALL |a|
                                             (SPADCALL
                                              (SPADCALL Q
                                               (QREFELT $ 25))
                                              (PROG1
                                               (LETT #2#
                                                (- |degP|
                                                 (SPADCALL
                                                  (QCDR |divid|)
                                                  (QREFELT $ 26))) . #3#)
                                                (|check-subtype|
                                                 (>= #2# 0)
                                                 '(|NonNegativeInteger|)
                                                 #2#))
                                              (QREFELT $ 28))
                                             (QREFELT $ 40)) . #3#)
                                           (PROGN
                                             (LETT |#G28| Q . #3#)
                                             (LETT |#G29|
                                              (QCDR |divid|) . #3#)
                                             (LETT P |#G28| . #3#)
                                             (LETT Q |#G29| . #3#))
                                           (EXIT
                                            (PROGN
                                              (LETT |#G30| |cf1| . #3#)
                                              (LETT |#G31| |cf2| . #3#)
                                              (LETT |#G32|
                                               (SPADCALL |oldcf1|
                                                (SPADCALL
                                                 (QCAR |divid|) |cf1|
                                                 (QREFELT $ 32))
                                                (QREFELT $ 33)) . #3#)
                                              (LETT |#G33|
                                               (SPADCALL |oldcf2|
                                                (SPADCALL
                                                 (QCAR |divid|) |cf2|
                                                 (QREFELT $ 32))
                                                (QREFELT $ 33)) . #3#)
                                              (LETT |oldcf1|
                                               |#G30| . #3#)
                                              (LETT |oldcf2|
                                               |#G31| . #3#)
                                              (LETT |cf1| |#G32| . #3#)
                                              (LETT |cf2| |#G33| . #3#))))))))
                                 NIL (GO G190) G191 (EXIT NIL)))))
           #1# (EXIT #1#))))) 

(DEFUN |PRS;semiResultantEuclideannaif;2polRR;7| (P Q $)
  (PROG (|#G36| |#G37| |degP| |degQ| #0=#:G2059 #1=#:G2070 |divid|
                #2=#:G2064 |a| |#G38| |#G39| |#G40| |#G41| |oldcf2|
                |cf2|)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |a| (|spadConstant| $ 8)
                            . #3=(|PRS;semiResultantEuclideannaif;2polRR;7|))
                      (LETT |oldcf2| (|spadConstant| $ 24) . #3#)
                      (LETT |cf2| (|spadConstant| $ 9) . #3#)
                      (EXIT (SEQ G190 NIL
                                 (SEQ (EXIT
                                       (COND
                                         ((SPADCALL Q (QREFELT $ 23))
                                          (PROGN
                                            (LETT #1#
                                             (CONS
                                              (|spadConstant| $ 24)
                                              (|spadConstant| $ 29)) . #3#)
                                            (GO #1#)))
                                         ('T
                                          (SEQ
                                           (PROGN
                                             (LETT |#G36|
                                              (SPADCALL P
                                               (QREFELT $ 26)) . #3#)
                                             (LETT |#G37|
                                              (SPADCALL Q
                                               (QREFELT $ 26)) . #3#)
                                             (LETT |degP| |#G36| . #3#)
                                             (LETT |degQ| |#G37| . #3#))
                                           (COND
                                             ((ODDP |degP|)
                                              (COND
                                                ((ODDP |degQ|)
                                                 (LETT |a|
                                                  (SPADCALL |a|
                                                   (QREFELT $ 39)) . #3#)))))
                                           (COND
                                             ((ZEROP |degQ|)
                                              (SEQ
                                               (LETT |a|
                                                (SPADCALL |a|
                                                 (SPADCALL
                                                  (SPADCALL Q
                                                   (QREFELT $ 25))
                                                  (PROG1
                                                   (LETT #0#
                                                    (- |degP| 1) . #3#)
                                                    (|check-subtype|
                                                     (>= #0# 0)
                                                     '(|NonNegativeInteger|)
                                                     #0#))
                                                  (QREFELT $ 28))
                                                 (QREFELT $ 40)) . #3#)
                                               (EXIT
                                                (PROGN
                                                  (LETT #1#
                                                   (CONS
                                                    (SPADCALL |a| |cf2|
                                                     (QREFELT $ 30))
                                                    (SPADCALL |a|
                                                     (SPADCALL Q
                                                      (QREFELT $ 25))
                                                     (QREFELT $ 40))) . #3#)
                                                  (GO #1#))))))
                                           (LETT |divid|
                                            (SPADCALL P Q
                                             (QREFELT $ 38)) . #3#)
                                           (LETT |a|
                                            (SPADCALL |a|
                                             (SPADCALL
                                              (SPADCALL Q
                                               (QREFELT $ 25))
                                              (PROG1
                                               (LETT #2#
                                                (- |degP|
                                                 (SPADCALL
                                                  (QCDR |divid|)
                                                  (QREFELT $ 26))) . #3#)
                                                (|check-subtype|
                                                 (>= #2# 0)
                                                 '(|NonNegativeInteger|)
                                                 #2#))
                                              (QREFELT $ 28))
                                             (QREFELT $ 40)) . #3#)
                                           (PROGN
                                             (LETT |#G38| Q . #3#)
                                             (LETT |#G39|
                                              (QCDR |divid|) . #3#)
                                             (LETT P |#G38| . #3#)
                                             (LETT Q |#G39| . #3#))
                                           (EXIT
                                            (PROGN
                                              (LETT |#G40| |cf2| . #3#)
                                              (LETT |#G41|
                                               (SPADCALL |oldcf2|
                                                (SPADCALL
                                                 (QCAR |divid|) |cf2|
                                                 (QREFELT $ 32))
                                                (QREFELT $ 33)) . #3#)
                                              (LETT |oldcf2|
                                               |#G40| . #3#)
                                              (LETT |cf2| |#G41| . #3#))))))))
                                 NIL (GO G190) G191 (EXIT NIL)))))
           #1# (EXIT #1#))))) 

(DEFUN |PRS;Lazard;2RNniR;8| (|x| |y| |n| $)
  (PROG (|b| #0=#:G2073 #1=#:G2083 |a| #2=#:G2075 |c| #3=#:G2077)
    (RETURN
      (SEQ (EXIT (COND
                   ((ZEROP |n|) (|error| "Lazard$PRS : n = 0"))
                   ((EQL |n| 1) |x|)
                   ('T
                    (SEQ (LETT |a| 1 . #4=(|PRS;Lazard;2RNniR;8|))
                         (SEQ G190
                              (COND
                                ((NULL (SEQ
                                        (LETT |b|
                                         (SPADCALL 2 |a|
                                          (QREFELT $ 47)) . #4#)
                                        (EXIT
                                         (COND
                                           ((< |n| |b|) 'NIL)
                                           ('T 'T)))))
                                 (GO G191)))
                              (SEQ (EXIT (LETT |a| |b| . #4#))) NIL
                              #5=(GO G190) G191 (EXIT NIL))
                         (LETT |c| |x| . #4#)
                         (LETT |n|
                               (PROG1 (LETT #0# (- |n| |a|) . #4#)
                                 (|check-subtype| (>= #0# 0)
                                     '(|NonNegativeInteger|) #0#)) . #4#)
                         (EXIT (SEQ G190 NIL
                                    (SEQ
                                     (EXIT
                                      (COND
                                        ((EQL |a| 1)
                                         (PROGN
                                           (LETT #1# |c| . #4#)
                                           (GO #1#)))
                                        ('T
                                         (SEQ
                                          (LETT |a|
                                           (QUOTIENT2 |a| 2) . #4#)
                                          (LETT |c|
                                           (PROG2
                                            (LETT #2#
                                             (SPADCALL
                                              (SPADCALL |c| |c|
                                               (QREFELT $ 40))
                                              |y| (QREFELT $ 36)) . #4#)
                                            (QCDR #2#)
                                             (|check-union|
                                              (QEQCAR #2# 0)
                                              (QREFELT $ 6) #2#)) . #4#)
                                          (EXIT
                                           (COND
                                             ((NULL (< |n| |a|))
                                              (SEQ
                                               (LETT |c|
                                                (PROG2
                                                 (LETT #2#
                                                  (SPADCALL
                                                   (SPADCALL |c| |x|
                                                    (QREFELT $ 40))
                                                   |y| (QREFELT $ 36)) . #4#)
                                                 (QCDR #2#)
                                                  (|check-union|
                                                   (QEQCAR #2# 0)
                                                   (QREFELT $ 6) #2#)) . #4#)
                                               (EXIT
                                                (LETT |n|
                                                 (PROG1
                                                  (LETT #3#
                                                   (- |n| |a|) . #4#)
                                                   (|check-subtype|
                                                    (>= #3# 0)
                                                    '(|NonNegativeInteger|)
                                                    #3#)) . #4#)))))))))))
                                    NIL #5# G191 (EXIT NIL)))))))
           #1# (EXIT #1#))))) 

(DEFUN |PRS;Lazard2;polR2RNnipolR;9| (F |x| |y| |n| $)
  (PROG (#0=#:G2084 #1=#:G2086 #2=#:G2090)
    (RETURN
      (SEQ (EXIT (COND
                   ((ZEROP |n|) (|error| "Lazard2$PRS : n = 0"))
                   ((EQL |n| 1) F)
                   ('T
                    (SEQ (LETT |x|
                               (SPADCALL |x| |y|
                                   (PROG1
                                    (LETT #0# (- |n| 1)
                                     . #3=(|PRS;Lazard2;polR2RNnipolR;9|))
                                     (|check-subtype| (>= #0# 0)
                                      '(|NonNegativeInteger|) #0#))
                                   (QREFELT $ 48)) . #3#)
                         (EXIT (PROGN
                                 (LETT #2#
                                       (PROG2
                                        (LETT #1#
                                         (SPADCALL
                                          (SPADCALL |x| F
                                           (QREFELT $ 30))
                                          |y| (QREFELT $ 18)) . #3#)
                                        (QCDR #1#)
                                         (|check-union| (QEQCAR #1# 0)
                                          (QREFELT $ 7) #1#)) . #3#)
                                 (GO #2#)))))))
           #2# (EXIT #2#))))) 

(DEFUN |PRS;Lazard3| (V |x| |y| |n| $)
  (PROG (#0=#:G2091 #1=#:G2094)
    (RETURN
      (SEQ (EXIT (COND
                   ((ZEROP |n|) (|error| "Lazard2$prs : n = 0"))
                   ((EQL |n| 1) V)
                   ('T
                    (SEQ (LETT |x|
                               (SPADCALL |x| |y|
                                   (PROG1
                                    (LETT #0# (- |n| 1)
                                     . #2=(|PRS;Lazard3|))
                                     (|check-subtype| (>= #0# 0)
                                      '(|NonNegativeInteger|) #0#))
                                   (QREFELT $ 48)) . #2#)
                         (EXIT (PROGN
                                 (LETT #1#
                                       (SPADCALL
                                        (SPADCALL |x| V (QREFELT $ 16))
                                        |y| (QREFELT $ 21)) . #2#)
                                 (GO #1#)))))))
           #1# (EXIT #1#))))) 

(DEFUN |PRS;nextsousResultant2;3polRRpolR;11| (P Q Z |s| $)
  (PROG (|#G59| |#G60| |#G61| |lcP| |c| |se| |#G62| |#G63| |d| |e|
                |#G64| |#G65| |#G66| |i| #0=#:G2107 H #1=#:G2096 A
                #2=#:G2106)
    (RETURN
      (SEQ (EXIT (SEQ (PROGN
                        (LETT |#G59| (SPADCALL P (QREFELT $ 25))
                              . #3=(|PRS;nextsousResultant2;3polRRpolR;11|))
                        (LETT |#G60| (SPADCALL Q (QREFELT $ 25)) . #3#)
                        (LETT |#G61| (SPADCALL Z (QREFELT $ 25)) . #3#)
                        (LETT |lcP| |#G59| . #3#)
                        (LETT |c| |#G60| . #3#)
                        (LETT |se| |#G61| . #3#))
                      (PROGN
                        (LETT |#G62| (SPADCALL P (QREFELT $ 26)) . #3#)
                        (LETT |#G63| (SPADCALL Q (QREFELT $ 26)) . #3#)
                        (LETT |d| |#G62| . #3#)
                        (LETT |e| |#G63| . #3#))
                      (PROGN
                        (LETT |#G64| (SPADCALL P (QREFELT $ 27)) . #3#)
                        (LETT |#G65| (SPADCALL Q (QREFELT $ 27)) . #3#)
                        (LETT |#G66|
                              (SPADCALL (SPADCALL Z (QREFELT $ 27))
                                  (QREFELT $ 50)) . #3#)
                        (LETT P |#G64| . #3#)
                        (LETT Q |#G65| . #3#)
                        (LETT H |#G66| . #3#))
                      (LETT A
                            (SPADCALL (SPADCALL P |e| (QREFELT $ 51)) H
                                (QREFELT $ 30)) . #3#)
                      (SEQ (LETT |i| (+ |e| 1) . #3#)
                           (LETT #0# (- |d| 1) . #3#) G190
                           (COND ((> |i| #0#) #4=(GO G191)))
                           (SEQ (LETT H
                                      (COND
                                        ((EQL
                                          (SPADCALL H (QREFELT $ 26))
                                          (- |e| 1))
                                         (SPADCALL
                                          (SPADCALL (QREFELT $ 12)
                                           (SPADCALL H (QREFELT $ 27))
                                           (QREFELT $ 32))
                                          (PROG2
                                           (LETT #1#
                                            (SPADCALL
                                             (SPADCALL
                                              (SPADCALL H
                                               (QREFELT $ 25))
                                              Q (QREFELT $ 30))
                                             |c| (QREFELT $ 18)) . #3#)
                                           (QCDR #1#)
                                            (|check-union|
                                             (QEQCAR #1# 0)
                                             (QREFELT $ 7) #1#))
                                          (QREFELT $ 33)))
                                        ('T
                                         (SPADCALL (QREFELT $ 12) H
                                          (QREFELT $ 32)))) . #3#)
                                (EXIT (LETT A
                                       (SPADCALL
                                        (SPADCALL
                                         (SPADCALL P |i|
                                          (QREFELT $ 51))
                                         H (QREFELT $ 30))
                                        A (QREFELT $ 31)) . #3#)))
                           (LETT |i| (+ |i| 1) . #3#) #5=(GO G190) G191
                           (EXIT NIL))
                      (SEQ G190
                           (COND
                             ((NULL (COND
                                      ((< (SPADCALL P (QREFELT $ 26))
                                        |e|)
                                       'NIL)
                                      ('T 'T)))
                              #4#))
                           (SEQ (EXIT (LETT P
                                       (SPADCALL P (QREFELT $ 27)) . #3#)))
                           NIL #5# G191 (EXIT NIL))
                      (LETT A
                            (SPADCALL A
                                (SPADCALL |se| P (QREFELT $ 30))
                                (QREFELT $ 31)) . #3#)
                      (LETT A
                            (PROG2 (LETT #1#
                                    (SPADCALL A |lcP| (QREFELT $ 18)) . #3#)
                                   (QCDR #1#)
                              (|check-union| (QEQCAR #1# 0)
                                  (QREFELT $ 7) #1#)) . #3#)
                      (LETT A
                            (COND
                              ((EQL (SPADCALL H (QREFELT $ 26))
                                    (- |e| 1))
                               (SPADCALL
                                   (SPADCALL |c|
                                    (SPADCALL
                                     (SPADCALL (QREFELT $ 12)
                                      (SPADCALL H (QREFELT $ 27))
                                      (QREFELT $ 32))
                                     A (QREFELT $ 31))
                                    (QREFELT $ 30))
                                   (SPADCALL
                                    (SPADCALL H (QREFELT $ 25)) Q
                                    (QREFELT $ 30))
                                   (QREFELT $ 33)))
                              ('T
                               (SPADCALL |c|
                                   (SPADCALL
                                    (SPADCALL (QREFELT $ 12) H
                                     (QREFELT $ 32))
                                    A (QREFELT $ 31))
                                   (QREFELT $ 30)))) . #3#)
                      (LETT A
                            (PROG2 (LETT #1#
                                    (SPADCALL A |s| (QREFELT $ 18)) . #3#)
                                   (QCDR #1#)
                              (|check-union| (QEQCAR #1# 0)
                                  (QREFELT $ 7) #1#)) . #3#)
                      (EXIT (PROGN
                              (LETT #2#
                                    (COND
                                      ((ODDP (- |d| |e|)) A)
                                      ('T (SPADCALL A (QREFELT $ 50)))) . #3#)
                              (GO #2#)))))
           #2# (EXIT #2#))))) 

(DEFUN |PRS;nextsousResultant3| (VP VQ |s| |ss| $)
  (PROG (|#G72| |#G73| P Q |#G74| |#G75| |lcP| |c| |e| |delta|
                #0=#:G2108 |#G76| |#G77| |r| |rr| |divid| |i|
                #1=#:G2121 #2=#:G2112 #3=#:G2120)
    (RETURN
      (SEQ (EXIT (SEQ (PROGN
                        (LETT |#G72| (SPADCALL VP 1 (QREFELT $ 54))
                              . #4=(|PRS;nextsousResultant3|))
                        (LETT |#G73|
                              (SPADCALL VQ 1 (QREFELT $ 54)) . #4#)
                        (LETT P |#G72| . #4#)
                        (LETT Q |#G73| . #4#))
                      (PROGN
                        (LETT |#G74| (SPADCALL P (QREFELT $ 25)) . #4#)
                        (LETT |#G75| (SPADCALL Q (QREFELT $ 25)) . #4#)
                        (LETT |lcP| |#G74| . #4#)
                        (LETT |c| |#G75| . #4#))
                      (LETT |e| (SPADCALL Q (QREFELT $ 26)) . #4#)
                      (SEQ (LETT |delta|
                                 (- (SPADCALL P (QREFELT $ 26)) |e|) . #4#)
                           (EXIT (COND
                                   ((EQL |delta| 1)
                                    (SEQ
                                     (LETT VP
                                      (SPADCALL
                                       (SPADCALL |c| VP (QREFELT $ 16))
                                       (SPADCALL
                                        (SPADCALL P |e| (QREFELT $ 51))
                                        VQ (QREFELT $ 16))
                                       (QREFELT $ 55)) . #4#)
                                     (LETT VP
                                      (SPADCALL VP |lcP|
                                       (QREFELT $ 21)) . #4#)
                                     (LETT VP
                                      (SPADCALL
                                       (SPADCALL |c|
                                        (SPADCALL VP
                                         (SPADCALL (QREFELT $ 12) VQ
                                          (QREFELT $ 15))
                                         (QREFELT $ 55))
                                        (QREFELT $ 16))
                                       (SPADCALL
                                        (SPADCALL Q
                                         (PROG1
                                          (LETT #0# (- |e| 1) . #4#)
                                           (|check-subtype| (>= #0# 0)
                                            '(|NonNegativeInteger|)
                                            #0#))
                                         (QREFELT $ 51))
                                        VQ (QREFELT $ 16))
                                       (QREFELT $ 56)) . #4#)
                                     (EXIT
                                      (LETT VP
                                       (SPADCALL VP |s| (QREFELT $ 21)) . #4#))))
                                   ('T
                                    (SEQ
                                     (PROGN
                                       (LETT |#G76|
                                        (SPADCALL |s| |lcP|
                                         (QREFELT $ 40)) . #4#)
                                       (LETT |#G77|
                                        (SPADCALL |ss| |c|
                                         (QREFELT $ 40)) . #4#)
                                       (LETT |r| |#G76| . #4#)
                                       (LETT |rr| |#G77| . #4#))
                                     (LETT |divid|
                                      (SPADCALL
                                       (SPADCALL |rr| P (QREFELT $ 30))
                                       Q (QREFELT $ 38)) . #4#)
                                     (SPADCALL VP 1
                                      (PROG2
                                       (LETT #2#
                                        (SPADCALL (QCDR |divid|) |r|
                                         (QREFELT $ 18)) . #4#)
                                       (QCDR #2#)
                                        (|check-union| (QEQCAR #2# 0)
                                         (QREFELT $ 7) #2#))
                                      (QREFELT $ 57))
                                     (EXIT
                                      (SEQ (LETT |i| 2 . #4#)
                                       (LETT #1# (QVSIZE VP) . #4#)
                                       G190
                                       (COND
                                         ((QSGREATERP |i| #1#)
                                          (GO G191)))
                                       (SEQ
                                        (SPADCALL VP |i|
                                         (SPADCALL
                                          (SPADCALL |rr|
                                           (SPADCALL VP |i|
                                            (QREFELT $ 54))
                                           (QREFELT $ 30))
                                          (SPADCALL
                                           (SPADCALL VQ |i|
                                            (QREFELT $ 54))
                                           (QCAR |divid|)
                                           (QREFELT $ 32))
                                          (QREFELT $ 33))
                                         (QREFELT $ 57))
                                        (EXIT
                                         (SPADCALL VP |i|
                                          (PROG2
                                           (LETT #2#
                                            (SPADCALL
                                             (SPADCALL VP |i|
                                              (QREFELT $ 54))
                                             |r| (QREFELT $ 18)) . #4#)
                                           (QCDR #2#)
                                            (|check-union|
                                             (QEQCAR #2# 0)
                                             (QREFELT $ 7) #2#))
                                          (QREFELT $ 57))))
                                       (LETT |i| (QSADD1 |i|) . #4#)
                                       (GO G190) G191 (EXIT NIL))))))))
                      (EXIT (PROGN
                              (LETT #3#
                                    (COND
                                      ((ODDP |delta|) VP)
                                      ('T (SPADCALL VP (QREFELT $ 58)))) . #4#)
                              (GO #3#)))))
           #3# (EXIT #3#))))) 

(DEFUN |PRS;algonew| (P Q $)
  (PROG (#0=#:G2122 |#G81| |#G82| #1=#:G2123 |delta| Z #2=#:G2129
            |#G83| |#G84| |s|)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |delta|
                            (PROG1 (LETT #0#
                                    (- (SPADCALL P (QREFELT $ 26))
                                     (SPADCALL Q (QREFELT $ 26)))
                                    . #3=(|PRS;algonew|))
                              (|check-subtype| (>= #0# 0)
                                  '(|NonNegativeInteger|) #0#)) . #3#)
                      (LETT |s|
                            (SPADCALL (SPADCALL Q (QREFELT $ 25))
                                |delta| (QREFELT $ 28)) . #3#)
                      (PROGN
                        (LETT |#G81| Q . #3#)
                        (LETT |#G82|
                              (SPADCALL P (SPADCALL Q (QREFELT $ 50))
                                  (QREFELT $ 59)) . #3#)
                        (LETT P |#G81| . #3#)
                        (LETT Q |#G82| . #3#))
                      (EXIT (SEQ G190 NIL
                                 (SEQ (EXIT
                                       (COND
                                         ((SPADCALL Q (QREFELT $ 23))
                                          (PROGN
                                            (LETT #2#
                                             (|spadConstant| $ 29) . #3#)
                                            (GO #2#)))
                                         ('T
                                          (SEQ
                                           (LETT |delta|
                                            (PROG1
                                             (LETT #1#
                                              (-
                                               (SPADCALL P
                                                (QREFELT $ 26))
                                               (SPADCALL Q
                                                (QREFELT $ 26))) . #3#)
                                              (|check-subtype|
                                               (>= #1# 0)
                                               '(|NonNegativeInteger|)
                                               #1#)) . #3#)
                                           (LETT Z
                                            (SPADCALL Q
                                             (SPADCALL Q
                                              (QREFELT $ 25))
                                             |s| |delta|
                                             (QREFELT $ 49)) . #3#)
                                           (EXIT
                                            (COND
                                              ((ZEROP
                                                (SPADCALL Z
                                                 (QREFELT $ 26)))
                                               (PROGN
                                                 (LETT #2#
                                                  (SPADCALL Z
                                                   (QREFELT $ 25)) . #3#)
                                                 (GO #2#)))
                                              ('T
                                               (SEQ
                                                (PROGN
                                                  (LETT |#G83| Q . #3#)
                                                  (LETT |#G84|
                                                   (SPADCALL P Q Z |s|
                                                    (QREFELT $ 52)) . #3#)
                                                  (LETT P |#G83| . #3#)
                                                  (LETT Q |#G84| . #3#))
                                                (EXIT
                                                 (LETT |s|
                                                  (SPADCALL Z
                                                   (QREFELT $ 25)) . #3#)))))))))))
                                 NIL (GO G190) G191 (EXIT NIL)))))
           #2# (EXIT #2#))))) 

(DEFUN |PRS;resultant;2polRR;14| (P Q $)
  (PROG (|#G87| |#G88| #0=#:G2136)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL Q (QREFELT $ 23))
                        (SPADCALL P (QREFELT $ 23)))
                    (|spadConstant| $ 29))
                   ('T
                    (SEQ (COND
                           ((< (SPADCALL P (QREFELT $ 26))
                               (SPADCALL Q (QREFELT $ 26)))
                            (SEQ (PROGN
                                   (LETT |#G87| Q
                                    . #1=(|PRS;resultant;2polRR;14|))
                                   (LETT |#G88| P . #1#)
                                   (LETT P |#G87| . #1#)
                                   (LETT Q |#G88| . #1#))
                                 (EXIT (COND
                                         ((ODDP
                                           (SPADCALL P (QREFELT $ 26)))
                                          (COND
                                            ((ODDP
                                              (SPADCALL Q
                                               (QREFELT $ 26)))
                                             (LETT Q
                                              (SPADCALL Q
                                               (QREFELT $ 50)) . #1#)))))))))
                         (EXIT (COND
                                 ((ZEROP (SPADCALL Q (QREFELT $ 26)))
                                  (SPADCALL (SPADCALL Q (QREFELT $ 25))
                                      (SPADCALL P (QREFELT $ 26))
                                      (QREFELT $ 28)))
                                 ((|HasCategory| (QREFELT $ 6)
                                      '(|Finite|))
                                  (SPADCALL P Q (QREFELT $ 41)))
                                 ('T
                                  (PROGN
                                    (LETT #0#
                                     (|PRS;algonew| P Q $) . #1#)
                                    (GO #0#)))))))))
           #0# (EXIT #0#))))) 

(DEFUN |PRS;subResultantEuclidean| (P Q $)
  (PROG (#0=#:G2139 |pdiv| |#G91| |#G92| |e| #1=#:G2141 |delta| |l|
            #2=#:G2148 |ss| |#G93| |#G94| VP VQ |s|)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |s|
                            (SPADCALL (SPADCALL Q (QREFELT $ 25))
                                (PROG1 (LETT #0#
                                        (- (SPADCALL P (QREFELT $ 26))
                                         (SPADCALL Q (QREFELT $ 26)))
                                        . #3=(|PRS;subResultantEuclidean|))
                                  (|check-subtype| (>= #0# 0)
                                      '(|NonNegativeInteger|) #0#))
                                (QREFELT $ 28)) . #3#)
                      (LETT VP
                            (VECTOR Q (|spadConstant| $ 24)
                                    (|spadConstant| $ 9)) . #3#)
                      (LETT |pdiv|
                            (SPADCALL P (SPADCALL Q (QREFELT $ 50))
                                (QREFELT $ 35)) . #3#)
                      (LETT VQ
                            (VECTOR (QVELT |pdiv| 2)
                                    (SPADCALL (QVELT |pdiv| 0)
                                     (QREFELT $ 13))
                                    (QVELT |pdiv| 1)) . #3#)
                      (EXIT (SEQ G190 NIL
                                 (SEQ (PROGN
                                        (LETT |#G91|
                                         (SPADCALL VP 1 (QREFELT $ 54)) . #3#)
                                        (LETT |#G92|
                                         (SPADCALL VQ 1 (QREFELT $ 54)) . #3#)
                                        (LETT P |#G91| . #3#)
                                        (LETT Q |#G92| . #3#))
                                      (EXIT
                                       (COND
                                         ((SPADCALL Q (QREFELT $ 23))
                                          (PROGN
                                            (LETT #2#
                                             (VECTOR
                                              (|spadConstant| $ 24)
                                              (|spadConstant| $ 24)
                                              (|spadConstant| $ 29)) . #3#)
                                            (GO #2#)))
                                         ('T
                                          (SEQ
                                           (LETT |e|
                                            (SPADCALL Q (QREFELT $ 26)) . #3#)
                                           (LETT |delta|
                                            (PROG1
                                             (LETT #1#
                                              (-
                                               (SPADCALL P
                                                (QREFELT $ 26))
                                               |e|) . #3#)
                                              (|check-subtype|
                                               (>= #1# 0)
                                               '(|NonNegativeInteger|)
                                               #1#)) . #3#)
                                           (COND
                                             ((ZEROP |e|)
                                              (SEQ
                                               (LETT |l|
                                                (|PRS;Lazard3| VQ
                                                 (SPADCALL Q
                                                  (QREFELT $ 25))
                                                 |s| |delta| $) . #3#)
                                               (EXIT
                                                (PROGN
                                                  (LETT #2#
                                                   (VECTOR
                                                    (SPADCALL |l| 2
                                                     (QREFELT $ 54))
                                                    (SPADCALL |l| 3
                                                     (QREFELT $ 54))
                                                    (SPADCALL
                                                     (SPADCALL |l| 1
                                                      (QREFELT $ 54))
                                                     (QREFELT $ 25))) . #3#)
                                                  (GO #2#))))))
                                           (LETT |ss|
                                            (SPADCALL
                                             (SPADCALL Q
                                              (QREFELT $ 25))
                                             |s| |delta|
                                             (QREFELT $ 48)) . #3#)
                                           (PROGN
                                             (LETT |#G93| VQ . #3#)
                                             (LETT |#G94|
                                              (|PRS;nextsousResultant3|
                                               VP VQ |s| |ss| $) . #3#)
                                             (LETT VP |#G93| . #3#)
                                             (LETT VQ |#G94| . #3#))
                                           (EXIT (LETT |s| |ss| . #3#)))))))
                                 NIL (GO G190) G191 (EXIT NIL)))))
           #2# (EXIT #2#))))) 

(DEFUN |PRS;resultantEuclidean;2polRR;16| (P Q $)
  (PROG (|e| |l| |degP| #0=#:G2156 |s| #1=#:G2161)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL P (QREFELT $ 23))
                        (SPADCALL Q (QREFELT $ 23)))
                    (VECTOR (|spadConstant| $ 24) (|spadConstant| $ 24)
                            (|spadConstant| $ 29)))
                   ('T
                    (SEQ (COND
                           ((< (SPADCALL P (QREFELT $ 26))
                               (SPADCALL Q (QREFELT $ 26)))
                            (SEQ (LETT |e|
                                       (COND
                                         ((ODDP
                                           (SPADCALL P (QREFELT $ 26)))
                                          (COND
                                            ((ODDP
                                              (SPADCALL Q
                                               (QREFELT $ 26)))
                                             -1)
                                            ('T 1)))
                                         ('T 1))
                                       . #2=(|PRS;resultantEuclidean;2polRR;16|))
                                 (LETT |l|
                                       (SPADCALL Q
                                        (SPADCALL |e| P (QREFELT $ 61))
                                        (QREFELT $ 62)) . #2#)
                                 (EXIT (PROGN
                                         (LETT #1#
                                          (VECTOR
                                           (SPADCALL |e| (QVELT |l| 1)
                                            (QREFELT $ 61))
                                           (QVELT |l| 0) (QVELT |l| 2)) . #2#)
                                         (GO #1#))))))
                         (COND
                           ((ZEROP (SPADCALL Q (QREFELT $ 26)))
                            (SEQ (LETT |degP|
                                       (SPADCALL P (QREFELT $ 26)) . #2#)
                                 (EXIT (COND
                                         ((ZEROP |degP|)
                                          (|error|
                                           "resultantEuclidean$PRS : constant polynomials"))
                                         ('T
                                          (SEQ
                                           (LETT |s|
                                            (SPADCALL
                                             (SPADCALL Q
                                              (QREFELT $ 25))
                                             (PROG1
                                              (LETT #0#
                                               (- |degP| 1) . #2#)
                                               (|check-subtype|
                                                (>= #0# 0)
                                                '(|NonNegativeInteger|)
                                                #0#))
                                             (QREFELT $ 28)) . #2#)
                                           (EXIT
                                            (PROGN
                                              (LETT #1#
                                               (VECTOR
                                                (|spadConstant| $ 24)
                                                (SPADCALL |s|
                                                 (QREFELT $ 13))
                                                (SPADCALL |s|
                                                 (SPADCALL Q
                                                  (QREFELT $ 25))
                                                 (QREFELT $ 40))) . #2#)
                                              (GO #1#))))))))))
                         (EXIT (COND
                                 ((|HasCategory| (QREFELT $ 6)
                                      '(|Finite|))
                                  (SPADCALL P Q (QREFELT $ 43)))
                                 ('T
                                  (PROGN
                                    (LETT #1#
                                     (|PRS;subResultantEuclidean| P Q
                                      $) . #2#)
                                    (GO #1#)))))))))
           #1# (EXIT #1#))))) 

(DEFUN |PRS;semiSubResultantEuclidean| (P Q $)
  (PROG (#0=#:G2164 |pdiv| |#G99| |#G100| |e| #1=#:G2166 |delta| |l|
            #2=#:G2173 |ss| |#G101| |#G102| VP VQ |s|)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |s|
                            (SPADCALL (SPADCALL Q (QREFELT $ 25))
                                (PROG1 (LETT #0#
                                        (- (SPADCALL P (QREFELT $ 26))
                                         (SPADCALL Q (QREFELT $ 26)))
                                        . #3=(|PRS;semiSubResultantEuclidean|))
                                  (|check-subtype| (>= #0# 0)
                                      '(|NonNegativeInteger|) #0#))
                                (QREFELT $ 28)) . #3#)
                      (LETT VP (VECTOR Q (|spadConstant| $ 9)) . #3#)
                      (LETT |pdiv|
                            (SPADCALL P (SPADCALL Q (QREFELT $ 50))
                                (QREFELT $ 35)) . #3#)
                      (LETT VQ
                            (VECTOR (QVELT |pdiv| 2) (QVELT |pdiv| 1)) . #3#)
                      (EXIT (SEQ G190 NIL
                                 (SEQ (PROGN
                                        (LETT |#G99|
                                         (SPADCALL VP 1 (QREFELT $ 54)) . #3#)
                                        (LETT |#G100|
                                         (SPADCALL VQ 1 (QREFELT $ 54)) . #3#)
                                        (LETT P |#G99| . #3#)
                                        (LETT Q |#G100| . #3#))
                                      (EXIT
                                       (COND
                                         ((SPADCALL Q (QREFELT $ 23))
                                          (PROGN
                                            (LETT #2#
                                             (CONS
                                              (|spadConstant| $ 24)
                                              (|spadConstant| $ 29)) . #3#)
                                            (GO #2#)))
                                         ('T
                                          (SEQ
                                           (LETT |e|
                                            (SPADCALL Q (QREFELT $ 26)) . #3#)
                                           (LETT |delta|
                                            (PROG1
                                             (LETT #1#
                                              (-
                                               (SPADCALL P
                                                (QREFELT $ 26))
                                               |e|) . #3#)
                                              (|check-subtype|
                                               (>= #1# 0)
                                               '(|NonNegativeInteger|)
                                               #1#)) . #3#)
                                           (COND
                                             ((ZEROP |e|)
                                              (SEQ
                                               (LETT |l|
                                                (|PRS;Lazard3| VQ
                                                 (SPADCALL Q
                                                  (QREFELT $ 25))
                                                 |s| |delta| $) . #3#)
                                               (EXIT
                                                (PROGN
                                                  (LETT #2#
                                                   (CONS
                                                    (SPADCALL |l| 2
                                                     (QREFELT $ 54))
                                                    (SPADCALL
                                                     (SPADCALL |l| 1
                                                      (QREFELT $ 54))
                                                     (QREFELT $ 25))) . #3#)
                                                  (GO #2#))))))
                                           (LETT |ss|
                                            (SPADCALL
                                             (SPADCALL Q
                                              (QREFELT $ 25))
                                             |s| |delta|
                                             (QREFELT $ 48)) . #3#)
                                           (PROGN
                                             (LETT |#G101| VQ . #3#)
                                             (LETT |#G102|
                                              (|PRS;nextsousResultant3|
                                               VP VQ |s| |ss| $) . #3#)
                                             (LETT VP |#G101| . #3#)
                                             (LETT VQ |#G102| . #3#))
                                           (EXIT (LETT |s| |ss| . #3#)))))))
                                 NIL (GO G190) G191 (EXIT NIL)))))
           #2# (EXIT #2#))))) 

(DEFUN |PRS;semiResultantEuclidean2;2polRR;18| (P Q $)
  (PROG (|degP| #0=#:G2177 |s| #1=#:G2183)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL P (QREFELT $ 23))
                        (SPADCALL Q (QREFELT $ 23)))
                    (CONS (|spadConstant| $ 24) (|spadConstant| $ 29)))
                   ('T
                    (COND
                      ((< (SPADCALL P (QREFELT $ 26))
                          (SPADCALL Q (QREFELT $ 26)))
                       (|error| "semiResultantEuclidean2 : bad degrees"))
                      ('T
                       (SEQ (COND
                              ((ZEROP (SPADCALL Q (QREFELT $ 26)))
                               (SEQ (LETT |degP|
                                     (SPADCALL P (QREFELT $ 26))
                                     . #2=(|PRS;semiResultantEuclidean2;2polRR;18|))
                                    (EXIT
                                     (COND
                                       ((ZEROP |degP|)
                                        (|error|
                                         "semiResultantEuclidean2 : constant polynomials"))
                                       ('T
                                        (SEQ
                                         (LETT |s|
                                          (SPADCALL
                                           (SPADCALL Q (QREFELT $ 25))
                                           (PROG1
                                            (LETT #0#
                                             (- |degP| 1) . #2#)
                                             (|check-subtype|
                                              (>= #0# 0)
                                              '(|NonNegativeInteger|)
                                              #0#))
                                           (QREFELT $ 28)) . #2#)
                                         (EXIT
                                          (PROGN
                                            (LETT #1#
                                             (CONS
                                              (SPADCALL |s|
                                               (QREFELT $ 13))
                                              (SPADCALL |s|
                                               (SPADCALL Q
                                                (QREFELT $ 25))
                                               (QREFELT $ 40))) . #2#)
                                            (GO #1#))))))))))
                            (EXIT (COND
                                    ((|HasCategory| (QREFELT $ 6)
                                      '(|Finite|))
                                     (SPADCALL P Q (QREFELT $ 45)))
                                    ('T
                                     (PROGN
                                       (LETT #1#
                                        (|PRS;semiSubResultantEuclidean|
                                         P Q $) . #2#)
                                       (GO #1#)))))))))))
           #1# (EXIT #1#))))) 

(DEFUN |PRS;semiResultantEuclidean1;2polRR;19| (P Q $)
  (PROG (|result|)
    (RETURN
      (SEQ (LETT |result| (SPADCALL P Q (QREFELT $ 62))
                 |PRS;semiResultantEuclidean1;2polRR;19|)
           (EXIT (CONS (QVELT |result| 0) (QVELT |result| 2))))))) 

(DEFUN |PRS;indiceSubResultant;2polRNnipolR;20| (P Q |i| $)
  (PROG (|#G110| |#G111| #0=#:G2193 |delta| #1=#:G2195 #2=#:G2200
                 |#G112| |#G113| |#G114| |#G115| |degP| |degQ|
                 #3=#:G2202 Z #4=#:G2209 |#G116| |#G117| |s|)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL Q (QREFELT $ 23))
                        (SPADCALL P (QREFELT $ 23)))
                    (|spadConstant| $ 24))
                   ('T
                    (SEQ (COND
                           ((< (SPADCALL P (QREFELT $ 26))
                               (SPADCALL Q (QREFELT $ 26)))
                            (SEQ (PROGN
                                   (LETT |#G110| Q
                                    . #5=(|PRS;indiceSubResultant;2polRNnipolR;20|))
                                   (LETT |#G111| P . #5#)
                                   (LETT P |#G110| . #5#)
                                   (LETT Q |#G111| . #5#))
                                 (EXIT (COND
                                         ((ODDP
                                           (-
                                            (SPADCALL P (QREFELT $ 26))
                                            |i|))
                                          (COND
                                            ((ODDP
                                              (-
                                               (SPADCALL Q
                                                (QREFELT $ 26))
                                               |i|))
                                             (LETT Q
                                              (SPADCALL Q
                                               (QREFELT $ 50)) . #5#)))))))))
                         (COND
                           ((EQL |i| (SPADCALL Q (QREFELT $ 26)))
                            (SEQ (LETT |delta|
                                       (PROG1
                                        (LETT #0#
                                         (- (SPADCALL P (QREFELT $ 26))
                                          (SPADCALL Q (QREFELT $ 26))) . #5#)
                                         (|check-subtype| (>= #0# 0)
                                          '(|NonNegativeInteger|) #0#)) . #5#)
                                 (EXIT (COND
                                         ((ZEROP |delta|)
                                          (|error|
                                           "indiceSubResultant$PRS : bad degrees"))
                                         ('T
                                          (SEQ
                                           (LETT |s|
                                            (SPADCALL
                                             (SPADCALL Q
                                              (QREFELT $ 25))
                                             (PROG1
                                              (LETT #1#
                                               (- |delta| 1) . #5#)
                                               (|check-subtype|
                                                (>= #1# 0)
                                                '(|NonNegativeInteger|)
                                                #1#))
                                             (QREFELT $ 28)) . #5#)
                                           (EXIT
                                            (PROGN
                                              (LETT #4#
                                               (SPADCALL |s| Q
                                                (QREFELT $ 30)) . #5#)
                                              (GO #4#))))))))))
                         (EXIT (COND
                                 ((< (SPADCALL Q (QREFELT $ 26)) |i|)
                                  (|spadConstant| $ 24))
                                 ('T
                                  (SEQ (LETT |s|
                                        (SPADCALL
                                         (SPADCALL Q (QREFELT $ 25))
                                         (PROG1
                                          (LETT #2#
                                           (-
                                            (SPADCALL P (QREFELT $ 26))
                                            (SPADCALL Q (QREFELT $ 26))) . #5#)
                                           (|check-subtype| (>= #2# 0)
                                            '(|NonNegativeInteger|)
                                            #2#))
                                         (QREFELT $ 28)) . #5#)
                                       (PROGN
                                         (LETT |#G112| Q . #5#)
                                         (LETT |#G113|
                                          (SPADCALL P
                                           (SPADCALL Q (QREFELT $ 50))
                                           (QREFELT $ 59)) . #5#)
                                         (LETT P |#G112| . #5#)
                                         (LETT Q |#G113| . #5#))
                                       (EXIT
                                        (SEQ G190 NIL
                                         (SEQ
                                          (PROGN
                                            (LETT |#G114|
                                             (SPADCALL P
                                              (QREFELT $ 26)) . #5#)
                                            (LETT |#G115|
                                             (SPADCALL Q
                                              (QREFELT $ 26)) . #5#)
                                            (LETT |degP| |#G114| . #5#)
                                            (LETT |degQ| |#G115| . #5#))
                                          (EXIT
                                           (COND
                                             ((EQL |i| (- |degP| 1))
                                              (PROGN
                                                (LETT #4# Q . #5#)
                                                (GO #4#)))
                                             ((OR
                                               (SPADCALL Q
                                                (QREFELT $ 23))
                                               (< |degQ| |i|))
                                              (PROGN
                                                (LETT #4#
                                                 (|spadConstant| $ 24) . #5#)
                                                (GO #4#)))
                                             ('T
                                              (SEQ
                                               (LETT Z
                                                (SPADCALL Q
                                                 (SPADCALL Q
                                                  (QREFELT $ 25))
                                                 |s|
                                                 (PROG1
                                                  (LETT #3#
                                                   (- |degP| |degQ|) . #5#)
                                                   (|check-subtype|
                                                    (>= #3# 0)
                                                    '(|NonNegativeInteger|)
                                                    #3#))
                                                 (QREFELT $ 49)) . #5#)
                                               (EXIT
                                                (COND
                                                  ((EQL |i| |degQ|)
                                                   (PROGN
                                                     (LETT #4# Z . #5#)
                                                     (GO #4#)))
                                                  ('T
                                                   (SEQ
                                                    (PROGN
                                                      (LETT |#G116|
                                                       Q . #5#)
                                                      (LETT |#G117|
                                                       (SPADCALL P Q Z
                                                        |s|
                                                        (QREFELT $ 52)) . #5#)
                                                      (LETT P
                                                       |#G116| . #5#)
                                                      (LETT Q
                                                       |#G117| . #5#))
                                                    (EXIT
                                                     (LETT |s|
                                                      (SPADCALL Z
                                                       (QREFELT $ 25)) . #5#)))))))))))
                                         NIL (GO G190) G191 (EXIT NIL)))))))))))
           #4# (EXIT #4#))))) 

(DEFUN |PRS;indiceSubResultantEuclidean;2polRNniR;21| (P Q |i| $)
  (PROG (|e| |l| #0=#:G2218 |delta| #1=#:G2220 #2=#:G2225 |pdiv|
             |#G125| |#G126| |#G127| |#G128| |degP| |degQ| #3=#:G2227
             VZ #4=#:G2235 |ss| |#G129| |#G130| VP VQ |s|)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL Q (QREFELT $ 23))
                        (SPADCALL P (QREFELT $ 23)))
                    (VECTOR (|spadConstant| $ 24) (|spadConstant| $ 24)
                            (|spadConstant| $ 24)))
                   ('T
                    (SEQ (COND
                           ((< (SPADCALL P (QREFELT $ 26))
                               (SPADCALL Q (QREFELT $ 26)))
                            (SEQ (LETT |e|
                                       (COND
                                         ((ODDP
                                           (-
                                            (SPADCALL P (QREFELT $ 26))
                                            |i|))
                                          (COND
                                            ((ODDP
                                              (-
                                               (SPADCALL Q
                                                (QREFELT $ 26))
                                               |i|))
                                             (SPADCALL
                                              (|spadConstant| $ 8)
                                              (QREFELT $ 39)))
                                            ('T (|spadConstant| $ 8))))
                                         ('T (|spadConstant| $ 8)))
                                       . #5=(|PRS;indiceSubResultantEuclidean;2polRNniR;21|))
                                 (LETT |l|
                                       (SPADCALL Q
                                        (SPADCALL |e| P (QREFELT $ 30))
                                        |i| (QREFELT $ 68)) . #5#)
                                 (EXIT (PROGN
                                         (LETT #4#
                                          (VECTOR
                                           (SPADCALL |e| (QVELT |l| 1)
                                            (QREFELT $ 30))
                                           (QVELT |l| 0) (QVELT |l| 2)) . #5#)
                                         (GO #4#))))))
                         (COND
                           ((EQL |i| (SPADCALL Q (QREFELT $ 26)))
                            (SEQ (LETT |delta|
                                       (PROG1
                                        (LETT #0#
                                         (- (SPADCALL P (QREFELT $ 26))
                                          (SPADCALL Q (QREFELT $ 26))) . #5#)
                                         (|check-subtype| (>= #0# 0)
                                          '(|NonNegativeInteger|) #0#)) . #5#)
                                 (EXIT (COND
                                         ((ZEROP |delta|)
                                          (|error|
                                           "indiceSubResultantEuclidean$PRS : bad degrees"))
                                         ('T
                                          (SEQ
                                           (LETT |s|
                                            (SPADCALL
                                             (SPADCALL Q
                                              (QREFELT $ 25))
                                             (PROG1
                                              (LETT #1#
                                               (- |delta| 1) . #5#)
                                               (|check-subtype|
                                                (>= #1# 0)
                                                '(|NonNegativeInteger|)
                                                #1#))
                                             (QREFELT $ 28)) . #5#)
                                           (EXIT
                                            (PROGN
                                              (LETT #4#
                                               (VECTOR
                                                (|spadConstant| $ 24)
                                                (SPADCALL |s|
                                                 (QREFELT $ 13))
                                                (SPADCALL |s| Q
                                                 (QREFELT $ 30))) . #5#)
                                              (GO #4#))))))))))
                         (EXIT (COND
                                 ((< (SPADCALL Q (QREFELT $ 26)) |i|)
                                  (VECTOR (|spadConstant| $ 24)
                                          (|spadConstant| $ 24)
                                          (|spadConstant| $ 24)))
                                 ('T
                                  (SEQ (LETT |s|
                                        (SPADCALL
                                         (SPADCALL Q (QREFELT $ 25))
                                         (PROG1
                                          (LETT #2#
                                           (-
                                            (SPADCALL P (QREFELT $ 26))
                                            (SPADCALL Q (QREFELT $ 26))) . #5#)
                                           (|check-subtype| (>= #2# 0)
                                            '(|NonNegativeInteger|)
                                            #2#))
                                         (QREFELT $ 28)) . #5#)
                                       (LETT VP
                                        (VECTOR Q (|spadConstant| $ 24)
                                         (|spadConstant| $ 9)) . #5#)
                                       (LETT |pdiv|
                                        (SPADCALL P
                                         (SPADCALL Q (QREFELT $ 50))
                                         (QREFELT $ 35)) . #5#)
                                       (LETT VQ
                                        (VECTOR (QVELT |pdiv| 2)
                                         (SPADCALL (QVELT |pdiv| 0)
                                          (QREFELT $ 13))
                                         (QVELT |pdiv| 1)) . #5#)
                                       (EXIT
                                        (SEQ G190 NIL
                                         (SEQ
                                          (PROGN
                                            (LETT |#G125|
                                             (SPADCALL VP 1
                                              (QREFELT $ 54)) . #5#)
                                            (LETT |#G126|
                                             (SPADCALL VQ 1
                                              (QREFELT $ 54)) . #5#)
                                            (LETT P |#G125| . #5#)
                                            (LETT Q |#G126| . #5#))
                                          (EXIT
                                           (COND
                                             ((SPADCALL Q
                                               (QREFELT $ 23))
                                              (PROGN
                                                (LETT #4#
                                                 (VECTOR
                                                  (|spadConstant| $ 24)
                                                  (|spadConstant| $ 24)
                                                  (|spadConstant| $ 24)) . #5#)
                                                (GO #4#)))
                                             ('T
                                              (SEQ
                                               (PROGN
                                                 (LETT |#G127|
                                                  (SPADCALL P
                                                   (QREFELT $ 26)) . #5#)
                                                 (LETT |#G128|
                                                  (SPADCALL Q
                                                   (QREFELT $ 26)) . #5#)
                                                 (LETT |degP|
                                                  |#G127| . #5#)
                                                 (LETT |degQ|
                                                  |#G128| . #5#))
                                               (EXIT
                                                (COND
                                                  ((EQL |i|
                                                    (- |degP| 1))
                                                   (PROGN
                                                     (LETT #4#
                                                      (VECTOR
                                                       (SPADCALL VQ 2
                                                        (QREFELT $ 54))
                                                       (SPADCALL VQ 3
                                                        (QREFELT $ 54))
                                                       (SPADCALL VQ 1
                                                        (QREFELT $ 54))) . #5#)
                                                     (GO #4#)))
                                                  ((< |degQ| |i|)
                                                   (PROGN
                                                     (LETT #4#
                                                      (VECTOR
                                                       (|spadConstant|
                                                        $ 24)
                                                       (|spadConstant|
                                                        $ 24)
                                                       (|spadConstant|
                                                        $ 24)) . #5#)
                                                     (GO #4#)))
                                                  ('T
                                                   (SEQ
                                                    (LETT VZ
                                                     (|PRS;Lazard3| VQ
                                                      (SPADCALL Q
                                                       (QREFELT $ 25))
                                                      |s|
                                                      (PROG1
                                                       (LETT #3#
                                                        (- |degP|
                                                         |degQ|) . #5#)
                                                        (|check-subtype|
                                                         (>= #3# 0)
                                                         '(|NonNegativeInteger|)
                                                         #3#))
                                                      $) . #5#)
                                                    (EXIT
                                                     (COND
                                                       ((EQL |i|
                                                         |degQ|)
                                                        (PROGN
                                                          (LETT #4#
                                                           (VECTOR
                                                            (SPADCALL
                                                             VZ 2
                                                             (QREFELT $
                                                              54))
                                                            (SPADCALL
                                                             VZ 3
                                                             (QREFELT $
                                                              54))
                                                            (SPADCALL
                                                             VZ 1
                                                             (QREFELT $
                                                              54))) . #5#)
                                                          (GO #4#)))
                                                       ('T
                                                        (SEQ
                                                         (LETT |ss|
                                                          (SPADCALL
                                                           (SPADCALL VZ
                                                            1
                                                            (QREFELT $
                                                             54))
                                                           (QREFELT $
                                                            25)) . #5#)
                                                         (PROGN
                                                           (LETT
                                                            |#G129|
                                                            VQ . #5#)
                                                           (LETT
                                                            |#G130|
                                                            (|PRS;nextsousResultant3|
                                                             VP VQ |s|
                                                             |ss| $) . #5#)
                                                           (LETT VP
                                                            |#G129| . #5#)
                                                           (LETT VQ
                                                            |#G130| . #5#))
                                                         (EXIT
                                                          (LETT |s|
                                                           |ss| . #5#)))))))))))))))
                                         NIL (GO G190) G191 (EXIT NIL)))))))))))
           #4# (EXIT #4#))))) 

(DEFUN |PRS;semiIndiceSubResultantEuclidean;2polRNniR;22| (P Q |i| $)
  (PROG (#0=#:G2239 |delta| #1=#:G2241 #2=#:G2246 |pdiv| |#G134|
            |#G135| |#G136| |#G137| |degP| |degQ| #3=#:G2248 VZ
            #4=#:G2258 |ss| |#G138| |#G139| VP VQ |s|)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL Q (QREFELT $ 23))
                        (SPADCALL P (QREFELT $ 23)))
                    (CONS (|spadConstant| $ 24) (|spadConstant| $ 24)))
                   ('T
                    (COND
                      ((< (SPADCALL P (QREFELT $ 26))
                          (SPADCALL Q (QREFELT $ 26)))
                       (|error| "semiIndiceSubResultantEuclidean$PRS : bad degrees"))
                      ('T
                       (SEQ (COND
                              ((EQL |i| (SPADCALL Q (QREFELT $ 26)))
                               (SEQ (LETT |delta|
                                     (PROG1
                                      (LETT #0#
                                       (- (SPADCALL P (QREFELT $ 26))
                                        (SPADCALL Q (QREFELT $ 26)))
                                       . #5=(|PRS;semiIndiceSubResultantEuclidean;2polRNniR;22|))
                                       (|check-subtype| (>= #0# 0)
                                        '(|NonNegativeInteger|) #0#)) . #5#)
                                    (EXIT
                                     (COND
                                       ((ZEROP |delta|)
                                        (|error|
                                         "semiIndiceSubResultantEuclidean$PRS : bad degrees"))
                                       ('T
                                        (SEQ
                                         (LETT |s|
                                          (SPADCALL
                                           (SPADCALL Q (QREFELT $ 25))
                                           (PROG1
                                            (LETT #1#
                                             (- |delta| 1) . #5#)
                                             (|check-subtype|
                                              (>= #1# 0)
                                              '(|NonNegativeInteger|)
                                              #1#))
                                           (QREFELT $ 28)) . #5#)
                                         (EXIT
                                          (PROGN
                                            (LETT #4#
                                             (CONS
                                              (SPADCALL |s|
                                               (QREFELT $ 13))
                                              (SPADCALL |s| Q
                                               (QREFELT $ 30))) . #5#)
                                            (GO #4#))))))))))
                            (EXIT (COND
                                    ((< (SPADCALL Q (QREFELT $ 26))
                                      |i|)
                                     (CONS (|spadConstant| $ 24)
                                      (|spadConstant| $ 24)))
                                    ('T
                                     (SEQ
                                      (LETT |s|
                                       (SPADCALL
                                        (SPADCALL Q (QREFELT $ 25))
                                        (PROG1
                                         (LETT #2#
                                          (-
                                           (SPADCALL P (QREFELT $ 26))
                                           (SPADCALL Q (QREFELT $ 26))) . #5#)
                                          (|check-subtype| (>= #2# 0)
                                           '(|NonNegativeInteger|) #2#))
                                        (QREFELT $ 28)) . #5#)
                                      (LETT VP
                                       (VECTOR Q (|spadConstant| $ 9)) . #5#)
                                      (LETT |pdiv|
                                       (SPADCALL P
                                        (SPADCALL Q (QREFELT $ 50))
                                        (QREFELT $ 35)) . #5#)
                                      (LETT VQ
                                       (VECTOR (QVELT |pdiv| 2)
                                        (QVELT |pdiv| 1)) . #5#)
                                      (EXIT
                                       (SEQ G190 NIL
                                        (SEQ
                                         (PROGN
                                           (LETT |#G134|
                                            (SPADCALL VP 1
                                             (QREFELT $ 54)) . #5#)
                                           (LETT |#G135|
                                            (SPADCALL VQ 1
                                             (QREFELT $ 54)) . #5#)
                                           (LETT P |#G134| . #5#)
                                           (LETT Q |#G135| . #5#))
                                         (EXIT
                                          (COND
                                            ((SPADCALL Q
                                              (QREFELT $ 23))
                                             (PROGN
                                               (LETT #4#
                                                (CONS
                                                 (|spadConstant| $ 24)
                                                 (|spadConstant| $ 24)) . #5#)
                                               (GO #4#)))
                                            ('T
                                             (SEQ
                                              (PROGN
                                                (LETT |#G136|
                                                 (SPADCALL P
                                                  (QREFELT $ 26)) . #5#)
                                                (LETT |#G137|
                                                 (SPADCALL Q
                                                  (QREFELT $ 26)) . #5#)
                                                (LETT |degP|
                                                 |#G136| . #5#)
                                                (LETT |degQ|
                                                 |#G137| . #5#))
                                              (EXIT
                                               (COND
                                                 ((EQL |i|
                                                   (- |degP| 1))
                                                  (PROGN
                                                    (LETT #4#
                                                     (CONS
                                                      (SPADCALL VQ 2
                                                       (QREFELT $ 54))
                                                      (SPADCALL VQ 1
                                                       (QREFELT $ 54))) . #5#)
                                                    (GO #4#)))
                                                 ((< |degQ| |i|)
                                                  (PROGN
                                                    (LETT #4#
                                                     (CONS
                                                      (|spadConstant| $
                                                       24)
                                                      (|spadConstant| $
                                                       24)) . #5#)
                                                    (GO #4#)))
                                                 ('T
                                                  (SEQ
                                                   (LETT VZ
                                                    (|PRS;Lazard3| VQ
                                                     (SPADCALL Q
                                                      (QREFELT $ 25))
                                                     |s|
                                                     (PROG1
                                                      (LETT #3#
                                                       (- |degP|
                                                        |degQ|) . #5#)
                                                       (|check-subtype|
                                                        (>= #3# 0)
                                                        '(|NonNegativeInteger|)
                                                        #3#))
                                                     $) . #5#)
                                                   (EXIT
                                                    (COND
                                                      ((EQL |i| |degQ|)
                                                       (PROGN
                                                         (LETT #4#
                                                          (CONS
                                                           (SPADCALL VZ
                                                            2
                                                            (QREFELT $
                                                             54))
                                                           (SPADCALL VZ
                                                            1
                                                            (QREFELT $
                                                             54))) . #5#)
                                                         (GO #4#)))
                                                      ('T
                                                       (SEQ
                                                        (LETT |ss|
                                                         (SPADCALL
                                                          (SPADCALL VZ
                                                           1
                                                           (QREFELT $
                                                            54))
                                                          (QREFELT $
                                                           25)) . #5#)
                                                        (PROGN
                                                          (LETT |#G138|
                                                           VQ . #5#)
                                                          (LETT |#G139|
                                                           (|PRS;nextsousResultant3|
                                                            VP VQ |s|
                                                            |ss| $) . #5#)
                                                          (LETT VP
                                                           |#G138| . #5#)
                                                          (LETT VQ
                                                           |#G139| . #5#))
                                                        (EXIT
                                                         (LETT |s|
                                                          |ss| . #5#)))))))))))))))
                                        NIL (GO G190) G191 (EXIT NIL)))))))))))))
           #4# (EXIT #4#))))) 

(DEFUN |PRS;degreeSubResultant;2polRNnipolR;23| (P Q |i| $)
  (PROG (|#G147| |#G148| #0=#:G2262 |delta| #1=#:G2264 #2=#:G2269
                 |#G149| |#G150| #3=#:G2278 #4=#:G2272 Z |#G151|
                 |#G152| |s|)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL Q (QREFELT $ 23))
                        (SPADCALL P (QREFELT $ 23)))
                    (|spadConstant| $ 24))
                   ('T
                    (SEQ (COND
                           ((< (SPADCALL P (QREFELT $ 26))
                               (SPADCALL Q (QREFELT $ 26)))
                            (PROGN
                              (LETT |#G147| Q
                                    . #5=(|PRS;degreeSubResultant;2polRNnipolR;23|))
                              (LETT |#G148| P . #5#)
                              (LETT P |#G147| . #5#)
                              (LETT Q |#G148| . #5#))))
                         (COND
                           ((EQL |i| (SPADCALL Q (QREFELT $ 26)))
                            (SEQ (LETT |delta|
                                       (PROG1
                                        (LETT #0#
                                         (- (SPADCALL P (QREFELT $ 26))
                                          (SPADCALL Q (QREFELT $ 26))) . #5#)
                                         (|check-subtype| (>= #0# 0)
                                          '(|NonNegativeInteger|) #0#)) . #5#)
                                 (EXIT (COND
                                         ((ZEROP |delta|)
                                          (|error|
                                           "degreeSubResultant$PRS : bad degrees"))
                                         ('T
                                          (SEQ
                                           (LETT |s|
                                            (SPADCALL
                                             (SPADCALL Q
                                              (QREFELT $ 25))
                                             (PROG1
                                              (LETT #1#
                                               (- |delta| 1) . #5#)
                                               (|check-subtype|
                                                (>= #1# 0)
                                                '(|NonNegativeInteger|)
                                                #1#))
                                             (QREFELT $ 28)) . #5#)
                                           (EXIT
                                            (PROGN
                                              (LETT #3#
                                               (SPADCALL |s| Q
                                                (QREFELT $ 30)) . #5#)
                                              (GO #3#))))))))))
                         (EXIT (COND
                                 ((< (SPADCALL Q (QREFELT $ 26)) |i|)
                                  (|spadConstant| $ 24))
                                 ('T
                                  (SEQ (LETT |s|
                                        (SPADCALL
                                         (SPADCALL Q (QREFELT $ 25))
                                         (PROG1
                                          (LETT #2#
                                           (-
                                            (SPADCALL P (QREFELT $ 26))
                                            (SPADCALL Q (QREFELT $ 26))) . #5#)
                                           (|check-subtype| (>= #2# 0)
                                            '(|NonNegativeInteger|)
                                            #2#))
                                         (QREFELT $ 28)) . #5#)
                                       (PROGN
                                         (LETT |#G149| Q . #5#)
                                         (LETT |#G150|
                                          (SPADCALL P
                                           (SPADCALL Q (QREFELT $ 50))
                                           (QREFELT $ 59)) . #5#)
                                         (LETT P |#G149| . #5#)
                                         (LETT Q |#G150| . #5#))
                                       (EXIT
                                        (SEQ G190 NIL
                                         (SEQ
                                          (EXIT
                                           (COND
                                             ((OR
                                               (SPADCALL Q
                                                (QREFELT $ 23))
                                               (<
                                                (SPADCALL Q
                                                 (QREFELT $ 26))
                                                |i|))
                                              (PROGN
                                                (LETT #3#
                                                 (|spadConstant| $ 24) . #5#)
                                                (GO #3#)))
                                             ((EQL |i|
                                               (SPADCALL Q
                                                (QREFELT $ 26)))
                                              (PROGN
                                                (LETT #3# Q . #5#)
                                                (GO #3#)))
                                             ('T
                                              (SEQ
                                               (LETT Z
                                                (SPADCALL Q
                                                 (SPADCALL Q
                                                  (QREFELT $ 25))
                                                 |s|
                                                 (PROG1
                                                  (LETT #4#
                                                   (-
                                                    (SPADCALL P
                                                     (QREFELT $ 26))
                                                    (SPADCALL Q
                                                     (QREFELT $ 26))) . #5#)
                                                   (|check-subtype|
                                                    (>= #4# 0)
                                                    '(|NonNegativeInteger|)
                                                    #4#))
                                                 (QREFELT $ 49)) . #5#)
                                               (PROGN
                                                 (LETT |#G151| Q . #5#)
                                                 (LETT |#G152|
                                                  (SPADCALL P Q Z |s|
                                                   (QREFELT $ 52)) . #5#)
                                                 (LETT P |#G151| . #5#)
                                                 (LETT Q |#G152| . #5#))
                                               (EXIT
                                                (LETT |s|
                                                 (SPADCALL Z
                                                  (QREFELT $ 25)) . #5#)))))))
                                         NIL (GO G190) G191 (EXIT NIL)))))))))))
           #3# (EXIT #3#))))) 

(DEFUN |PRS;degreeSubResultantEuclidean;2polRNniR;24| (P Q |i| $)
  (PROG (|l| #0=#:G2284 |delta| #1=#:G2286 #2=#:G2291 |pdiv| |#G159|
             |#G160| #3=#:G2301 #4=#:G2295 |ss| |#G161| |#G162| VP VQ
             |s|)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL Q (QREFELT $ 23))
                        (SPADCALL P (QREFELT $ 23)))
                    (VECTOR (|spadConstant| $ 24) (|spadConstant| $ 24)
                            (|spadConstant| $ 24)))
                   ('T
                    (SEQ (COND
                           ((< (SPADCALL P (QREFELT $ 26))
                               (SPADCALL Q (QREFELT $ 26)))
                            (SEQ (LETT |l|
                                       (SPADCALL Q P |i|
                                        (QREFELT $ 72))
                                       . #5=(|PRS;degreeSubResultantEuclidean;2polRNniR;24|))
                                 (EXIT (PROGN
                                         (LETT #3#
                                          (VECTOR (QVELT |l| 1)
                                           (QVELT |l| 0) (QVELT |l| 2)) . #5#)
                                         (GO #3#))))))
                         (COND
                           ((EQL |i| (SPADCALL Q (QREFELT $ 26)))
                            (SEQ (LETT |delta|
                                       (PROG1
                                        (LETT #0#
                                         (- (SPADCALL P (QREFELT $ 26))
                                          (SPADCALL Q (QREFELT $ 26))) . #5#)
                                         (|check-subtype| (>= #0# 0)
                                          '(|NonNegativeInteger|) #0#)) . #5#)
                                 (EXIT (COND
                                         ((ZEROP |delta|)
                                          (|error|
                                           "degreeSubResultantEuclidean$PRS : bad degrees"))
                                         ('T
                                          (SEQ
                                           (LETT |s|
                                            (SPADCALL
                                             (SPADCALL Q
                                              (QREFELT $ 25))
                                             (PROG1
                                              (LETT #1#
                                               (- |delta| 1) . #5#)
                                               (|check-subtype|
                                                (>= #1# 0)
                                                '(|NonNegativeInteger|)
                                                #1#))
                                             (QREFELT $ 28)) . #5#)
                                           (EXIT
                                            (PROGN
                                              (LETT #3#
                                               (VECTOR
                                                (|spadConstant| $ 24)
                                                (SPADCALL |s|
                                                 (QREFELT $ 13))
                                                (SPADCALL |s| Q
                                                 (QREFELT $ 30))) . #5#)
                                              (GO #3#))))))))))
                         (EXIT (COND
                                 ((< (SPADCALL Q (QREFELT $ 26)) |i|)
                                  (VECTOR (|spadConstant| $ 24)
                                          (|spadConstant| $ 24)
                                          (|spadConstant| $ 24)))
                                 ('T
                                  (SEQ (LETT |s|
                                        (SPADCALL
                                         (SPADCALL Q (QREFELT $ 25))
                                         (PROG1
                                          (LETT #2#
                                           (-
                                            (SPADCALL P (QREFELT $ 26))
                                            (SPADCALL Q (QREFELT $ 26))) . #5#)
                                           (|check-subtype| (>= #2# 0)
                                            '(|NonNegativeInteger|)
                                            #2#))
                                         (QREFELT $ 28)) . #5#)
                                       (LETT VP
                                        (VECTOR Q (|spadConstant| $ 24)
                                         (|spadConstant| $ 9)) . #5#)
                                       (LETT |pdiv|
                                        (SPADCALL P
                                         (SPADCALL Q (QREFELT $ 50))
                                         (QREFELT $ 35)) . #5#)
                                       (LETT VQ
                                        (VECTOR (QVELT |pdiv| 2)
                                         (SPADCALL (QVELT |pdiv| 0)
                                          (QREFELT $ 13))
                                         (QVELT |pdiv| 1)) . #5#)
                                       (EXIT
                                        (SEQ G190 NIL
                                         (SEQ
                                          (PROGN
                                            (LETT |#G159|
                                             (SPADCALL VP 1
                                              (QREFELT $ 54)) . #5#)
                                            (LETT |#G160|
                                             (SPADCALL VQ 1
                                              (QREFELT $ 54)) . #5#)
                                            (LETT P |#G159| . #5#)
                                            (LETT Q |#G160| . #5#))
                                          (COND
                                            ((OR
                                              (SPADCALL Q
                                               (QREFELT $ 23))
                                              (<
                                               (SPADCALL Q
                                                (QREFELT $ 26))
                                               |i|))
                                             (EXIT
                                              (PROGN
                                                (LETT #3#
                                                 (VECTOR
                                                  (|spadConstant| $ 24)
                                                  (|spadConstant| $ 24)
                                                  (|spadConstant| $ 24)) . #5#)
                                                (GO #3#)))))
                                          (EXIT
                                           (COND
                                             ((EQL |i|
                                               (SPADCALL Q
                                                (QREFELT $ 26)))
                                              (PROGN
                                                (LETT #3#
                                                 (VECTOR
                                                  (SPADCALL VQ 2
                                                   (QREFELT $ 54))
                                                  (SPADCALL VQ 3
                                                   (QREFELT $ 54))
                                                  (SPADCALL VQ 1
                                                   (QREFELT $ 54))) . #5#)
                                                (GO #3#)))
                                             ('T
                                              (SEQ
                                               (LETT |ss|
                                                (SPADCALL
                                                 (SPADCALL Q
                                                  (QREFELT $ 25))
                                                 |s|
                                                 (PROG1
                                                  (LETT #4#
                                                   (-
                                                    (SPADCALL P
                                                     (QREFELT $ 26))
                                                    (SPADCALL Q
                                                     (QREFELT $ 26))) . #5#)
                                                   (|check-subtype|
                                                    (>= #4# 0)
                                                    '(|NonNegativeInteger|)
                                                    #4#))
                                                 (QREFELT $ 48)) . #5#)
                                               (PROGN
                                                 (LETT |#G161|
                                                  VQ . #5#)
                                                 (LETT |#G162|
                                                  (|PRS;nextsousResultant3|
                                                   VP VQ |s| |ss| $) . #5#)
                                                 (LETT VP
                                                  |#G161| . #5#)
                                                 (LETT VQ
                                                  |#G162| . #5#))
                                               (EXIT
                                                (LETT |s| |ss| . #5#)))))))
                                         NIL (GO G190) G191 (EXIT NIL)))))))))))
           #3# (EXIT #3#))))) 

(DEFUN |PRS;semiDegreeSubResultantEuclidean;2polRNniR;25| (P Q |i| $)
  (PROG (#0=#:G2305 |delta| #1=#:G2307 #2=#:G2312 |pdiv| |#G166|
            |#G167| #3=#:G2323 #4=#:G2316 |ss| |#G168| |#G169| VP VQ
            |s|)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL Q (QREFELT $ 23))
                        (SPADCALL P (QREFELT $ 23)))
                    (CONS (|spadConstant| $ 24) (|spadConstant| $ 24)))
                   ('T
                    (COND
                      ((< (SPADCALL P (QREFELT $ 26))
                          (SPADCALL Q (QREFELT $ 26)))
                       (|error| "semiDegreeSubResultantEuclidean$PRS : bad degrees"))
                      ('T
                       (SEQ (COND
                              ((EQL |i| (SPADCALL Q (QREFELT $ 26)))
                               (SEQ (LETT |delta|
                                     (PROG1
                                      (LETT #0#
                                       (- (SPADCALL P (QREFELT $ 26))
                                        (SPADCALL Q (QREFELT $ 26)))
                                       . #5=(|PRS;semiDegreeSubResultantEuclidean;2polRNniR;25|))
                                       (|check-subtype| (>= #0# 0)
                                        '(|NonNegativeInteger|) #0#)) . #5#)
                                    (EXIT
                                     (COND
                                       ((ZEROP |delta|)
                                        (|error|
                                         "semiDegreeSubResultantEuclidean$PRS : bad degrees"))
                                       ('T
                                        (SEQ
                                         (LETT |s|
                                          (SPADCALL
                                           (SPADCALL Q (QREFELT $ 25))
                                           (PROG1
                                            (LETT #1#
                                             (- |delta| 1) . #5#)
                                             (|check-subtype|
                                              (>= #1# 0)
                                              '(|NonNegativeInteger|)
                                              #1#))
                                           (QREFELT $ 28)) . #5#)
                                         (EXIT
                                          (PROGN
                                            (LETT #3#
                                             (CONS
                                              (SPADCALL |s|
                                               (QREFELT $ 13))
                                              (SPADCALL |s| Q
                                               (QREFELT $ 30))) . #5#)
                                            (GO #3#))))))))))
                            (EXIT (COND
                                    ((< (SPADCALL Q (QREFELT $ 26))
                                      |i|)
                                     (CONS (|spadConstant| $ 24)
                                      (|spadConstant| $ 24)))
                                    ('T
                                     (SEQ
                                      (LETT |s|
                                       (SPADCALL
                                        (SPADCALL Q (QREFELT $ 25))
                                        (PROG1
                                         (LETT #2#
                                          (-
                                           (SPADCALL P (QREFELT $ 26))
                                           (SPADCALL Q (QREFELT $ 26))) . #5#)
                                          (|check-subtype| (>= #2# 0)
                                           '(|NonNegativeInteger|) #2#))
                                        (QREFELT $ 28)) . #5#)
                                      (LETT VP
                                       (VECTOR Q (|spadConstant| $ 9)) . #5#)
                                      (LETT |pdiv|
                                       (SPADCALL P
                                        (SPADCALL Q (QREFELT $ 50))
                                        (QREFELT $ 35)) . #5#)
                                      (LETT VQ
                                       (VECTOR (QVELT |pdiv| 2)
                                        (QVELT |pdiv| 1)) . #5#)
                                      (EXIT
                                       (SEQ G190 NIL
                                        (SEQ
                                         (PROGN
                                           (LETT |#G166|
                                            (SPADCALL VP 1
                                             (QREFELT $ 54)) . #5#)
                                           (LETT |#G167|
                                            (SPADCALL VQ 1
                                             (QREFELT $ 54)) . #5#)
                                           (LETT P |#G166| . #5#)
                                           (LETT Q |#G167| . #5#))
                                         (COND
                                           ((OR
                                             (SPADCALL Q
                                              (QREFELT $ 23))
                                             (<
                                              (SPADCALL Q
                                               (QREFELT $ 26))
                                              |i|))
                                            (EXIT
                                             (PROGN
                                               (LETT #3#
                                                (CONS
                                                 (|spadConstant| $ 24)
                                                 (|spadConstant| $ 24)) . #5#)
                                               (GO #3#)))))
                                         (EXIT
                                          (COND
                                            ((EQL |i|
                                              (SPADCALL Q
                                               (QREFELT $ 26)))
                                             (PROGN
                                               (LETT #3#
                                                (CONS
                                                 (SPADCALL VQ 2
                                                  (QREFELT $ 54))
                                                 (SPADCALL VQ 1
                                                  (QREFELT $ 54))) . #5#)
                                               (GO #3#)))
                                            ('T
                                             (SEQ
                                              (LETT |ss|
                                               (SPADCALL
                                                (SPADCALL Q
                                                 (QREFELT $ 25))
                                                |s|
                                                (PROG1
                                                 (LETT #4#
                                                  (-
                                                   (SPADCALL P
                                                    (QREFELT $ 26))
                                                   (SPADCALL Q
                                                    (QREFELT $ 26))) . #5#)
                                                  (|check-subtype|
                                                   (>= #4# 0)
                                                   '(|NonNegativeInteger|)
                                                   #4#))
                                                (QREFELT $ 48)) . #5#)
                                              (PROGN
                                                (LETT |#G168| VQ . #5#)
                                                (LETT |#G169|
                                                 (|PRS;nextsousResultant3|
                                                  VP VQ |s| |ss| $) . #5#)
                                                (LETT VP |#G168| . #5#)
                                                (LETT VQ |#G169| . #5#))
                                              (EXIT
                                               (LETT |s| |ss| . #5#)))))))
                                        NIL (GO G190) G191 (EXIT NIL)))))))))))))
           #3# (EXIT #3#))))) 

(DEFUN |PRS;lastSubResultant;3polR;26| (P Q $)
  (PROG (|#G175| |#G176| #0=#:G2328 |#G177| |#G178| #1=#:G2329 Z
                 #2=#:G2336 |#G179| |#G180| |s|)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL Q (QREFELT $ 23))
                        (SPADCALL P (QREFELT $ 23)))
                    (|spadConstant| $ 24))
                   ('T
                    (SEQ (COND
                           ((< (SPADCALL P (QREFELT $ 26))
                               (SPADCALL Q (QREFELT $ 26)))
                            (PROGN
                              (LETT |#G175| Q
                                    . #3=(|PRS;lastSubResultant;3polR;26|))
                              (LETT |#G176| P . #3#)
                              (LETT P |#G175| . #3#)
                              (LETT Q |#G176| . #3#))))
                         (EXIT (COND
                                 ((ZEROP (SPADCALL Q (QREFELT $ 26)))
                                  (SPADCALL
                                      (SPADCALL
                                       (SPADCALL Q (QREFELT $ 25))
                                       (SPADCALL P (QREFELT $ 26))
                                       (QREFELT $ 28))
                                      (QREFELT $ 13)))
                                 ('T
                                  (SEQ (LETT |s|
                                        (SPADCALL
                                         (SPADCALL Q (QREFELT $ 25))
                                         (PROG1
                                          (LETT #0#
                                           (-
                                            (SPADCALL P (QREFELT $ 26))
                                            (SPADCALL Q (QREFELT $ 26))) . #3#)
                                           (|check-subtype| (>= #0# 0)
                                            '(|NonNegativeInteger|)
                                            #0#))
                                         (QREFELT $ 28)) . #3#)
                                       (PROGN
                                         (LETT |#G177| Q . #3#)
                                         (LETT |#G178|
                                          (SPADCALL P
                                           (SPADCALL Q (QREFELT $ 50))
                                           (QREFELT $ 59)) . #3#)
                                         (LETT P |#G177| . #3#)
                                         (LETT Q |#G178| . #3#))
                                       (LETT Z P . #3#)
                                       (EXIT
                                        (SEQ G190 NIL
                                         (SEQ
                                          (EXIT
                                           (COND
                                             ((SPADCALL Q
                                               (QREFELT $ 23))
                                              (PROGN
                                                (LETT #2# Z . #3#)
                                                (GO #2#)))
                                             ('T
                                              (SEQ
                                               (LETT Z
                                                (SPADCALL Q
                                                 (SPADCALL Q
                                                  (QREFELT $ 25))
                                                 |s|
                                                 (PROG1
                                                  (LETT #1#
                                                   (-
                                                    (SPADCALL P
                                                     (QREFELT $ 26))
                                                    (SPADCALL Q
                                                     (QREFELT $ 26))) . #3#)
                                                   (|check-subtype|
                                                    (>= #1# 0)
                                                    '(|NonNegativeInteger|)
                                                    #1#))
                                                 (QREFELT $ 49)) . #3#)
                                               (EXIT
                                                (COND
                                                  ((ZEROP
                                                    (SPADCALL Z
                                                     (QREFELT $ 26)))
                                                   (PROGN
                                                     (LETT #2# Z . #3#)
                                                     (GO #2#)))
                                                  ('T
                                                   (SEQ
                                                    (PROGN
                                                      (LETT |#G179|
                                                       Q . #3#)
                                                      (LETT |#G180|
                                                       (SPADCALL P Q Z
                                                        |s|
                                                        (QREFELT $ 52)) . #3#)
                                                      (LETT P
                                                       |#G179| . #3#)
                                                      (LETT Q
                                                       |#G180| . #3#))
                                                    (EXIT
                                                     (LETT |s|
                                                      (SPADCALL Z
                                                       (QREFELT $ 25)) . #3#)))))))))))
                                         NIL (GO G190) G191 (EXIT NIL)))))))))))
           #2# (EXIT #2#))))) 

(DEFUN |PRS;lastSubResultantEuclidean;2polRR;27| (P Q $)
  (PROG (|l| |degP| #0=#:G2343 #1=#:G2348 |pdiv| |#G183| |#G184| Z
             #2=#:G2350 VZ #3=#:G2356 |ss| |#G185| |#G186| VP VQ |s|)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL Q (QREFELT $ 23))
                        (SPADCALL P (QREFELT $ 23)))
                    (VECTOR (|spadConstant| $ 24) (|spadConstant| $ 24)
                            (|spadConstant| $ 24)))
                   ('T
                    (SEQ (COND
                           ((< (SPADCALL P (QREFELT $ 26))
                               (SPADCALL Q (QREFELT $ 26)))
                            (SEQ (LETT |l|
                                       (SPADCALL Q P (QREFELT $ 75))
                                       . #4=(|PRS;lastSubResultantEuclidean;2polRR;27|))
                                 (EXIT (PROGN
                                         (LETT #3#
                                          (VECTOR (QVELT |l| 1)
                                           (QVELT |l| 0) (QVELT |l| 2)) . #4#)
                                         (GO #3#))))))
                         (COND
                           ((ZEROP (SPADCALL Q (QREFELT $ 26)))
                            (SEQ (LETT |degP|
                                       (SPADCALL P (QREFELT $ 26)) . #4#)
                                 (EXIT (COND
                                         ((ZEROP |degP|)
                                          (|error|
                                           "lastSubResultantEuclidean$PRS : constant polynomials"))
                                         ('T
                                          (SEQ
                                           (LETT |s|
                                            (SPADCALL
                                             (SPADCALL Q
                                              (QREFELT $ 25))
                                             (PROG1
                                              (LETT #0#
                                               (- |degP| 1) . #4#)
                                               (|check-subtype|
                                                (>= #0# 0)
                                                '(|NonNegativeInteger|)
                                                #0#))
                                             (QREFELT $ 28)) . #4#)
                                           (EXIT
                                            (PROGN
                                              (LETT #3#
                                               (VECTOR
                                                (|spadConstant| $ 24)
                                                (SPADCALL |s|
                                                 (QREFELT $ 13))
                                                (SPADCALL |s| Q
                                                 (QREFELT $ 30))) . #4#)
                                              (GO #3#))))))))))
                         (LETT |s|
                               (SPADCALL (SPADCALL Q (QREFELT $ 25))
                                   (PROG1
                                    (LETT #1#
                                     (- (SPADCALL P (QREFELT $ 26))
                                      (SPADCALL Q (QREFELT $ 26))) . #4#)
                                     (|check-subtype| (>= #1# 0)
                                      '(|NonNegativeInteger|) #1#))
                                   (QREFELT $ 28)) . #4#)
                         (LETT VP
                               (VECTOR Q (|spadConstant| $ 24)
                                       (|spadConstant| $ 9)) . #4#)
                         (LETT |pdiv|
                               (SPADCALL P (SPADCALL Q (QREFELT $ 50))
                                   (QREFELT $ 35)) . #4#)
                         (LETT VQ
                               (VECTOR (QVELT |pdiv| 2)
                                       (SPADCALL (QVELT |pdiv| 0)
                                        (QREFELT $ 13))
                                       (QVELT |pdiv| 1)) . #4#)
                         (LETT VZ (SPADCALL VP (QREFELT $ 76)) . #4#)
                         (EXIT (SEQ G190 NIL
                                    (SEQ
                                     (PROGN
                                       (LETT |#G183|
                                        (SPADCALL VQ 1 (QREFELT $ 54)) . #4#)
                                       (LETT |#G184|
                                        (SPADCALL VZ 1 (QREFELT $ 54)) . #4#)
                                       (LETT Q |#G183| . #4#)
                                       (LETT Z |#G184| . #4#))
                                     (EXIT
                                      (COND
                                        ((SPADCALL Q (QREFELT $ 23))
                                         (PROGN
                                           (LETT #3#
                                            (VECTOR
                                             (SPADCALL VZ 2
                                              (QREFELT $ 54))
                                             (SPADCALL VZ 3
                                              (QREFELT $ 54))
                                             (SPADCALL VZ 1
                                              (QREFELT $ 54))) . #4#)
                                           (GO #3#)))
                                        ('T
                                         (SEQ
                                          (LETT VZ
                                           (|PRS;Lazard3| VQ
                                            (SPADCALL Q (QREFELT $ 25))
                                            |s|
                                            (PROG1
                                             (LETT #2#
                                              (-
                                               (SPADCALL Z
                                                (QREFELT $ 26))
                                               (SPADCALL Q
                                                (QREFELT $ 26))) . #4#)
                                              (|check-subtype|
                                               (>= #2# 0)
                                               '(|NonNegativeInteger|)
                                               #2#))
                                            $) . #4#)
                                          (EXIT
                                           (COND
                                             ((ZEROP
                                               (SPADCALL Q
                                                (QREFELT $ 26)))
                                              (PROGN
                                                (LETT #3#
                                                 (VECTOR
                                                  (SPADCALL VZ 2
                                                   (QREFELT $ 54))
                                                  (SPADCALL VZ 3
                                                   (QREFELT $ 54))
                                                  (SPADCALL VZ 1
                                                   (QREFELT $ 54))) . #4#)
                                                (GO #3#)))
                                             ('T
                                              (SEQ
                                               (LETT |ss|
                                                (SPADCALL
                                                 (SPADCALL VZ 1
                                                  (QREFELT $ 54))
                                                 (QREFELT $ 25)) . #4#)
                                               (PROGN
                                                 (LETT |#G185|
                                                  VQ . #4#)
                                                 (LETT |#G186|
                                                  (|PRS;nextsousResultant3|
                                                   VP VQ |s| |ss| $) . #4#)
                                                 (LETT VP
                                                  |#G185| . #4#)
                                                 (LETT VQ
                                                  |#G186| . #4#))
                                               (EXIT
                                                (LETT |s| |ss| . #4#)))))))))))
                                    NIL (GO G190) G191 (EXIT NIL)))))))
           #3# (EXIT #3#))))) 

(DEFUN |PRS;semiLastSubResultantEuclidean;2polRR;28| (P Q $)
  (PROG (|degP| #0=#:G2361 #1=#:G2366 |pdiv| |#G189| |#G190| Z
                #2=#:G2368 VZ #3=#:G2375 |ss| |#G191| |#G192| VP VQ
                |s|)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL Q (QREFELT $ 23))
                        (SPADCALL P (QREFELT $ 23)))
                    (CONS (|spadConstant| $ 24) (|spadConstant| $ 24)))
                   ('T
                    (COND
                      ((< (SPADCALL P (QREFELT $ 26))
                          (SPADCALL Q (QREFELT $ 26)))
                       (|error| "semiLastSubResultantEuclidean$PRS : bad degrees"))
                      ('T
                       (SEQ (COND
                              ((ZEROP (SPADCALL Q (QREFELT $ 26)))
                               (SEQ (LETT |degP|
                                     (SPADCALL P (QREFELT $ 26))
                                     . #4=(|PRS;semiLastSubResultantEuclidean;2polRR;28|))
                                    (EXIT
                                     (COND
                                       ((ZEROP |degP|)
                                        (|error|
                                         "semiLastSubResultantEuclidean$PRS : constant polynomials"))
                                       ('T
                                        (SEQ
                                         (LETT |s|
                                          (SPADCALL
                                           (SPADCALL Q (QREFELT $ 25))
                                           (PROG1
                                            (LETT #0#
                                             (- |degP| 1) . #4#)
                                             (|check-subtype|
                                              (>= #0# 0)
                                              '(|NonNegativeInteger|)
                                              #0#))
                                           (QREFELT $ 28)) . #4#)
                                         (EXIT
                                          (PROGN
                                            (LETT #3#
                                             (CONS
                                              (SPADCALL |s|
                                               (QREFELT $ 13))
                                              (SPADCALL |s| Q
                                               (QREFELT $ 30))) . #4#)
                                            (GO #3#))))))))))
                            (LETT |s|
                                  (SPADCALL (SPADCALL Q (QREFELT $ 25))
                                      (PROG1
                                       (LETT #1#
                                        (- (SPADCALL P (QREFELT $ 26))
                                         (SPADCALL Q (QREFELT $ 26))) . #4#)
                                        (|check-subtype| (>= #1# 0)
                                         '(|NonNegativeInteger|) #1#))
                                      (QREFELT $ 28)) . #4#)
                            (LETT VP
                                  (VECTOR Q (|spadConstant| $ 9)) . #4#)
                            (LETT |pdiv|
                                  (SPADCALL P
                                      (SPADCALL Q (QREFELT $ 50))
                                      (QREFELT $ 35)) . #4#)
                            (LETT VQ
                                  (VECTOR (QVELT |pdiv| 2)
                                          (QVELT |pdiv| 1)) . #4#)
                            (LETT VZ
                                  (SPADCALL VP (QREFELT $ 76)) . #4#)
                            (EXIT (SEQ G190 NIL
                                       (SEQ
                                        (PROGN
                                          (LETT |#G189|
                                           (SPADCALL VQ 1
                                            (QREFELT $ 54)) . #4#)
                                          (LETT |#G190|
                                           (SPADCALL VZ 1
                                            (QREFELT $ 54)) . #4#)
                                          (LETT Q |#G189| . #4#)
                                          (LETT Z |#G190| . #4#))
                                        (EXIT
                                         (COND
                                           ((SPADCALL Q (QREFELT $ 23))
                                            (PROGN
                                              (LETT #3#
                                               (CONS
                                                (SPADCALL VZ 2
                                                 (QREFELT $ 54))
                                                (SPADCALL VZ 1
                                                 (QREFELT $ 54))) . #4#)
                                              (GO #3#)))
                                           ('T
                                            (SEQ
                                             (LETT VZ
                                              (|PRS;Lazard3| VQ
                                               (SPADCALL Q
                                                (QREFELT $ 25))
                                               |s|
                                               (PROG1
                                                (LETT #2#
                                                 (-
                                                  (SPADCALL Z
                                                   (QREFELT $ 26))
                                                  (SPADCALL Q
                                                   (QREFELT $ 26))) . #4#)
                                                 (|check-subtype|
                                                  (>= #2# 0)
                                                  '(|NonNegativeInteger|)
                                                  #2#))
                                               $) . #4#)
                                             (EXIT
                                              (COND
                                                ((ZEROP
                                                  (SPADCALL Q
                                                   (QREFELT $ 26)))
                                                 (PROGN
                                                   (LETT #3#
                                                    (CONS
                                                     (SPADCALL VZ 2
                                                      (QREFELT $ 54))
                                                     (SPADCALL VZ 1
                                                      (QREFELT $ 54))) . #4#)
                                                   (GO #3#)))
                                                ('T
                                                 (SEQ
                                                  (LETT |ss|
                                                   (SPADCALL
                                                    (SPADCALL VZ 1
                                                     (QREFELT $ 54))
                                                    (QREFELT $ 25)) . #4#)
                                                  (PROGN
                                                    (LETT |#G191|
                                                     VQ . #4#)
                                                    (LETT |#G192|
                                                     (|PRS;nextsousResultant3|
                                                      VP VQ |s| |ss| $) . #4#)
                                                    (LETT VP
                                                     |#G191| . #4#)
                                                    (LETT VQ
                                                     |#G192| . #4#))
                                                  (EXIT
                                                   (LETT |s|
                                                    |ss| . #4#)))))))))))
                                       NIL (GO G190) G191 (EXIT NIL)))))))))
           #3# (EXIT #3#))))) 

(DEFUN |PRS;chainSubResultants;2polRL;29| (P Q $)
  (PROG (|#G197| |#G198| #0=#:G2382 |#G199| |#G200| #1=#:G2383 |delta|
                 Z L #2=#:G2390 |#G201| |#G202| |s|)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL Q (QREFELT $ 23))
                        (SPADCALL P (QREFELT $ 23)))
                    NIL)
                   ('T
                    (SEQ (COND
                           ((< (SPADCALL P (QREFELT $ 26))
                               (SPADCALL Q (QREFELT $ 26)))
                            (SEQ (PROGN
                                   (LETT |#G197| Q
                                    . #3=(|PRS;chainSubResultants;2polRL;29|))
                                   (LETT |#G198| P . #3#)
                                   (LETT P |#G197| . #3#)
                                   (LETT Q |#G198| . #3#))
                                 (EXIT (COND
                                         ((ODDP
                                           (SPADCALL P (QREFELT $ 26)))
                                          (COND
                                            ((ODDP
                                              (SPADCALL Q
                                               (QREFELT $ 26)))
                                             (LETT Q
                                              (SPADCALL Q
                                               (QREFELT $ 50)) . #3#)))))))))
                         (LETT L NIL . #3#)
                         (EXIT (COND
                                 ((ZEROP (SPADCALL Q (QREFELT $ 26)))
                                  L)
                                 ('T
                                  (SEQ (LETT L (LIST Q) . #3#)
                                       (LETT |s|
                                        (SPADCALL
                                         (SPADCALL Q (QREFELT $ 25))
                                         (PROG1
                                          (LETT #0#
                                           (-
                                            (SPADCALL P (QREFELT $ 26))
                                            (SPADCALL Q (QREFELT $ 26))) . #3#)
                                           (|check-subtype| (>= #0# 0)
                                            '(|NonNegativeInteger|)
                                            #0#))
                                         (QREFELT $ 28)) . #3#)
                                       (PROGN
                                         (LETT |#G199| Q . #3#)
                                         (LETT |#G200|
                                          (SPADCALL P
                                           (SPADCALL Q (QREFELT $ 50))
                                           (QREFELT $ 59)) . #3#)
                                         (LETT P |#G199| . #3#)
                                         (LETT Q |#G200| . #3#))
                                       (EXIT
                                        (SEQ G190 NIL
                                         (SEQ
                                          (EXIT
                                           (COND
                                             ((SPADCALL Q
                                               (QREFELT $ 23))
                                              (PROGN
                                                (LETT #2# L . #3#)
                                                (GO #2#)))
                                             ('T
                                              (SEQ
                                               (LETT L
                                                (CONS Q L) . #3#)
                                               (LETT |delta|
                                                (PROG1
                                                 (LETT #1#
                                                  (-
                                                   (SPADCALL P
                                                    (QREFELT $ 26))
                                                   (SPADCALL Q
                                                    (QREFELT $ 26))) . #3#)
                                                  (|check-subtype|
                                                   (>= #1# 0)
                                                   '(|NonNegativeInteger|)
                                                   #1#)) . #3#)
                                               (LETT Z
                                                (SPADCALL Q
                                                 (SPADCALL Q
                                                  (QREFELT $ 25))
                                                 |s| |delta|
                                                 (QREFELT $ 49)) . #3#)
                                               (COND
                                                 ((< 1 |delta|)
                                                  (LETT L
                                                   (CONS Z L) . #3#)))
                                               (EXIT
                                                (COND
                                                  ((ZEROP
                                                    (SPADCALL Z
                                                     (QREFELT $ 26)))
                                                   (PROGN
                                                     (LETT #2# L . #3#)
                                                     (GO #2#)))
                                                  ('T
                                                   (SEQ
                                                    (PROGN
                                                      (LETT |#G201|
                                                       Q . #3#)
                                                      (LETT |#G202|
                                                       (SPADCALL P Q Z
                                                        |s|
                                                        (QREFELT $ 52)) . #3#)
                                                      (LETT P
                                                       |#G201| . #3#)
                                                      (LETT Q
                                                       |#G202| . #3#))
                                                    (EXIT
                                                     (LETT |s|
                                                      (SPADCALL Z
                                                       (QREFELT $ 25)) . #3#)))))))))))
                                         NIL (GO G190) G191 (EXIT NIL)))))))))))
           #2# (EXIT #2#))))) 

(DEFUN |PRS;schema;2polRL;30| (P Q $)
  (PROG (|#G205| |#G206| #0=#:G2395 |#G207| |#G208| |e| #1=#:G2396
                 |delta| Z L #2=#:G2403 |#G209| |#G210| |s|)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (SPADCALL Q (QREFELT $ 23))
                        (SPADCALL P (QREFELT $ 23)))
                    NIL)
                   ('T
                    (SEQ (COND
                           ((< (SPADCALL P (QREFELT $ 26))
                               (SPADCALL Q (QREFELT $ 26)))
                            (PROGN
                              (LETT |#G205| Q
                                    . #3=(|PRS;schema;2polRL;30|))
                              (LETT |#G206| P . #3#)
                              (LETT P |#G205| . #3#)
                              (LETT Q |#G206| . #3#))))
                         (EXIT (COND
                                 ((ZEROP (SPADCALL Q (QREFELT $ 26)))
                                  (LIST 0))
                                 ('T
                                  (SEQ (LETT L NIL . #3#)
                                       (LETT |s|
                                        (SPADCALL
                                         (SPADCALL Q (QREFELT $ 25))
                                         (PROG1
                                          (LETT #0#
                                           (-
                                            (SPADCALL P (QREFELT $ 26))
                                            (SPADCALL Q (QREFELT $ 26))) . #3#)
                                           (|check-subtype| (>= #0# 0)
                                            '(|NonNegativeInteger|)
                                            #0#))
                                         (QREFELT $ 28)) . #3#)
                                       (PROGN
                                         (LETT |#G207| Q . #3#)
                                         (LETT |#G208|
                                          (SPADCALL P Q (QREFELT $ 59)) . #3#)
                                         (LETT P |#G207| . #3#)
                                         (LETT Q |#G208| . #3#))
                                       (EXIT
                                        (SEQ G190 NIL
                                         (SEQ
                                          (EXIT
                                           (COND
                                             ((SPADCALL Q
                                               (QREFELT $ 23))
                                              (PROGN
                                                (LETT #2# L . #3#)
                                                (GO #2#)))
                                             ('T
                                              (SEQ
                                               (LETT |e|
                                                (SPADCALL Q
                                                 (QREFELT $ 26)) . #3#)
                                               (LETT L
                                                (CONS |e| L) . #3#)
                                               (LETT |delta|
                                                (PROG1
                                                 (LETT #1#
                                                  (-
                                                   (SPADCALL P
                                                    (QREFELT $ 26))
                                                   |e|) . #3#)
                                                  (|check-subtype|
                                                   (>= #1# 0)
                                                   '(|NonNegativeInteger|)
                                                   #1#)) . #3#)
                                               (LETT Z
                                                (SPADCALL Q
                                                 (SPADCALL Q
                                                  (QREFELT $ 25))
                                                 |s| |delta|
                                                 (QREFELT $ 49)) . #3#)
                                               (COND
                                                 ((< 1 |delta|)
                                                  (LETT L
                                                   (CONS |e| L) . #3#)))
                                               (EXIT
                                                (COND
                                                  ((ZEROP |e|)
                                                   (PROGN
                                                     (LETT #2# L . #3#)
                                                     (GO #2#)))
                                                  ('T
                                                   (SEQ
                                                    (PROGN
                                                      (LETT |#G209|
                                                       Q . #3#)
                                                      (LETT |#G210|
                                                       (SPADCALL P Q Z
                                                        |s|
                                                        (QREFELT $ 52)) . #3#)
                                                      (LETT P
                                                       |#G209| . #3#)
                                                      (LETT Q
                                                       |#G210| . #3#))
                                                    (EXIT
                                                     (LETT |s|
                                                      (SPADCALL Z
                                                       (QREFELT $ 25)) . #3#)))))))))))
                                         NIL (GO G190) G191 (EXIT NIL)))))))))))
           #2# (EXIT #2#))))) 

(DEFUN |PRS;subResultantGcd;3polR;31| (P Q $)
  (PROG (|#G213| |#G214| #0=#:G2408 |#G215| |#G216| #1=#:G2418
                 #2=#:G2409 Z |#G217| |#G218| |s|)
    (RETURN
      (SEQ (EXIT (SEQ (COND
                        ((SPADCALL P (QREFELT $ 23))
                         (COND
                           ((SPADCALL Q (QREFELT $ 23))
                            (EXIT (|spadConstant| $ 24))))))
                      (EXIT (COND
                              ((SPADCALL P (QREFELT $ 23)) Q)
                              ((SPADCALL Q (QREFELT $ 23)) P)
                              ('T
                               (SEQ (COND
                                      ((< (SPADCALL P (QREFELT $ 26))
                                        (SPADCALL Q (QREFELT $ 26)))
                                       (PROGN
                                         (LETT |#G213| Q
                                          . #3=(|PRS;subResultantGcd;3polR;31|))
                                         (LETT |#G214| P . #3#)
                                         (LETT P |#G213| . #3#)
                                         (LETT Q |#G214| . #3#))))
                                    (EXIT
                                     (COND
                                       ((ZEROP
                                         (SPADCALL Q (QREFELT $ 26)))
                                        (|spadConstant| $ 9))
                                       ('T
                                        (SEQ
                                         (LETT |s|
                                          (SPADCALL
                                           (SPADCALL Q (QREFELT $ 25))
                                           (PROG1
                                            (LETT #0#
                                             (-
                                              (SPADCALL P
                                               (QREFELT $ 26))
                                              (SPADCALL Q
                                               (QREFELT $ 26))) . #3#)
                                             (|check-subtype|
                                              (>= #0# 0)
                                              '(|NonNegativeInteger|)
                                              #0#))
                                           (QREFELT $ 28)) . #3#)
                                         (PROGN
                                           (LETT |#G215| Q . #3#)
                                           (LETT |#G216|
                                            (SPADCALL P
                                             (SPADCALL Q
                                              (QREFELT $ 50))
                                             (QREFELT $ 59)) . #3#)
                                           (LETT P |#G215| . #3#)
                                           (LETT Q |#G216| . #3#))
                                         (EXIT
                                          (SEQ G190 NIL
                                           (SEQ
                                            (EXIT
                                             (COND
                                               ((SPADCALL Q
                                                 (QREFELT $ 23))
                                                (PROGN
                                                  (LETT #1# P . #3#)
                                                  (GO #1#)))
                                               ((ZEROP
                                                 (SPADCALL Q
                                                  (QREFELT $ 26)))
                                                (PROGN
                                                  (LETT #1#
                                                   (|spadConstant| $ 9) . #3#)
                                                  (GO #1#)))
                                               ('T
                                                (SEQ
                                                 (LETT Z
                                                  (SPADCALL Q
                                                   (SPADCALL Q
                                                    (QREFELT $ 25))
                                                   |s|
                                                   (PROG1
                                                    (LETT #2#
                                                     (-
                                                      (SPADCALL P
                                                       (QREFELT $ 26))
                                                      (SPADCALL Q
                                                       (QREFELT $ 26))) . #3#)
                                                     (|check-subtype|
                                                      (>= #2# 0)
                                                      '(|NonNegativeInteger|)
                                                      #2#))
                                                   (QREFELT $ 49)) . #3#)
                                                 (PROGN
                                                   (LETT |#G217|
                                                    Q . #3#)
                                                   (LETT |#G218|
                                                    (SPADCALL P Q Z |s|
                                                     (QREFELT $ 52)) . #3#)
                                                   (LETT P
                                                    |#G217| . #3#)
                                                   (LETT Q
                                                    |#G218| . #3#))
                                                 (EXIT
                                                  (LETT |s|
                                                   (SPADCALL Z
                                                    (QREFELT $ 25)) . #3#)))))))
                                           NIL (GO G190) G191
                                           (EXIT NIL)))))))))))))
           #1# (EXIT #1#))))) 

(DEFUN |PRS;subResultantGcdEuclidean;2polRR;32| (P Q $)
  (PROG (|l| #0=#:G2426 |pdiv| |#G221| |#G222| |e| #1=#:G2437
             #2=#:G2428 |ss| |#G223| |#G224| VP VQ |s|)
    (RETURN
      (SEQ (EXIT (SEQ (COND
                        ((SPADCALL P (QREFELT $ 23))
                         (COND
                           ((SPADCALL Q (QREFELT $ 23))
                            (EXIT (VECTOR (|spadConstant| $ 24)
                                          (|spadConstant| $ 24)
                                          (|spadConstant| $ 24)))))))
                      (EXIT (COND
                              ((SPADCALL P (QREFELT $ 23))
                               (VECTOR (|spadConstant| $ 24)
                                       (|spadConstant| $ 9) Q))
                              ((SPADCALL Q (QREFELT $ 23))
                               (VECTOR (|spadConstant| $ 9)
                                       (|spadConstant| $ 24) P))
                              ('T
                               (SEQ (COND
                                      ((< (SPADCALL P (QREFELT $ 26))
                                        (SPADCALL Q (QREFELT $ 26)))
                                       (SEQ
                                        (LETT |l|
                                         (SPADCALL Q P (QREFELT $ 84))
                                         . #3=(|PRS;subResultantGcdEuclidean;2polRR;32|))
                                        (EXIT
                                         (PROGN
                                           (LETT #1#
                                            (VECTOR (QVELT |l| 1)
                                             (QVELT |l| 0)
                                             (QVELT |l| 2)) . #3#)
                                           (GO #1#))))))
                                    (EXIT
                                     (COND
                                       ((ZEROP
                                         (SPADCALL Q (QREFELT $ 26)))
                                        (VECTOR (|spadConstant| $ 24)
                                         (|spadConstant| $ 9) Q))
                                       ('T
                                        (SEQ
                                         (LETT |s|
                                          (SPADCALL
                                           (SPADCALL Q (QREFELT $ 25))
                                           (PROG1
                                            (LETT #0#
                                             (-
                                              (SPADCALL P
                                               (QREFELT $ 26))
                                              (SPADCALL Q
                                               (QREFELT $ 26))) . #3#)
                                             (|check-subtype|
                                              (>= #0# 0)
                                              '(|NonNegativeInteger|)
                                              #0#))
                                           (QREFELT $ 28)) . #3#)
                                         (LETT VP
                                          (VECTOR Q
                                           (|spadConstant| $ 24)
                                           (|spadConstant| $ 9)) . #3#)
                                         (LETT |pdiv|
                                          (SPADCALL P
                                           (SPADCALL Q (QREFELT $ 50))
                                           (QREFELT $ 35)) . #3#)
                                         (LETT VQ
                                          (VECTOR (QVELT |pdiv| 2)
                                           (SPADCALL (QVELT |pdiv| 0)
                                            (QREFELT $ 13))
                                           (QVELT |pdiv| 1)) . #3#)
                                         (EXIT
                                          (SEQ G190 NIL
                                           (SEQ
                                            (PROGN
                                              (LETT |#G221|
                                               (SPADCALL VP 1
                                                (QREFELT $ 54)) . #3#)
                                              (LETT |#G222|
                                               (SPADCALL VQ 1
                                                (QREFELT $ 54)) . #3#)
                                              (LETT P |#G221| . #3#)
                                              (LETT Q |#G222| . #3#))
                                            (EXIT
                                             (COND
                                               ((SPADCALL Q
                                                 (QREFELT $ 23))
                                                (PROGN
                                                  (LETT #1#
                                                   (VECTOR
                                                    (SPADCALL VP 2
                                                     (QREFELT $ 54))
                                                    (SPADCALL VP 3
                                                     (QREFELT $ 54))
                                                    P) . #3#)
                                                  (GO #1#)))
                                               ('T
                                                (SEQ
                                                 (LETT |e|
                                                  (SPADCALL Q
                                                   (QREFELT $ 26)) . #3#)
                                                 (EXIT
                                                  (COND
                                                    ((ZEROP |e|)
                                                     (PROGN
                                                       (LETT #1#
                                                        (VECTOR
                                                         (SPADCALL VQ 2
                                                          (QREFELT $
                                                           54))
                                                         (SPADCALL VQ 3
                                                          (QREFELT $
                                                           54))
                                                         Q) . #3#)
                                                       (GO #1#)))
                                                    ('T
                                                     (SEQ
                                                      (LETT |ss|
                                                       (SPADCALL
                                                        (SPADCALL Q
                                                         (QREFELT $ 25))
                                                        |s|
                                                        (PROG1
                                                         (LETT #2#
                                                          (-
                                                           (SPADCALL P
                                                            (QREFELT $
                                                             26))
                                                           |e|) . #3#)
                                                          (|check-subtype|
                                                           (>= #2# 0)
                                                           '(|NonNegativeInteger|)
                                                           #2#))
                                                        (QREFELT $ 48)) . #3#)
                                                      (PROGN
                                                        (LETT |#G223|
                                                         VQ . #3#)
                                                        (LETT |#G224|
                                                         (|PRS;nextsousResultant3|
                                                          VP VQ |s|
                                                          |ss| $) . #3#)
                                                        (LETT VP
                                                         |#G223| . #3#)
                                                        (LETT VQ
                                                         |#G224| . #3#))
                                                      (EXIT
                                                       (LETT |s|
                                                        |ss| . #3#)))))))))))
                                           NIL (GO G190) G191
                                           (EXIT NIL)))))))))))))
           #1# (EXIT #1#))))) 

(DEFUN |PRS;semiSubResultantGcdEuclidean2;2polRR;33| (P Q $)
  (PROG (#0=#:G2442 |pdiv| |#G227| |#G228| |e| #1=#:G2455 #2=#:G2444
            |ss| |#G229| |#G230| VP VQ |s|)
    (RETURN
      (SEQ (EXIT (SEQ (COND
                        ((SPADCALL P (QREFELT $ 23))
                         (COND
                           ((SPADCALL Q (QREFELT $ 23))
                            (EXIT (CONS (|spadConstant| $ 24)
                                        (|spadConstant| $ 24)))))))
                      (EXIT (COND
                              ((SPADCALL P (QREFELT $ 23))
                               (CONS (|spadConstant| $ 9) Q))
                              ((SPADCALL Q (QREFELT $ 23))
                               (CONS (|spadConstant| $ 24) P))
                              ((< (SPADCALL P (QREFELT $ 26))
                                  (SPADCALL Q (QREFELT $ 26)))
                               (|error| "semiSubResultantGcdEuclidean2$PRS : bad degrees"))
                              ((ZEROP (SPADCALL Q (QREFELT $ 26)))
                               (CONS (|spadConstant| $ 9) Q))
                              ('T
                               (SEQ (LETT |s|
                                     (SPADCALL
                                      (SPADCALL Q (QREFELT $ 25))
                                      (PROG1
                                       (LETT #0#
                                        (- (SPADCALL P (QREFELT $ 26))
                                         (SPADCALL Q (QREFELT $ 26)))
                                        . #3=(|PRS;semiSubResultantGcdEuclidean2;2polRR;33|))
                                        (|check-subtype| (>= #0# 0)
                                         '(|NonNegativeInteger|) #0#))
                                      (QREFELT $ 28)) . #3#)
                                    (LETT VP
                                     (VECTOR Q (|spadConstant| $ 9)) . #3#)
                                    (LETT |pdiv|
                                     (SPADCALL P
                                      (SPADCALL Q (QREFELT $ 50))
                                      (QREFELT $ 35)) . #3#)
                                    (LETT VQ
                                     (VECTOR (QVELT |pdiv| 2)
                                      (QVELT |pdiv| 1)) . #3#)
                                    (EXIT
                                     (SEQ G190 NIL
                                      (SEQ
                                       (PROGN
                                         (LETT |#G227|
                                          (SPADCALL VP 1
                                           (QREFELT $ 54)) . #3#)
                                         (LETT |#G228|
                                          (SPADCALL VQ 1
                                           (QREFELT $ 54)) . #3#)
                                         (LETT P |#G227| . #3#)
                                         (LETT Q |#G228| . #3#))
                                       (EXIT
                                        (COND
                                          ((SPADCALL Q (QREFELT $ 23))
                                           (PROGN
                                             (LETT #1#
                                              (CONS
                                               (SPADCALL VP 2
                                                (QREFELT $ 54))
                                               P) . #3#)
                                             (GO #1#)))
                                          ('T
                                           (SEQ
                                            (LETT |e|
                                             (SPADCALL Q
                                              (QREFELT $ 26)) . #3#)
                                            (EXIT
                                             (COND
                                               ((ZEROP |e|)
                                                (PROGN
                                                  (LETT #1#
                                                   (CONS
                                                    (SPADCALL VQ 2
                                                     (QREFELT $ 54))
                                                    Q) . #3#)
                                                  (GO #1#)))
                                               ('T
                                                (SEQ
                                                 (LETT |ss|
                                                  (SPADCALL
                                                   (SPADCALL Q
                                                    (QREFELT $ 25))
                                                   |s|
                                                   (PROG1
                                                    (LETT #2#
                                                     (-
                                                      (SPADCALL P
                                                       (QREFELT $ 26))
                                                      |e|) . #3#)
                                                     (|check-subtype|
                                                      (>= #2# 0)
                                                      '(|NonNegativeInteger|)
                                                      #2#))
                                                   (QREFELT $ 48)) . #3#)
                                                 (PROGN
                                                   (LETT |#G229|
                                                    VQ . #3#)
                                                   (LETT |#G230|
                                                    (|PRS;nextsousResultant3|
                                                     VP VQ |s| |ss| $) . #3#)
                                                   (LETT VP
                                                    |#G229| . #3#)
                                                   (LETT VQ
                                                    |#G230| . #3#))
                                                 (EXIT
                                                  (LETT |s| |ss| . #3#)))))))))))
                                      NIL (GO G190) G191 (EXIT NIL)))))))))
           #1# (EXIT #1#))))) 

(DEFUN |PRS;semiSubResultantGcdEuclidean1;2polRR;34| (P Q $)
  (PROG (|result|)
    (RETURN
      (SEQ (LETT |result| (SPADCALL P Q (QREFELT $ 84))
                 |PRS;semiSubResultantGcdEuclidean1;2polRR;34|)
           (EXIT (CONS (QVELT |result| 0) (QVELT |result| 2))))))) 

(DEFUN |PRS;discriminant;polRR;35| (P $)
  (PROG (#0=#:G2461 |a| |dP| |r| |d| #1=#:G2463 #2=#:G2466 #3=#:G2470)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |d| (SPADCALL P (QREFELT $ 26))
                            . #4=(|PRS;discriminant;polRR;35|))
                      (EXIT (COND
                              ((ZEROP |d|)
                               (|error| "cannot take discriminant of constants"))
                              ('T
                               (SEQ (LETT |a|
                                     (QUOTIENT2 (* |d| (- |d| 1)) 2) . #4#)
                                    (LETT |a|
                                     (EXPT -1
                                      (PROG1 (LETT #0# |a| . #4#)
                                        (|check-subtype| (>= #0# 0)
                                         '(|NonNegativeInteger|) #0#))) . #4#)
                                    (LETT |dP|
                                     (SPADCALL P (QREFELT $ 89)) . #4#)
                                    (LETT |r|
                                     (SPADCALL P |dP| (QREFELT $ 60)) . #4#)
                                    (LETT |d|
                                     (-
                                      (- |d|
                                       (SPADCALL |dP| (QREFELT $ 26)))
                                      1) . #4#)
                                    (EXIT
                                     (PROGN
                                       (LETT #3#
                                        (COND
                                          ((ZEROP |d|)
                                           (SPADCALL |a|
                                            (PROG2
                                             (LETT #1#
                                              (SPADCALL |r|
                                               (SPADCALL P
                                                (QREFELT $ 25))
                                               (QREFELT $ 36)) . #4#)
                                             (QCDR #1#)
                                              (|check-union|
                                               (QEQCAR #1# 0)
                                               (QREFELT $ 6) #1#))
                                            (QREFELT $ 90)))
                                          ('T
                                           (SPADCALL
                                            (SPADCALL |a| |r|
                                             (QREFELT $ 90))
                                            (SPADCALL
                                             (SPADCALL P
                                              (QREFELT $ 25))
                                             (PROG1
                                              (LETT #2#
                                               (- |d| 1) . #4#)
                                               (|check-subtype|
                                                (>= #2# 0)
                                                '(|NonNegativeInteger|)
                                                #2#))
                                             (QREFELT $ 28))
                                            (QREFELT $ 40)))) . #4#)
                                       (GO #3#)))))))))
           #3# (EXIT #3#))))) 

(DEFUN |PRS;discriminantEuclidean;polRR;36| (P $)
  (PROG (#0=#:G2472 |a| |dP| |rE| |d| #1=#:G2474 #2=#:G2477 #3=#:G2484
            |c1| #4=#:G2489 |c2| #5=#:G2491 |cr| #6=#:G2497)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |d| (SPADCALL P (QREFELT $ 26))
                            . #7=(|PRS;discriminantEuclidean;polRR;36|))
                      (EXIT (COND
                              ((ZEROP |d|)
                               (|error| "cannot take discriminant of constants"))
                              ('T
                               (SEQ (LETT |a|
                                     (QUOTIENT2 (* |d| (- |d| 1)) 2) . #7#)
                                    (LETT |a|
                                     (EXPT -1
                                      (PROG1 (LETT #0# |a| . #7#)
                                        (|check-subtype| (>= #0# 0)
                                         '(|NonNegativeInteger|) #0#))) . #7#)
                                    (LETT |dP|
                                     (SPADCALL P (QREFELT $ 89)) . #7#)
                                    (LETT |rE|
                                     (SPADCALL P |dP| (QREFELT $ 62)) . #7#)
                                    (LETT |d|
                                     (-
                                      (- |d|
                                       (SPADCALL |dP| (QREFELT $ 26)))
                                      1) . #7#)
                                    (COND
                                      ((ZEROP |d|)
                                       (SEQ
                                        (LETT |c1|
                                         (SPADCALL |a|
                                          (PROG2
                                           (LETT #1#
                                            (SPADCALL (QVELT |rE| 0)
                                             (SPADCALL P
                                              (QREFELT $ 25))
                                             (QREFELT $ 18)) . #7#)
                                           (QCDR #1#)
                                            (|check-union|
                                             (QEQCAR #1# 0)
                                             (QREFELT $ 7) #1#))
                                          (QREFELT $ 61)) . #7#)
                                        (LETT |c2|
                                         (SPADCALL |a|
                                          (PROG2
                                           (LETT #1#
                                            (SPADCALL (QVELT |rE| 1)
                                             (SPADCALL P
                                              (QREFELT $ 25))
                                             (QREFELT $ 18)) . #7#)
                                           (QCDR #1#)
                                            (|check-union|
                                             (QEQCAR #1# 0)
                                             (QREFELT $ 7) #1#))
                                          (QREFELT $ 61)) . #7#)
                                        (EXIT
                                         (LETT |cr|
                                          (SPADCALL |a|
                                           (PROG2
                                            (LETT #2#
                                             (SPADCALL (QVELT |rE| 2)
                                              (SPADCALL P
                                               (QREFELT $ 25))
                                              (QREFELT $ 36)) . #7#)
                                            (QCDR #2#)
                                             (|check-union|
                                              (QEQCAR #2# 0)
                                              (QREFELT $ 6) #2#))
                                           (QREFELT $ 90)) . #7#))))
                                      ('T
                                       (SEQ
                                        (LETT |c1|
                                         (SPADCALL
                                          (SPADCALL |a| (QVELT |rE| 0)
                                           (QREFELT $ 61))
                                          (SPADCALL
                                           (SPADCALL P (QREFELT $ 25))
                                           (PROG1
                                            (LETT #3# (- |d| 1) . #7#)
                                             (|check-subtype|
                                              (>= #3# 0)
                                              '(|NonNegativeInteger|)
                                              #3#))
                                           (QREFELT $ 28))
                                          (QREFELT $ 92)) . #7#)
                                        (LETT |c2|
                                         (SPADCALL
                                          (SPADCALL |a| (QVELT |rE| 1)
                                           (QREFELT $ 61))
                                          (SPADCALL
                                           (SPADCALL P (QREFELT $ 25))
                                           (PROG1
                                            (LETT #4# (- |d| 1) . #7#)
                                             (|check-subtype|
                                              (>= #4# 0)
                                              '(|NonNegativeInteger|)
                                              #4#))
                                           (QREFELT $ 28))
                                          (QREFELT $ 92)) . #7#)
                                        (EXIT
                                         (LETT |cr|
                                          (SPADCALL
                                           (SPADCALL |a| (QVELT |rE| 2)
                                            (QREFELT $ 90))
                                           (SPADCALL
                                            (SPADCALL P (QREFELT $ 25))
                                            (PROG1
                                             (LETT #5# (- |d| 1) . #7#)
                                              (|check-subtype|
                                               (>= #5# 0)
                                               '(|NonNegativeInteger|)
                                               #5#))
                                            (QREFELT $ 28))
                                           (QREFELT $ 40)) . #7#)))))
                                    (EXIT
                                     (PROGN
                                       (LETT #6#
                                        (VECTOR |c1| |c2| |cr|) . #7#)
                                       (GO #6#)))))))))
           #6# (EXIT #6#))))) 

(DEFUN |PRS;semiDiscriminantEuclidean;polRR;37| (P $)
  (PROG (#0=#:G2499 |a| |dP| |rE| |d| #1=#:G2501 #2=#:G2504 #3=#:G2511
            |c2| #4=#:G2513 |cr| #5=#:G2519)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |d| (SPADCALL P (QREFELT $ 26))
                            . #6=(|PRS;semiDiscriminantEuclidean;polRR;37|))
                      (EXIT (COND
                              ((ZEROP |d|)
                               (|error| "cannot take discriminant of constants"))
                              ('T
                               (SEQ (LETT |a|
                                     (QUOTIENT2 (* |d| (- |d| 1)) 2) . #6#)
                                    (LETT |a|
                                     (EXPT -1
                                      (PROG1 (LETT #0# |a| . #6#)
                                        (|check-subtype| (>= #0# 0)
                                         '(|NonNegativeInteger|) #0#))) . #6#)
                                    (LETT |dP|
                                     (SPADCALL P (QREFELT $ 89)) . #6#)
                                    (LETT |rE|
                                     (SPADCALL P |dP| (QREFELT $ 63)) . #6#)
                                    (LETT |d|
                                     (-
                                      (- |d|
                                       (SPADCALL |dP| (QREFELT $ 26)))
                                      1) . #6#)
                                    (COND
                                      ((ZEROP |d|)
                                       (SEQ
                                        (LETT |c2|
                                         (SPADCALL |a|
                                          (PROG2
                                           (LETT #1#
                                            (SPADCALL (QCAR |rE|)
                                             (SPADCALL P
                                              (QREFELT $ 25))
                                             (QREFELT $ 18)) . #6#)
                                           (QCDR #1#)
                                            (|check-union|
                                             (QEQCAR #1# 0)
                                             (QREFELT $ 7) #1#))
                                          (QREFELT $ 61)) . #6#)
                                        (EXIT
                                         (LETT |cr|
                                          (SPADCALL |a|
                                           (PROG2
                                            (LETT #2#
                                             (SPADCALL (QCDR |rE|)
                                              (SPADCALL P
                                               (QREFELT $ 25))
                                              (QREFELT $ 36)) . #6#)
                                            (QCDR #2#)
                                             (|check-union|
                                              (QEQCAR #2# 0)
                                              (QREFELT $ 6) #2#))
                                           (QREFELT $ 90)) . #6#))))
                                      ('T
                                       (SEQ
                                        (LETT |c2|
                                         (SPADCALL
                                          (SPADCALL |a| (QCAR |rE|)
                                           (QREFELT $ 61))
                                          (SPADCALL
                                           (SPADCALL P (QREFELT $ 25))
                                           (PROG1
                                            (LETT #3# (- |d| 1) . #6#)
                                             (|check-subtype|
                                              (>= #3# 0)
                                              '(|NonNegativeInteger|)
                                              #3#))
                                           (QREFELT $ 28))
                                          (QREFELT $ 92)) . #6#)
                                        (EXIT
                                         (LETT |cr|
                                          (SPADCALL
                                           (SPADCALL |a| (QCDR |rE|)
                                            (QREFELT $ 90))
                                           (SPADCALL
                                            (SPADCALL P (QREFELT $ 25))
                                            (PROG1
                                             (LETT #4# (- |d| 1) . #6#)
                                              (|check-subtype|
                                               (>= #4# 0)
                                               '(|NonNegativeInteger|)
                                               #4#))
                                            (QREFELT $ 28))
                                           (QREFELT $ 40)) . #6#)))))
                                    (EXIT
                                     (PROGN
                                       (LETT #5#
                                        (CONS |c2| |cr|) . #6#)
                                       (GO #5#)))))))))
           #5# (EXIT #5#))))) 

(DEFUN |PRS;resultantReduit;2polRR;38| (P Q $)
  (PROG (UV |UVs| |l| #0=#:G2522 #1=#:G2526)
    (RETURN
      (SEQ (EXIT (SEQ (LETT UV (SPADCALL P Q (QREFELT $ 84))
                            . #2=(|PRS;resultantReduit;2polRR;38|))
                      (LETT |UVs| (QVELT UV 2) . #2#)
                      (EXIT (COND
                              ((< 0 (SPADCALL |UVs| (QREFELT $ 26)))
                               (|spadConstant| $ 29))
                              ('T
                               (SEQ (LETT |l|
                                     (SPADCALL
                                      (SPADCALL (QVELT UV 0)
                                       (QREFELT $ 98))
                                      (SPADCALL (QVELT UV 1)
                                       (QREFELT $ 98))
                                      (QREFELT $ 99)) . #2#)
                                    (EXIT
                                     (PROGN
                                       (LETT #1#
                                        (PROG2
                                         (LETT #0#
                                          (SPADCALL
                                           (SPADCALL |UVs|
                                            (QREFELT $ 25))
                                           (SPADCALL |l|
                                            (QREFELT $ 101))
                                           (QREFELT $ 36)) . #2#)
                                         (QCDR #0#)
                                          (|check-union| (QEQCAR #0# 0)
                                           (QREFELT $ 6) #0#)) . #2#)
                                       (GO #1#)))))))))
           #1# (EXIT #1#))))) 

(DEFUN |PRS;resultantReduitEuclidean;2polRR;39| (P Q $)
  (PROG (UV |UVs| |l| |gl| |c1| #0=#:G2530 |c2| #1=#:G2533 |rr|
            #2=#:G2538)
    (RETURN
      (SEQ (EXIT (SEQ (LETT UV (SPADCALL P Q (QREFELT $ 84))
                            . #3=(|PRS;resultantReduitEuclidean;2polRR;39|))
                      (LETT |UVs| (QVELT UV 2) . #3#)
                      (EXIT (COND
                              ((< 0 (SPADCALL |UVs| (QREFELT $ 26)))
                               (VECTOR (|spadConstant| $ 24)
                                       (|spadConstant| $ 24)
                                       (|spadConstant| $ 29)))
                              ('T
                               (SEQ (LETT |l|
                                     (SPADCALL
                                      (SPADCALL (QVELT UV 0)
                                       (QREFELT $ 98))
                                      (SPADCALL (QVELT UV 1)
                                       (QREFELT $ 98))
                                      (QREFELT $ 99)) . #3#)
                                    (LETT |gl|
                                     (SPADCALL |l| (QREFELT $ 101)) . #3#)
                                    (LETT |c1|
                                     (PROG2
                                      (LETT #0#
                                       (SPADCALL (QVELT UV 0) |gl|
                                        (QREFELT $ 18)) . #3#)
                                      (QCDR #0#)
                                       (|check-union| (QEQCAR #0# 0)
                                        (QREFELT $ 7) #0#)) . #3#)
                                    (LETT |c2|
                                     (PROG2
                                      (LETT #0#
                                       (SPADCALL (QVELT UV 1) |gl|
                                        (QREFELT $ 18)) . #3#)
                                      (QCDR #0#)
                                       (|check-union| (QEQCAR #0# 0)
                                        (QREFELT $ 7) #0#)) . #3#)
                                    (LETT |rr|
                                     (PROG2
                                      (LETT #1#
                                       (SPADCALL
                                        (SPADCALL |UVs| (QREFELT $ 25))
                                        |gl| (QREFELT $ 36)) . #3#)
                                      (QCDR #1#)
                                       (|check-union| (QEQCAR #1# 0)
                                        (QREFELT $ 6) #1#)) . #3#)
                                    (EXIT
                                     (PROGN
                                       (LETT #2#
                                        (VECTOR |c1| |c2| |rr|) . #3#)
                                       (GO #2#)))))))))
           #2# (EXIT #2#))))) 

(DEFUN |PRS;semiResultantReduitEuclidean;2polRR;40| (P Q $)
  (PROG (UV |UVs| |l| |gl| #0=#:G2542 |c2| #1=#:G2545 |rr| #2=#:G2550)
    (RETURN
      (SEQ (EXIT (SEQ (LETT UV (SPADCALL P Q (QREFELT $ 84))
                            . #3=(|PRS;semiResultantReduitEuclidean;2polRR;40|))
                      (LETT |UVs| (QVELT UV 2) . #3#)
                      (EXIT (COND
                              ((< 0 (SPADCALL |UVs| (QREFELT $ 26)))
                               (CONS (|spadConstant| $ 24)
                                     (|spadConstant| $ 29)))
                              ('T
                               (SEQ (LETT |l|
                                     (SPADCALL
                                      (SPADCALL (QVELT UV 0)
                                       (QREFELT $ 98))
                                      (SPADCALL (QVELT UV 1)
                                       (QREFELT $ 98))
                                      (QREFELT $ 99)) . #3#)
                                    (LETT |gl|
                                     (SPADCALL |l| (QREFELT $ 101)) . #3#)
                                    (LETT |c2|
                                     (PROG2
                                      (LETT #0#
                                       (SPADCALL (QVELT UV 1) |gl|
                                        (QREFELT $ 18)) . #3#)
                                      (QCDR #0#)
                                       (|check-union| (QEQCAR #0# 0)
                                        (QREFELT $ 7) #0#)) . #3#)
                                    (LETT |rr|
                                     (PROG2
                                      (LETT #1#
                                       (SPADCALL
                                        (SPADCALL |UVs| (QREFELT $ 25))
                                        |gl| (QREFELT $ 36)) . #3#)
                                      (QCDR #1#)
                                       (|check-union| (QEQCAR #1# 0)
                                        (QREFELT $ 6) #1#)) . #3#)
                                    (EXIT
                                     (PROGN
                                       (LETT #2#
                                        (CONS |c2| |rr|) . #3#)
                                       (GO #2#)))))))))
           #2# (EXIT #2#))))) 

(DEFUN |PRS;gcdnaif| (P Q $)
  (PROG (#0=#:G2552 #1=#:G2559 |#G249| |#G250|)
    (RETURN
      (SEQ (EXIT (COND
                   ((SPADCALL P (QREFELT $ 23))
                    (PROG2 (LETT #0#
                                 (SPADCALL Q
                                     (SPADCALL Q (QREFELT $ 25))
                                     (QREFELT $ 18))
                                 . #2=(|PRS;gcdnaif|))
                           (QCDR #0#)
                      (|check-union| (QEQCAR #0# 0) (QREFELT $ 7) #0#)))
                   ('T
                    (SEQ G190 NIL
                         (SEQ (EXIT (COND
                                      ((SPADCALL Q (QREFELT $ 23))
                                       (PROGN
                                         (LETT #1#
                                          (PROG2
                                           (LETT #0#
                                            (SPADCALL P
                                             (SPADCALL P
                                              (QREFELT $ 25))
                                             (QREFELT $ 18)) . #2#)
                                           (QCDR #0#)
                                            (|check-union|
                                             (QEQCAR #0# 0)
                                             (QREFELT $ 7) #0#)) . #2#)
                                         (GO #1#)))
                                      ((ZEROP
                                        (SPADCALL Q (QREFELT $ 26)))
                                       (PROGN
                                         (LETT #1#
                                          (|spadConstant| $ 9) . #2#)
                                         (GO #1#)))
                                      ('T
                                       (PROGN
                                         (LETT |#G249| Q . #2#)
                                         (LETT |#G250|
                                          (QCDR
                                           (SPADCALL P Q
                                            (QREFELT $ 38))) . #2#)
                                         (LETT P |#G249| . #2#)
                                         (LETT Q |#G250| . #2#))))))
                         NIL (GO G190) G191 (EXIT NIL)))))
           #1# (EXIT #1#))))) 

(DEFUN |PRS;gcd;3polR;42| (P Q $)
  (PROG (|cP| |cQ| #0=#:G2561 G #1=#:G2566)
    (RETURN
      (SEQ (EXIT (COND
                   ((|HasCategory| (QREFELT $ 6) '(|Finite|))
                    (|PRS;gcdnaif| P Q $))
                   ((SPADCALL P (QREFELT $ 23)) Q)
                   ((SPADCALL Q (QREFELT $ 23)) P)
                   ('T
                    (SEQ (LETT |cP| (SPADCALL P (QREFELT $ 107))
                               . #2=(|PRS;gcd;3polR;42|))
                         (LETT |cQ| (SPADCALL Q (QREFELT $ 107)) . #2#)
                         (LETT P
                               (PROG2 (LETT #0#
                                       (SPADCALL P |cP| (QREFELT $ 18)) . #2#)
                                      (QCDR #0#)
                                 (|check-union| (QEQCAR #0# 0)
                                     (QREFELT $ 7) #0#)) . #2#)
                         (LETT Q
                               (PROG2 (LETT #0#
                                       (SPADCALL Q |cQ| (QREFELT $ 18)) . #2#)
                                      (QCDR #0#)
                                 (|check-union| (QEQCAR #0# 0)
                                     (QREFELT $ 7) #0#)) . #2#)
                         (LETT G (SPADCALL P Q (QREFELT $ 82)) . #2#)
                         (EXIT (PROGN
                                 (LETT #1#
                                       (SPADCALL
                                        (SPADCALL |cP| |cQ|
                                         (QREFELT $ 108))
                                        (SPADCALL G (QREFELT $ 109))
                                        (QREFELT $ 30)) . #2#)
                                 (GO #1#)))))))
           #1# (EXIT #1#))))) 

(DEFUN |PseudoRemainderSequence| (&REST #0=#:G2567)
  (PROG ()
    (RETURN
      (PROG (#1=#:G2568)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (|devaluateList| #0#)
                       (HGET |$ConstructorCache|
                             '|PseudoRemainderSequence|)
                       '|domainEqualList|)
                   . #2=(|PseudoRemainderSequence|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (APPLY (|function| |PseudoRemainderSequence;|)
                             #0#)
                 (LETT #1# T . #2#))
               (COND
                 ((NOT #1#)
                  (HREM |$ConstructorCache| '|PseudoRemainderSequence|))))))))))) 

(DEFUN |PseudoRemainderSequence;| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|PseudoRemainderSequence|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT |dv$| (LIST '|PseudoRemainderSequence| DV$1 DV$2) . #0#)
        (LETT $ (GETREFV 111) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#1| '(|GcdDomain|)))) . #0#))
        (|haddProp| |$ConstructorCache| '|PseudoRemainderSequence|
            (LIST DV$1 DV$2) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 12
            (SPADCALL (|spadConstant| $ 8) 1 (QREFELT $ 11)))
        (COND
          ((|testBitVector| |pv$| 1)
           (PROGN
             (QSETREFV $ 102
                 (CONS (|dispatchFunction|
                           |PRS;resultantReduit;2polRR;38|)
                       $))
             (QSETREFV $ 104
                 (CONS (|dispatchFunction|
                           |PRS;resultantReduitEuclidean;2polRR;39|)
                       $))
             (QSETREFV $ 106
                 (CONS (|dispatchFunction|
                           |PRS;semiResultantReduitEuclidean;2polRR;40|)
                       $))
             (QSETREFV $ 110
                 (CONS (|dispatchFunction| |PRS;gcd;3polR;42|) $)))))
        $)))) 

(MAKEPROP '|PseudoRemainderSequence| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (0 . |One|) (4 . |One|) (|NonNegativeInteger|)
             (8 . |monomial|) 'X (14 . |coerce|) (|Vector| 7) (19 . *)
             |PRS;*;R2V;1| (|Union| $ '"failed") (25 . |exquo|)
             (|Mapping| 7 7) (31 . |map|) |PRS;exquo;VRV;2| (|Boolean|)
             (37 . |zero?|) (42 . |Zero|) (46 . |leadingCoefficient|)
             (51 . |degree|) (56 . |reductum|) (61 . **) (67 . |Zero|)
             (71 . *) (77 . +) (83 . *) (89 . -)
             (|Record| (|:| |coef| 6) (|:| |quotient| 7)
                 (|:| |remainder| 7))
             |PRS;pseudoDivide;2polRR;3| (95 . |exquo|)
             (|Record| (|:| |quotient| 7) (|:| |remainder| 7))
             |PRS;divide;2polRR;4| (101 . -) (106 . *)
             |PRS;resultantnaif;2polRR;5|
             (|Record| (|:| |coef1| 7) (|:| |coef2| 7)
                 (|:| |resultant| 6))
             |PRS;resultantEuclideannaif;2polRR;6|
             (|Record| (|:| |coef2| 7) (|:| |resultant| 6))
             |PRS;semiResultantEuclideannaif;2polRR;7|
             (|PositiveInteger|) (112 . *) |PRS;Lazard;2RNniR;8|
             |PRS;Lazard2;polR2RNnipolR;9| (118 . -)
             (123 . |coefficient|)
             |PRS;nextsousResultant2;3polRRpolR;11| (|Integer|)
             (129 . |elt|) (135 . -) (141 . +) (147 . |setelt|)
             (154 . -) (159 . |pseudoRemainder|)
             |PRS;resultant;2polRR;14| (165 . *)
             |PRS;resultantEuclidean;2polRR;16|
             |PRS;semiResultantEuclidean2;2polRR;18|
             (|Record| (|:| |coef1| 7) (|:| |resultant| 6))
             |PRS;semiResultantEuclidean1;2polRR;19|
             |PRS;indiceSubResultant;2polRNnipolR;20|
             (|Record| (|:| |coef1| 7) (|:| |coef2| 7)
                 (|:| |subResultant| 7))
             |PRS;indiceSubResultantEuclidean;2polRNniR;21|
             (|Record| (|:| |coef2| 7) (|:| |subResultant| 7))
             |PRS;semiIndiceSubResultantEuclidean;2polRNniR;22|
             |PRS;degreeSubResultant;2polRNnipolR;23|
             |PRS;degreeSubResultantEuclidean;2polRNniR;24|
             |PRS;semiDegreeSubResultantEuclidean;2polRNniR;25|
             |PRS;lastSubResultant;3polR;26|
             |PRS;lastSubResultantEuclidean;2polRR;27| (171 . |copy|)
             |PRS;semiLastSubResultantEuclidean;2polRR;28| (|List| 7)
             |PRS;chainSubResultants;2polRL;29| (|List| 10)
             |PRS;schema;2polRL;30| |PRS;subResultantGcd;3polR;31|
             (|Record| (|:| |coef1| 7) (|:| |coef2| 7) (|:| |gcd| 7))
             |PRS;subResultantGcdEuclidean;2polRR;32|
             (|Record| (|:| |coef2| 7) (|:| |gcd| 7))
             |PRS;semiSubResultantGcdEuclidean2;2polRR;33|
             (|Record| (|:| |coef1| 7) (|:| |gcd| 7))
             |PRS;semiSubResultantGcdEuclidean1;2polRR;34|
             (176 . |differentiate|) (181 . *)
             |PRS;discriminant;polRR;35| (187 . *)
             (|Record| (|:| |coef1| 7) (|:| |coef2| 7)
                 (|:| |discriminant| 6))
             |PRS;discriminantEuclidean;polRR;36|
             (|Record| (|:| |coef2| 7) (|:| |discriminant| 6))
             |PRS;semiDiscriminantEuclidean;polRR;37| (|List| 6)
             (193 . |coefficients|) (198 . |concat|) (|List| $)
             (204 . |gcd|) (209 . |resultantReduit|)
             (|Record| (|:| |coef1| 7) (|:| |coef2| 7)
                 (|:| |resultantReduit| 6))
             (215 . |resultantReduitEuclidean|)
             (|Record| (|:| |coef2| 7) (|:| |resultantReduit| 6))
             (221 . |semiResultantReduitEuclidean|) (227 . |content|)
             (232 . |gcd|) (238 . |primitivePart|) (243 . |gcd|))
          '#(|subResultantGcdEuclidean| 249 |subResultantGcd| 255
             |semiSubResultantGcdEuclidean2| 261
             |semiSubResultantGcdEuclidean1| 267
             |semiResultantReduitEuclidean| 273
             |semiResultantEuclideannaif| 279 |semiResultantEuclidean2|
             285 |semiResultantEuclidean1| 291
             |semiLastSubResultantEuclidean| 297
             |semiIndiceSubResultantEuclidean| 303
             |semiDiscriminantEuclidean| 310
             |semiDegreeSubResultantEuclidean| 315 |schema| 322
             |resultantnaif| 328 |resultantReduitEuclidean| 334
             |resultantReduit| 340 |resultantEuclideannaif| 346
             |resultantEuclidean| 352 |resultant| 358 |pseudoDivide|
             364 |nextsousResultant2| 370 |lastSubResultantEuclidean|
             378 |lastSubResultant| 384 |indiceSubResultantEuclidean|
             390 |indiceSubResultant| 397 |gcd| 404 |exquo| 410
             |divide| 416 |discriminantEuclidean| 422 |discriminant|
             427 |degreeSubResultantEuclidean| 432 |degreeSubResultant|
             439 |chainSubResultants| 446 |Lazard2| 452 |Lazard| 460 *
             467)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 110
                                '(0 6 0 8 0 7 0 9 2 7 0 6 10 11 1 7 0 6
                                  13 2 14 0 7 0 15 2 7 17 0 6 18 2 14 0
                                  19 0 20 1 7 22 0 23 0 7 0 24 1 7 6 0
                                  25 1 7 10 0 26 1 7 0 0 27 2 6 0 0 10
                                  28 0 6 0 29 2 7 0 6 0 30 2 7 0 0 0 31
                                  2 7 0 0 0 32 2 7 0 0 0 33 2 6 17 0 0
                                  36 1 6 0 0 39 2 6 0 0 0 40 2 10 0 46
                                  0 47 1 7 0 0 50 2 7 6 0 10 51 2 14 7
                                  0 53 54 2 14 0 0 0 55 2 14 0 0 0 56 3
                                  14 7 0 53 7 57 1 14 0 0 58 2 7 0 0 0
                                  59 2 7 0 53 0 61 1 14 0 0 76 1 7 0 0
                                  89 2 6 0 53 0 90 2 7 0 0 6 92 1 7 97
                                  0 98 2 97 0 0 0 99 1 6 0 100 101 2 0
                                  6 7 7 102 2 0 103 7 7 104 2 0 105 7 7
                                  106 1 7 6 0 107 2 6 0 0 0 108 1 7 0 0
                                  109 2 0 7 7 7 110 2 0 83 7 7 84 2 0 7
                                  7 7 82 2 0 85 7 7 86 2 0 87 7 7 88 2
                                  1 105 7 7 106 2 0 44 7 7 45 2 0 44 7
                                  7 63 2 0 64 7 7 65 2 0 69 7 7 77 3 0
                                  69 7 7 10 70 1 0 95 7 96 3 0 69 7 7
                                  10 73 2 0 80 7 7 81 2 0 6 7 7 41 2 1
                                  103 7 7 104 2 1 6 7 7 102 2 0 42 7 7
                                  43 2 0 42 7 7 62 2 0 6 7 7 60 2 0 34
                                  7 7 35 4 0 7 7 7 7 6 52 2 0 67 7 7 75
                                  2 0 7 7 7 74 3 0 67 7 7 10 68 3 0 7 7
                                  7 10 66 2 1 7 7 7 110 2 0 14 14 6 21
                                  2 0 37 7 7 38 1 0 93 7 94 1 0 6 7 91
                                  3 0 67 7 7 10 72 3 0 7 7 7 10 71 2 0
                                  78 7 7 79 4 0 7 7 6 6 10 49 3 0 6 6 6
                                  10 48 2 0 14 6 14 16)))))
          '|lookupComplete|)) 
