
(/VERSIONCHECK 2) 

(DEFUN |PAdicInteger| (#0=#:G1829)
  (PROG ()
    (RETURN
      (PROG (#1=#:G1830)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (LIST (|devaluate| #0#))
                       (HGET |$ConstructorCache| '|PAdicInteger|)
                       '|domainEqualList|)
                   . #2=(|PAdicInteger|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (|PAdicInteger;| #0#) (LETT #1# T . #2#))
               (COND
                 ((NOT #1#) (HREM |$ConstructorCache| '|PAdicInteger|))))))))))) 

(DEFUN |PAdicInteger;| (|#1|)
  (PROG (DV$1 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|PAdicInteger|))
        (LETT |dv$| (LIST '|PAdicInteger| DV$1) . #0#)
        (LETT $ (GETREFV 26) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache| '|PAdicInteger| (LIST DV$1)
            (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        $)))) 

(MAKEPROP '|PAdicInteger| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL (|InnerPAdicInteger| 6 (NRTEVAL 'T))
             (|local| |#1|) (|SparseUnivariatePolynomial| 8)
             (|Integer|) (|Stream| 8) (|NonNegativeInteger|)
             (|Record| (|:| |coef1| $) (|:| |coef2| $))
             (|Union| 11 '"failed") (|Union| 14 '"failed") (|List| $)
             (|Record| (|:| |coef1| $) (|:| |coef2| $)
                 (|:| |generator| $))
             (|Record| (|:| |quotient| $) (|:| |remainder| $))
             (|Boolean|) (|SparseUnivariatePolynomial| $)
             (|Record| (|:| |coef| 14) (|:| |generator| $))
             (|Record| (|:| |unit| $) (|:| |canonical| $)
                 (|:| |associate| $))
             (|Union| $ '"failed") (|PositiveInteger|) (|String|)
             (|OutputForm|) (|SingleInteger|))
          '#() 'NIL
          (CONS (|makeByteWordVec2| 1
                    '(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
                      0 0 0 0))
                (CONS '#(NIL |EuclideanDomain&| NIL |GcdDomain&|
                         |IntegralDomain&| |Algebra&| NIL NIL NIL
                         |Module&| NIL |Ring&| NIL NIL NIL
                         |AbelianGroup&| NIL NIL |AbelianMonoid&|
                         |Monoid&| NIL |SemiGroup&| |AbelianSemiGroup&|
                         |SetCategory&| NIL NIL NIL |BasicType&| NIL)
                      (CONS '#((|PAdicIntegerCategory| 6)
                               (|EuclideanDomain|)
                               (|PrincipalIdealDomain|) (|GcdDomain|)
                               (|IntegralDomain|) (|Algebra| $$)
                               (|CommutativeRing|)
                               (|CharacteristicZero|) (|EntireRing|)
                               (|Module| $$) (|BiModule| $$ $$)
                               (|Ring|) (|LeftModule| $$) (|Rng|)
                               (|RightModule| $$) (|AbelianGroup|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|AbelianMonoid|)
                               (|Monoid|) (|SemiRng|) (|SemiGroup|)
                               (|AbelianSemiGroup|) (|SetCategory|)
                               (|noZeroDivisors|) (|CommutativeStar|)
                               (|unitsKnown|) (|BasicType|)
                               (|CoercibleTo| 24))
                            (|makeByteWordVec2| -999999 'NIL))))
          '|lookupIncomplete|)) 
