
(/VERSIONCHECK 2) 

(DEFUN |WFFINTBS;listSquaredFactors| (|px| $)
  (PROG (|factored| |f| #0=#:G1832 |ans|)
    (RETURN
      (SEQ (LETT |ans| NIL . #1=(|WFFINTBS;listSquaredFactors|))
           (LETT |factored| (SPADCALL |px| (QREFELT $ 12)) . #1#)
           (SEQ (LETT |f| NIL . #1#)
                (LETT #0# (SPADCALL |factored| (QREFELT $ 15)) . #1#)
                G190
                (COND
                  ((OR (ATOM #0#)
                       (PROGN (LETT |f| (CAR #0#) . #1#) NIL))
                   (GO G191)))
                (SEQ (EXIT (COND
                             ((< 1 (QCDR |f|))
                              (LETT |ans|
                                    (CONS (QCAR |f|) |ans|) . #1#)))))
                (LETT #0# (CDR #0#) . #1#) (GO G190) G191 (EXIT NIL))
           (EXIT |ans|))))) 

(DEFUN |WFFINTBS;iLocalIntegralBasis|
       (|bas| |pows| |tfm| |matrixOut| |disc| |prime| $)
  (PROG (|n| |standardBasis| |p2| |sae| |p| |q| |lp| |bi| |coor0|
             #0=#:G1838 |denPow| |coMat0| |coMat| |pPows| |frob|
             |tmpMat| |r| #1=#:G1863 |frobPow| |ns| |i| |vec|
             #2=#:G1864 |j| |id| |idinv| |index| |rb| |rbden| |rbinv|
             |indexChange| |oldIndex| #3=#:G1862 #4=#:G1858)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |n| (SPADCALL (QREFELT $ 22))
                            . #5=(|WFFINTBS;iLocalIntegralBasis|))
                      (LETT |standardBasis|
                            (SPADCALL (QREFELT $ 24)) . #5#)
                      (LETT |p2|
                            (SPADCALL |prime| |prime| (QREFELT $ 25)) . #5#)
                      (LETT |sae|
                            (|SimpleAlgebraicExtension| (QREFELT $ 6)
                                (QREFELT $ 7) |prime|) . #5#)
                      (LETT |p| (SPADCALL (QREFELT $ 27)) . #5#)
                      (LETT |q|
                            (SPADCALL
                                (|compiledLookupCheck| '|size|
                                    (LIST (LIST '|NonNegativeInteger|))
                                    |sae|)) . #5#)
                      (LETT |lp|
                            (SPADCALL |q| |n| (QREFELT $ 29)) . #5#)
                      (LETT |rb|
                            (SPADCALL |n| (|spadConstant| $ 17)
                                (QREFELT $ 31)) . #5#)
                      (LETT |rbinv|
                            (SPADCALL |n| (|spadConstant| $ 17)
                                (QREFELT $ 31)) . #5#)
                      (LETT |rbden| (|spadConstant| $ 17) . #5#)
                      (LETT |index| (|spadConstant| $ 17) . #5#)
                      (LETT |oldIndex| (|spadConstant| $ 17) . #5#)
                      (EXIT (SEQ G190 NIL
                                 (SEQ (SEQ (LETT |i| 1 . #5#) G190
                                       (COND
                                         ((QSGREATERP |i| |n|)
                                          #6=(GO G191)))
                                       (SEQ
                                        (LETT |bi|
                                         (|spadConstant| $ 32) . #5#)
                                        (SEQ (LETT |j| 1 . #5#) G190
                                         (COND
                                           ((QSGREATERP |j| |n|) #6#))
                                         (SEQ
                                          (EXIT
                                           (LETT |bi|
                                            (SPADCALL |bi|
                                             (SPADCALL
                                              (SPADCALL |rb| |i| |j|
                                               (QREFELT $ 34))
                                              (SPADCALL |standardBasis|
                                               |j| (QREFELT $ 36))
                                              (QREFELT $ 37))
                                             (QREFELT $ 38)) . #5#)))
                                         (LETT |j| (QSADD1 |j|) . #5#)
                                         #7=(GO G190) G191 (EXIT NIL))
                                        (SPADCALL |bas| |i| |bi|
                                         (QREFELT $ 39))
                                        (EXIT
                                         (SPADCALL |pows| |i|
                                          (SPADCALL |bi| |p|
                                           (QREFELT $ 40))
                                          (QREFELT $ 39))))
                                       (LETT |i| (QSADD1 |i|) . #5#)
                                       #7# G191 (EXIT NIL))
                                      (LETT |coor0|
                                       (SPADCALL
                                        (SPADCALL |pows| |bas|
                                         (QREFELT $ 41))
                                        (QREFELT $ 42)) . #5#)
                                      (LETT |denPow|
                                       (SPADCALL |rbden|
                                        (PROG1
                                         (LETT #0# (- |p| 1) . #5#)
                                          (|check-subtype| (>= #0# 0)
                                           '(|NonNegativeInteger|) #0#))
                                        (QREFELT $ 43)) . #5#)
                                      (LETT |coMat0|
                                       (SPADCALL |coor0| |denPow|
                                        (QREFELT $ 45)) . #5#)
                                      (EXIT
                                       (COND
                                         ((QEQCAR |coMat0| 1)
                                          (|error| "can't happen"))
                                         ('T
                                          (SEQ
                                           (EXIT
                                            (SEQ
                                             (LETT |coMat|
                                              (QCDR |coMat0|) . #5#)
                                             (LETT |pPows|
                                              (SPADCALL
                                               (|compiledLookupCheck|
                                                '|reduce|
                                                (LIST '$
                                                 (|devaluate|
                                                  (ELT $ 7)))
                                                |sae|)
                                               |coMat|
                                               (|compiledLookupCheck|
                                                '|map|
                                                (LIST
                                                 (LIST '|Matrix|
                                                  (|devaluate| |sae|))
                                                 (LIST '|Mapping|
                                                  (|devaluate| |sae|)
                                                  (|devaluate|
                                                   (ELT $ 7)))
                                                 (LIST '|Matrix|
                                                  (|devaluate|
                                                   (ELT $ 7))))
                                                (|MatrixCategoryFunctions2|
                                                 (ELT $ 7)
                                                 (|Vector| (ELT $ 7))
                                                 (|Vector| (ELT $ 7))
                                                 (|Matrix| (ELT $ 7))
                                                 |sae| (|Vector| |sae|)
                                                 (|Vector| |sae|)
                                                 (|Matrix| |sae|)))) . #5#)
                                             (LETT |frob|
                                              (SPADCALL |pPows|
                                               (|compiledLookupCheck|
                                                '|copy| (LIST '$ '$)
                                                (|Matrix| |sae|))) . #5#)
                                             (LETT |tmpMat|
                                              (SPADCALL |n| |n|
                                               (SPADCALL
                                                (|compiledLookupCheck|
                                                 '|Zero| (LIST '$)
                                                 |sae|))
                                               (|compiledLookupCheck|
                                                '|new|
                                                (LIST '$
                                                 (LIST
                                                  '|NonNegativeInteger|)
                                                 (LIST
                                                  '|NonNegativeInteger|)
                                                 (|devaluate| |sae|))
                                                (|Matrix| |sae|))) . #5#)
                                             (SEQ (LETT |r| 2 . #5#)
                                              (LETT #1#
                                               (SPADCALL |p| |q|
                                                (QREFELT $ 29)) . #5#)
                                              G190
                                              (COND
                                                ((QSGREATERP |r| #1#)
                                                 #6#))
                                              (SEQ
                                               (SEQ (LETT |i| 1 . #5#)
                                                G190
                                                (COND
                                                  ((QSGREATERP |i| |n|)
                                                   #6#))
                                                (SEQ
                                                 (EXIT
                                                  (SEQ
                                                   (LETT |j| 1 . #5#)
                                                   G190
                                                   (COND
                                                     ((QSGREATERP |j|
                                                       |n|)
                                                      #6#))
                                                   (SEQ
                                                    (EXIT
                                                     (SPADCALL |tmpMat|
                                                      |i| |j|
                                                      (SPADCALL
                                                       (SPADCALL |frob|
                                                        |i| |j|
                                                        (|compiledLookupCheck|
                                                         '|qelt|
                                                         (LIST
                                                          (|devaluate|
                                                           |sae|)
                                                          '$
                                                          (LIST
                                                           '|Integer|)
                                                          (LIST
                                                           '|Integer|))
                                                         (|Matrix|
                                                          |sae|)))
                                                       |p|
                                                       (|compiledLookupCheck|
                                                        '**
                                                        (LIST '$ '$
                                                         (LIST
                                                          '|Integer|))
                                                        |sae|))
                                                      (|compiledLookupCheck|
                                                       '|qsetelt!|
                                                       (LIST
                                                        (|devaluate|
                                                         |sae|)
                                                        '$
                                                        (LIST
                                                         '|Integer|)
                                                        (LIST
                                                         '|Integer|)
                                                        (|devaluate|
                                                         |sae|))
                                                       (|Matrix| |sae|)))))
                                                   (LETT |j|
                                                    (QSADD1 |j|) . #5#)
                                                   #7# G191 (EXIT NIL))))
                                                (LETT |i|
                                                 (QSADD1 |i|) . #5#)
                                                #7# G191 (EXIT NIL))
                                               (EXIT
                                                (SPADCALL |frob|
                                                 |pPows| |tmpMat|
                                                 (|compiledLookupCheck|
                                                  '|times!|
                                                  (LIST
                                                   (LIST '|Matrix|
                                                    (|devaluate| |sae|))
                                                   (LIST '|Matrix|
                                                    (|devaluate| |sae|))
                                                   (LIST '|Matrix|
                                                    (|devaluate| |sae|))
                                                   (LIST '|Matrix|
                                                    (|devaluate| |sae|)))
                                                  (|StorageEfficientMatrixOperations|
                                                   |sae|)))))
                                              (LETT |r|
                                               (QSADD1 |r|) . #5#)
                                              #7# G191 (EXIT NIL))
                                             (LETT |frobPow|
                                              (SPADCALL |frob| |lp|
                                               (|compiledLookupCheck|
                                                '**
                                                (LIST '$ '$
                                                 (LIST
                                                  '|NonNegativeInteger|))
                                                (|Matrix| |sae|))) . #5#)
                                             (LETT |ns|
                                              (SPADCALL |frobPow|
                                               (|compiledLookupCheck|
                                                '|nullSpace|
                                                (LIST
                                                 (LIST '|List|
                                                  (LIST '|Vector|
                                                   (|devaluate| |sae|)))
                                                 '$)
                                                (|Matrix| |sae|))) . #5#)
                                             (SEQ (LETT |i| 1 . #5#)
                                              G190
                                              (COND
                                                ((QSGREATERP |i| |n|)
                                                 #6#))
                                              (SEQ
                                               (EXIT
                                                (SEQ (LETT |j| 1 . #5#)
                                                 G190
                                                 (COND
                                                   ((QSGREATERP |j|
                                                     |n|)
                                                    #6#))
                                                 (SEQ
                                                  (EXIT
                                                   (SPADCALL |tfm| |i|
                                                    |j|
                                                    (|spadConstant| $
                                                     47)
                                                    (QREFELT $ 48))))
                                                 (LETT |j|
                                                  (QSADD1 |j|) . #5#)
                                                 #7# G191 (EXIT NIL))))
                                              (LETT |i|
                                               (QSADD1 |i|) . #5#)
                                              #7# G191 (EXIT NIL))
                                             (SEQ (LETT |i| 1 . #5#)
                                              (LETT |vec| NIL . #5#)
                                              (LETT #2# |ns| . #5#)
                                              G190
                                              (COND
                                                ((OR (ATOM #2#)
                                                  (PROGN
                                                    (LETT |vec|
                                                     (CAR #2#) . #5#)
                                                    NIL))
                                                 #6#))
                                              (SEQ
                                               (EXIT
                                                (SEQ (LETT |j| 1 . #5#)
                                                 G190
                                                 (COND
                                                   ((QSGREATERP |j|
                                                     |n|)
                                                    #6#))
                                                 (SEQ
                                                  (EXIT
                                                   (SPADCALL |tfm| |i|
                                                    |j|
                                                    (SPADCALL
                                                     (SPADCALL |vec|
                                                      |j|
                                                      (|compiledLookupCheck|
                                                       '|qelt|
                                                       (LIST
                                                        (|devaluate|
                                                         |sae|)
                                                        '$
                                                        (LIST
                                                         '|Integer|))
                                                       (|Vector| |sae|)))
                                                     (|compiledLookupCheck|
                                                      '|lift|
                                                      (LIST
                                                       (|devaluate|
                                                        (ELT $ 7))
                                                       '$)
                                                      |sae|))
                                                    (QREFELT $ 48))))
                                                 (LETT |j|
                                                  (QSADD1 |j|) . #5#)
                                                 #7# G191 (EXIT NIL))))
                                              (LETT #2#
                                               (PROG1 (CDR #2#)
                                                 (LETT |i|
                                                  (QSADD1 |i|) . #5#)) . #5#)
                                              #7# G191 (EXIT NIL))
                                             (LETT |id|
                                              (SPADCALL
                                               (SPADCALL |tfm| |prime|
                                                (QREFELT $ 50))
                                               (QREFELT $ 51)) . #5#)
                                             (LETT |idinv|
                                              (SPADCALL |id| |prime|
                                               (QREFELT $ 53)) . #5#)
                                             (LETT |rbinv|
                                              (SPADCALL
                                               (SPADCALL |id| |rb|
                                                (QREFELT $ 54))
                                               (SPADCALL |rbinv|
                                                |idinv| (QREFELT $ 54))
                                               (SPADCALL |prime|
                                                |rbden| (QREFELT $ 25))
                                               (QREFELT $ 55)) . #5#)
                                             (LETT |index|
                                              (SPADCALL |rbinv|
                                               (QREFELT $ 56)) . #5#)
                                             (LETT |rb|
                                              (SPADCALL
                                               (SPADCALL |rbinv|
                                                (SPADCALL |rbden|
                                                 |prime|
                                                 (QREFELT $ 25))
                                                (QREFELT $ 57))
                                               (QREFELT $ 58)) . #5#)
                                             (COND
                                               ((SPADCALL
                                                 (SPADCALL |rb|
                                                  |matrixOut| |prime|
                                                  |n| (QREFELT $ 59))
                                                 (|spadConstant| $ 17)
                                                 (QREFELT $ 61))
                                                (LETT |rb|
                                                 |matrixOut| . #5#))
                                               ('T
                                                (LETT |rbden|
                                                 (SPADCALL |rbden|
                                                  |prime|
                                                  (QREFELT $ 25)) . #5#)))
                                             (LETT |rbinv|
                                              (SPADCALL |rb| |rbden|
                                               (QREFELT $ 53)) . #5#)
                                             (LETT |indexChange|
                                              (SPADCALL |index|
                                               |oldIndex|
                                               (QREFELT $ 62)) . #5#)
                                             (LETT |oldIndex|
                                              |index| . #5#)
                                             (LETT |disc|
                                              (SPADCALL |disc|
                                               (SPADCALL |indexChange|
                                                |indexChange|
                                                (QREFELT $ 25))
                                               (QREFELT $ 62)) . #5#)
                                             (EXIT
                                              (COND
                                                ((SPADCALL
                                                  (|spadConstant| $ 17)
                                                  |indexChange|
                                                  (QREFELT $ 63))
                                                 (COND
                                                   ((QEQCAR
                                                     (SPADCALL |disc|
                                                      |p2|
                                                      (QREFELT $ 64))
                                                     1)
                                                    (PROGN
                                                      (LETT #4#
                                                       (PROGN
                                                         (LETT #3#
                                                          (VECTOR |rb|
                                                           |rbden|
                                                           |rbinv|
                                                           |disc|) . #5#)
                                                         (GO #3#)) . #5#)
                                                      (GO #4#)))))
                                                ('T
                                                 (PROGN
                                                   (LETT #4#
                                                    (PROGN
                                                      (LETT #3#
                                                       (VECTOR |rb|
                                                        |rbden| |rbinv|
                                                        |disc|) . #5#)
                                                      (GO #3#)) . #5#)
                                                   (GO #4#)))))))
                                           #4# (EXIT #4#))))))
                                 NIL #7# G191 (EXIT NIL)))))
           #3# (EXIT #3#))))) 

(DEFUN |WFFINTBS;integralBasis;R;3| ($)
  (PROG (|traceMat| |n| |singList| |bas| |pows| |tfm| |matrixOut|
            |prime| #0=#:G1875 |lb| |rb| |rbinv| |rbden| |disc| |mat|
            |runningRbden| |runningRb| |runningRbinv|)
    (RETURN
      (SEQ (LETT |traceMat| (SPADCALL (QREFELT $ 65))
                 . #1=(|WFFINTBS;integralBasis;R;3|))
           (LETT |n| (SPADCALL (QREFELT $ 22)) . #1#)
           (LETT |disc| (SPADCALL |traceMat| (QREFELT $ 66)) . #1#)
           (EXIT (COND
                   ((SPADCALL |disc| (QREFELT $ 67))
                    (|error| "integralBasis: polynomial must be separable"))
                   ('T
                    (SEQ (LETT |singList|
                               (|WFFINTBS;listSquaredFactors| |disc| $) . #1#)
                         (LETT |runningRb|
                               (SPADCALL |n| (|spadConstant| $ 17)
                                   (QREFELT $ 31)) . #1#)
                         (LETT |runningRbinv|
                               (SPADCALL |n| (|spadConstant| $ 17)
                                   (QREFELT $ 31)) . #1#)
                         (LETT |runningRbden|
                               (|spadConstant| $ 17) . #1#)
                         (EXIT (COND
                                 ((NULL |singList|)
                                  (VECTOR |runningRb| |runningRbden|
                                          |runningRbinv|))
                                 ('T
                                  (SEQ (LETT |bas|
                                        (SPADCALL |n|
                                         (|spadConstant| $ 32)
                                         (QREFELT $ 68)) . #1#)
                                       (LETT |pows|
                                        (SPADCALL |n|
                                         (|spadConstant| $ 32)
                                         (QREFELT $ 68)) . #1#)
                                       (LETT |tfm|
                                        (SPADCALL |n| |n|
                                         (|spadConstant| $ 47)
                                         (QREFELT $ 69)) . #1#)
                                       (LETT |matrixOut|
                                        (SPADCALL |n| |n|
                                         (|spadConstant| $ 47)
                                         (QREFELT $ 69)) . #1#)
                                       (SEQ (LETT |prime| NIL . #1#)
                                        (LETT #0# |singList| . #1#)
                                        G190
                                        (COND
                                          ((OR (ATOM #0#)
                                            (PROGN
                                              (LETT |prime|
                                               (CAR #0#) . #1#)
                                              NIL))
                                           (GO G191)))
                                        (SEQ
                                         (LETT |lb|
                                          (|WFFINTBS;iLocalIntegralBasis|
                                           |bas| |pows| |tfm|
                                           |matrixOut| |disc| |prime|
                                           $) . #1#)
                                         (LETT |rb|
                                          (QVELT |lb| 0) . #1#)
                                         (LETT |rbinv|
                                          (QVELT |lb| 2) . #1#)
                                         (LETT |rbden|
                                          (QVELT |lb| 1) . #1#)
                                         (LETT |disc|
                                          (QVELT |lb| 3) . #1#)
                                         (EXIT
                                          (COND
                                            ((SPADCALL
                                              (|spadConstant| $ 17)
                                              |rbden| (QREFELT $ 63))
                                             (SEQ
                                              (LETT |mat|
                                               (SPADCALL
                                                (SPADCALL |rbden|
                                                 |runningRb|
                                                 (QREFELT $ 70))
                                                (SPADCALL
                                                 |runningRbden| |rb|
                                                 (QREFELT $ 70))
                                                (QREFELT $ 71)) . #1#)
                                              (LETT |runningRbden|
                                               (SPADCALL |runningRbden|
                                                |rbden| (QREFELT $ 25)) . #1#)
                                              (LETT |runningRb|
                                               (SPADCALL
                                                (SPADCALL |mat|
                                                 |runningRbden|
                                                 (QREFELT $ 50))
                                                (QREFELT $ 51)) . #1#)
                                              (EXIT
                                               (LETT |runningRbinv|
                                                (SPADCALL |runningRb|
                                                 |runningRbden|
                                                 (QREFELT $ 53)) . #1#)))))))
                                        (LETT #0# (CDR #0#) . #1#)
                                        (GO G190) G191 (EXIT NIL))
                                       (EXIT
                                        (VECTOR |runningRb|
                                         |runningRbden| |runningRbinv|)))))))))))))) 

(DEFUN |WFFINTBS;localIntegralBasis;RR;4| (|prime| $)
  (PROG (|traceMat| |n| |disc| |bas| |pows| |tfm| |matrixOut| |lb|)
    (RETURN
      (SEQ (LETT |traceMat| (SPADCALL (QREFELT $ 65))
                 . #0=(|WFFINTBS;localIntegralBasis;RR;4|))
           (LETT |n| (SPADCALL (QREFELT $ 22)) . #0#)
           (LETT |disc| (SPADCALL |traceMat| (QREFELT $ 66)) . #0#)
           (EXIT (COND
                   ((SPADCALL |disc| (QREFELT $ 67))
                    (|error| "localIntegralBasis: polynomial must be separable"))
                   ((QEQCAR (SPADCALL |disc|
                                (SPADCALL |prime| |prime|
                                    (QREFELT $ 25))
                                (QREFELT $ 64))
                            1)
                    (VECTOR (SPADCALL |n| (|spadConstant| $ 17)
                                (QREFELT $ 31))
                            (|spadConstant| $ 17)
                            (SPADCALL |n| (|spadConstant| $ 17)
                                (QREFELT $ 31))))
                   ('T
                    (SEQ (LETT |bas|
                               (SPADCALL |n| (|spadConstant| $ 32)
                                   (QREFELT $ 68)) . #0#)
                         (LETT |pows|
                               (SPADCALL |n| (|spadConstant| $ 32)
                                   (QREFELT $ 68)) . #0#)
                         (LETT |tfm|
                               (SPADCALL |n| |n| (|spadConstant| $ 47)
                                   (QREFELT $ 69)) . #0#)
                         (LETT |matrixOut|
                               (SPADCALL |n| |n| (|spadConstant| $ 47)
                                   (QREFELT $ 69)) . #0#)
                         (LETT |lb|
                               (|WFFINTBS;iLocalIntegralBasis| |bas|
                                   |pows| |tfm| |matrixOut| |disc|
                                   |prime| $) . #0#)
                         (EXIT (VECTOR (QVELT |lb| 0) (QVELT |lb| 1)
                                       (QVELT |lb| 2))))))))))) 

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

(DEFUN |WildFunctionFieldIntegralBasis;| (|#1| |#2| |#3| |#4|)
  (PROG (DV$1 DV$2 DV$3 DV$4 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #0=(|WildFunctionFieldIntegralBasis|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT DV$3 (|devaluate| |#3|) . #0#)
        (LETT DV$4 (|devaluate| |#4|) . #0#)
        (LETT |dv$|
              (LIST '|WildFunctionFieldIntegralBasis| DV$1 DV$2 DV$3
                    DV$4) . #0#)
        (LETT $ (GETREFV 75) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache|
            '|WildFunctionFieldIntegralBasis|
            (LIST DV$1 DV$2 DV$3 DV$4) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8 |#3|)
        (QSETREFV $ 9 |#4|)
        $)))) 

(MAKEPROP '|WildFunctionFieldIntegralBasis| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|local| |#3|) (|local| |#4|) (|Factored| 7)
             (|DistinctDegreeFactorize| 6 7) (0 . |factor|)
             (|Record| (|:| |factor| 7) (|:| |exponent| 33))
             (|List| 13) (5 . |factors|) (10 . |One|) (14 . |One|)
             (18 . |One|) (22 . |One|) (26 . |One|) (|PositiveInteger|)
             (30 . |rank|) (|Vector| $) (34 . |basis|) (38 . *)
             (|NonNegativeInteger|) (44 . |characteristic|)
             (|IntegralBasisTools| 7 8 9) (48 . |leastPower|)
             (|Matrix| 7) (54 . |scalarMatrix|) (60 . |Zero|)
             (|Integer|) (64 . |qelt|) (|Vector| 9) (71 . |qelt|)
             (77 . *) (83 . +) (89 . |qsetelt!|) (96 . **)
             (102 . |coordinates|) (108 . |transpose|) (113 . **)
             (|Union| $ '"failed") (119 . |exquo|) (125 . |Zero|)
             (129 . |Zero|) (133 . |qsetelt!|)
             (|ModularHermitianRowReduction| 7) (141 . |rowEchelon|)
             (147 . |squareTop|)
             (|TriangularMatrixOperations| 7 (|Vector| 7) (|Vector| 7)
                 30)
             (152 . |UpTriBddDenomInv|) (158 . *) (164 . |idealiser|)
             (171 . |diagonalProduct|) (176 . |LowTriBddDenomInv|)
             (182 . |rowEchelon|) (187 . |divideIfCan!|) (|Boolean|)
             (195 . =) (201 . |quo|) (207 . |sizeLess?|)
             (213 . |exquo|) (219 . |traceMatrix|)
             (223 . |determinant|) (228 . |zero?|) (233 . |new|)
             (239 . |new|) (246 . *) (252 . |vertConcat|)
             (|Record| (|:| |basis| 30) (|:| |basisDen| 7)
                 (|:| |basisInv| 30))
             |WFFINTBS;integralBasis;R;3|
             |WFFINTBS;localIntegralBasis;RR;4|)
          '#(|localIntegralBasis| 258 |integralBasis| 263) 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 74
                                '(1 11 10 7 12 1 10 14 0 15 0 6 0 16 0
                                  7 0 17 0 8 0 18 0 9 0 19 0 10 0 20 0
                                  9 21 22 0 9 23 24 2 7 0 0 0 25 0 9 26
                                  27 2 28 26 26 26 29 2 30 0 26 7 31 0
                                  9 0 32 3 30 7 0 33 33 34 2 35 9 0 33
                                  36 2 9 0 7 0 37 2 9 0 0 0 38 3 35 9 0
                                  33 9 39 2 9 0 0 26 40 2 9 30 23 23 41
                                  1 30 0 0 42 2 7 0 0 26 43 2 30 44 0 7
                                  45 0 6 0 46 0 7 0 47 4 30 7 0 33 33 7
                                  48 2 49 30 30 7 50 1 30 0 0 51 2 52
                                  30 30 7 53 2 30 0 0 0 54 3 28 30 30
                                  30 7 55 1 28 7 30 56 2 52 30 30 7 57
                                  1 30 0 0 58 4 28 7 30 30 7 33 59 2 7
                                  60 0 0 61 2 7 0 0 0 62 2 7 60 0 0 63
                                  2 7 44 0 0 64 0 9 30 65 1 30 7 0 66 1
                                  7 60 0 67 2 35 0 26 9 68 3 30 0 26 26
                                  7 69 2 30 0 7 0 70 2 30 0 0 0 71 1 0
                                  72 7 74 0 0 72 73)))))
          '|lookupComplete|)) 
