
(/VERSIONCHECK 2) 

(DEFUN |LAUPOL;Zero;$;1| ($) (CONS (|spadConstant| $ 11) 0)) 

(DEFUN |LAUPOL;One;$;2| ($) (CONS (|spadConstant| $ 14) 0)) 

(DEFUN |LAUPOL;=;2$B;3| (|p| |q| $)
  (COND
    ((EQL (QCDR |p|) (QCDR |q|))
     (SPADCALL (QCAR |p|) (QCAR |q|) (QREFELT $ 16)))
    ('T 'NIL))) 

(PUT '|LAUPOL;poly| '|SPADreplace| 'QCAR) 

(DEFUN |LAUPOL;poly| (|p| $) (QCAR |p|)) 

(PUT '|LAUPOL;order;$I;5| '|SPADreplace| 'QCDR) 

(DEFUN |LAUPOL;order;$I;5| (|p| $) (QCDR |p|)) 

(PUT '|LAUPOL;gpol| '|SPADreplace| 'CONS) 

(DEFUN |LAUPOL;gpol| (|p| |n| $) (CONS |p| |n|)) 

(DEFUN |LAUPOL;monomial;RI$;7| (|r| |n| $)
  (|LAUPOL;check0| |n| (SPADCALL |r| (QREFELT $ 20)) $)) 

(DEFUN |LAUPOL;coerce;UP$;8| (|p| $) (|LAUPOL;mkgpol| 0 |p| $)) 

(DEFUN |LAUPOL;reductum;2$;9| (|p| $)
  (|LAUPOL;check0| (SPADCALL |p| (QREFELT $ 19))
      (SPADCALL (|LAUPOL;poly| |p| $) (QREFELT $ 23)) $)) 

(DEFUN |LAUPOL;*;I2$;10| (|n| |p| $)
  (|LAUPOL;check0| (SPADCALL |p| (QREFELT $ 19))
      (SPADCALL |n| (|LAUPOL;poly| |p| $) (QREFELT $ 25)) $)) 

(DEFUN |LAUPOL;characteristic;Nni;11| ($) (SPADCALL (QREFELT $ 28))) 

(DEFUN |LAUPOL;coerce;I$;12| (|n| $)
  (SPADCALL (SPADCALL |n| (QREFELT $ 30)) (QREFELT $ 31))) 

(DEFUN |LAUPOL;degree;$I;13| (|p| $)
  (+ (SPADCALL (|LAUPOL;poly| |p| $) (QREFELT $ 33))
     (SPADCALL |p| (QREFELT $ 19)))) 

(DEFUN |LAUPOL;monomial?;$B;14| (|p| $)
  (SPADCALL (|LAUPOL;poly| |p| $) (QREFELT $ 35))) 

(DEFUN |LAUPOL;coerce;R$;15| (|r| $)
  (|LAUPOL;gpol| (SPADCALL |r| (QREFELT $ 20)) 0 $)) 

(DEFUN |LAUPOL;convert;$F;16| (|p| $)
  (SPADCALL (|LAUPOL;poly| |p| $)
      (SPADCALL
          (SPADCALL (SPADCALL (|spadConstant| $ 13) 1 (QREFELT $ 37))
              (QREFELT $ 39))
          (SPADCALL |p| (QREFELT $ 19)) (QREFELT $ 40))
      (QREFELT $ 41))) 

(DEFUN |LAUPOL;*;3$;17| (|p| |q| $)
  (|LAUPOL;check0|
      (+ (SPADCALL |p| (QREFELT $ 19)) (SPADCALL |q| (QREFELT $ 19)))
      (SPADCALL (|LAUPOL;poly| |p| $) (|LAUPOL;poly| |q| $)
          (QREFELT $ 43))
      $)) 

(DEFUN |LAUPOL;-;2$;18| (|p| $)
  (|LAUPOL;gpol| (SPADCALL (|LAUPOL;poly| |p| $) (QREFELT $ 45))
      (SPADCALL |p| (QREFELT $ 19)) $)) 

(DEFUN |LAUPOL;check0| (|n| |p| $)
  (COND
    ((SPADCALL |p| (QREFELT $ 47)) (|spadConstant| $ 9))
    ('T (|LAUPOL;gpol| |p| |n| $)))) 

(DEFUN |LAUPOL;trailingCoefficient;$R;20| (|p| $)
  (SPADCALL (|LAUPOL;poly| |p| $) 0 (QREFELT $ 48))) 

(DEFUN |LAUPOL;leadingCoefficient;$R;21| (|p| $)
  (SPADCALL (|LAUPOL;poly| |p| $) (QREFELT $ 50))) 

(DEFUN |LAUPOL;coerce;$Of;22| (|p| $)
  (PROG (|v| |l|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |p| (QREFELT $ 52))
              (SPADCALL 0 (QREFELT $ 54)))
             ('T
              (SEQ (LETT |l| NIL . #0=(|LAUPOL;coerce;$Of;22|))
                   (LETT |v|
                         (SPADCALL
                             (SPADCALL (|spadConstant| $ 13) 1
                                 (QREFELT $ 37))
                             (QREFELT $ 55)) . #0#)
                   (SEQ G190
                        (COND
                          ((NULL (COND
                                   ((SPADCALL |p| (|spadConstant| $ 9)
                                     (QREFELT $ 17))
                                    'NIL)
                                   ('T 'T)))
                           (GO G191)))
                        (SEQ (LETT |l|
                                   (SPADCALL |l|
                                    (|LAUPOL;toutput|
                                     (SPADCALL |p| (QREFELT $ 51))
                                     (SPADCALL |p| (QREFELT $ 34)) |v|
                                     $)
                                    (QREFELT $ 57)) . #0#)
                             (EXIT (LETT |p|
                                    (SPADCALL |p| (QREFELT $ 24)) . #0#)))
                        NIL (GO G190) G191 (EXIT NIL))
                   (EXIT (SPADCALL (ELT $ 58) |l| (QREFELT $ 60)))))))))) 

(DEFUN |LAUPOL;coefficient;$IR;23| (|p| |n| $)
  (PROG (|m| #0=#:G1865)
    (RETURN
      (SEQ (LETT |m| (- |n| (SPADCALL |p| (QREFELT $ 19)))
                 . #1=(|LAUPOL;coefficient;$IR;23|))
           (EXIT (COND
                   ((< |m| 0) (|spadConstant| $ 10))
                   ('T
                    (SPADCALL (|LAUPOL;poly| |p| $)
                        (PROG1 (LETT #0# |m| . #1#)
                          (|check-subtype| (>= #0# 0)
                              '(|NonNegativeInteger|) #0#))
                        (QREFELT $ 48))))))))) 

(DEFUN |LAUPOL;differentiate;$M$;24| (|p| |derivation| $)
  (PROG (|t|)
    (RETURN
      (SEQ (LETT |t| (SPADCALL (|spadConstant| $ 13) 1 (QREFELT $ 37))
                 |LAUPOL;differentiate;$M$;24|)
           (EXIT (|LAUPOL;mkgpol| (- (SPADCALL |p| (QREFELT $ 19)) 1)
                     (SPADCALL
                         (SPADCALL
                             (SPADCALL (|LAUPOL;poly| |p| $)
                                 |derivation|)
                             |t| (QREFELT $ 43))
                         (SPADCALL
                             (SPADCALL (SPADCALL |p| (QREFELT $ 19))
                                 (|LAUPOL;poly| |p| $) (QREFELT $ 25))
                             (SPADCALL |t| |derivation|)
                             (QREFELT $ 43))
                         (QREFELT $ 63))
                     $)))))) 

(DEFUN |LAUPOL;monTerm| (|r| |n| |v| $)
  (COND
    ((ZEROP |n|) (SPADCALL |r| (QREFELT $ 66)))
    ((EQL |n| 1) |v|)
    ('T (SPADCALL |v| (SPADCALL |n| (QREFELT $ 54)) (QREFELT $ 67))))) 

(DEFUN |LAUPOL;toutput| (|r| |n| |v| $)
  (PROG (|mon|)
    (RETURN
      (SEQ (LETT |mon| (|LAUPOL;monTerm| |r| |n| |v| $)
                 |LAUPOL;toutput|)
           (COND
             ((OR (ZEROP |n|)
                  (SPADCALL |r| (|spadConstant| $ 13) (QREFELT $ 68)))
              (EXIT |mon|)))
           (EXIT (COND
                   ((SPADCALL |r|
                        (SPADCALL (|spadConstant| $ 13) (QREFELT $ 69))
                        (QREFELT $ 68))
                    (SPADCALL |mon| (QREFELT $ 70)))
                   ('T
                    (SPADCALL (SPADCALL |r| (QREFELT $ 66)) |mon|
                        (QREFELT $ 71))))))))) 

(DEFUN |LAUPOL;recip;$U;27| (|p| $)
  (PROG (|q|)
    (RETURN
      (SEQ (LETT |q| (SPADCALL (|LAUPOL;poly| |p| $) (QREFELT $ 73))
                 |LAUPOL;recip;$U;27|)
           (EXIT (COND
                   ((QEQCAR |q| 1) (CONS 1 "failed"))
                   ('T
                    (CONS 0
                          (|LAUPOL;gpol| (QCDR |q|)
                              (- (SPADCALL |p| (QREFELT $ 19))) $))))))))) 

(DEFUN |LAUPOL;+;3$;28| (|p| |q| $)
  (PROG (|d| #0=#:G1889 #1=#:G1890)
    (RETURN
      (SEQ (COND
             ((SPADCALL |q| (QREFELT $ 52)) |p|)
             ((SPADCALL |p| (QREFELT $ 52)) |q|)
             ('T
              (SEQ (LETT |d|
                         (- (SPADCALL |p| (QREFELT $ 19))
                            (SPADCALL |q| (QREFELT $ 19)))
                         . #2=(|LAUPOL;+;3$;28|))
                   (EXIT (COND
                           ((< 0 |d|)
                            (|LAUPOL;gpol|
                                (SPADCALL
                                    (SPADCALL (|LAUPOL;poly| |p| $)
                                     (SPADCALL (|spadConstant| $ 13)
                                      (PROG1 (LETT #0# |d| . #2#)
                                        (|check-subtype| (>= #0# 0)
                                         '(|NonNegativeInteger|) #0#))
                                      (QREFELT $ 37))
                                     (QREFELT $ 43))
                                    (|LAUPOL;poly| |q| $)
                                    (QREFELT $ 63))
                                (SPADCALL |q| (QREFELT $ 19)) $))
                           ((< |d| 0)
                            (|LAUPOL;gpol|
                                (SPADCALL (|LAUPOL;poly| |p| $)
                                    (SPADCALL (|LAUPOL;poly| |q| $)
                                     (SPADCALL (|spadConstant| $ 13)
                                      (PROG1 (LETT #1# (- |d|) . #2#)
                                        (|check-subtype| (>= #1# 0)
                                         '(|NonNegativeInteger|) #1#))
                                      (QREFELT $ 37))
                                     (QREFELT $ 43))
                                    (QREFELT $ 63))
                                (SPADCALL |p| (QREFELT $ 19)) $))
                           ('T
                            (|LAUPOL;mkgpol|
                                (SPADCALL |p| (QREFELT $ 19))
                                (SPADCALL (|LAUPOL;poly| |p| $)
                                    (|LAUPOL;poly| |q| $)
                                    (QREFELT $ 63))
                                $))))))))))) 

(DEFUN |LAUPOL;mkgpol| (|n| |p| $)
  (PROG (|d| #0=#:G1896)
    (RETURN
      (SEQ (COND
             ((SPADCALL |p| (QREFELT $ 47)) (|spadConstant| $ 9))
             ('T
              (SEQ (LETT |d|
                         (SPADCALL |p|
                             (SPADCALL (|spadConstant| $ 13) 1
                                 (QREFELT $ 37))
                             (QREFELT $ 76))
                         . #1=(|LAUPOL;mkgpol|))
                   (EXIT (|LAUPOL;gpol|
                             (PROG2 (LETT #0#
                                     (SPADCALL |p|
                                      (SPADCALL (|spadConstant| $ 13)
                                       |d| (QREFELT $ 37))
                                      (QREFELT $ 77)) . #1#)
                                    (QCDR #0#)
                               (|check-union| (QEQCAR #0# 0)
                                   (QREFELT $ 7) #0#))
                             (+ |n| |d|) $))))))))) 

(DEFUN |LAUPOL;exquo;2$U;30| (|p| |q| $)
  (PROG (|r|)
    (RETURN
      (SEQ (LETT |r|
                 (SPADCALL (|LAUPOL;poly| |p| $) (|LAUPOL;poly| |q| $)
                     (QREFELT $ 77))
                 |LAUPOL;exquo;2$U;30|)
           (EXIT (COND
                   ((QEQCAR |r| 1) (CONS 1 "failed"))
                   ('T
                    (CONS 0
                          (|LAUPOL;check0|
                              (- (SPADCALL |p| (QREFELT $ 19))
                                 (SPADCALL |q| (QREFELT $ 19)))
                              (QCDR |r|) $))))))))) 

(DEFUN |LAUPOL;retractIfCan;$U;31| (|p| $)
  (PROG (#0=#:G1913)
    (RETURN
      (COND
        ((< (SPADCALL |p| (QREFELT $ 19)) 0)
         (|error| "Not retractable"))
        ('T
         (CONS 0
               (SPADCALL (|LAUPOL;poly| |p| $)
                   (SPADCALL (|spadConstant| $ 13)
                       (PROG1 (LETT #0# (SPADCALL |p| (QREFELT $ 19))
                                    |LAUPOL;retractIfCan;$U;31|)
                         (|check-subtype| (>= #0# 0)
                             '(|NonNegativeInteger|) #0#))
                       (QREFELT $ 37))
                   (QREFELT $ 43)))))))) 

(DEFUN |LAUPOL;retractIfCan;$U;32| (|p| $)
  (COND
    ((NULL (EQL (SPADCALL |p| (QREFELT $ 19)) 0)) (CONS 1 "failed"))
    ('T (SPADCALL (|LAUPOL;poly| |p| $) (QREFELT $ 82))))) 

(DEFUN |LAUPOL;gcd;3$;33| (|p| |q| $)
  (SPADCALL
      (SPADCALL (|LAUPOL;poly| |p| $) (|LAUPOL;poly| |q| $)
          (QREFELT $ 84))
      (QREFELT $ 22))) 

(DEFUN |LAUPOL;separate;FR;34| (|f| $)
  (PROG (|n| |tn| #0=#:G1933 |q| #1=#:G1941 |bc| |qr|)
    (RETURN
      (SEQ (LETT |n|
                 (SPADCALL
                     (LETT |q| (SPADCALL |f| (QREFELT $ 86))
                           . #2=(|LAUPOL;separate;FR;34|))
                     (SPADCALL (|spadConstant| $ 13) 1 (QREFELT $ 37))
                     (QREFELT $ 76)) . #2#)
           (LETT |q|
                 (PROG2 (LETT #0#
                              (SPADCALL |q|
                                  (LETT |tn|
                                        (SPADCALL (|spadConstant| $ 13)
                                         |n| (QREFELT $ 37)) . #2#)
                                  (QREFELT $ 77)) . #2#)
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0) (QREFELT $ 7) #0#)) . #2#)
           (LETT |bc|
                 (PROG2 (LETT #1#
                              (SPADCALL |tn| |q|
                                  (SPADCALL |f| (QREFELT $ 87))
                                  (QREFELT $ 90)) . #2#)
                        (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0)
                       (|Record| (|:| |coef1| (QREFELT $ 7))
                           (|:| |coef2| (QREFELT $ 7)))
                       #1#)) . #2#)
           (LETT |qr| (SPADCALL (QCAR |bc|) |q| (QREFELT $ 92)) . #2#)
           (EXIT (CONS (|LAUPOL;mkgpol| (- |n|)
                           (SPADCALL (QCDR |bc|)
                               (SPADCALL |tn| (QCAR |qr|)
                                   (QREFELT $ 43))
                               (QREFELT $ 63))
                           $)
                       (SPADCALL (QCDR |qr|) |q| (QREFELT $ 93)))))))) 

(DEFUN |LAUPOL;divide;2$R;35| (|p| |q| $)
  (PROG (|c| #0=#:G1953 |qr|)
    (RETURN
      (SEQ (LETT |c|
                 (MIN (SPADCALL |p| (QREFELT $ 19))
                      (SPADCALL |q| (QREFELT $ 19)))
                 . #1=(|LAUPOL;divide;2$R;35|))
           (LETT |qr|
                 (SPADCALL
                     (SPADCALL (|LAUPOL;poly| |p| $)
                         (SPADCALL (|spadConstant| $ 13)
                             (PROG1 (LETT #0#
                                     (- (SPADCALL |p| (QREFELT $ 19))
                                      |c|) . #1#)
                               (|check-subtype| (>= #0# 0)
                                   '(|NonNegativeInteger|) #0#))
                             (QREFELT $ 37))
                         (QREFELT $ 43))
                     (|LAUPOL;poly| |q| $) (QREFELT $ 92)) . #1#)
           (EXIT (CONS (|LAUPOL;mkgpol|
                           (- |c| (SPADCALL |q| (QREFELT $ 19)))
                           (QCAR |qr|) $)
                       (|LAUPOL;mkgpol| |c| (QCDR |qr|) $))))))) 

(DEFUN |LAUPOL;euclideanSize;$Nni;36| (|p| $)
  (SPADCALL (|LAUPOL;poly| |p| $) (QREFELT $ 33))) 

(DEFUN |LAUPOL;extendedEuclidean;3$U;37| (|a| |b| |c| $)
  (PROG (|bc|)
    (RETURN
      (SEQ (LETT |bc|
                 (SPADCALL (|LAUPOL;poly| |a| $) (|LAUPOL;poly| |b| $)
                     (|LAUPOL;poly| |c| $) (QREFELT $ 90))
                 |LAUPOL;extendedEuclidean;3$U;37|)
           (EXIT (COND
                   ((QEQCAR |bc| 1) (CONS 1 "failed"))
                   ('T
                    (CONS 0
                          (CONS (|LAUPOL;mkgpol|
                                    (- (SPADCALL |c| (QREFELT $ 19))
                                     (SPADCALL |a| (QREFELT $ 19)))
                                    (QCAR (QCDR |bc|)) $)
                                (|LAUPOL;mkgpol|
                                    (- (SPADCALL |c| (QREFELT $ 19))
                                     (SPADCALL |b| (QREFELT $ 19)))
                                    (QCDR (QCDR |bc|)) $)))))))))) 

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

(DEFUN |LaurentPolynomial;| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|LaurentPolynomial|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT |dv$| (LIST '|LaurentPolynomial| DV$1 DV$2) . #0#)
        (LETT $ (GETREFV 114) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#2|
                                '(|PartialDifferentialRing| (|Symbol|)))
                            (|HasCategory| |#2| '(|DifferentialRing|))
                            (|HasCategory| |#1| '(|Field|))
                            (|HasCategory| |#1|
                                '(|CharacteristicNonZero|))
                            (|HasCategory| |#1|
                                '(|CharacteristicZero|))
                            (|HasCategory| |#1|
                                '(|RetractableTo|
                                     (|Fraction| (|Integer|))))
                            (|HasCategory| |#1|
                                '(|RetractableTo| (|Integer|))))) . #0#))
        (|haddProp| |$ConstructorCache| '|LaurentPolynomial|
            (LIST DV$1 DV$2) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8
            (|Record| (|:| |polypart| |#2|) (|:| |order0| (|Integer|))))
        (COND
          ((|testBitVector| |pv$| 3)
           (PROGN
             (QSETREFV $ 85
                 (CONS (|dispatchFunction| |LAUPOL;gcd;3$;33|) $))
             (QSETREFV $ 95
                 (CONS (|dispatchFunction| |LAUPOL;separate;FR;34|) $))
             (QSETREFV $ 96
                 (CONS (|dispatchFunction| |LAUPOL;divide;2$R;35|) $))
             (QSETREFV $ 97
                 (CONS (|dispatchFunction|
                           |LAUPOL;euclideanSize;$Nni;36|)
                       $))
             (QSETREFV $ 98
                 (CONS (|dispatchFunction|
                           |LAUPOL;extendedEuclidean;3$U;37|)
                       $)))))
        $)))) 

(MAKEPROP '|LaurentPolynomial| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             '|Rep|
             (CONS IDENTITY
                   (FUNCALL (|dispatchFunction| |LAUPOL;Zero;$;1|) $))
             (0 . |Zero|) (4 . |Zero|)
             (CONS IDENTITY
                   (FUNCALL (|dispatchFunction| |LAUPOL;One;$;2|) $))
             (8 . |One|) (12 . |One|) (|Boolean|) (16 . =)
             |LAUPOL;=;2$B;3| (|Integer|) |LAUPOL;order;$I;5|
             (22 . |coerce|) |LAUPOL;monomial;RI$;7|
             |LAUPOL;coerce;UP$;8| (27 . |reductum|)
             |LAUPOL;reductum;2$;9| (32 . *) |LAUPOL;*;I2$;10|
             (|NonNegativeInteger|) (38 . |characteristic|)
             |LAUPOL;characteristic;Nni;11| (42 . |coerce|)
             |LAUPOL;coerce;R$;15| |LAUPOL;coerce;I$;12|
             (47 . |degree|) |LAUPOL;degree;$I;13| (52 . |monomial?|)
             |LAUPOL;monomial?;$B;14| (57 . |monomial|) (|Fraction| 7)
             (63 . |coerce|) (68 . **) (74 . *) |LAUPOL;convert;$F;16|
             (80 . *) |LAUPOL;*;3$;17| (86 . -) |LAUPOL;-;2$;18|
             (91 . |zero?|) (96 . |coefficient|)
             |LAUPOL;trailingCoefficient;$R;20|
             (102 . |leadingCoefficient|)
             |LAUPOL;leadingCoefficient;$R;21| (107 . |zero?|)
             (|OutputForm|) (112 . |coerce|) (117 . |coerce|)
             (|List| 53) (122 . |concat|) (128 . +)
             (|Mapping| 53 53 53) (134 . |reduce|)
             |LAUPOL;coerce;$Of;22| |LAUPOL;coefficient;$IR;23|
             (140 . +) (|Mapping| 7 7) |LAUPOL;differentiate;$M$;24|
             (146 . |coerce|) (151 . **) (157 . =) (163 . -) (168 . -)
             (173 . *) (|Union| $ '"failed") (179 . |recip|)
             |LAUPOL;recip;$U;27| |LAUPOL;+;3$;28| (184 . |order|)
             (190 . |exquo|) |LAUPOL;exquo;2$U;30|
             (|Union| 7 '"failed") |LAUPOL;retractIfCan;$U;31|
             (|Union| 6 '"failed") (196 . |retractIfCan|)
             |LAUPOL;retractIfCan;$U;32| (201 . |gcd|) (207 . |gcd|)
             (213 . |denom|) (218 . |numer|)
             (|Record| (|:| |coef1| $) (|:| |coef2| $))
             (|Union| 88 '"failed") (223 . |extendedEuclidean|)
             (|Record| (|:| |quotient| $) (|:| |remainder| $))
             (230 . |divide|) (236 . /)
             (|Record| (|:| |polyPart| $) (|:| |fracPart| 38))
             (242 . |separate|) (247 . |divide|)
             (253 . |euclideanSize|) (258 . |extendedEuclidean|)
             (|List| $) (|Record| (|:| |coef| 99) (|:| |generator| $))
             (|SparseUnivariatePolynomial| $) (|Union| 99 '"failed")
             (|Record| (|:| |coef1| $) (|:| |coef2| $)
                 (|:| |generator| $))
             (|Union| 105 '"failed") (|Fraction| 18)
             (|Union| 18 '"failed") (|List| 108) (|Symbol|) (|List| 27)
             (|Record| (|:| |unit| $) (|:| |canonical| $)
                 (|:| |associate| $))
             (|PositiveInteger|) (|SingleInteger|) (|String|))
          '#(~= 265 |zero?| 271 |unitNormal| 276 |unitCanonical| 281
             |unit?| 286 |trailingCoefficient| 291 |subtractIfCan| 296
             |sizeLess?| 302 |separate| 308 |sample| 313 |retractIfCan|
             317 |retract| 337 |rem| 357 |reductum| 363 |recip| 368
             |quo| 373 |principalIdeal| 379 |order| 384 |one?| 389
             |multiEuclidean| 394 |monomial?| 400 |monomial| 405
             |leadingCoefficient| 411 |lcm| 416 |latex| 427 |hash| 432
             |gcdPolynomial| 437 |gcd| 443 |extendedEuclidean| 454
             |exquo| 467 |expressIdealMember| 473 |euclideanSize| 479
             |divide| 484 |differentiate| 490 |degree| 540 |convert|
             545 |coerce| 550 |coefficient| 580 |charthRoot| 586
             |characteristic| 591 |associates?| 595 ^ 601 |Zero| 613
             |One| 617 D 621 = 671 - 677 + 688 ** 694 * 706)
          'NIL
          (CONS (|makeByteWordVec2| 7
                    '(3 3 3 0 0 0 0 0 0 1 2 4 5 0 0 0 0 0 0 0 0 0 0 0 0
                      0 0 0 0 0 0 0 0 0 0 0 6 7))
                (CONS '#(|EuclideanDomain&| NIL |GcdDomain&|
                         |IntegralDomain&| |DifferentialExtension&|
                         |Algebra&| NIL |Module&| NIL
                         |PartialDifferentialRing&| |DifferentialRing&|
                         NIL NIL NIL |Ring&| NIL NIL NIL
                         |AbelianGroup&| NIL NIL |AbelianMonoid&|
                         |Monoid&| NIL |SemiGroup&| |AbelianSemiGroup&|
                         |FullyRetractableTo&| |SetCategory&|
                         |RetractableTo&| |RetractableTo&| NIL NIL NIL
                         NIL |BasicType&| NIL |RetractableTo&|
                         |RetractableTo&|)
                      (CONS '#((|EuclideanDomain|)
                               (|PrincipalIdealDomain|) (|GcdDomain|)
                               (|IntegralDomain|)
                               (|DifferentialExtension| 7)
                               (|Algebra| $$) (|EntireRing|)
                               (|Module| $$) (|CommutativeRing|)
                               (|PartialDifferentialRing| 108)
                               (|DifferentialRing|)
                               (|CharacteristicNonZero|)
                               (|CharacteristicZero|)
                               (|BiModule| $$ $$) (|Ring|)
                               (|RightModule| $$) (|LeftModule| $$)
                               (|Rng|) (|AbelianGroup|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|AbelianMonoid|)
                               (|Monoid|) (|SemiRng|) (|SemiGroup|)
                               (|AbelianSemiGroup|)
                               (|FullyRetractableTo| 6) (|SetCategory|)
                               (|RetractableTo| 7) (|RetractableTo| 6)
                               (|ConvertibleTo| (|Fraction| 7))
                               (|noZeroDivisors|) (|CommutativeStar|)
                               (|unitsKnown|) (|BasicType|)
                               (|CoercibleTo| 53) (|RetractableTo| 105)
                               (|RetractableTo| 18))
                            (|makeByteWordVec2| 113
                                '(0 6 0 10 0 7 0 11 0 6 0 13 0 7 0 14 2
                                  7 15 0 0 16 1 7 0 6 20 1 7 0 0 23 2 7
                                  0 18 0 25 0 6 27 28 1 6 0 18 30 1 7
                                  27 0 33 1 7 15 0 35 2 7 0 6 27 37 1
                                  38 0 7 39 2 38 0 0 18 40 2 38 0 7 0
                                  41 2 7 0 0 0 43 1 7 0 0 45 1 7 15 0
                                  47 2 7 6 0 27 48 1 7 6 0 50 1 0 15 0
                                  52 1 18 53 0 54 1 7 53 0 55 2 56 0 0
                                  53 57 2 53 0 0 0 58 2 56 53 59 0 60 2
                                  7 0 0 0 63 1 6 53 0 66 2 53 0 0 0 67
                                  2 6 15 0 0 68 1 6 0 0 69 1 53 0 0 70
                                  2 53 0 0 0 71 1 7 72 0 73 2 7 27 0 0
                                  76 2 7 72 0 0 77 1 7 81 0 82 2 7 0 0
                                  0 84 2 0 0 0 0 85 1 38 7 0 86 1 38 7
                                  0 87 3 7 89 0 0 0 90 2 7 91 0 0 92 2
                                  38 0 7 7 93 1 0 94 38 95 2 0 91 0 0
                                  96 1 0 27 0 97 3 0 89 0 0 0 98 2 0 15
                                  0 0 1 1 0 15 0 52 1 0 110 0 1 1 0 0 0
                                  1 1 0 15 0 1 1 0 6 0 49 2 0 72 0 0 1
                                  2 3 15 0 0 1 1 3 94 38 95 0 0 0 1 1 6
                                  104 0 1 1 7 106 0 1 1 0 79 0 80 1 0
                                  81 0 83 1 6 105 0 1 1 7 18 0 1 1 0 7
                                  0 1 1 0 6 0 1 2 3 0 0 0 1 1 0 0 0 24
                                  1 0 72 0 74 2 3 0 0 0 1 1 3 100 99 1
                                  1 0 18 0 19 1 0 15 0 1 2 3 102 99 0 1
                                  1 0 15 0 36 2 0 0 6 18 21 1 0 6 0 51
                                  1 3 0 99 1 2 3 0 0 0 1 1 0 113 0 1 1
                                  0 112 0 1 2 3 101 101 101 1 2 3 0 0 0
                                  85 1 3 0 99 1 3 3 89 0 0 0 98 2 3 103
                                  0 0 1 2 0 72 0 0 78 2 3 102 99 0 1 1
                                  3 27 0 97 2 3 91 0 0 96 1 2 0 0 1 2 2
                                  0 0 27 1 2 1 0 0 107 1 2 1 0 0 108 1
                                  3 1 0 0 108 27 1 3 1 0 0 107 109 1 3
                                  0 0 0 64 27 1 2 0 0 0 64 65 1 0 18 0
                                  34 1 0 38 0 42 1 6 0 105 1 1 0 0 7 22
                                  1 0 0 6 31 1 0 0 0 1 1 0 0 18 32 1 0
                                  53 0 61 2 0 6 0 18 62 1 4 72 0 1 0 0
                                  27 29 2 0 15 0 0 1 2 0 0 0 27 1 2 0 0
                                  0 111 1 0 0 0 9 0 0 0 12 1 2 0 0 1 2
                                  2 0 0 27 1 2 1 0 0 108 1 3 1 0 0 108
                                  27 1 2 1 0 0 107 1 3 1 0 0 107 109 1
                                  2 0 0 0 64 1 3 0 0 0 64 27 1 2 0 15 0
                                  0 17 2 0 0 0 0 1 1 0 0 0 46 2 0 0 0 0
                                  75 2 0 0 0 27 1 2 0 0 0 111 1 2 0 0
                                  18 0 26 2 0 0 0 0 44 2 0 0 27 0 1 2 0
                                  0 111 0 1)))))
          '|lookupComplete|)) 
