
(SDEFUN |FFIELDC-;differentiate;2S;1| ((|x| S) ($ S)) (|spadConstant| $ 7)) 

(SDEFUN |FFIELDC-;init;S;2| (($ S)) (|spadConstant| $ 7)) 

(SDEFUN |FFIELDC-;nextItem;SU;3| ((|a| S) ($ |Union| S "failed"))
        (COND
         ((SPADCALL
           (LETT |a|
                 (SPADCALL (+ (SPADCALL |a| (QREFELT $ 11)) 1) (QREFELT $ 12)))
           (QREFELT $ 14))
          (CONS 1 "failed"))
         ('T (CONS 0 |a|)))) 

(SDEFUN |FFIELDC-;order;SOpc;4|
        ((|e| S) ($ |OnePointCompletion| (|PositiveInteger|)))
        (SPADCALL (SPADCALL |e| (QREFELT $ 17)) (QREFELT $ 19))) 

(SDEFUN |FFIELDC-;conditionP;MU;5|
        ((|mat| |Matrix| S) ($ |Union| (|Vector| S) "failed"))
        (SPROG ((|l| (|List| (|Vector| S))))
               (SEQ (LETT |l| (SPADCALL |mat| (QREFELT $ 23)))
                    (EXIT
                     (COND ((NULL |l|) (CONS 1 "failed"))
                           ('T
                            (CONS 0
                                  (SPADCALL (ELT $ 24) (|SPADfirst| |l|)
                                            (QREFELT $ 27))))))))) 

(SDEFUN |FFIELDC-;charthRoot;2S;6| ((|x| S) ($ S))
        (SPADCALL |x|
                  (QUOTIENT2 (SPADCALL (QREFELT $ 32))
                             (SPADCALL (QREFELT $ 33)))
                  (QREFELT $ 34))) 

(SDEFUN |FFIELDC-;charthRoot;SU;7| ((|x| S) ($ |Union| S "failed"))
        (CONS 0 (SPADCALL |x| (QREFELT $ 24)))) 

(SDEFUN |FFIELDC-;createPrimitiveElement;S;8| (($ S))
        (SPROG
         ((|found| (|Boolean|)) (|e| (S)) (#1=#:G763 NIL) (|i| NIL)
          (|start| (|Integer|)) (|sm1| (|PositiveInteger|)))
         (SEQ (LETT |sm1| (- (SPADCALL (QREFELT $ 32)) 1))
              (LETT |start|
                    (COND
                     ((SPADCALL (SPADCALL (QREFELT $ 38)) (CONS 1 "polynomial")
                                (QREFELT $ 39))
                      (SPADCALL (QREFELT $ 33)))
                     ('T 1)))
              (LETT |found| NIL)
              (SEQ (LETT |i| |start|) G190
                   (COND ((NULL (NULL |found|)) (GO G191)))
                   (SEQ
                    (LETT |e|
                          (SPADCALL
                           (PROG1 (LETT #1# |i|)
                             (|check_subtype2| (> #1# 0) '(|PositiveInteger|)
                                               '(|Integer|) #1#))
                           (QREFELT $ 12)))
                    (EXIT
                     (LETT |found| (EQL (SPADCALL |e| (QREFELT $ 17)) |sm1|))))
                   (LETT |i| (+ |i| 1)) (GO G190) G191 (EXIT NIL))
              (EXIT |e|)))) 

(SDEFUN |FFIELDC-;primitive?;SB;9| ((|a| S) ($ |Boolean|))
        (SPROG
         ((|equalone| (|Boolean|)) (#1=#:G773 NIL) (|exp| NIL)
          (|q| (|Integer|))
          (|explist|
           (|List|
            (|Record| (|:| |factor| (|Integer|))
                      (|:| |exponent| (|NonNegativeInteger|))))))
         (SEQ
          (COND ((SPADCALL |a| (QREFELT $ 14)) NIL)
                ('T
                 (SEQ (LETT |explist| (SPADCALL (QREFELT $ 43)))
                      (LETT |q| (- (SPADCALL (QREFELT $ 32)) 1))
                      (LETT |equalone| NIL)
                      (SEQ (LETT |exp| NIL) (LETT #1# |explist|) G190
                           (COND
                            ((OR (ATOM #1#) (PROGN (LETT |exp| (CAR #1#)) NIL)
                                 (NULL (NULL |equalone|)))
                             (GO G191)))
                           (SEQ
                            (EXIT
                             (LETT |equalone|
                                   (SPADCALL
                                    (SPADCALL |a| (QUOTIENT2 |q| (QCAR |exp|))
                                              (QREFELT $ 45))
                                    (|spadConstant| $ 46) (QREFELT $ 47)))))
                           (LETT #1# (CDR #1#)) (GO G190) G191 (EXIT NIL))
                      (EXIT (NULL |equalone|)))))))) 

(SDEFUN |FFIELDC-;order;SPi;10| ((|e| S) ($ |PositiveInteger|))
        (SPROG
         ((|ord| (|Integer|)) (|goon| (|Boolean|)) (|a| (|Integer|))
          (#1=#:G782 NIL) (|j| NIL) (|primeDivisor| #2=(|Integer|))
          (#3=#:G781 NIL) (|rec| NIL)
          (|lof|
           (|List|
            (|Record| (|:| |factor| #2#)
                      (|:| |exponent| (|NonNegativeInteger|))))))
         (SEQ
          (COND
           ((SPADCALL |e| (|spadConstant| $ 7) (QREFELT $ 47))
            (|error| "order(0) is not defined "))
           ('T
            (SEQ (LETT |ord| (- (SPADCALL (QREFELT $ 32)) 1)) (LETT |a| 0)
                 (LETT |lof| (SPADCALL (QREFELT $ 43)))
                 (SEQ (LETT |rec| NIL) (LETT #3# |lof|) G190
                      (COND
                       ((OR (ATOM #3#) (PROGN (LETT |rec| (CAR #3#)) NIL))
                        (GO G191)))
                      (SEQ
                       (LETT |a|
                             (QUOTIENT2 |ord|
                                        (LETT |primeDivisor| (QCAR |rec|))))
                       (LETT |goon|
                             (SPADCALL (SPADCALL |e| |a| (QREFELT $ 45))
                                       (|spadConstant| $ 46) (QREFELT $ 47)))
                       (SEQ (LETT |j| 0) (LETT #1# (- (QCDR |rec|) 2)) G190
                            (COND
                             ((OR (|greater_SI| |j| #1#) (NULL |goon|))
                              (GO G191)))
                            (SEQ (LETT |ord| |a|)
                                 (LETT |a| (QUOTIENT2 |ord| |primeDivisor|))
                                 (EXIT
                                  (LETT |goon|
                                        (SPADCALL
                                         (SPADCALL |e| |a| (QREFELT $ 45))
                                         (|spadConstant| $ 46)
                                         (QREFELT $ 47)))))
                            (LETT |j| (|inc_SI| |j|)) (GO G190) G191
                            (EXIT NIL))
                       (EXIT (COND (|goon| (LETT |ord| |a|)))))
                      (LETT #3# (CDR #3#)) (GO G190) G191 (EXIT NIL))
                 (EXIT |ord|))))))) 

(SDEFUN |FFIELDC-;discreteLog;SNni;11| ((|b| S) ($ |NonNegativeInteger|))
        (SPROG
         ((|a| (S)) (|disclog| (|Integer|)) (|mult| (|Integer|)) (|c| (S))
          (|disc1| (|Integer|)) (|found| (|Boolean|))
          (|rho| (|Union| (|NonNegativeInteger|) "failed")) (#1=#:G801 NIL)
          (|i| NIL) (|end| (|Integer|)) (|n| (|NonNegativeInteger|))
          (|exptable| (|Table| (|PositiveInteger|) (|NonNegativeInteger|)))
          (|exp| #2=(|Integer|)) (#3=#:G800 NIL) (|t| NIL)
          (|fac| #4=(|Integer|)) (#5=#:G799 NIL) (|f| NIL) (|groupord| #2#)
          (|gen| (S))
          (|faclist|
           (|List|
            (|Record| (|:| |factor| #4#)
                      (|:| |exponent| (|NonNegativeInteger|))))))
         (SEQ
          (COND
           ((SPADCALL |b| (QREFELT $ 14))
            (|error| "discreteLog: logarithm of zero"))
           (#6='T
            (SEQ (LETT |faclist| (SPADCALL (QREFELT $ 43))) (LETT |a| |b|)
                 (LETT |gen| (SPADCALL (QREFELT $ 52)))
                 (EXIT
                  (COND ((SPADCALL |b| |gen| (QREFELT $ 47)) 1)
                        (#6#
                         (SEQ (LETT |disclog| 0) (LETT |mult| 1)
                              (LETT |groupord| (- (SPADCALL (QREFELT $ 32)) 1))
                              (LETT |exp| |groupord|)
                              (SEQ (LETT |f| NIL) (LETT #5# |faclist|) G190
                                   (COND
                                    ((OR (ATOM #5#)
                                         (PROGN (LETT |f| (CAR #5#)) NIL))
                                     (GO G191)))
                                   (SEQ (LETT |fac| (QCAR |f|))
                                        (EXIT
                                         (SEQ (LETT |t| 0)
                                              (LETT #3# (- (QCDR |f|) 1)) G190
                                              (COND
                                               ((|greater_SI| |t| #3#)
                                                (GO G191)))
                                              (SEQ
                                               (LETT |exp|
                                                     (QUOTIENT2 |exp| |fac|))
                                               (LETT |exptable|
                                                     (SPADCALL |fac|
                                                               (QREFELT $ 54)))
                                               (LETT |n|
                                                     (SPADCALL |exptable|
                                                               (QREFELT $ 55)))
                                               (LETT |c|
                                                     (SPADCALL |a| |exp|
                                                               (QREFELT $ 45)))
                                               (LETT |end|
                                                     (QUOTIENT2 (- |fac| 1)
                                                                |n|))
                                               (LETT |found| NIL)
                                               (LETT |disc1| 0)
                                               (SEQ (LETT |i| 0)
                                                    (LETT #1# |end|) G190
                                                    (COND
                                                     ((OR
                                                       (|greater_SI| |i| #1#)
                                                       (NULL (NULL |found|)))
                                                      (GO G191)))
                                                    (SEQ
                                                     (LETT |rho|
                                                           (SPADCALL
                                                            (SPADCALL |c|
                                                                      (QREFELT
                                                                       $ 11))
                                                            |exptable|
                                                            (QREFELT $ 58)))
                                                     (EXIT
                                                      (COND
                                                       ((QEQCAR |rho| 0)
                                                        (SEQ (LETT |found| 'T)
                                                             (EXIT
                                                              (LETT |disc1|
                                                                    (*
                                                                     (+
                                                                      (* |n|
                                                                         |i|)
                                                                      (QCDR
                                                                       |rho|))
                                                                     |mult|)))))
                                                       ('T
                                                        (LETT |c|
                                                              (SPADCALL |c|
                                                                        (SPADCALL
                                                                         |gen|
                                                                         (*
                                                                          (QUOTIENT2
                                                                           |groupord|
                                                                           |fac|)
                                                                          (-
                                                                           |n|))
                                                                         (QREFELT
                                                                          $
                                                                          45))
                                                                        (QREFELT
                                                                         $
                                                                         59)))))))
                                                    (LETT |i| (|inc_SI| |i|))
                                                    (GO G190) G191 (EXIT NIL))
                                               (EXIT
                                                (COND
                                                 (|found|
                                                  (SEQ
                                                   (LETT |mult|
                                                         (* |mult| |fac|))
                                                   (LETT |disclog|
                                                         (+ |disclog| |disc1|))
                                                   (EXIT
                                                    (LETT |a|
                                                          (SPADCALL |a|
                                                                    (SPADCALL
                                                                     |gen|
                                                                     (-
                                                                      |disc1|)
                                                                     (QREFELT $
                                                                              45))
                                                                    (QREFELT $
                                                                             59))))))
                                                 ('T
                                                  (|error|
                                                   "discreteLog: ?? discrete logarithm")))))
                                              (LETT |t| (|inc_SI| |t|))
                                              (GO G190) G191 (EXIT NIL))))
                                   (LETT #5# (CDR #5#)) (GO G190) G191
                                   (EXIT NIL))
                              (EXIT |disclog|))))))))))) 

(SDEFUN |FFIELDC-;discreteLog;2SU;12|
        ((|logbase| S) (|b| S) ($ |Union| (|NonNegativeInteger|) "failed"))
        (SPROG
         ((|a| (S)) (|mult| (|Integer|)) (|disclog| (|Integer|))
          (|rho| (|Integer|)) (#1=#:G822 NIL)
          (|rhoHelp| (|Union| (|NonNegativeInteger|) "failed"))
          (|exp| (|Integer|)) (#2=#:G824 NIL) (|t| NIL) (|primroot| (S))
          (|fac| #3=(|Integer|)) (#4=#:G823 NIL) (|f| NIL)
          (|faclist|
           (|List|
            (|Record| (|:| |flag| (|Union| "nil" "sqfr" "irred" "prime"))
                      (|:| |factor| #3#)
                      (|:| |exponent| (|NonNegativeInteger|)))))
          (|groupord| (|NonNegativeInteger|)))
         (SEQ
          (EXIT
           (COND
            ((SPADCALL |b| (QREFELT $ 14))
             (SEQ (SPADCALL "discreteLog: logarithm of zero" (QREFELT $ 64))
                  (EXIT (CONS 1 "failed"))))
            ((SPADCALL |logbase| (QREFELT $ 14))
             (SEQ
              (SPADCALL "discreteLog: logarithm to base zero" (QREFELT $ 64))
              (EXIT (CONS 1 "failed"))))
            ((SPADCALL |b| |logbase| (QREFELT $ 47)) (CONS 0 1))
            ('T
             (COND
              ((NULL
                (ZEROP
                 (REM (LETT |groupord| (SPADCALL |logbase| (QREFELT $ 17)))
                      (SPADCALL |b| (QREFELT $ 17)))))
               (SEQ
                (SPADCALL
                 "discreteLog: second argument not in cyclic group generated by first argument"
                 (QREFELT $ 64))
                (EXIT (CONS 1 "failed"))))
              ('T
               (SEQ
                (LETT |faclist|
                      (SPADCALL (SPADCALL |groupord| (QREFELT $ 66))
                                (QREFELT $ 70)))
                (LETT |a| |b|) (LETT |disclog| 0) (LETT |mult| 1)
                (LETT |exp| |groupord|)
                (SEQ (LETT |f| NIL) (LETT #4# |faclist|) G190
                     (COND
                      ((OR (ATOM #4#) (PROGN (LETT |f| (CAR #4#)) NIL))
                       (GO G191)))
                     (SEQ (LETT |fac| (QVELT |f| 1))
                          (LETT |primroot|
                                (SPADCALL |logbase|
                                          (QUOTIENT2 |groupord| |fac|)
                                          (QREFELT $ 45)))
                          (EXIT
                           (SEQ (LETT |t| 0) (LETT #2# (- (QVELT |f| 2) 1))
                                G190 (COND ((|greater_SI| |t| #2#) (GO G191)))
                                (SEQ (LETT |exp| (QUOTIENT2 |exp| |fac|))
                                     (LETT |rhoHelp|
                                           (SPADCALL |primroot|
                                                     (SPADCALL |a| |exp|
                                                               (QREFELT $ 45))
                                                     |fac| (QREFELT $ 72)))
                                     (EXIT
                                      (COND
                                       ((QEQCAR |rhoHelp| 1)
                                        (PROGN
                                         (LETT #1# (CONS 1 "failed"))
                                         (GO #5=#:G821)))
                                       ('T
                                        (SEQ
                                         (LETT |rho|
                                               (SPADCALL (QCDR |rhoHelp|)
                                                         |mult|
                                                         (QREFELT $ 73)))
                                         (LETT |disclog| (+ |disclog| |rho|))
                                         (LETT |mult| (* |mult| |fac|))
                                         (EXIT
                                          (LETT |a|
                                                (SPADCALL |a|
                                                          (SPADCALL |logbase|
                                                                    (- |rho|)
                                                                    (QREFELT $
                                                                             45))
                                                          (QREFELT $
                                                                   59)))))))))
                                (LETT |t| (|inc_SI| |t|)) (GO G190) G191
                                (EXIT NIL))))
                     (LETT #4# (CDR #4#)) (GO G190) G191 (EXIT NIL))
                (EXIT (CONS 0 |disclog|))))))))
          #5# (EXIT #1#)))) 

(SDEFUN |FFIELDC-;squareFreePolynomial;SupF;13|
        ((|f| |SparseUnivariatePolynomial| S)
         ($ |Factored| (|SparseUnivariatePolynomial| S)))
        (SPADCALL |f| (QREFELT $ 78))) 

(SDEFUN |FFIELDC-;factorPolynomial;SupF;14|
        ((|f| |SparseUnivariatePolynomial| S)
         ($ |Factored| (|SparseUnivariatePolynomial| S)))
        (SPADCALL |f| (QREFELT $ 83))) 

(SDEFUN |FFIELDC-;factorSquareFreePolynomial;SupF;15|
        ((|f| |SparseUnivariatePolynomial| S)
         ($ |Factored| (|SparseUnivariatePolynomial| S)))
        (SPROG
         ((#1=#:G847 NIL)
          (#2=#:G846 #3=(|Factored| (|SparseUnivariatePolynomial| S)))
          (#4=#:G848 #3#) (#5=#:G851 NIL) (|u| NIL)
          (|flist|
           (|Record| (|:| |cont| S)
                     (|:| |factors|
                          (|List|
                           (|Record|
                            (|:| |irr| (|SparseUnivariatePolynomial| S))
                            (|:| |pow| (|NonNegativeInteger|))))))))
         (SEQ
          (COND
           ((SPADCALL |f| (|spadConstant| $ 85) (QREFELT $ 86))
            (|spadConstant| $ 87))
           (#6='T
            (SEQ (LETT |flist| (SPADCALL |f| 'T (QREFELT $ 90)))
                 (EXIT
                  (SPADCALL (SPADCALL (QCAR |flist|) (QREFELT $ 91))
                            (PROGN
                             (LETT #1# NIL)
                             (SEQ (LETT |u| NIL) (LETT #5# (QCDR |flist|)) G190
                                  (COND
                                   ((OR (ATOM #5#)
                                        (PROGN (LETT |u| (CAR #5#)) NIL))
                                    (GO G191)))
                                  (SEQ
                                   (EXIT
                                    (PROGN
                                     (LETT #4#
                                           (SPADCALL (QCAR |u|) (QCDR |u|)
                                                     (QREFELT $ 92)))
                                     (COND
                                      (#1#
                                       (LETT #2#
                                             (SPADCALL #2# #4#
                                                       (QREFELT $ 93))))
                                      ('T
                                       (PROGN
                                        (LETT #2# #4#)
                                        (LETT #1# 'T)))))))
                                  (LETT #5# (CDR #5#)) (GO G190) G191
                                  (EXIT NIL))
                             (COND (#1# #2#) (#6# (|spadConstant| $ 94))))
                            (QREFELT $ 95))))))))) 

(SDEFUN |FFIELDC-;gcdPolynomial;3Sup;16|
        ((|f| |SparseUnivariatePolynomial| S)
         (|g| |SparseUnivariatePolynomial| S)
         ($ |SparseUnivariatePolynomial| S))
        (SPADCALL |f| |g| (QREFELT $ 98))) 

(DECLAIM (NOTINLINE |FiniteFieldCategory&;|)) 

(DEFUN |FiniteFieldCategory&| (|#1|)
  (SPROG ((|pv$| NIL) ($ NIL) (|dv$| NIL) (DV$1 NIL))
         (PROGN
          (LETT DV$1 (|devaluate| |#1|))
          (LETT |dv$| (LIST '|FiniteFieldCategory&| DV$1))
          (LETT $ (GETREFV 100))
          (QSETREFV $ 0 |dv$|)
          (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL)))
          (|stuffDomainSlots| $)
          (QSETREFV $ 6 |#1|)
          (SETF |pv$| (QREFELT $ 3))
          $))) 

(MAKEPROP '|FiniteFieldCategory&| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (0 . |Zero|)
              |FFIELDC-;differentiate;2S;1| |FFIELDC-;init;S;2|
              (|PositiveInteger|) (4 . |lookup|) (9 . |index|) (|Boolean|)
              (14 . |zero?|) (|Union| $ '#1="failed") |FFIELDC-;nextItem;SU;3|
              (19 . |order|) (|OnePointCompletion| 10) (24 . |coerce|)
              |FFIELDC-;order;SOpc;4| (|List| 26) (|Matrix| 6)
              (29 . |nullSpace|) (34 . |charthRoot|) (|Mapping| 6 6)
              (|Vector| 6) (39 . |map|) (|Union| (|Vector| $) '#2="failed")
              (|Matrix| $) |FFIELDC-;conditionP;MU;5| (|NonNegativeInteger|)
              (45 . |size|) (49 . |characteristic|) (53 . ^)
              |FFIELDC-;charthRoot;2S;6| |FFIELDC-;charthRoot;SU;7|
              (|Union| '"prime" '"polynomial" '"normal" '"cyclic")
              (59 . |representationType|) (63 . =)
              |FFIELDC-;createPrimitiveElement;S;8|
              (|Record| (|:| |factor| 44) (|:| |exponent| 31)) (|List| 41)
              (69 . |factorsOfCyclicGroupSize|) (|Integer|) (73 . ^)
              (79 . |One|) (83 . =) |FFIELDC-;primitive?;SB;9| (|Factored| 44)
              (89 . |Zero|) |FFIELDC-;order;SPi;10| (93 . |primitiveElement|)
              (|Table| 10 31) (97 . |tableForDiscreteLogarithm|) (102 . |#|)
              (107 . |One|) (|Union| 31 '"failed") (111 . |search|) (117 . *)
              |FFIELDC-;discreteLog;SNni;11| (|Void|) (|String|) (|OutputForm|)
              (123 . |messagePrint|) (|Factored| $) (128 . |factor|)
              (|Union| '"nil" '"sqfr" '"irred" '"prime")
              (|Record| (|:| |flag| 67) (|:| |factor| 44) (|:| |exponent| 31))
              (|List| 68) (133 . |factorList|) (|DiscreteLogarithmPackage| 6)
              (138 . |shanksDiscLogAlgorithm|) (145 . *)
              |FFIELDC-;discreteLog;2SU;12| (|Factored| 76)
              (|SparseUnivariatePolynomial| 6)
              (|UnivariatePolynomialSquareFree| 6 76) (151 . |squareFree|)
              (|Factored| 80) (|SparseUnivariatePolynomial| $)
              |FFIELDC-;squareFreePolynomial;SupF;13|
              (|DistinctDegreeFactorize| 6 76) (156 . |factor|)
              |FFIELDC-;factorPolynomial;SupF;14| (161 . |Zero|) (165 . =)
              (171 . |Zero|) (|Record| (|:| |irr| 76) (|:| |pow| 31))
              (|Record| (|:| |cont| 6) (|:| |factors| (|List| 88)))
              (175 . |distdfact|) (181 . |coerce|) (186 . |primeFactor|)
              (192 . *) (198 . |One|) (202 . *)
              |FFIELDC-;factorSquareFreePolynomial;SupF;15|
              (|EuclideanDomain&| 76) (208 . |gcd|)
              |FFIELDC-;gcdPolynomial;3Sup;16|)
           '#(|squareFreePolynomial| 214 |primitive?| 219 |order| 224
              |nextItem| 234 |init| 239 |gcdPolynomial| 243
              |factorSquareFreePolynomial| 249 |factorPolynomial| 254
              |discreteLog| 259 |differentiate| 270 |createPrimitiveElement|
              275 |conditionP| 279 |charthRoot| 284)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0))
                 (CONS '#(NIL)
                       (CONS
                        '#((|Join|
                            (|mkCategory|
                             (LIST '((|order| ((|PositiveInteger|) |#1|)) T)
                                   '((|discreteLog|
                                      ((|NonNegativeInteger|) |#1|))
                                     T)
                                   '((|primitive?| ((|Boolean|) |#1|)) T)
                                   '((|createPrimitiveElement| (|#1|)) T)
                                   '((|charthRoot| (|#1| |#1|)) T)
                                   '((|squareFreePolynomial|
                                      ((|Factored|
                                        (|SparseUnivariatePolynomial| |#1|))
                                       (|SparseUnivariatePolynomial| |#1|)))
                                     T)
                                   '((|factorPolynomial|
                                      ((|Factored|
                                        (|SparseUnivariatePolynomial| |#1|))
                                       (|SparseUnivariatePolynomial| |#1|)))
                                     T)
                                   '((|factorSquareFreePolynomial|
                                      ((|Factored|
                                        (|SparseUnivariatePolynomial| |#1|))
                                       (|SparseUnivariatePolynomial| |#1|)))
                                     T)
                                   '((|conditionP|
                                      ((|Union| (|Vector| |#1|) #2#)
                                       (|Matrix| |#1|)))
                                     T)
                                   '((|differentiate| (|#1| |#1|)) T)
                                   '((|differentiate|
                                      (|#1| |#1| (|NonNegativeInteger|)))
                                     T)
                                   '((|init| (|#1|)) T)
                                   '((|nextItem| ((|Union| |#1| #1#) |#1|)) T)
                                   '((|discreteLog|
                                      ((|Union| (|NonNegativeInteger|)
                                                "failed")
                                       |#1| |#1|))
                                     T)
                                   '((|order|
                                      ((|OnePointCompletion|
                                        (|PositiveInteger|))
                                       |#1|))
                                     T)
                                   '((|charthRoot|
                                      ((|Union| |#1| "failed") |#1|))
                                     T)
                                   '((|gcdPolynomial|
                                      ((|SparseUnivariatePolynomial| |#1|)
                                       (|SparseUnivariatePolynomial| |#1|)
                                       (|SparseUnivariatePolynomial| |#1|)))
                                     T))
                             (LIST) NIL NIL)))
                        (|makeByteWordVec2| 99
                                            '(0 6 0 7 1 6 10 0 11 1 6 0 10 12 1
                                              6 13 0 14 1 6 10 0 17 1 18 0 10
                                              19 1 22 21 0 23 1 6 0 0 24 2 26 0
                                              25 0 27 0 6 31 32 0 6 31 33 2 6 0
                                              0 31 34 0 6 37 38 2 37 13 0 0 39
                                              0 6 42 43 2 6 0 0 44 45 0 6 0 46
                                              2 6 13 0 0 47 0 49 0 50 0 6 0 52
                                              1 6 53 44 54 1 53 31 0 55 0 49 0
                                              56 2 53 57 10 0 58 2 6 0 0 0 59 1
                                              63 61 62 64 1 44 65 0 66 1 49 69
                                              0 70 3 71 57 6 6 31 72 2 44 0 31
                                              0 73 1 77 75 76 78 1 82 75 76 83
                                              0 76 0 85 2 76 13 0 0 86 0 75 0
                                              87 2 82 89 76 13 90 1 76 0 6 91 2
                                              75 0 76 31 92 2 75 0 0 0 93 0 75
                                              0 94 2 75 0 76 0 95 2 97 0 0 0 98
                                              1 0 79 80 81 1 0 13 0 48 1 0 10 0
                                              51 1 0 18 0 20 1 0 15 0 16 0 0 0
                                              9 2 0 80 80 80 99 1 0 79 80 96 1
                                              0 79 80 84 1 0 31 0 60 2 0 57 0 0
                                              74 1 0 0 0 8 0 0 0 40 1 0 28 29
                                              30 1 0 0 0 35 1 0 15 0 36)))))
           '|lookupComplete|)) 
