
(/VERSIONCHECK 2) 

(DEFUN |FACUTIL;lowerPolynomial;SupSup;1| (|f| $)
  (COND ((SPADCALL |f| (QREFELT $ 12)) (|spadConstant| $ 14))
        ('T
         (SPADCALL
          (SPADCALL (SPADCALL (SPADCALL |f| (QREFELT $ 15)) (QREFELT $ 16))
                    (SPADCALL |f| (QREFELT $ 18)) (QREFELT $ 19))
          (SPADCALL (SPADCALL |f| (QREFELT $ 20)) (QREFELT $ 21))
          (QREFELT $ 22))))) 

(DEFUN |FACUTIL;raisePolynomial;SupSup;2| (|u| $)
  (COND ((SPADCALL |u| (QREFELT $ 23)) (|spadConstant| $ 24))
        ('T
         (SPADCALL
          (SPADCALL (SPADCALL (SPADCALL |u| (QREFELT $ 25)) (QREFELT $ 26))
                    (SPADCALL |u| (QREFELT $ 27)) (QREFELT $ 28))
          (SPADCALL (SPADCALL |u| (QREFELT $ 29)) (QREFELT $ 30))
          (QREFELT $ 31))))) 

(DEFUN |FACUTIL;completeEval;SupLLSup;3| (|f| |lvar| |lval| $)
  (COND ((SPADCALL |f| (QREFELT $ 12)) (|spadConstant| $ 14))
        ('T
         (SPADCALL
          (SPADCALL
           (SPADCALL
            (SPADCALL (SPADCALL |f| (QREFELT $ 15)) |lvar| |lval|
                      (QREFELT $ 34))
            (QREFELT $ 16))
           (SPADCALL |f| (QREFELT $ 18)) (QREFELT $ 19))
          (SPADCALL (SPADCALL |f| (QREFELT $ 20)) |lvar| |lval| (QREFELT $ 35))
          (QREFELT $ 22))))) 

(DEFUN |FACUTIL;degree;SupLL;4| (|f| |lvar| $)
  (PROG (|ldeg| #1=#:G672 #2=#:G671 #3=#:G673 #4=#:G679 |fc| #5=#:G678 |xx|
         #6=#:G677 |coefs|)
    (RETURN
     (SEQ
      (LETT |coefs| (SPADCALL |f| (QREFELT $ 37))
            . #7=(|FACUTIL;degree;SupLL;4|))
      (EXIT
       (LETT |ldeg|
             (PROGN
              (LETT #6# NIL . #7#)
              (SEQ (LETT |xx| NIL . #7#) (LETT #5# |lvar| . #7#) G190
                   (COND
                    ((OR (ATOM #5#) (PROGN (LETT |xx| (CAR #5#) . #7#) NIL))
                     #8=(GO G191)))
                   (SEQ
                    (EXIT
                     (LETT #6#
                           (CONS
                            (PROGN
                             (LETT #1# NIL . #7#)
                             (SEQ (LETT |fc| NIL . #7#)
                                  (LETT #4# |coefs| . #7#) G190
                                  (COND
                                   ((OR (ATOM #4#)
                                        (PROGN
                                         (LETT |fc| (CAR #4#) . #7#)
                                         NIL))
                                    #8#))
                                  (SEQ
                                   (EXIT
                                    (PROGN
                                     (LETT #3#
                                           (SPADCALL |fc| |xx| (QREFELT $ 38))
                                           . #7#)
                                     (COND (#1# (LETT #2# (MAX #2# #3#) . #7#))
                                           ('T
                                            (PROGN
                                             (LETT #2# #3# . #7#)
                                             (LETT #1# 'T . #7#)))))))
                                  (LETT #4# (CDR #4#) . #7#) #9=(GO G190) G191
                                  (EXIT NIL))
                             (COND (#1# #2#) ('T (|IdentityError| '|max|))))
                            #6#)
                           . #7#)))
                   (LETT #5# (CDR #5#) . #7#) #9# G191 (EXIT (NREVERSE0 #6#))))
             . #7#)))))) 

(DEFUN |FACUTIL;variables;SupL;5| (|f| $)
  (PROG (#1=#:G681 #2=#:G680 #3=#:G682 #4=#:G684 |cf|)
    (RETURN
     (SEQ
      (PROGN
       (LETT #1# NIL . #5=(|FACUTIL;variables;SupL;5|))
       (SEQ (LETT |cf| NIL . #5#)
            (LETT #4# (SPADCALL |f| (QREFELT $ 37)) . #5#) G190
            (COND
             ((OR (ATOM #4#) (PROGN (LETT |cf| (CAR #4#) . #5#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (PROGN
               (LETT #3# (SPADCALL |cf| (QREFELT $ 41)) . #5#)
               (COND (#1# (LETT #2# (SPADCALL #2# #3# (QREFELT $ 42)) . #5#))
                     ('T (PROGN (LETT #2# #3# . #5#) (LETT #1# 'T . #5#)))))))
            (LETT #4# (CDR #4#) . #5#) (GO G190) G191 (EXIT NIL))
       (COND (#1# #2#) ('T (|IdentityError| '|setUnion|)))))))) 

(DEFUN |FACUTIL;ran;IR;6| (|k| $) (SPADCALL (QREFELT $ 44))) 

(DEFUN |FACUTIL;ran;IR;7| (|k| $)
  (SPADCALL (- (RANDOM (+ (SPADCALL 2 |k| (QREFELT $ 48)) 1)) |k|)
            (QREFELT $ 49))) 

(DEFUN |FACUTIL;normalDeriv;SupISup;8| (|f| |m| $)
  (PROG (|n| |ris| #1=#:G689 |n1| |k| |#G1|)
    (RETURN
     (SEQ
      (LETT |#G1| (SPADCALL |f| (QREFELT $ 18))
            . #2=(|FACUTIL;normalDeriv;SupISup;8|))
      (LETT |n1| |#G1| . #2#)
      (EXIT
       (COND ((< |#G1| |m|) (|spadConstant| $ 24))
             ((EQL |n1| |m|)
              (SPADCALL (SPADCALL |f| (QREFELT $ 15)) (QREFELT $ 50)))
             ('T
              (SEQ (LETT |k| (SPADCALL |n1| |m| (QREFELT $ 51)) . #2#)
                   (LETT |ris| (|spadConstant| $ 24) . #2#)
                   (LETT |n| |n1| . #2#)
                   (SEQ G190
                        (COND
                         ((NULL (COND ((< |n| |m|) 'NIL) ('T 'T)))
                          #3=(GO G191)))
                        (SEQ
                         (SEQ G190 (COND ((NULL (< |n| |n1|)) #3#))
                              (SEQ
                               (LETT |k| (QUOTIENT2 (* |k| (- |n1| |m|)) |n1|)
                                     . #2#)
                               (EXIT (LETT |n1| (- |n1| 1) . #2#)))
                              NIL #4=(GO G190) G191 (EXIT NIL))
                         (LETT |ris|
                               (SPADCALL |ris|
                                         (SPADCALL
                                          (SPADCALL |k|
                                                    (SPADCALL |f|
                                                              (QREFELT $ 15))
                                                    (QREFELT $ 54))
                                          (PROG1 (LETT #1# (- |n| |m|) . #2#)
                                            (|check-subtype| (>= #1# 0)
                                                             '(|NonNegativeInteger|)
                                                             #1#))
                                          (QREFELT $ 28))
                                         (QREFELT $ 31))
                               . #2#)
                         (LETT |f| (SPADCALL |f| (QREFELT $ 20)) . #2#)
                         (EXIT (LETT |n| (SPADCALL |f| (QREFELT $ 18)) . #2#)))
                        NIL #4# G191 (EXIT NIL))
                   (EXIT |ris|))))))))) 

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

(DEFUN |FactoringUtilities;| (|#1| |#2| |#3| |#4|)
  (PROG (|pv$| $ |dv$| DV$4 DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|FactoringUtilities|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT DV$3 (|devaluate| |#3|) . #1#)
      (LETT DV$4 (|devaluate| |#4|) . #1#)
      (LETT |dv$| (LIST '|FactoringUtilities| DV$1 DV$2 DV$3 DV$4) . #1#)
      (LETT $ (GETREFV 56) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|FactoringUtilities|
                  (LIST DV$1 DV$2 DV$3 DV$4) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (QSETREFV $ 9 |#4|)
      (COND
       ((|HasCategory| |#3| '(|FiniteFieldCategory|))
        (QSETREFV $ 46 (CONS (|dispatchFunction| |FACUTIL;ran;IR;6|) $)))
       ('T (QSETREFV $ 46 (CONS (|dispatchFunction| |FACUTIL;ran;IR;7|) $))))
      $)))) 

(MAKEPROP '|FactoringUtilities| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (|local| |#3|) (|local| |#4|) (|Boolean|)
              (|SparseUnivariatePolynomial| 9) (0 . |zero?|)
              (|SparseUnivariatePolynomial| 8) (5 . |Zero|)
              (9 . |leadingCoefficient|) (14 . |ground|) (|NonNegativeInteger|)
              (19 . |degree|) (24 . |monomial|) (30 . |reductum|)
              |FACUTIL;lowerPolynomial;SupSup;1| (35 . +) (41 . |zero?|)
              (46 . |Zero|) (50 . |leadingCoefficient|) (55 . |coerce|)
              (60 . |degree|) (65 . |monomial|) (71 . |reductum|)
              |FACUTIL;raisePolynomial;SupSup;2| (76 . +) (|List| 7) (|List| 8)
              (82 . |eval|) |FACUTIL;completeEval;SupLLSup;3| (|List| 9)
              (89 . |coefficients|) (94 . |degree|) (|List| 17)
              |FACUTIL;degree;SupLL;4| (100 . |variables|) (105 . |setUnion|)
              |FACUTIL;variables;SupL;5| (111 . |random|) (|Integer|)
              (115 . |ran|) (|PositiveInteger|) (120 . *) (126 . |coerce|)
              (131 . |coerce|) (136 . |binomial|) (142 . |One|) (146 . |One|)
              (150 . *) |FACUTIL;normalDeriv;SupISup;8|)
           '#(|variables| 156 |ran| 161 |raisePolynomial| 166 |normalDeriv| 171
              |lowerPolynomial| 177 |degree| 182 |completeEval| 188)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 55
                                                 '(1 11 10 0 12 0 13 0 14 1 11
                                                   9 0 15 1 9 8 0 16 1 11 17 0
                                                   18 2 13 0 8 17 19 1 11 0 0
                                                   20 2 13 0 0 0 22 1 13 10 0
                                                   23 0 11 0 24 1 13 8 0 25 1 9
                                                   0 8 26 1 13 17 0 27 2 11 0 9
                                                   17 28 1 13 0 0 29 2 11 0 0 0
                                                   31 3 9 0 0 32 33 34 1 11 36
                                                   0 37 2 9 17 0 7 38 1 9 32 0
                                                   41 2 32 0 0 0 42 0 8 0 44 1
                                                   0 8 45 46 2 45 0 47 0 48 1 8
                                                   0 45 49 1 11 0 9 50 2 45 0 0
                                                   0 51 0 8 0 52 0 9 0 53 2 9 0
                                                   45 0 54 1 0 32 11 43 1 0 8
                                                   45 46 1 0 11 13 30 2 0 11 11
                                                   45 55 1 0 13 11 21 2 0 39 11
                                                   32 40 3 0 13 11 32 33
                                                   35)))))
           '|lookupComplete|)) 
