
(SDEFUN |IAN;reducedSystem;MM;1|
        ((|m| |Matrix| $) ($ |Matrix| (|Fraction| (|Integer|))))
        (SPROG ((|mz| (|Matrix| (|Integer|))))
               (SEQ
                (LETT |mz| (SPADCALL |m| (QREFELT $ 10))
                      |IAN;reducedSystem;MM;1|)
                (EXIT (SPADCALL (ELT $ 13) |mz| (QREFELT $ 17)))))) 

(SDEFUN |IAN;reducedSystem;MVR;2|
        ((|m| |Matrix| $) (|v| |Vector| $)
         ($ |Record| (|:| |mat| (|Matrix| (|Fraction| (|Integer|))))
          (|:| |vec| (|Vector| (|Fraction| (|Integer|))))))
        (SPROG
         ((|vq| (|Vector| (|Fraction| (|Integer|))))
          (|mq| (|Matrix| (|Fraction| (|Integer|))))
          (|mzr|
           (|Record| (|:| |mat| (|Matrix| (|Integer|)))
                     (|:| |vec| (|Vector| (|Integer|))))))
         (SEQ
          (LETT |mzr| (SPADCALL |m| |v| (QREFELT $ 21))
                . #1=(|IAN;reducedSystem;MVR;2|))
          (LETT |mq| (SPADCALL (ELT $ 13) (QCAR |mzr|) (QREFELT $ 17)) . #1#)
          (LETT |vq| (SPADCALL (ELT $ 13) (QCDR |mzr|) (QREFELT $ 25)) . #1#)
          (EXIT (CONS |mq| |vq|))))) 

(SDEFUN |IAN;mainRatDenom| ((|f| $) ($ $)) (SPADCALL |f| (QREFELT $ 29))) 

(SDEFUN |IAN;findDenominator|
        ((|z| . #1=(|SparseUnivariatePolynomial| $))
         ($
          . #2=(|Record| (|:| |num| (|SparseUnivariatePolynomial| $))
                         (|:| |den| $))))
        (SPROG ((#3=#:G730 NIL) (|rec| #2#) (|zz| #1#) (|dd| ($)))
               (SEQ
                (EXIT
                 (SEQ (LETT |zz| |z| . #4=(|IAN;findDenominator|))
                      (SEQ G190
                           (COND
                            ((NULL
                              (NULL
                               (SPADCALL |zz| (|spadConstant| $ 33)
                                         (QREFELT $ 35))))
                             (GO G191)))
                           (SEQ
                            (LETT |dd|
                                  (SPADCALL
                                   (SPADCALL (SPADCALL |zz| (QREFELT $ 36))
                                             (QREFELT $ 38))
                                   (QREFELT $ 39))
                                  . #4#)
                            (EXIT
                             (COND
                              ((SPADCALL |dd| (|spadConstant| $ 40)
                                         (QREFELT $ 42))
                               (LETT |zz| (SPADCALL |zz| (QREFELT $ 43))
                                     . #4#))
                              ('T
                               (SEQ
                                (LETT |rec|
                                      (|IAN;findDenominator|
                                       (SPADCALL |dd| |z| (QREFELT $ 44)) $)
                                      . #4#)
                                (EXIT
                                 (PROGN
                                  (LETT #3#
                                        (CONS (QCAR |rec|)
                                              (SPADCALL (QCDR |rec|) |dd|
                                                        (QREFELT $ 45)))
                                        . #4#)
                                  (GO #5=#:G729))))))))
                           NIL (GO G190) G191 (EXIT NIL))
                      (EXIT (CONS |z| (|spadConstant| $ 40)))))
                #5# (EXIT #3#)))) 

(SDEFUN |IAN;makeUnivariate|
        ((|p| |SparseMultivariatePolynomial| (|Integer|) (|Kernel| $))
         (|k| |Kernel| $) ($ |SparseUnivariatePolynomial| $))
        (SPADCALL (ELT $ 39) (SPADCALL |p| |k| (QREFELT $ 49)) (QREFELT $ 53))) 

(SDEFUN |IAN;differentiate;2$;6| ((|x| $) ($ $)) (|spadConstant| $ 30)) 

(SDEFUN |IAN;zero?;$B;7| ((|a| $) ($ |Boolean|))
        (SPADCALL (SPADCALL |a| (QREFELT $ 55)) (QREFELT $ 56))) 

(SDEFUN |IAN;one?;$B;8| ((|a| $) ($ |Boolean|))
        (COND
         ((SPADCALL (SPADCALL |a| (QREFELT $ 55)) (|spadConstant| $ 58)
                    (QREFELT $ 59))
          (SPADCALL (SPADCALL |a| (QREFELT $ 38)) (|spadConstant| $ 58)
                    (QREFELT $ 59)))
         ('T NIL))) 

(SDEFUN |IAN;/;3$;9| ((|x| $) (|y| $) ($ $))
        (|IAN;mainRatDenom| (SPADCALL |x| |y| (QREFELT $ 61)) $)) 

(SDEFUN |IAN;^;$I$;10| ((|x| $) (|n| |Integer|) ($ $))
        (COND
         ((< |n| 0) (|IAN;mainRatDenom| (SPADCALL |x| |n| (QREFELT $ 63)) $))
         ('T (SPADCALL |x| |n| (QREFELT $ 63))))) 

(SDEFUN |IAN;trueEqual;2$B;11| ((|a| $) (|b| $) ($ |Boolean|))
        (SPROG
         ((|dg| (|NonNegativeInteger|))
          (|g| (|SparseUnivariatePolynomial| (|Fraction| (|Integer|))))
          (|sb| #1=(|SparseUnivariatePolynomial| (|Fraction| (|Integer|))))
          (|sa| #1#)
          (|nb| #2=(|SparseUnivariatePolynomial| (|Fraction| (|Integer|))))
          (|na| #2#) (|pb| #3=(|SparseUnivariatePolynomial| $)) (|pa| #3#)
          (|kb| #4=(|List| (|Kernel| $))) (|ka| #4#))
         (SEQ
          (LETT |ka| (REVERSE (SPADCALL |a| (QREFELT $ 66)))
                . #5=(|IAN;trueEqual;2$B;11|))
          (LETT |kb| (REVERSE (SPADCALL |b| (QREFELT $ 66))) . #5#)
          (COND
           ((NULL |ka|)
            (COND
             ((NULL |kb|)
              (EXIT
               (SPADCALL (SPADCALL |a| (QREFELT $ 67))
                         (SPADCALL |b| (QREFELT $ 67)) (QREFELT $ 68)))))))
          (LETT |pa|
                (SPADCALL (SPADCALL (|spadConstant| $ 40) 1 (QREFELT $ 70))
                          (SPADCALL |a| 0 (QREFELT $ 70)) (QREFELT $ 71))
                . #5#)
          (LETT |pb|
                (SPADCALL (SPADCALL (|spadConstant| $ 40) 1 (QREFELT $ 70))
                          (SPADCALL |b| 0 (QREFELT $ 70)) (QREFELT $ 71))
                . #5#)
          (LETT |na|
                (SPADCALL (ELT $ 67) (SPADCALL |pa| |ka| (QREFELT $ 72))
                          (QREFELT $ 76))
                . #5#)
          (LETT |nb|
                (SPADCALL (ELT $ 67) (SPADCALL |pb| |kb| (QREFELT $ 72))
                          (QREFELT $ 76))
                . #5#)
          (LETT |sa| (SPADCALL |na| (QREFELT $ 77)) . #5#)
          (LETT |sb| (SPADCALL |nb| (QREFELT $ 77)) . #5#)
          (EXIT
           (COND ((SPADCALL |sa| |sb| (QREFELT $ 78)) 'T)
                 ('T
                  (SEQ (LETT |g| (SPADCALL |sa| |sb| (QREFELT $ 79)) . #5#)
                       (LETT |dg| (SPADCALL |g| (QREFELT $ 80)) . #5#)
                       (EXIT
                        (NULL
                         (OR (EQL |dg| 0)
                             (NULL
                              (OR (EQL |dg| (SPADCALL |sa| (QREFELT $ 80)))
                                  (EQL |dg|
                                       (SPADCALL |sb|
                                                 (QREFELT $ 80))))))))))))))) 

(SDEFUN |IAN;norm;$K$;12| ((|z| $) (|k| |Kernel| $) ($ $))
        (SPROG
         ((|d| #1=(|SparseUnivariatePolynomial| $)) (|n| #1#)
          (|p| (|SparseUnivariatePolynomial| $)))
         (SEQ (LETT |p| (SPADCALL |k| (QREFELT $ 83)) . #2=(|IAN;norm;$K$;12|))
              (LETT |n|
                    (|IAN;makeUnivariate| (SPADCALL |z| (QREFELT $ 55)) |k| $)
                    . #2#)
              (LETT |d|
                    (|IAN;makeUnivariate| (SPADCALL |z| (QREFELT $ 38)) |k| $)
                    . #2#)
              (EXIT
               (SPADCALL (SPADCALL |n| |p| (QREFELT $ 84))
                         (SPADCALL |d| |p| (QREFELT $ 84)) (QREFELT $ 62)))))) 

(SDEFUN |IAN;norm;$L$;13| ((|z| $) (|l| |List| (|Kernel| $)) ($ $))
        (SPROG ((#1=#:G761 NIL) (|k| NIL))
               (SEQ
                (SEQ (LETT |k| NIL . #2=(|IAN;norm;$L$;13|))
                     (LETT #1# |l| . #2#) G190
                     (COND
                      ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #2#) NIL))
                       (GO G191)))
                     (SEQ
                      (EXIT
                       (LETT |z| (SPADCALL |z| |k| (QREFELT $ 85)) . #2#)))
                     (LETT #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
                (EXIT |z|)))) 

(SDEFUN |IAN;norm;SupKSup;14|
        ((|z| |SparseUnivariatePolynomial| $) (|k| |Kernel| $)
         ($ |SparseUnivariatePolynomial| $))
        (SPROG
         ((|zz|
           #1=(|SparseUnivariatePolynomial| (|SparseUnivariatePolynomial| $)))
          (|f|
           (|Record| (|:| |num| (|SparseUnivariatePolynomial| $))
                     (|:| |den| $)))
          (|p| #1#))
         (SEQ
          (LETT |p|
                (SPADCALL (ELT $ 87) (SPADCALL |k| (QREFELT $ 83))
                          (QREFELT $ 91))
                . #2=(|IAN;norm;SupKSup;14|))
          (LETT |f| (|IAN;findDenominator| |z| $) . #2#)
          (LETT |zz|
                (SPADCALL (CONS #'|IAN;norm;SupKSup;14!0| (VECTOR |k| $))
                          (QCAR |f|) (QREFELT $ 91))
                . #2#)
          (LETT |zz| (SPADCALL |zz| (QREFELT $ 93)) . #2#)
          (EXIT
           (SPADCALL (SPADCALL |p| |zz| (QREFELT $ 94))
                     (SPADCALL (QCDR |f|) |k| (QREFELT $ 85))
                     (QREFELT $ 95)))))) 

(SDEFUN |IAN;norm;SupKSup;14!0| ((|x| NIL) ($$ NIL))
        (PROG ($ |k|)
          (LETT $ (QREFELT $$ 1) . #1=(|IAN;norm;SupKSup;14|))
          (LETT |k| (QREFELT $$ 0) . #1#)
          (RETURN
           (PROGN (|IAN;makeUnivariate| (SPADCALL |x| (QREFELT $ 55)) |k| $))))) 

(SDEFUN |IAN;norm;SupLSup;15|
        ((|z| |SparseUnivariatePolynomial| $) (|l| |List| (|Kernel| $))
         ($ |SparseUnivariatePolynomial| $))
        (SPROG ((#1=#:G768 NIL) (|k| NIL))
               (SEQ
                (SEQ (LETT |k| NIL . #2=(|IAN;norm;SupLSup;15|))
                     (LETT #1# |l| . #2#) G190
                     (COND
                      ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #2#) NIL))
                       (GO G191)))
                     (SEQ
                      (EXIT
                       (LETT |z| (SPADCALL |z| |k| (QREFELT $ 96)) . #2#)))
                     (LETT #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
                (EXIT |z|)))) 

(SDEFUN |IAN;belong?;BoB;16| ((|op| |BasicOperator|) ($ |Boolean|))
        (COND ((SPADCALL |op| (QREFELT $ 99)) 'T)
              ('T (SPADCALL |op| (QREFELT $ 7) (QREFELT $ 101))))) 

(SDEFUN |IAN;convert;$If;17| ((|x| $) ($ |InputForm|))
        (SPADCALL |x| (QREFELT $ 104))) 

(SDEFUN |IAN;convert;$F;18| ((|x| $) ($ |Float|))
        (SPADCALL (SPADCALL (ELT $ 107) |x| (QREFELT $ 111)) (QREFELT $ 112))) 

(SDEFUN |IAN;convert;$Df;19| ((|x| $) ($ |DoubleFloat|))
        (SPADCALL (SPADCALL (ELT $ 115) |x| (QREFELT $ 119)) (QREFELT $ 120))) 

(SDEFUN |IAN;convert;$C;20| ((|x| $) ($ |Complex| (|Float|)))
        (SPADCALL (SPADCALL (ELT $ 123) |x| (QREFELT $ 127)) (QREFELT $ 128))) 

(DECLAIM (NOTINLINE |InnerAlgebraicNumber;|)) 

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

(DEFUN |InnerAlgebraicNumber;| ()
  (SPROG ((|dv$| NIL) ($ NIL) (|pv$| NIL))
         (PROGN
          (LETT |dv$| '(|InnerAlgebraicNumber|) . #1=(|InnerAlgebraicNumber|))
          (LETT $ (GETREFV 162) . #1#)
          (QSETREFV $ 0 |dv$|)
          (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
          (|haddProp| |$ConstructorCache| '|InnerAlgebraicNumber| NIL
                      (CONS 1 $))
          (|stuffDomainSlots| $)
          (AND (|HasCategory| $ '(|Ring|)) (|augmentPredVector| $ 1))
          (AND (|HasCategory| $ '(|RetractableTo| (|Integer|)))
               (|augmentPredVector| $ 2))
          (AND (|HasCategory| $ '(|CharacteristicNonZero|))
               (|augmentPredVector| $ 4))
          (SETF |pv$| (QREFELT $ 3))
          (QSETREFV $ 6 (|Expression| (|Integer|)))
          (QSETREFV $ 7 '|%alg|)
          $))) 

(MAKEPROP '|InnerAlgebraicNumber| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|Expression| 11) '|Rep| 'ALGOP (|Matrix| 11)
              (|Matrix| $) (0 . |reducedSystem|) (|Integer|) (|Fraction| 11)
              (5 . |coerce|) (|Matrix| 12) (|Mapping| 12 11)
              (|MatrixCategoryFunctions2| 11 23 23 8 12 22 22 14) (10 . |map|)
              |IAN;reducedSystem;MM;1| (|Record| (|:| |mat| 8) (|:| |vec| 23))
              (|Vector| $) (16 . |reducedSystem|) (|Vector| 12) (|Vector| 11)
              (|VectorFunctions2| 11 12) (22 . |map|)
              (|Record| (|:| |mat| 14) (|:| |vec| 22))
              |IAN;reducedSystem;MVR;2| (|AlgebraicManipulations| 11 5)
              (28 . |ratDenom|) (33 . |Zero|) (37 . |Zero|)
              (|SparseUnivariatePolynomial| $$) (41 . |Zero|) (|Boolean|)
              (45 . =) (51 . |leadingCoefficient|)
              (|SparseMultivariatePolynomial| 11 82) (56 . |denom|)
              (61 . |coerce|) (66 . |One|) (70 . |One|) (74 . =)
              (80 . |reductum|) (85 . *) (91 . *)
              (|SparseUnivariatePolynomial| $) (|Kernel| $$)
              (|SparseMultivariatePolynomial| 11 47) (97 . |univariate|)
              (|Mapping| $$ 48) (|SparseUnivariatePolynomial| 48)
              (|SparseUnivariatePolynomialFunctions2| 48 $$) (103 . |map|)
              |IAN;differentiate;2$;6| (109 . |numer|) (114 . |zero?|)
              |IAN;zero?;$B;7| (119 . |One|) (123 . =) |IAN;one?;$B;8|
              (129 . /) |IAN;/;3$;9| (135 . ^) |IAN;^;$I$;10| (|List| 82)
              (141 . |tower|) (146 . |retract|) (151 . =)
              (|NonNegativeInteger|) (157 . |monomial|) (163 . -)
              |IAN;norm;SupLSup;15| (|SparseUnivariatePolynomial| 12)
              (|Mapping| 12 $$) (|SparseUnivariatePolynomialFunctions2| $$ 12)
              (169 . |map|) (175 . |squareFreePart|) (180 . =) (186 . |gcd|)
              (192 . |degree|) |IAN;trueEqual;2$B;11| (|Kernel| $)
              (197 . |minPoly|) (202 . |resultant|) |IAN;norm;$K$;12|
              |IAN;norm;$L$;13| (208 . |coerce|)
              (|SparseUnivariatePolynomial| 32) (|Mapping| 32 $$)
              (|SparseUnivariatePolynomialFunctions2| $$ 32) (213 . |map|)
              (|CommuteUnivariatePolynomialCategory| $$ 32 88) (219 . |swap|)
              (224 . |resultant|) (230 . /) |IAN;norm;SupKSup;14|
              (|BasicOperator|) (|ExpressionSpace&| $$) (236 . |belong?|)
              (|Symbol|) (241 . |has?|) |IAN;belong?;BoB;16| (|InputForm|)
              (247 . |convert|) |IAN;convert;$If;17| (|Float|) (252 . |coerce|)
              (|Expression| 106) (|Mapping| 106 11)
              (|ExpressionFunctions2| 11 106) (257 . |map|) (263 . |retract|)
              |IAN;convert;$F;18| (|DoubleFloat|) (268 . |coerce|)
              (|Expression| 114) (|Mapping| 114 11)
              (|ExpressionFunctions2| 11 114) (273 . |map|) (279 . |retract|)
              |IAN;convert;$Df;19| (|Complex| 106) (284 . |coerce|)
              (|Expression| 122) (|Mapping| 122 11)
              (|ExpressionFunctions2| 11 122) (289 . |map|) (295 . |retract|)
              |IAN;convert;$C;20| (|Union| $ '#1="failed") (|Union| 20 '#1#)
              (|Factored| 46) (|Union| 134 '#1#) (|List| 46)
              (|Union| 12 '#2="failed") (|Union| 11 '#2#) (|PositiveInteger|)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|Record| (|:| |llcm_res| $) (|:| |coeff1| $) (|:| |coeff2| $))
              (|List| $) (|Union| 140 '"failed")
              (|Record| (|:| |coef| 140) (|:| |generator| $))
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $))
              (|Union| 145 '"failed") (|Factored| $) (|Polynomial| $)
              (|Mapping| $ 140) (|Mapping| $ $) (|List| 97) (|List| 149)
              (|List| 150) (|List| 100) (|Union| 82 '"failed") (|List| 157)
              (|Equation| $) (|String|) (|SingleInteger|) (|HashState|)
              (|OutputForm|))
           '#(~= 300 |zerosOf| 306 |zeroOf| 322 |zero?| 338 |unitNormal| 343
              |unitCanonical| 348 |unit?| 353 |trueEqual| 358 |tower| 364
              |subtractIfCan| 374 |subst| 380 |squareFreePolynomial| 399
              |squareFreePart| 404 |squareFree| 409 |sqrt| 414
              |solveLinearPolynomialEquation| 419 |smaller?| 425 |sizeLess?|
              431 |sample| 437 |rootsOf| 441 |rootOf| 457 |rightRecip| 473
              |rightPower| 478 |retractIfCan| 490 |retract| 505 |rem| 520
              |reducedSystem| 526 |reduce| 548 |recip| 553 |quo| 558
              |principalIdeal| 564 |prime?| 569 |paren| 574 |opposite?| 584
              |operators| 590 |operator| 595 |one?| 600 |odd?| 605 |numer| 610
              |nthRoot| 615 |norm| 621 |multiEuclidean| 645 |minPoly| 651 |map|
              656 |mainKernel| 662 |leftRecip| 667 |leftPower| 672 |lcmCoef|
              684 |lcm| 690 |latex| 701 |kernels| 706 |kernel| 716 |is?| 728
              |inv| 740 |height| 745 |hashUpdate!| 750 |hash| 756
              |gcdPolynomial| 761 |gcd| 767 |freeOf?| 778
              |factorSquareFreePolynomial| 790 |factorPolynomial| 795 |factor|
              800 |extendedEuclidean| 805 |exquo| 818 |expressIdealMember| 824
              |even?| 830 |eval| 835 |euclideanSize| 931 |elt| 936 |divide|
              1032 |distribute| 1038 |differentiate| 1049 |denom| 1060
              |definingPolynomial| 1065 |convert| 1070 |conditionP| 1090
              |commutator| 1095 |coerce| 1101 |charthRoot| 1131
              |characteristic| 1136 |box| 1140 |belong?| 1150 |associator| 1155
              |associates?| 1162 |antiCommutator| 1168 |annihilate?| 1174 ^
              1180 |Zero| 1204 |One| 1208 D 1212 = 1223 / 1229 - 1235 + 1246 *
              1252)
           '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 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 0 0 0 0 0 0))
            (CONS
             '#(|AlgebraicallyClosedField&| |Field&|
                |PolynomialFactorizationExplicit&| |EuclideanDomain&|
                |UniqueFactorizationDomain&| NIL |GcdDomain&| |DivisionRing&|
                NIL NIL |DifferentialRing&| NIL NIL NIL |Algebra&|
                |EntireRing&| |Algebra&| NIL NIL NIL |Rng&| |Module&| |Module&|
                NIL NIL NIL |NonAssociativeRing&| NIL NIL NIL NIL
                |NonAssociativeRng&| |AbelianGroup&| NIL NIL NIL
                |ExpressionSpace&| NIL |MagmaWithUnit&| |AbelianMonoid&|
                |NonAssociativeSemiRng&| NIL |Magma&| |AbelianSemiGroup&| NIL
                |SetCategory&| |Evalable&| NIL NIL NIL NIL |RetractableTo&|
                |RetractableTo&| |RadicalCategory&| NIL NIL NIL NIL NIL
                |BasicType&| |InnerEvalable&| |InnerEvalable&| |RetractableTo&|
                NIL)
             (CONS
              '#((|AlgebraicallyClosedField|) (|Field|)
                 (|PolynomialFactorizationExplicit|) (|EuclideanDomain|)
                 (|UniqueFactorizationDomain|) (|PrincipalIdealDomain|)
                 (|GcdDomain|) (|DivisionRing|) (|LeftOreRing|)
                 (|IntegralDomain|) (|DifferentialRing|) (|CharacteristicZero|)
                 (|LinearlyExplicitOver| 12) (|LinearlyExplicitOver| 11)
                 (|Algebra| 12) (|EntireRing|) (|Algebra| $$)
                 (|CommutativeRing|) (|Ring|) (|SemiRing|) (|Rng|)
                 (|Module| 12) (|Module| $$) (|SemiRng|) (|BiModule| 12 12)
                 (|BiModule| $$ $$) (|NonAssociativeRing|) (|RightModule| 12)
                 (|LeftModule| 12) (|LeftModule| $$) (|RightModule| $$)
                 (|NonAssociativeRng|) (|AbelianGroup|) (|Monoid|)
                 (|NonAssociativeSemiRing|) (|CancellationAbelianMonoid|)
                 (|ExpressionSpace|) (|SemiGroup|) (|MagmaWithUnit|)
                 (|AbelianMonoid|) (|NonAssociativeSemiRng|) (|Comparable|)
                 (|Magma|) (|AbelianSemiGroup|) (|RealConstant|)
                 (|SetCategory|) (|Evalable| $$) (|ConvertibleTo| 103)
                 (|ConvertibleTo| 122) (|ConvertibleTo| 106)
                 (|ConvertibleTo| 114) (|RetractableTo| 12)
                 (|RetractableTo| 11) (|RadicalCategory|) (|canonicalsClosed|)
                 (|canonicalUnitNormal|) (|noZeroDivisors|) (|CommutativeStar|)
                 (|unitsKnown|) (|BasicType|) (|InnerEvalable| $$ $$)
                 (|InnerEvalable| 47 $$) (|RetractableTo| 47)
                 (|CoercibleTo| 161))
              (|makeByteWordVec2| 161
                                  '(1 6 8 9 10 1 12 0 11 13 2 16 14 15 8 17 2 6
                                    19 9 20 21 2 24 22 15 23 25 1 28 5 5 29 0 0
                                    0 30 0 6 0 31 0 32 0 33 2 32 34 0 0 35 1 32
                                    2 0 36 1 0 37 0 38 1 0 0 37 39 0 0 0 40 0 6
                                    0 41 2 0 34 0 0 42 1 32 0 0 43 2 32 0 2 0
                                    44 2 0 0 0 0 45 2 48 46 0 47 49 2 52 32 50
                                    51 53 1 0 37 0 55 1 48 34 0 56 0 48 0 58 2
                                    48 34 0 0 59 2 6 0 0 0 61 2 6 0 0 11 63 1 0
                                    65 0 66 1 0 12 0 67 2 12 34 0 0 68 2 32 0 2
                                    69 70 2 32 0 0 0 71 2 75 73 74 32 76 1 73 0
                                    0 77 2 73 34 0 0 78 2 73 0 0 0 79 1 73 69 0
                                    80 1 0 46 82 83 2 32 2 0 0 84 1 32 0 2 87 2
                                    90 88 89 32 91 1 92 88 88 93 2 88 32 0 0 94
                                    2 32 0 0 2 95 1 98 34 97 99 2 97 34 0 100
                                    101 1 6 103 0 104 1 106 0 11 107 2 110 108
                                    109 5 111 1 108 106 0 112 1 114 0 11 115 2
                                    118 116 117 5 119 1 116 114 0 120 1 122 0
                                    11 123 2 126 124 125 5 127 1 124 122 0 128
                                    2 0 34 0 0 1 1 0 140 46 1 1 0 140 148 1 2 0
                                    140 46 100 1 1 0 0 46 1 1 0 0 148 1 2 0 0
                                    46 100 1 1 0 34 0 57 1 0 138 0 1 1 0 0 0 1
                                    1 0 34 0 1 2 0 34 0 0 81 1 0 65 140 1 1 0
                                    65 0 66 2 0 130 0 0 1 3 0 0 0 65 140 1 2 0
                                    0 0 156 1 2 0 0 0 157 1 1 0 132 46 1 1 0 0
                                    0 1 1 0 147 0 1 1 0 0 0 1 2 0 133 134 46 1
                                    2 0 34 0 0 1 2 0 34 0 0 1 0 0 0 1 1 0 140
                                    46 1 1 0 140 148 1 2 0 140 46 100 1 1 0 0
                                    46 1 1 0 0 148 1 2 0 0 46 100 1 1 0 130 0 1
                                    2 0 0 0 137 1 2 0 0 0 69 1 1 0 135 0 1 1 0
                                    136 0 1 1 0 155 0 1 1 0 12 0 67 1 0 11 0 1
                                    1 0 82 0 1 2 0 0 0 0 1 2 0 26 9 20 27 1 0
                                    14 9 18 1 0 8 9 1 2 0 19 9 20 1 1 0 0 0 1 1
                                    0 130 0 1 2 0 0 0 0 1 1 0 142 140 1 1 0 34
                                    0 1 1 0 0 0 1 1 0 0 140 1 2 0 34 0 0 1 1 0
                                    151 0 1 1 0 97 97 1 1 0 34 0 60 1 2 34 0 1
                                    1 0 37 0 55 2 0 0 0 11 1 2 0 0 0 82 85 2 0
                                    0 0 65 86 2 0 46 46 65 72 2 0 46 46 82 96 2
                                    0 141 140 0 1 1 1 46 82 83 2 0 0 150 82 1 1
                                    0 155 0 1 1 0 130 0 1 2 0 0 0 137 1 2 0 0 0
                                    69 1 2 0 139 0 0 1 1 0 0 140 1 2 0 0 0 0 1
                                    1 0 158 0 1 1 0 65 140 1 1 0 65 0 1 2 0 0
                                    97 0 1 2 0 0 97 140 1 2 0 34 0 100 1 2 0 34
                                    0 97 1 1 0 0 0 1 1 0 69 0 1 2 0 160 160 0 1
                                    1 0 159 0 1 2 0 46 46 46 1 2 0 0 0 0 1 1 0
                                    0 140 1 2 0 34 0 0 1 2 0 34 0 100 1 1 0 132
                                    46 1 1 0 132 46 1 1 0 147 0 1 2 0 144 0 0 1
                                    3 0 146 0 0 0 1 2 0 130 0 0 1 2 0 141 140 0
                                    1 1 2 34 0 1 3 0 0 0 97 149 1 3 0 0 0 97
                                    150 1 3 0 0 0 151 152 1 3 0 0 0 100 150 1 3
                                    0 0 0 151 153 1 3 0 0 0 154 152 1 3 0 0 0
                                    100 149 1 3 0 0 0 154 153 1 3 0 0 0 0 0 1 3
                                    0 0 0 140 140 1 2 0 0 0 157 1 3 0 0 0 65
                                    140 1 2 0 0 0 156 1 3 0 0 0 82 0 1 1 0 69 0
                                    1 2 0 0 97 140 1 10 0 0 97 0 0 0 0 0 0 0 0
                                    0 1 8 0 0 97 0 0 0 0 0 0 0 1 9 0 0 97 0 0 0
                                    0 0 0 0 0 1 6 0 0 97 0 0 0 0 0 1 7 0 0 97 0
                                    0 0 0 0 0 1 5 0 0 97 0 0 0 0 1 3 0 0 97 0 0
                                    1 4 0 0 97 0 0 0 1 2 0 0 97 0 1 2 0 143 0 0
                                    1 1 0 0 0 1 2 0 0 0 0 1 1 0 0 0 54 2 0 0 0
                                    69 1 1 0 37 0 38 1 1 0 0 1 1 0 122 0 129 1
                                    0 103 0 105 1 0 114 0 121 1 0 106 0 113 1 3
                                    131 9 1 2 0 0 0 0 1 1 0 0 37 39 1 0 0 11 1
                                    1 0 0 0 1 1 0 0 12 1 1 0 0 82 1 1 0 161 0 1
                                    1 3 130 0 1 0 0 69 1 1 0 0 140 1 1 0 0 0 1
                                    1 0 34 97 102 3 0 0 0 0 0 1 2 0 34 0 0 1 2
                                    0 0 0 0 1 2 0 34 0 0 1 2 0 0 0 137 1 2 0 0
                                    0 69 1 2 0 0 0 11 64 2 0 0 0 12 1 0 0 0 30
                                    0 0 0 40 1 0 0 0 1 2 0 0 0 69 1 2 0 34 0 0
                                    42 2 0 0 0 0 62 2 0 0 0 0 1 1 0 0 0 1 2 0 0
                                    0 0 1 2 0 0 137 0 1 2 0 0 0 0 45 2 0 0 11 0
                                    1 2 0 0 69 0 1 2 0 0 12 0 1 2 0 0 0 12
                                    1)))))
           '|lookupComplete|)) 

(MAKEPROP '|InnerAlgebraicNumber| 'NILADIC T) 
