
(/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 (|l| |v|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |p| (QREFELT $ 52)) (SPADCALL 0 (QREFELT $ 54)))
            ('T
             (SEQ (LETT |l| NIL . #1=(|LAUPOL;coerce;$Of;22|))
                  (LETT |v|
                        (SPADCALL
                         (SPADCALL (|spadConstant| $ 13) 1 (QREFELT $ 37))
                         (QREFELT $ 55))
                        . #1#)
                  (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))
                              . #1#)
                        (EXIT (LETT |p| (SPADCALL |p| (QREFELT $ 24)) . #1#)))
                       NIL (GO G190) G191 (EXIT NIL))
                  (EXIT (SPADCALL (ELT $ 58) |l| (QREFELT $ 60)))))))))) 

(DEFUN |LAUPOL;coefficient;$IR;23| (|p| |n| $)
  (PROG (#1=#:G711 |m|)
    (RETURN
     (SEQ
      (LETT |m| (- |n| (SPADCALL |p| (QREFELT $ 19)))
            . #2=(|LAUPOL;coefficient;$IR;23|))
      (EXIT
       (COND ((< |m| 0) (|spadConstant| $ 10))
             ('T
              (SPADCALL (|LAUPOL;poly| |p| $)
                        (PROG1 (LETT #1# |m| . #2#)
                          (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|)
                                           #1#))
                        (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 (#1=#:G736 #2=#:G735 |d|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |q| (QREFELT $ 52)) |p|)
            ((SPADCALL |p| (QREFELT $ 52)) |q|)
            (#3='T
             (SEQ
              (LETT |d|
                    (- (SPADCALL |p| (QREFELT $ 19))
                       (SPADCALL |q| (QREFELT $ 19)))
                    . #4=(|LAUPOL;+;3$;28|))
              (EXIT
               (COND
                ((< 0 |d|)
                 (|LAUPOL;gpol|
                  (SPADCALL
                   (SPADCALL (|LAUPOL;poly| |p| $)
                             (SPADCALL (|spadConstant| $ 13)
                                       (PROG1 (LETT #2# |d| . #4#)
                                         (|check-subtype| (>= #2# 0)
                                                          '(|NonNegativeInteger|)
                                                          #2#))
                                       (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|) . #4#)
                                                  (|check-subtype| (>= #1# 0)
                                                                   '(|NonNegativeInteger|)
                                                                   #1#))
                                                (QREFELT $ 37))
                                      (QREFELT $ 43))
                            (QREFELT $ 63))
                  (SPADCALL |p| (QREFELT $ 19)) $))
                (#3#
                 (|LAUPOL;mkgpol| (SPADCALL |p| (QREFELT $ 19))
                  (SPADCALL (|LAUPOL;poly| |p| $) (|LAUPOL;poly| |q| $)
                            (QREFELT $ 63))
                  $))))))))))) 

(DEFUN |LAUPOL;mkgpol| (|n| |p| $)
  (PROG (#1=#:G742 |d|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |p| (QREFELT $ 47)) (|spadConstant| $ 9))
            ('T
             (SEQ
              (LETT |d|
                    (SPADCALL |p|
                              (SPADCALL (|spadConstant| $ 13) 1 (QREFELT $ 37))
                              (QREFELT $ 76))
                    . #2=(|LAUPOL;mkgpol|))
              (EXIT
               (|LAUPOL;gpol|
                (PROG2
                    (LETT #1#
                          (SPADCALL |p|
                                    (SPADCALL (|spadConstant| $ 13) |d|
                                              (QREFELT $ 37))
                                    (QREFELT $ 77))
                          . #2#)
                    (QCDR #1#)
                  (|check-union| (QEQCAR #1# 0) (QREFELT $ 7) #1#))
                (+ |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 (#1=#:G759)
    (RETURN
     (COND ((< (SPADCALL |p| (QREFELT $ 19)) 0) (|error| "Not retractable"))
           ('T
            (CONS 0
                  (SPADCALL (|LAUPOL;poly| |p| $)
                            (SPADCALL (|spadConstant| $ 13)
                                      (PROG1
                                          (LETT #1#
                                                (SPADCALL |p| (QREFELT $ 19))
                                                |LAUPOL;retractIfCan;$U;31|)
                                        (|check-subtype| (>= #1# 0)
                                                         '(|NonNegativeInteger|)
                                                         #1#))
                                      (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 (|qr| |bc| #1=#:G787 |q| #2=#:G779 |tn| |n|)
    (RETURN
     (SEQ
      (LETT |n|
            (SPADCALL
             (LETT |q| (SPADCALL |f| (QREFELT $ 86))
                   . #3=(|LAUPOL;separate;FR;34|))
             (SPADCALL (|spadConstant| $ 13) 1 (QREFELT $ 37)) (QREFELT $ 76))
            . #3#)
      (LETT |q|
            (PROG2
                (LETT #2#
                      (SPADCALL |q|
                                (LETT |tn|
                                      (SPADCALL (|spadConstant| $ 13) |n|
                                                (QREFELT $ 37))
                                      . #3#)
                                (QREFELT $ 77))
                      . #3#)
                (QCDR #2#)
              (|check-union| (QEQCAR #2# 0) (QREFELT $ 7) #2#))
            . #3#)
      (LETT |bc|
            (PROG2
                (LETT #1#
                      (SPADCALL |tn| |q| (SPADCALL |f| (QREFELT $ 87))
                                (QREFELT $ 90))
                      . #3#)
                (QCDR #1#)
              (|check-union| (QEQCAR #1# 0)
                             (|Record| (|:| |coef1| (QREFELT $ 7))
                                       (|:| |coef2| (QREFELT $ 7)))
                             #1#))
            . #3#)
      (LETT |qr| (SPADCALL (QCAR |bc|) |q| (QREFELT $ 92)) . #3#)
      (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 (|qr| #1=#:G799 |c|)
    (RETURN
     (SEQ
      (LETT |c|
            (MIN (SPADCALL |p| (QREFELT $ 19)) (SPADCALL |q| (QREFELT $ 19)))
            . #2=(|LAUPOL;divide;2$R;35|))
      (LETT |qr|
            (SPADCALL
             (SPADCALL (|LAUPOL;poly| |p| $)
                       (SPADCALL (|spadConstant| $ 13)
                                 (PROG1
                                     (LETT #1#
                                           (- (SPADCALL |p| (QREFELT $ 19))
                                              |c|)
                                           . #2#)
                                   (|check-subtype| (>= #1# 0)
                                                    '(|NonNegativeInteger|)
                                                    #1#))
                                 (QREFELT $ 37))
                       (QREFELT $ 43))
             (|LAUPOL;poly| |q| $) (QREFELT $ 92))
            . #2#)
      (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 #1=#:G827)
  (PROG ()
    (RETURN
     (PROG (#2=#:G828)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (|devaluateList| #1#)
                                           (HGET |$ConstructorCache|
                                                 '|LaurentPolynomial|)
                                           '|domainEqualList|)
                . #3=(|LaurentPolynomial|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT
              (PROG1 (APPLY (|function| |LaurentPolynomial;|) #1#)
                (LETT #2# T . #3#))
            (COND
             ((NOT #2#)
              (HREM |$ConstructorCache| '|LaurentPolynomial|))))))))))) 

(DEFUN |LaurentPolynomial;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|LaurentPolynomial|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|LaurentPolynomial| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 114) . #1#)
      (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|)))))
                      . #1#))
      (|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 '#1="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| $))
              (|Fraction| 18) (|Union| 104 '#1#) (|Union| 18 '#1#) (|Symbol|)
              (|List| 107) (|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)
           '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| 107) (|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| 104)
                 (|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 105 0 1 1 7 106 0 1 1 0 79 0 80 1 0
                                    81 0 83 1 6 104 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 109 1 3
                                    1 0 0 107 27 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 104 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 2 1 0 0 107 1 3 1 0 0 107 27 1 3 1 0
                                    0 108 109 1 3 0 0 0 64 27 1 2 0 0 0 64 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 18 0 26 2 0 0 0 0 44 2 0 0 27 0
                                    1 2 0 0 111 0 1)))))
           '|lookupComplete|)) 
