
(/VERSIONCHECK 2) 

(DEFUN |HEXADEC;hex;F$;1| (|r| $) (SPADCALL |r| (QREFELT $ 7))) 

(PUT '|HEXADEC;coerce;$Re;2| '|SPADreplace| '(XLAM (|x|) |x|)) 

(DEFUN |HEXADEC;coerce;$Re;2| (|x| $) |x|) 

(DEFUN |HexadecimalExpansion| ()
  (PROG ()
    (RETURN
      (PROG (#0=#:G1851)
        (RETURN
          (COND
            ((LETT #0#
                   (HGET |$ConstructorCache| '|HexadecimalExpansion|)
                   . #1=(|HexadecimalExpansion|))
             (|CDRwithIncrement| (CDAR #0#)))
            ('T
             (UNWIND-PROTECT
               (PROG1 (CDDAR (HPUT |$ConstructorCache|
                                   '|HexadecimalExpansion|
                                   (LIST
                                    (CONS NIL
                                     (CONS 1 (|HexadecimalExpansion;|))))))
                 (LETT #0# T . #1#))
               (COND
                 ((NOT #0#)
                  (HREM |$ConstructorCache| '|HexadecimalExpansion|))))))))))) 

(DEFUN |HexadecimalExpansion;| ()
  (PROG (|dv$| $ #0=#:G1849 |pv$|)
    (RETURN
      (PROGN
        (LETT |dv$| '(|HexadecimalExpansion|)
              . #1=(|HexadecimalExpansion|))
        (LETT $ (GETREFV 53) . #1#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| (|Integer|)
                                '(|PolynomialFactorizationExplicit|))
                            (|HasCategory| (|Integer|)
                                '(|RetractableTo| (|Symbol|)))
                            (|HasCategory| (|Integer|)
                                '(|CharacteristicNonZero|))
                            (|HasCategory| (|Integer|)
                                '(|CharacteristicZero|))
                            (|HasCategory| (|Integer|)
                                '(|ConvertibleTo| (|InputForm|)))
                            (|HasCategory| (|Integer|)
                                '(|RealConstant|))
                            (|HasCategory| (|Integer|)
                                '(|OrderedIntegralDomain|))
                            (|HasCategory| (|Integer|)
                                '(|RetractableTo| (|Integer|)))
                            (|HasCategory| (|Integer|)
                                '(|StepThrough|))
                            (|HasCategory| (|Integer|)
                                '(|PatternMatchable| (|Float|)))
                            (|HasCategory| (|Integer|)
                                '(|PatternMatchable| (|Integer|)))
                            (|HasCategory| (|Integer|)
                                '(|ConvertibleTo|
                                     (|Pattern| (|Float|))))
                            (|HasCategory| (|Integer|)
                                '(|ConvertibleTo|
                                     (|Pattern| (|Integer|))))
                            (|HasCategory| (|Integer|)
                                '(|PartialDifferentialRing| (|Symbol|)))
                            (|HasCategory| (|Integer|)
                                '(|DifferentialRing|))
                            (|HasCategory| (|Integer|)
                                '(|InnerEvalable| (|Symbol|)
                                     (|Integer|)))
                            (|HasCategory| (|Integer|)
                                '(|Evalable| (|Integer|)))
                            (|HasCategory| (|Integer|)
                                '(|Eltable| (|Integer|) (|Integer|)))
                            (|HasCategory| (|Integer|)
                                '(|EuclideanDomain|))
                            (|HasCategory| (|Integer|)
                                '(|IntegerNumberSystem|))
                            (LETT #0#
                                  (|HasCategory| (|Integer|)
                                      '(|OrderedSet|)) . #1#)
                            (OR (|HasCategory| (|Integer|)
                                    '(|OrderedIntegralDomain|))
                                #0#)
                            (|HasCategory| (|Integer|)
                                '(|LinearlyExplicitRingOver|
                                     (|Integer|))))) . #1#))
        (|haddProp| |$ConstructorCache| '|HexadecimalExpansion| NIL
            (CONS 1 $))
        (|stuffDomainSlots| $)
        (AND (|HasCategory| $ '(|CharacteristicNonZero|))
             (|HasCategory| (|Integer|)
                 '(|PolynomialFactorizationExplicit|))
             (|augmentPredVector| $ 8388608))
        (AND (OR (AND (|HasCategory| $ '(|CharacteristicNonZero|))
                      (|HasCategory| (|Integer|)
                          '(|PolynomialFactorizationExplicit|)))
                 (|HasCategory| (|Integer|) '(|CharacteristicNonZero|)))
             (|augmentPredVector| $ 16777216))
        $)))) 

(MAKEPROP '|HexadecimalExpansion| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL (|RadixExpansion| '16) (|Fraction| 17)
             (0 . |coerce|) |HEXADEC;hex;F$;1| |HEXADEC;coerce;$Re;2|
             (|Union| 24 '"failed") (|Matrix| $) (|Union| $ '"failed")
             (|InputForm|) (|Pattern| 34) (|Pattern| 17)
             (|NonNegativeInteger|) (|Integer|) (|List| 19)
             (|Equation| 17) (|List| 17) (|Symbol|) (|List| 21)
             (|Record| (|:| |mat| 25) (|:| |vec| (|Vector| 17)))
             (|Vector| $) (|Matrix| 17) (|Boolean|) (|List| 16)
             (|PatternMatchResult| 34 $) (|PatternMatchResult| 17 $)
             (|Factored| 31) (|SparseUnivariatePolynomial| $)
             (|Union| 33 '"failed") (|List| 31) (|Float|)
             (|DoubleFloat|) (|Union| 17 '"failed")
             (|Union| 6 '"failed") (|Union| 21 '"failed")
             (|Mapping| 17 17) (|Factored| $) (|Union| 42 '"failed")
             (|List| $)
             (|Record| (|:| |coef1| $) (|:| |coef2| $)
                       (|:| |generator| $))
             (|Record| (|:| |coef1| $) (|:| |coef2| $))
             (|Union| 44 '"failed")
             (|Record| (|:| |quotient| $) (|:| |remainder| $))
             (|Record| (|:| |coef| 42) (|:| |generator| $))
             (|Record| (|:| |unit| $) (|:| |canonical| $)
                 (|:| |associate| $))
             (|PositiveInteger|) (|SingleInteger|) (|String|)
             (|OutputForm|))
          '#(~= 5 |zero?| 11 |wholePart| 16 |unitNormal| 21
             |unitCanonical| 26 |unit?| 31 |subtractIfCan| 36
             |squareFreePolynomial| 42 |squareFreePart| 47 |squareFree|
             52 |solveLinearPolynomialEquation| 57 |sizeLess?| 63
             |sign| 69 |sample| 74 |retractIfCan| 78 |retract| 98 |rem|
             118 |reducedSystem| 124 |recip| 146 |random| 151 |quo| 155
             |principalIdeal| 161 |prime?| 166 |positive?| 171
             |patternMatch| 176 |one?| 190 |numerator| 195 |numer| 200
             |nextItem| 205 |negative?| 210 |multiEuclidean| 215 |min|
             221 |max| 227 |map| 233 |lcm| 239 |latex| 250 |inv| 255
             |init| 260 |hex| 264 |hash| 269 |gcdPolynomial| 274 |gcd|
             280 |fractionPart| 291 |floor| 301
             |factorSquareFreePolynomial| 306 |factorPolynomial| 311
             |factor| 316 |extendedEuclidean| 321 |exquo| 334
             |expressIdealMember| 340 |eval| 346 |euclideanSize| 386
             |elt| 391 |divide| 397 |differentiate| 403 |denominator|
             453 |denom| 458 |convert| 463 |conditionP| 488 |coerce|
             493 |charthRoot| 533 |characteristic| 538 |ceiling| 542
             |associates?| 547 |abs| 553 ^ 558 |Zero| 576 |One| 580 D
             584 >= 634 > 640 = 646 <= 652 < 658 / 664 - 676 + 687 **
             693 * 711)
          'NIL
          (CONS (|makeByteWordVec2| 22
                    '(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 0 0 0 0 0 0 0 0 0 0 0 7 0 7 0 0 7 0 0 0 0 7
                      0 0 0 22 9 10 11 0 0 6 17 0 0 0 0 0 0 0 0 0 2 5 6
                      6 8 12 13 16 17 18))
                (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&|
                         |PartialDifferentialRing&| |DifferentialRing&|
                         NIL NIL NIL |Ring&| NIL NIL NIL NIL NIL NIL
                         NIL NIL |AbelianGroup&| NIL NIL NIL NIL NIL
                         |AbelianMonoid&| |Monoid&| NIL NIL
                         |FullyEvalableOver&| |SemiGroup&|
                         |AbelianSemiGroup&| |OrderedSet&| NIL NIL NIL
                         NIL |SetCategory&| NIL |Evalable&| NIL
                         |RetractableTo&| NIL NIL NIL NIL NIL
                         |BasicType&| NIL |RetractableTo&| NIL NIL NIL
                         |RetractableTo&| NIL NIL |InnerEvalable&|
                         |InnerEvalable&| NIL)
                      (CONS '#((|QuotientFieldCategory| 17) (|Field|)
                               (|EuclideanDomain|)
                               (|PolynomialFactorizationExplicit|)
                               (|PrincipalIdealDomain|)
                               (|UniqueFactorizationDomain|)
                               (|GcdDomain|) (|OrderedIntegralDomain|)
                               (|DivisionRing|) (|IntegralDomain|)
                               (|FullyLinearlyExplicitRingOver| 17)
                               (|DifferentialExtension| 17)
                               (|Algebra| 17) (|Algebra| 6)
                               (|Algebra| $$)
                               (|LinearlyExplicitRingOver| 17)
                               (|Module| 17) (|Module| 6)
                               (|EntireRing|) (|CommutativeRing|)
                               (|Module| $$) (|CharacteristicNonZero|)
                               (|CharacteristicZero|) (|OrderedRing|)
                               (|PartialDifferentialRing| 21)
                               (|DifferentialRing|) (|BiModule| 17 17)
                               (|BiModule| 6 6) (|BiModule| $$ $$)
                               (|Ring|) (|RightModule| 17)
                               (|LeftModule| 17) (|RightModule| 6)
                               (|LeftModule| 6) (|LeftModule| $$)
                               (|Rng|) (|RightModule| $$)
                               (|OrderedAbelianGroup|) (|AbelianGroup|)
                               (|OrderedCancellationAbelianMonoid|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|OrderedAbelianMonoid|)
                               (|FullyPatternMatchable| 17)
                               (|AbelianMonoid|) (|Monoid|) (|SemiRng|)
                               (|OrderedAbelianSemiGroup|)
                               (|FullyEvalableOver| 17) (|SemiGroup|)
                               (|AbelianSemiGroup|) (|OrderedSet|)
                               (|StepThrough|) (|PatternMatchable| 34)
                               (|PatternMatchable| 17)
                               (|Patternable| 17) (|SetCategory|)
                               (|RealConstant|) (|Evalable| 17)
                               (|Type|) (|RetractableTo| 17)
                               (|canonicalsClosed|)
                               (|canonicalUnitNormal|)
                               (|noZeroDivisors|) (|CommutativeStar|)
                               (|unitsKnown|) (|BasicType|)
                               (|CoercibleTo| 52) (|RetractableTo| 21)
                               (|ConvertibleTo| 13)
                               (|ConvertibleTo| 35)
                               (|ConvertibleTo| 34) (|RetractableTo| 6)
                               (|ConvertibleTo| 14)
                               (|ConvertibleTo| 15)
                               (|InnerEvalable| 21 17)
                               (|InnerEvalable| 17 17)
                               (|Eltable| 17 $$))
                            (|makeByteWordVec2| 52
                                '(1 0 0 6 7 2 0 26 0 0 1 1 0 26 0 1 1
                                  19 17 0 1 1 0 48 0 1 1 0 0 0 1 1 0 26
                                  0 1 2 0 12 0 0 1 1 1 30 31 1 1 0 0 0
                                  1 1 0 40 0 1 2 1 32 33 31 1 2 0 26 0
                                  0 1 1 7 17 0 1 0 0 0 1 1 8 36 0 1 1 8
                                  37 0 1 1 2 38 0 1 1 0 36 0 1 1 8 17 0
                                  1 1 8 6 0 1 1 2 21 0 1 1 0 17 0 1 2 0
                                  0 0 0 1 2 23 23 11 24 1 1 23 25 11 1
                                  2 0 23 11 24 1 1 0 25 11 1 1 0 12 0 1
                                  0 20 0 1 2 0 0 0 0 1 1 0 47 42 1 1 0
                                  26 0 1 1 7 26 0 1 3 10 28 0 14 28 1 3
                                  11 29 0 15 29 1 1 0 26 0 1 1 0 0 0 1
                                  1 0 17 0 1 1 9 12 0 1 1 7 26 0 1 2 0
                                  41 42 0 1 2 21 0 0 0 1 2 21 0 0 0 1 2
                                  0 0 39 0 1 1 0 0 42 1 2 0 0 0 0 1 1 0
                                  51 0 1 1 0 0 0 1 0 9 0 1 1 0 0 6 8 1
                                  0 50 0 1 2 0 31 31 31 1 1 0 0 42 1 2
                                  0 0 0 0 1 1 19 0 0 1 1 0 6 0 1 1 20
                                  17 0 1 1 1 30 31 1 1 1 30 31 1 1 0 40
                                  0 1 2 0 43 0 0 1 3 0 45 0 0 0 1 2 0
                                  12 0 0 1 2 0 41 42 0 1 2 17 0 0 18 1
                                  3 17 0 0 17 17 1 2 17 0 0 19 1 3 17 0
                                  0 20 20 1 3 16 0 0 21 17 1 3 16 0 0
                                  22 20 1 1 0 16 0 1 2 18 0 0 17 1 2 0
                                  46 0 0 1 2 15 0 0 16 1 1 15 0 0 1 3
                                  14 0 0 22 27 1 2 14 0 0 22 1 3 14 0 0
                                  21 16 1 2 14 0 0 21 1 2 0 0 0 39 1 3
                                  0 0 0 39 16 1 1 0 0 0 1 1 0 17 0 1 1
                                  5 13 0 1 1 12 14 0 1 1 13 15 0 1 1 6
                                  34 0 1 1 6 35 0 1 1 24 10 11 1 1 2 0
                                  21 1 1 0 5 0 9 1 0 6 0 1 1 0 0 17 1 1
                                  0 0 6 7 1 0 0 17 1 1 0 0 0 1 1 0 52 0
                                  1 1 25 12 0 1 0 0 16 1 1 20 17 0 1 2
                                  0 26 0 0 1 1 7 0 0 1 2 0 0 0 17 1 2 0
                                  0 0 16 1 2 0 0 0 49 1 0 0 0 1 0 0 0 1
                                  2 15 0 0 16 1 1 15 0 0 1 3 14 0 0 22
                                  27 1 2 14 0 0 22 1 3 14 0 0 21 16 1 2
                                  14 0 0 21 1 2 0 0 0 39 1 3 0 0 0 39
                                  16 1 2 21 26 0 0 1 2 21 26 0 0 1 2 0
                                  26 0 0 1 2 21 26 0 0 1 2 21 26 0 0 1
                                  2 0 0 17 17 1 2 0 0 0 0 1 2 0 0 0 0 1
                                  1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 17 1 2
                                  0 0 0 16 1 2 0 0 0 49 1 2 0 0 17 0 1
                                  2 0 0 0 17 1 2 0 0 6 0 1 2 0 0 0 6 1
                                  2 0 0 0 0 1 2 0 0 17 0 1 2 0 0 16 0 1
                                  2 0 0 49 0 1)))))
          '|lookupComplete|)) 

(MAKEPROP '|HexadecimalExpansion| 'NILADIC T) 
