
(/VERSIONCHECK 2) 

(PUT '|PADICRC;getExpon| '|SPADreplace| 'QCAR) 

(DEFUN |PADICRC;getExpon| (|x| $) (QCAR |x|)) 

(PUT '|PADICRC;getZp| '|SPADreplace| 'QCDR) 

(DEFUN |PADICRC;getZp| (|x| $) (QCDR |x|)) 

(PUT '|PADICRC;makeQp| '|SPADreplace| 'CONS) 

(DEFUN |PADICRC;makeQp| (|r| |int| $) (CONS |r| |int|)) 

(DEFUN |PADICRC;Zero;$;4| ($) (|PADICRC;makeQp| 0 (|spadConstant| $ 13) $)) 

(DEFUN |PADICRC;One;$;5| ($) (|PADICRC;makeQp| 0 (|spadConstant| $ 15) $)) 

(DEFUN |PADICRC;coerce;I$;6| (|x| $)
  (SPADCALL (SPADCALL |x| (QREFELT $ 17)) (QREFELT $ 18))) 

(DEFUN |PADICRC;coerce;F$;7| (|r| $)
  (SPADCALL (SPADCALL (SPADCALL |r| (QREFELT $ 21)) (QREFELT $ 19))
            (SPADCALL (SPADCALL |r| (QREFELT $ 22)) (QREFELT $ 19))
            (QREFELT $ 23))) 

(DEFUN |PADICRC;coerce;PADIC$;8| (|x| $) (|PADICRC;makeQp| 0 |x| $)) 

(DEFUN |PADICRC;removeZeroes;2$;9| (|x| $)
  (PROG (|xx|)
    (RETURN
     (COND
      ((SPADCALL
        (SPADCALL
         (LETT |xx| (|PADICRC;getZp| |x| $) |PADICRC;removeZeroes;2$;9|)
         (QREFELT $ 26))
        (QREFELT $ 28))
       (|spadConstant| $ 14))
      ((ZEROP (SPADCALL |xx| (QREFELT $ 29)))
       (SPADCALL
        (|PADICRC;makeQp| (+ (|PADICRC;getExpon| |x| $) 1)
         (SPADCALL |xx| (QREFELT $ 30)) $)
        (QREFELT $ 31)))
      ('T |x|))))) 

(DEFUN |PADICRC;removeZeroes;I2$;10| (|n| |x| $)
  (PROG (|xx|)
    (RETURN
     (COND
      ((< 0 |n|)
       (COND
        ((SPADCALL
          (SPADCALL
           (LETT |xx| (|PADICRC;getZp| |x| $) |PADICRC;removeZeroes;I2$;10|)
           (QREFELT $ 26))
          (QREFELT $ 28))
         (|spadConstant| $ 14))
        ((ZEROP (SPADCALL |xx| (QREFELT $ 29)))
         (SPADCALL (- |n| 1)
                   (|PADICRC;makeQp| (+ (|PADICRC;getExpon| |x| $) 1)
                    (SPADCALL |xx| (QREFELT $ 30)) $)
                   (QREFELT $ 32)))
        (#1='T |x|)))
      (#1# |x|))))) 

(DEFUN |PADICRC;=;2$B;11| (|x| |y| $)
  (PROG (#1=#:G790 #2=#:G738 |n|)
    (RETURN
     (SEQ
      (COND ((EQ |x| |y|) 'T)
            (#3='T
             (SEQ
              (LETT |n|
                    (- (|PADICRC;getExpon| |x| $) (|PADICRC;getExpon| |y| $))
                    . #4=(|PADICRC;=;2$B;11|))
              (EXIT
               (COND
                ((< |n| 0)
                 (SPADCALL
                  (SPADCALL
                   (EXPT (QREFELT $ 6)
                         (PROG1 (LETT #2# (- |n|) . #4#)
                           (|check-subtype| (>= #2# 0) '(|NonNegativeInteger|)
                                            #2#)))
                   (|PADICRC;getZp| |y| $) (QREFELT $ 33))
                  (|PADICRC;getZp| |x| $) (QREFELT $ 34)))
                (#3#
                 (SPADCALL
                  (SPADCALL
                   (EXPT (QREFELT $ 6)
                         (PROG1 (LETT #1# |n| . #4#)
                           (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|)
                                            #1#)))
                   (|PADICRC;getZp| |x| $) (QREFELT $ 33))
                  (|PADICRC;getZp| |y| $) (QREFELT $ 34)))))))))))) 

(DEFUN |PADICRC;+;3$;12| (|x| |y| $)
  (PROG (#1=#:G799 #2=#:G796 |n|)
    (RETURN
     (SEQ
      (LETT |n| (- (|PADICRC;getExpon| |x| $) (|PADICRC;getExpon| |y| $))
            . #3=(|PADICRC;+;3$;12|))
      (EXIT
       (COND
        ((< |n| 0)
         (|PADICRC;makeQp| (|PADICRC;getExpon| |x| $)
          (SPADCALL (|PADICRC;getZp| |x| $)
                    (SPADCALL
                     (EXPT (QREFELT $ 6)
                           (PROG1 (LETT #2# (- |n|) . #3#)
                             (|check-subtype| (>= #2# 0)
                                              '(|NonNegativeInteger|) #2#)))
                     (|PADICRC;getZp| |y| $) (QREFELT $ 33))
                    (QREFELT $ 36))
          $))
        ('T
         (|PADICRC;makeQp| (|PADICRC;getExpon| |y| $)
          (SPADCALL (|PADICRC;getZp| |y| $)
                    (SPADCALL
                     (EXPT (QREFELT $ 6)
                           (PROG1 (LETT #1# |n| . #3#)
                             (|check-subtype| (>= #1# 0)
                                              '(|NonNegativeInteger|) #1#)))
                     (|PADICRC;getZp| |x| $) (QREFELT $ 33))
                    (QREFELT $ 36))
          $)))))))) 

(DEFUN |PADICRC;-;2$;13| (|x| $)
  (|PADICRC;makeQp| (|PADICRC;getExpon| |x| $)
   (SPADCALL (|PADICRC;getZp| |x| $) (QREFELT $ 38)) $)) 

(DEFUN |PADICRC;-;3$;14| (|x| |y| $)
  (PROG (#1=#:G808 #2=#:G805 |n|)
    (RETURN
     (SEQ
      (LETT |n| (- (|PADICRC;getExpon| |x| $) (|PADICRC;getExpon| |y| $))
            . #3=(|PADICRC;-;3$;14|))
      (EXIT
       (COND
        ((< |n| 0)
         (|PADICRC;makeQp| (|PADICRC;getExpon| |x| $)
          (SPADCALL (|PADICRC;getZp| |x| $)
                    (SPADCALL
                     (EXPT (QREFELT $ 6)
                           (PROG1 (LETT #2# (- |n|) . #3#)
                             (|check-subtype| (>= #2# 0)
                                              '(|NonNegativeInteger|) #2#)))
                     (|PADICRC;getZp| |y| $) (QREFELT $ 33))
                    (QREFELT $ 40))
          $))
        ('T
         (|PADICRC;makeQp| (|PADICRC;getExpon| |y| $)
          (SPADCALL
           (SPADCALL
            (EXPT (QREFELT $ 6)
                  (PROG1 (LETT #1# |n| . #3#)
                    (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|) #1#)))
            (|PADICRC;getZp| |x| $) (QREFELT $ 33))
           (|PADICRC;getZp| |y| $) (QREFELT $ 40))
          $)))))))) 

(DEFUN |PADICRC;*;I2$;15| (|n| |x| $)
  (|PADICRC;makeQp| (|PADICRC;getExpon| |x| $)
   (SPADCALL |n| (|PADICRC;getZp| |x| $) (QREFELT $ 33)) $)) 

(DEFUN |PADICRC;*;3$;16| (|x| |y| $)
  (|PADICRC;makeQp| (+ (|PADICRC;getExpon| |x| $) (|PADICRC;getExpon| |y| $))
   (SPADCALL (|PADICRC;getZp| |x| $) (|PADICRC;getZp| |y| $) (QREFELT $ 43)) $)) 

(DEFUN |PADICRC;^;$I$;17| (|x| |n| $)
  (PROG (#1=#:G814 #2=#:G813)
    (RETURN
     (COND ((ZEROP |n|) (|spadConstant| $ 16))
           ((SPADCALL |n| (QREFELT $ 45))
            (SPADCALL |x|
                      (PROG1 (LETT #2# |n| . #3=(|PADICRC;^;$I$;17|))
                        (|check-subtype| (> #2# 0) '(|PositiveInteger|) #2#))
                      (QREFELT $ 48)))
           ('T
            (SPADCALL
             (SPADCALL |x|
                       (PROG1 (LETT #1# (- |n|) . #3#)
                         (|check-subtype| (> #1# 0) '(|PositiveInteger|) #1#))
                       (QREFELT $ 48))
             (QREFELT $ 49))))))) 

(DEFUN |PADICRC;recip;$U;18| (|x| $)
  (PROG (|inv| |xx|)
    (RETURN
     (SEQ
      (LETT |x| (SPADCALL 1000 |x| (QREFELT $ 32))
            . #1=(|PADICRC;recip;$U;18|))
      (EXIT
       (COND
        ((ZEROP
          (SPADCALL (LETT |xx| (|PADICRC;getZp| |x| $) . #1#) (QREFELT $ 29)))
         (CONS 1 "failed"))
        (#2='T
         (SEQ (LETT |inv| (SPADCALL |xx| (QREFELT $ 52)) . #1#)
              (EXIT
               (COND ((QEQCAR |inv| 1) (CONS 1 "failed"))
                     (#2#
                      (CONS 0
                            (|PADICRC;makeQp| (- (|PADICRC;getExpon| |x| $))
                             (QCDR |inv|) $))))))))))))) 

(DEFUN |PADICRC;inv;2$;19| (|x| $)
  (PROG (|inv|)
    (RETURN
     (SEQ (LETT |inv| (SPADCALL |x| (QREFELT $ 53)) |PADICRC;inv;2$;19|)
          (EXIT
           (COND ((QEQCAR |inv| 1) (|error| "inv: no inverse"))
                 ('T (QCDR |inv|)))))))) 

(DEFUN |PADICRC;/;3$;20| (|x| |y| $)
  (SPADCALL |x| (SPADCALL |y| (QREFELT $ 49)) (QREFELT $ 44))) 

(DEFUN |PADICRC;/;2PADIC$;21| (|x| |y| $)
  (SPADCALL (SPADCALL |x| (QREFELT $ 18)) (SPADCALL |y| (QREFELT $ 18))
            (QREFELT $ 23))) 

(DEFUN |PADICRC;*;PADIC2$;22| (|x| |y| $)
  (|PADICRC;makeQp| (|PADICRC;getExpon| |y| $)
   (SPADCALL |x| (|PADICRC;getZp| |y| $) (QREFELT $ 43)) $)) 

(DEFUN |PADICRC;approximate;$IF;23| (|x| |n| $)
  (PROG (|k|)
    (RETURN
     (SEQ (LETT |k| (|PADICRC;getExpon| |x| $) |PADICRC;approximate;$IF;23|)
          (EXIT
           (SPADCALL
            (SPADCALL (SPADCALL (QREFELT $ 6) (QREFELT $ 56)) |k|
                      (QREFELT $ 57))
            (SPADCALL (|PADICRC;getZp| |x| $) (- |n| |k|) (QREFELT $ 58))
            (QREFELT $ 59))))))) 

(DEFUN |PADICRC;cfStream| (|x| $)
  (PROG ()
    (RETURN
     (SEQ
      (SPADCALL (CONS #'|PADICRC;cfStream!0| (VECTOR $ |x|)) (QREFELT $ 65)))))) 

(DEFUN |PADICRC;cfStream!0| ($$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) . #1=(|PADICRC;cfStream|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG (|invx| |x0|)
        (RETURN
         (SEQ (LETT |invx| (SPADCALL |x| (QREFELT $ 49)) NIL)
              (LETT |x0| (SPADCALL |invx| (|spadConstant| $ 61) (QREFELT $ 60))
                    NIL)
              (EXIT
               (SPADCALL |x0|
                         (|PADICRC;cfStream|
                          (SPADCALL |invx| (SPADCALL |x0| (QREFELT $ 24))
                                    (QREFELT $ 41))
                          $)
                         (QREFELT $ 63)))))))))) 

(DEFUN |PADICRC;continuedFraction;$Cf;25| (|x| $)
  (PROG (|x0|)
    (RETURN
     (SEQ
      (LETT |x0| (SPADCALL |x| 1 (QREFELT $ 60))
            |PADICRC;continuedFraction;$Cf;25|)
      (EXIT
       (SPADCALL |x0|
                 (|PADICRC;cfStream|
                  (SPADCALL |x| (SPADCALL |x0| (QREFELT $ 24)) (QREFELT $ 41))
                  $)
                 (QREFELT $ 67))))))) 

(DEFUN |PADICRC;termOutput| (|k| |c| $)
  (PROG (|mon|)
    (RETURN
     (SEQ
      (COND ((EQL |k| 0) (SPADCALL |c| (QREFELT $ 10)))
            (#1='T
             (SEQ
              (LETT |mon|
                    (COND ((EQL |k| 1) (QREFELT $ 11))
                          (#1#
                           (SPADCALL (QREFELT $ 11)
                                     (SPADCALL |k| (QREFELT $ 10))
                                     (QREFELT $ 69))))
                    |PADICRC;termOutput|)
              (EXIT
               (COND ((EQL |c| 1) |mon|)
                     ((EQL |c| -1) (SPADCALL |mon| (QREFELT $ 70)))
                     (#1#
                      (SPADCALL (SPADCALL |c| (QREFELT $ 10)) |mon|
                                (QREFELT $ 71)))))))))))) 

(PUT '|PADICRC;showAll?| '|SPADreplace| '(XLAM NIL 'T)) 

(DEFUN |PADICRC;showAll?| ($) 'T) 

(DEFUN |PADICRC;coerce;$Of;28| (|x| $)
  (PROG (|l| |uu| |n| |count| |zp| |m|)
    (RETURN
     (SEQ
      (LETT |x| (SPADCALL |$streamCount| |x| (QREFELT $ 32))
            . #1=(|PADICRC;coerce;$Of;28|))
      (LETT |m| (|PADICRC;getExpon| |x| $) . #1#)
      (LETT |zp| (|PADICRC;getZp| |x| $) . #1#)
      (LETT |uu| (SPADCALL |zp| (QREFELT $ 26)) . #1#) (LETT |l| NIL . #1#)
      (EXIT
       (COND ((SPADCALL |uu| (QREFELT $ 28)) (SPADCALL 0 (QREFELT $ 10)))
             (#2='T
              (SEQ (LETT |count| |$streamCount| . #1#)
                   (SEQ (LETT |n| 0 . #1#) G190
                        (COND
                         ((OR (QSGREATERP |n| |count|)
                              (NULL
                               (COND ((SPADCALL |uu| (QREFELT $ 28)) 'NIL)
                                     ('T 'T))))
                          #3=(GO G191)))
                        (SEQ
                         (COND
                          ((NULL (EQL (SPADCALL |uu| (QREFELT $ 72)) 0))
                           (LETT |l|
                                 (CONS
                                  (|PADICRC;termOutput| (+ |n| |m|)
                                   (SPADCALL |uu| (QREFELT $ 72)) $)
                                  |l|)
                                 . #1#)))
                         (EXIT
                          (LETT |uu| (SPADCALL |uu| (QREFELT $ 73)) . #1#)))
                        (LETT |n| (QSADD1 |n|) . #1#) #4=(GO G190) G191
                        (EXIT NIL))
                   (COND
                    ((|PADICRC;showAll?| $)
                     (SEQ (LETT |n| (+ |count| 1) . #1#) G190
                          (COND
                           ((NULL
                             (COND
                              ((SPADCALL |uu| (QREFELT $ 74))
                               (COND
                                ((SPADCALL |uu| (SPADCALL |uu| (QREFELT $ 73))
                                           (QREFELT $ 75))
                                 'NIL)
                                ('T 'T)))
                              ('T 'NIL)))
                            #3#))
                          (SEQ
                           (COND
                            ((NULL (EQL (SPADCALL |uu| (QREFELT $ 72)) 0))
                             (LETT |l|
                                   (CONS
                                    (|PADICRC;termOutput| (+ |n| |m|)
                                     (SPADCALL |uu| (QREFELT $ 72)) $)
                                    |l|)
                                   . #1#)))
                           (EXIT
                            (LETT |uu| (SPADCALL |uu| (QREFELT $ 73)) . #1#)))
                          (LETT |n| (+ |n| 1) . #1#) #4# G191 (EXIT NIL))))
                   (LETT |l|
                         (COND ((SPADCALL |uu| (QREFELT $ 76)) |l|)
                               (#2#
                                (SEQ
                                 (COND
                                  ((SPADCALL |uu|
                                             (SPADCALL |uu| (QREFELT $ 73))
                                             (QREFELT $ 75))
                                   (COND
                                    ((EQL (SPADCALL |uu| (QREFELT $ 72)) 0)
                                     (EXIT |l|)))))
                                 (EXIT
                                  (CONS
                                   (SPADCALL "O"
                                             (LIST
                                              (SPADCALL (QREFELT $ 11)
                                                        (SPADCALL (+ |n| |m|)
                                                                  (QREFELT $
                                                                           10))
                                                        (QREFELT $ 69)))
                                             (QREFELT $ 78))
                                   |l|)))))
                         . #1#)
                   (EXIT
                    (COND ((NULL |l|) (SPADCALL 0 (QREFELT $ 80)))
                          (#2#
                           (SPADCALL (ELT $ 81) (NREVERSE |l|)
                                     (QREFELT $ 84))))))))))))) 

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

(DEFUN |PAdicRationalConstructor;| (|#1| |#2|)
  (PROG (|pv$| #1=#:G905 $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #2=(|PAdicRationalConstructor|))
      (LETT DV$2 (|devaluate| |#2|) . #2#)
      (LETT |dv$| (LIST '|PAdicRationalConstructor| DV$1 DV$2) . #2#)
      (LETT $ (GETREFV 125) . #2#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#2|
                                                         '(|PolynomialFactorizationExplicit|))
                                          (|HasCategory| |#2|
                                                         '(|RetractableTo|
                                                           (|Symbol|)))
                                          (|HasCategory| |#2|
                                                         '(|CharacteristicNonZero|))
                                          (|HasCategory| |#2|
                                                         '(|CharacteristicZero|))
                                          (|HasCategory| |#2|
                                                         '(|ConvertibleTo|
                                                           (|InputForm|)))
                                          (|HasCategory| |#2|
                                                         '(|RealConstant|))
                                          (|HasCategory| |#2|
                                                         '(|OrderedIntegralDomain|))
                                          (|HasCategory| |#2|
                                                         '(|RetractableTo|
                                                           (|Integer|)))
                                          (|HasCategory| |#2| '(|StepThrough|))
                                          (|HasCategory| |#2|
                                                         '(|PatternMatchable|
                                                           (|Float|)))
                                          (|HasCategory| |#2|
                                                         '(|PatternMatchable|
                                                           (|Integer|)))
                                          (|HasCategory| |#2|
                                                         '(|ConvertibleTo|
                                                           (|Pattern|
                                                            (|Float|))))
                                          (|HasCategory| |#2|
                                                         '(|ConvertibleTo|
                                                           (|Pattern|
                                                            (|Integer|))))
                                          (|HasCategory| |#2|
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|)))
                                          (|HasCategory| |#2|
                                                         '(|PartialDifferentialRing|
                                                           (|Symbol|)))
                                          (|HasCategory| |#2|
                                                         '(|DifferentialRing|))
                                          (|HasCategory| |#2|
                                                         (LIST '|InnerEvalable|
                                                               '(|Symbol|)
                                                               (|devaluate|
                                                                |#2|)))
                                          (|HasCategory| |#2|
                                                         (LIST '|Evalable|
                                                               (|devaluate|
                                                                |#2|)))
                                          (|HasCategory| |#2|
                                                         (LIST '|Eltable|
                                                               (|devaluate|
                                                                |#2|)
                                                               (|devaluate|
                                                                |#2|)))
                                          (|HasCategory| |#2|
                                                         '(|EuclideanDomain|))
                                          (|HasCategory| |#2|
                                                         '(|IntegerNumberSystem|))
                                          (|HasCategory| |#2| '(|Comparable|))
                                          (LETT #1#
                                                (|HasCategory| |#2|
                                                               '(|OrderedSet|))
                                                . #2#)
                                          (OR
                                           (|HasCategory| |#2| '(|Comparable|))
                                           (|HasCategory| |#2|
                                                          '(|OrderedIntegralDomain|))
                                           #1#)
                                          (OR
                                           (|HasCategory| |#2|
                                                          '(|OrderedIntegralDomain|))
                                           #1#)))
                      . #2#))
      (|haddProp| |$ConstructorCache| '|PAdicRationalConstructor|
                  (LIST DV$1 DV$2) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (AND (|HasCategory| $ '(|CharacteristicNonZero|))
           (|HasCategory| |#2| '(|PolynomialFactorizationExplicit|))
           (|augmentPredVector| $ 33554432))
      (AND
       (OR
        (AND (|HasCategory| $ '(|CharacteristicNonZero|))
             (|HasCategory| |#2| '(|PolynomialFactorizationExplicit|)))
        (|HasCategory| |#2| '(|CharacteristicNonZero|)))
       (|augmentPredVector| $ 67108864))
      (QSETREFV $ 11 (SPADCALL |#1| (QREFELT $ 10)))
      (QSETREFV $ 12 (|Record| (|:| |expon| (|Integer|)) (|:| |pint| |#2|)))
      $)))) 

(MAKEPROP '|PAdicRationalConstructor| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (|OutputForm|) (|Integer|) (0 . |coerce|) 'PEXPR '|Rep|
              (5 . |Zero|)
              (CONS IDENTITY
                    (FUNCALL (|dispatchFunction| |PADICRC;Zero;$;4|) $))
              (9 . |One|)
              (CONS IDENTITY
                    (FUNCALL (|dispatchFunction| |PADICRC;One;$;5|) $))
              (13 . |coerce|) |PADICRC;coerce;PADIC$;8| |PADICRC;coerce;I$;6|
              (|Fraction| 9) (18 . |numer|) (23 . |denom|) |PADICRC;/;3$;20|
              |PADICRC;coerce;F$;7| (|Stream| 9) (28 . |digits|) (|Boolean|)
              (33 . |empty?|) (38 . |moduloP|) (43 . |quotientByP|)
              |PADICRC;removeZeroes;2$;9| |PADICRC;removeZeroes;I2$;10|
              (48 . *) (54 . =) |PADICRC;=;2$B;11| (60 . +) |PADICRC;+;3$;12|
              (66 . -) |PADICRC;-;2$;13| (71 . -) |PADICRC;-;3$;14|
              |PADICRC;*;I2$;15| (77 . *) |PADICRC;*;3$;16| (83 . |positive?|)
              (|PositiveInteger|) (|RepeatedSquaring| $$) (88 . |expt|)
              |PADICRC;inv;2$;19| |PADICRC;^;$I$;17| (|Union| $ '"failed")
              (94 . |recip|) |PADICRC;recip;$U;18| |PADICRC;/;2PADIC$;21|
              |PADICRC;*;PADIC2$;22| (99 . |coerce|) (104 . ^)
              (110 . |approximate|) (116 . *) |PADICRC;approximate;$IF;23|
              (122 . |One|) (|Stream| 20) (126 . |concat|) (|Mapping| $)
              (132 . |delay|) (|ContinuedFraction| 20)
              (137 . |reducedContinuedFraction|)
              |PADICRC;continuedFraction;$Cf;25| (143 . ^) (149 . -) (154 . *)
              (160 . |frst|) (165 . |rst|) (170 . |explicitEntries?|)
              (175 . |eq?|) (181 . |explicitlyEmpty?|) (|List| $)
              (186 . |prefix|) (|NonNegativeInteger|) (192 . |coerce|)
              (197 . +) (|Mapping| 8 8 8) (|List| 8) (203 . |reduce|)
              |PADICRC;coerce;$Of;28| (|Union| 97 '#1="failed") (|Matrix| $)
              (|InputForm|) (|Pattern| 106) (|Pattern| 9) (|List| 92)
              (|Equation| 7) (|List| 7) (|Symbol|) (|List| 94)
              (|Record| (|:| |mat| 98) (|:| |vec| (|Vector| 9))) (|Vector| $)
              (|Matrix| 9) (|List| 79) (|PatternMatchResult| 106 $)
              (|PatternMatchResult| 9 $) (|Factored| 103)
              (|SparseUnivariatePolynomial| $) (|Union| 105 '#1#) (|List| 103)
              (|Float|) (|DoubleFloat|) (|Union| 9 '#2="failed")
              (|Union| 20 '#2#) (|Union| 94 '#2#) (|Matrix| 7)
              (|Record| (|:| |mat| 111) (|:| |vec| (|Vector| 7)))
              (|Mapping| 7 7) (|Union| 7 '#2#) (|Factored| $)
              (|Union| 77 '#3="failed")
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $)) (|Union| 118 '#3#)
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef| 77) (|:| |generator| $))
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|SingleInteger|) (|String|))
           '#(~= 209 |zero?| 215 |wholePart| 220 |unitNormal| 225
              |unitCanonical| 230 |unit?| 235 |subtractIfCan| 240
              |squareFreePolynomial| 246 |squareFreePart| 251 |squareFree| 256
              |solveLinearPolynomialEquation| 261 |smaller?| 267 |sizeLess?|
              273 |sign| 279 |sample| 284 |retractIfCan| 288 |retract| 308
              |removeZeroes| 328 |rem| 339 |reducedSystem| 345 |recip| 367
              |random| 372 |quo| 376 |principalIdeal| 382 |prime?| 387
              |positive?| 392 |patternMatch| 397 |one?| 411 |numerator| 416
              |numer| 421 |nextItem| 426 |negative?| 431 |multiEuclidean| 436
              |min| 442 |max| 448 |map| 454 |lcm| 460 |latex| 471 |inv| 476
              |init| 481 |hash| 485 |gcdPolynomial| 490 |gcd| 496
              |fractionPart| 507 |floor| 512 |factorSquareFreePolynomial| 517
              |factorPolynomial| 522 |factor| 527 |extendedEuclidean| 532
              |exquo| 545 |expressIdealMember| 551 |eval| 557 |euclideanSize|
              597 |elt| 602 |divide| 608 |differentiate| 614 |denominator| 664
              |denom| 669 |convert| 674 |continuedFraction| 699 |conditionP|
              704 |coerce| 709 |charthRoot| 739 |characteristic| 744 |ceiling|
              748 |associates?| 753 |approximate| 759 |abs| 765 ^ 770 |Zero|
              788 |One| 792 D 796 >= 846 > 852 = 858 <= 864 < 870 / 876 - 888 +
              899 * 905)
           'NIL
           (CONS
            (|makeByteWordVec2| 25
                                '(0 0 0 1 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4
                                  7 14 15 16 0 0 0 0 7 0 0 0 0 0 0 0 7 0 7 0 0
                                  7 0 0 0 0 25 0 0 0 24 9 10 11 0 0 6 18 0 0 0
                                  0 0 0 0 0 0 2 5 6 6 8 8 12 13 17 18 19))
            (CONS
             '#(|QuotientFieldCategory&| |Field&| |EuclideanDomain&|
                |PolynomialFactorizationExplicit&| NIL
                |UniqueFactorizationDomain&| |GcdDomain&| NIL |DivisionRing&|
                |IntegralDomain&| |FullyLinearlyExplicitRingOver&|
                |DifferentialExtension&| |Algebra&| |Algebra&| |Algebra&| NIL
                |Module&| |Module&| NIL NIL |Module&| NIL NIL |OrderedRing&|
                NIL |PartialDifferentialRing&| |DifferentialRing&| NIL NIL NIL
                |Ring&| NIL NIL NIL NIL NIL NIL NIL NIL NIL |AbelianGroup&| NIL
                NIL NIL NIL NIL |AbelianMonoid&| |Monoid&| NIL |OrderedSet&|
                |FullyEvalableOver&| |SemiGroup&| |AbelianSemiGroup&| NIL NIL
                NIL NIL NIL |SetCategory&| NIL |Evalable&| NIL |RetractableTo&|
                NIL NIL NIL NIL NIL |BasicType&| NIL |RetractableTo&| NIL NIL
                NIL |RetractableTo&| |RetractableTo&| NIL NIL |InnerEvalable&|
                |InnerEvalable&| NIL)
             (CONS
              '#((|QuotientFieldCategory| 7) (|Field|) (|EuclideanDomain|)
                 (|PolynomialFactorizationExplicit|) (|PrincipalIdealDomain|)
                 (|UniqueFactorizationDomain|) (|GcdDomain|)
                 (|OrderedIntegralDomain|) (|DivisionRing|) (|IntegralDomain|)
                 (|FullyLinearlyExplicitRingOver| 7)
                 (|DifferentialExtension| 7) (|Algebra| 7) (|Algebra| 20)
                 (|Algebra| $$) (|LinearlyExplicitRingOver| 7) (|Module| 7)
                 (|Module| 20) (|EntireRing|) (|CommutativeRing|) (|Module| $$)
                 (|CharacteristicNonZero|) (|CharacteristicZero|)
                 (|OrderedRing|) (|LinearlyExplicitRingOver| 9)
                 (|PartialDifferentialRing| 94) (|DifferentialRing|)
                 (|BiModule| 7 7) (|BiModule| 20 20) (|BiModule| $$ $$)
                 (|Ring|) (|OrderedAbelianGroup|) (|RightModule| 7)
                 (|LeftModule| 7) (|RightModule| 20) (|LeftModule| 20)
                 (|LeftModule| $$) (|Rng|) (|RightModule| $$)
                 (|OrderedCancellationAbelianMonoid|) (|AbelianGroup|)
                 (|OrderedAbelianMonoid|) (|CancellationAbelianMonoid|)
                 (|SemiRing|) (|OrderedAbelianSemiGroup|)
                 (|FullyPatternMatchable| 7) (|AbelianMonoid|) (|Monoid|)
                 (|SemiRng|) (|OrderedSet|) (|FullyEvalableOver| 7)
                 (|SemiGroup|) (|AbelianSemiGroup|) (|Comparable|)
                 (|StepThrough|) (|PatternMatchable| 106)
                 (|PatternMatchable| 9) (|Patternable| 7) (|SetCategory|)
                 (|RealConstant|) (|Evalable| 7) (|Type|) (|RetractableTo| 7)
                 (|canonicalsClosed|) (|canonicalUnitNormal|)
                 (|noZeroDivisors|) (|CommutativeStar|) (|unitsKnown|)
                 (|BasicType|) (|CoercibleTo| 8) (|RetractableTo| 94)
                 (|ConvertibleTo| 88) (|ConvertibleTo| 107)
                 (|ConvertibleTo| 106) (|RetractableTo| 20) (|RetractableTo| 9)
                 (|ConvertibleTo| 89) (|ConvertibleTo| 90)
                 (|InnerEvalable| 94 7) (|InnerEvalable| 7 7) (|Eltable| 7 $$))
              (|makeByteWordVec2| 124
                                  '(1 9 8 0 10 0 7 0 13 0 7 0 15 1 7 0 9 17 1
                                    20 9 0 21 1 20 9 0 22 1 7 25 0 26 1 25 27 0
                                    28 1 7 9 0 29 1 7 0 0 30 2 7 0 9 0 33 2 7
                                    27 0 0 34 2 7 0 0 0 36 1 7 0 0 38 2 7 0 0 0
                                    40 2 7 0 0 0 43 1 9 27 0 45 2 47 2 2 46 48
                                    1 7 51 0 52 1 20 0 9 56 2 20 0 0 9 57 2 7 9
                                    0 9 58 2 20 0 0 9 59 0 9 0 61 2 62 0 20 0
                                    63 1 62 0 64 65 2 66 0 20 62 67 2 8 0 0 0
                                    69 1 8 0 0 70 2 8 0 0 0 71 1 25 9 0 72 1 25
                                    0 0 73 1 25 27 0 74 2 25 27 0 0 75 1 25 27
                                    0 76 2 8 0 0 77 78 1 79 8 0 80 2 8 0 0 0 81
                                    2 83 8 82 0 84 2 0 27 0 0 1 1 0 27 0 1 1 20
                                    7 0 1 1 0 122 0 1 1 0 0 0 1 1 0 27 0 1 2 0
                                    51 0 0 1 1 1 102 103 1 1 0 0 0 1 1 0 115 0
                                    1 2 1 104 105 103 1 2 22 27 0 0 1 2 0 27 0
                                    0 1 1 7 9 0 1 0 0 0 1 1 8 108 0 1 1 8 109 0
                                    1 1 2 110 0 1 1 0 114 0 1 1 8 9 0 1 1 8 20
                                    0 1 1 2 94 0 1 1 0 7 0 1 1 0 0 0 31 2 0 0 9
                                    0 32 2 0 0 0 0 1 2 14 96 87 97 1 1 14 98 87
                                    1 1 0 111 87 1 2 0 112 87 97 1 1 0 51 0 53
                                    0 21 0 1 2 0 0 0 0 1 1 0 121 77 1 1 0 27 0
                                    1 1 7 27 0 1 3 10 100 0 89 100 1 3 11 101 0
                                    90 101 1 1 0 27 0 1 1 0 0 0 1 1 0 7 0 1 1 9
                                    51 0 1 1 7 27 0 1 2 0 116 77 0 1 2 23 0 0 0
                                    1 2 23 0 0 0 1 2 0 0 113 0 1 1 0 0 77 1 2 0
                                    0 0 0 1 1 0 124 0 1 1 0 0 0 49 0 9 0 1 1 0
                                    123 0 1 2 0 103 103 103 1 1 0 0 77 1 2 0 0
                                    0 0 1 1 20 0 0 1 1 21 7 0 1 1 1 102 103 1 1
                                    1 102 103 1 1 0 115 0 1 2 0 117 0 0 1 3 0
                                    119 0 0 0 1 2 0 51 0 0 1 2 0 116 77 0 1 2
                                    18 0 0 91 1 3 18 0 0 7 7 1 2 18 0 0 92 1 3
                                    18 0 0 93 93 1 3 17 0 0 94 7 1 3 17 0 0 95
                                    93 1 1 0 79 0 1 2 19 0 0 7 1 2 0 120 0 0 1
                                    2 16 0 0 79 1 1 16 0 0 1 3 15 0 0 95 99 1 2
                                    15 0 0 95 1 3 15 0 0 94 79 1 2 15 0 0 94 1
                                    2 0 0 0 113 1 3 0 0 0 113 79 1 1 0 0 0 1 1
                                    0 7 0 1 1 5 88 0 1 1 12 89 0 1 1 13 90 0 1
                                    1 6 106 0 1 1 6 107 0 1 1 0 66 0 68 1 26 86
                                    87 1 1 2 0 94 1 1 0 0 7 18 1 0 0 20 24 1 0
                                    0 9 19 1 0 0 0 1 1 0 8 0 85 1 27 51 0 1 0 0
                                    79 1 1 21 7 0 1 2 0 27 0 0 1 2 0 20 0 9 60
                                    1 7 0 0 1 2 0 0 0 9 50 2 0 0 0 79 1 2 0 0 0
                                    46 1 0 0 0 14 0 0 0 16 2 16 0 0 79 1 1 16 0
                                    0 1 3 15 0 0 95 99 1 2 15 0 0 95 1 3 15 0 0
                                    94 79 1 2 15 0 0 94 1 2 0 0 0 113 1 3 0 0 0
                                    113 79 1 2 23 27 0 0 1 2 23 27 0 0 1 2 0 27
                                    0 0 35 2 23 27 0 0 1 2 23 27 0 0 1 2 0 0 7
                                    7 54 2 0 0 0 0 23 2 0 0 0 0 41 1 0 0 0 39 2
                                    0 0 0 0 37 2 0 0 7 0 55 2 0 0 0 7 1 2 0 0
                                    20 0 1 2 0 0 0 20 1 2 0 0 0 0 44 2 0 0 9 0
                                    42 2 0 0 79 0 1 2 0 0 46 0 1)))))
           '|lookupComplete|)) 
