
(/VERSIONCHECK 2) 

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

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

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

(DEFUN |WFFINTBS;localIntegralBasis;RR;4| (|prime| $)
  (PROG (|lb| |matrixOut| |tfm| |pows| |bas| |disc| |n| |traceMat|)
    (RETURN
     (SEQ
      (LETT |traceMat| (SPADCALL (QREFELT $ 65))
            . #1=(|WFFINTBS;localIntegralBasis;RR;4|))
      (LETT |n| (SPADCALL (QREFELT $ 22)) . #1#)
      (LETT |disc| (SPADCALL |traceMat| (QREFELT $ 66)) . #1#)
      (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))
                . #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#)
          (LETT |lb|
                (|WFFINTBS;iLocalIntegralBasis| |bas| |pows| |tfm| |matrixOut|
                 |disc| |prime| $)
                . #1#)
          (EXIT (VECTOR (QVELT |lb| 0) (QVELT |lb| 1) (QVELT |lb| 2))))))))))) 

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

(DEFUN |WildFunctionFieldIntegralBasis;| (|#1| |#2| |#3| |#4|)
  (PROG (|pv$| $ |dv$| DV$4 DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|WildFunctionFieldIntegralBasis|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT DV$3 (|devaluate| |#3|) . #1#)
      (LETT DV$4 (|devaluate| |#4|) . #1#)
      (LETT |dv$| (LIST '|WildFunctionFieldIntegralBasis| DV$1 DV$2 DV$3 DV$4)
            . #1#)
      (LETT $ (GETREFV 75) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|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|)) 
