
(/VERSIONCHECK 2) 

(DEFUN |FAXF-;represents;VS;1| (|v| $)
  (PROG (|b| |i| #0=#:G1828 |a|)
    (RETURN
      (SEQ (LETT |a| (|spadConstant| $ 8)
                 . #1=(|FAXF-;represents;VS;1|))
           (LETT |b| (SPADCALL (QREFELT $ 10)) . #1#)
           (SEQ (LETT |i| 1 . #1#)
                (LETT #0# (SPADCALL (QREFELT $ 12)) . #1#) G190
                (COND ((QSGREATERP |i| #0#) (GO G191)))
                (SEQ (EXIT (LETT |a|
                                 (SPADCALL |a|
                                     (SPADCALL
                                      (SPADCALL |v| |i| (QREFELT $ 15))
                                      (SPADCALL |b| |i| (QREFELT $ 17))
                                      (QREFELT $ 18))
                                     (QREFELT $ 19)) . #1#)))
                (LETT |i| (QSADD1 |i|) . #1#) (GO G190) G191
                (EXIT NIL))
           (EXIT |a|))))) 

(PUT '|FAXF-;transcendenceDegree;Nni;2| '|SPADreplace| '(XLAM NIL 0)) 

(DEFUN |FAXF-;transcendenceDegree;Nni;2| ($) 0) 

(DEFUN |FAXF-;dimension;Cn;3| ($)
  (SPADCALL (QVSIZE (SPADCALL (QREFELT $ 10))) (QREFELT $ 24))) 

(DEFUN |FAXF-;extensionDegree;Opc;4| ($)
  (PROG (#0=#:G1832)
    (RETURN
      (SPADCALL
          (PROG1 (LETT #0# (QVSIZE (SPADCALL (QREFELT $ 10)))
                       |FAXF-;extensionDegree;Opc;4|)
            (|check-subtype| (> #0# 0) '(|PositiveInteger|) #0#))
          (QREFELT $ 27))))) 

(DEFUN |FAXF-;degree;SOpc;5| (|a| $)
  (SPADCALL (SPADCALL |a| (QREFELT $ 29)) (QREFELT $ 27))) 

(DEFUN |FAXF-;coordinates;VM;6| (|v| $)
  (PROG (|m| |j| |i| #0=#:G1838)
    (RETURN
      (SEQ (LETT |m|
                 (SPADCALL (QVSIZE |v|) (SPADCALL (QREFELT $ 12))
                     (|spadConstant| $ 31) (QREFELT $ 33))
                 . #1=(|FAXF-;coordinates;VM;6|))
           (SEQ (LETT |j| (SPADCALL |m| (QREFELT $ 35)) . #1#)
                (LETT |i| (SPADCALL |v| (QREFELT $ 34)) . #1#)
                (LETT #0# (QVSIZE |v|) . #1#) G190
                (COND ((> |i| #0#) (GO G191)))
                (SEQ (EXIT (SPADCALL |m| |j|
                               (SPADCALL
                                   (SPADCALL |v| |i| (QREFELT $ 36))
                                   (QREFELT $ 37))
                               (QREFELT $ 38))))
                (LETT |i|
                      (PROG1 (+ |i| 1) (LETT |j| (+ |j| 1) . #1#)) . #1#)
                (GO G190) G191 (EXIT NIL))
           (EXIT |m|))))) 

(PUT '|FAXF-;algebraic?;SB;7| '|SPADreplace| '(XLAM (|a|) 'T)) 

(DEFUN |FAXF-;algebraic?;SB;7| (|a| $) 'T) 

(PUT '|FAXF-;transcendent?;SB;8| '|SPADreplace| '(XLAM (|a|) 'NIL)) 

(DEFUN |FAXF-;transcendent?;SB;8| (|a| $) 'NIL) 

(DEFUN |FAXF-;extensionDegree;Pi;9| ($)
  (PROG (#0=#:G1841)
    (RETURN
      (PROG1 (LETT #0# (QVSIZE (SPADCALL (QREFELT $ 10)))
                   |FAXF-;extensionDegree;Pi;9|)
        (|check-subtype| (> #0# 0) '(|PositiveInteger|) #0#))))) 

(DEFUN |FAXF-;trace;SF;10| (|a| $)
  (PROG (|b| |i| #0=#:G1846 |abs|)
    (RETURN
      (SEQ (LETT |b| (SPADCALL (QREFELT $ 10))
                 . #1=(|FAXF-;trace;SF;10|))
           (LETT |abs| (|spadConstant| $ 31) . #1#)
           (SEQ (LETT |i| 1 . #1#) (LETT #0# (QVSIZE |b|) . #1#) G190
                (COND ((QSGREATERP |i| #0#) (GO G191)))
                (SEQ (EXIT (LETT |abs|
                                 (SPADCALL |abs|
                                     (SPADCALL
                                      (SPADCALL
                                       (SPADCALL |a|
                                        (SPADCALL |b| |i|
                                         (QREFELT $ 17))
                                        (QREFELT $ 44))
                                       (QREFELT $ 37))
                                      |i| (QREFELT $ 15))
                                     (QREFELT $ 45)) . #1#)))
                (LETT |i| (QSADD1 |i|) . #1#) (GO G190) G191
                (EXIT NIL))
           (EXIT |abs|))))) 

(DEFUN |FAXF-;norm;SF;11| (|a| $)
  (PROG (|b| |m| |i| #0=#:G1850)
    (RETURN
      (SEQ (LETT |b| (SPADCALL (QREFELT $ 10))
                 . #1=(|FAXF-;norm;SF;11|))
           (LETT |m|
                 (SPADCALL (QVSIZE |b|) (QVSIZE |b|)
                     (|spadConstant| $ 31) (QREFELT $ 33)) . #1#)
           (SEQ (LETT |i| 1 . #1#) (LETT #0# (QVSIZE |b|) . #1#) G190
                (COND ((QSGREATERP |i| #0#) (GO G191)))
                (SEQ (EXIT (SPADCALL |m| |i|
                               (SPADCALL
                                   (SPADCALL |a|
                                    (SPADCALL |b| |i| (QREFELT $ 17))
                                    (QREFELT $ 44))
                                   (QREFELT $ 37))
                               (QREFELT $ 38))))
                (LETT |i| (QSADD1 |i|) . #1#) (GO G190) G191
                (EXIT NIL))
           (EXIT (SPADCALL |m| (QREFELT $ 47))))))) 

(DEFUN |FAXF-;linearAssociatedExp;SSupS;12| (|x| |f| $)
  (PROG (|i| #0=#:G1855 |erg| |y|)
    (RETURN
      (SEQ (LETT |erg| (|spadConstant| $ 8)
                 . #1=(|FAXF-;linearAssociatedExp;SSupS;12|))
           (LETT |y| |x| . #1#)
           (SEQ (LETT |i| 0 . #1#)
                (LETT #0# (SPADCALL |f| (QREFELT $ 50)) . #1#) G190
                (COND ((QSGREATERP |i| #0#) (GO G191)))
                (SEQ (LETT |erg|
                           (SPADCALL |erg|
                               (SPADCALL
                                   (SPADCALL |f| |i| (QREFELT $ 51))
                                   |y| (QREFELT $ 18))
                               (QREFELT $ 19)) . #1#)
                     (EXIT (LETT |y|
                                 (SPADCALL |y| (QREFELT $ 52)) . #1#)))
                (LETT |i| (QSADD1 |i|) . #1#) (GO G190) G191
                (EXIT NIL))
           (EXIT |erg|))))) 

(DEFUN |FAXF-;linearAssociatedLog;2SU;13| (|b| |x| $)
  (PROG (|extdeg| |a| |l| |m1| |v| |rown| |i| #0=#:G1873 #1=#:G1866
            #2=#:G1864 #3=#:G1865 |p|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |x| (|spadConstant| $ 8) (QREFELT $ 54))
              (CONS 0 (|spadConstant| $ 55)))
             (#4='T
              (SEQ (LETT |l|
                         (LIST (SPADCALL (SPADCALL |b| (QREFELT $ 37))
                                   (QREFELT $ 57)))
                         . #5=(|FAXF-;linearAssociatedLog;2SU;13|))
                   (LETT |a| |b| . #5#)
                   (LETT |extdeg| (SPADCALL (QREFELT $ 12)) . #5#)
                   (SEQ (LETT |i| 2 . #5#) G190
                        (COND
                          ((QSGREATERP |i| |extdeg|) #6=(GO G191)))
                        (SEQ (LETT |a|
                                   (SPADCALL |a| (QREFELT $ 52)) . #5#)
                             (EXIT (LETT |l|
                                    (SPADCALL |l|
                                     (SPADCALL
                                      (SPADCALL |a| (QREFELT $ 37))
                                      (QREFELT $ 57))
                                     (QREFELT $ 59)) . #5#)))
                        (LETT |i| (QSADD1 |i|) . #5#) #7=(GO G190) G191
                        (EXIT NIL))
                   (LETT |l|
                         (SPADCALL |l|
                             (SPADCALL (SPADCALL |x| (QREFELT $ 37))
                                 (QREFELT $ 57))
                             (QREFELT $ 59)) . #5#)
                   (LETT |m1|
                         (SPADCALL
                             (SPADCALL (SPADCALL |l| (QREFELT $ 60))
                                 (QREFELT $ 61))
                             (QREFELT $ 62)) . #5#)
                   (LETT |v| (SPADCALL |extdeg| (QREFELT $ 63)) . #5#)
                   (LETT |rown| 1 . #5#)
                   (SEQ (LETT |i| 1 . #5#) G190
                        (COND ((QSGREATERP |i| |extdeg|) #6#))
                        (SEQ (EXIT (COND
                                     ((SPADCALL
                                       (SPADCALL |m1| |rown| |i|
                                        (QREFELT $ 64))
                                       (|spadConstant| $ 65)
                                       (QREFELT $ 66))
                                      (SEQ
                                       (SPADCALL |v| |i|
                                        (SPADCALL |m1| |rown|
                                         (+ |extdeg| 1) (QREFELT $ 64))
                                        (QREFELT $ 68))
                                       (EXIT
                                        (LETT |rown|
                                         (+ |rown| 1) . #5#)))))))
                        (LETT |i| (QSADD1 |i|) . #5#) #7# G191
                        (EXIT NIL))
                   (LETT |p|
                         (PROGN
                           (LETT #3# NIL . #5#)
                           (SEQ (LETT |i| 0 . #5#)
                                (LETT #0# (- (QVSIZE |v|) 1) . #5#)
                                G190 (COND ((QSGREATERP |i| #0#) #6#))
                                (SEQ (EXIT
                                      (PROGN
                                        (LETT #1#
                                         (SPADCALL
                                          (SPADCALL |v| (+ |i| 1)
                                           (QREFELT $ 15))
                                          |i| (QREFELT $ 69)) . #5#)
                                        (COND
                                          (#3#
                                           (LETT #2#
                                            (SPADCALL #2# #1#
                                             (QREFELT $ 70)) . #5#))
                                          ('T
                                           (PROGN
                                             (LETT #2# #1# . #5#)
                                             (LETT #3# 'T . #5#)))))))
                                (LETT |i| (QSADD1 |i|) . #5#) #7# G191
                                (EXIT NIL))
                           (COND
                             (#3# #2#)
                             (#4# (|spadConstant| $ 55)))) . #5#)
                   (EXIT (COND
                           ((SPADCALL |p| (|spadConstant| $ 55)
                                (QREFELT $ 71))
                            (SEQ (SPADCALL
                                     "linearAssociatedLog: second argument not in                       group generated by first argument"
                                     (QREFELT $ 75))
                                 (EXIT (CONS 1 "failed"))))
                           (#4# (CONS 0 |p|))))))))))) 

(DEFUN |FAXF-;linearAssociatedLog;SSup;14| (|x| $)
  (PROG (#0=#:G1875)
    (RETURN
      (PROG2 (LETT #0#
                   (SPADCALL (SPADCALL (QREFELT $ 78)) |x|
                       (QREFELT $ 79))
                   |FAXF-;linearAssociatedLog;SSup;14|)
             (QCDR #0#)
        (|check-union| (QEQCAR #0# 0)
            (|SparseUnivariatePolynomial| (QREFELT $ 7)) #0#))))) 

(DEFUN |FAXF-;linearAssociatedOrder;SSup;15| (|x| $)
  (PROG (#0=#:G1885 |a| |l| |v| |i| #1=#:G1886 #2=#:G1882 #3=#:G1880
            #4=#:G1881)
    (RETURN
      (SEQ (COND
             ((SPADCALL |x| (|spadConstant| $ 8) (QREFELT $ 54))
              (|spadConstant| $ 55))
             (#5='T
              (SEQ (LETT |l|
                         (LIST (SPADCALL (SPADCALL |x| (QREFELT $ 37))
                                   (QREFELT $ 57)))
                         . #6=(|FAXF-;linearAssociatedOrder;SSup;15|))
                   (LETT |a| |x| . #6#)
                   (SEQ (LETT |i| 1 . #6#)
                        (LETT #0# (SPADCALL (QREFELT $ 12)) . #6#) G190
                        (COND ((QSGREATERP |i| #0#) #7=(GO G191)))
                        (SEQ (LETT |a|
                                   (SPADCALL |a| (QREFELT $ 52)) . #6#)
                             (EXIT (LETT |l|
                                    (SPADCALL |l|
                                     (SPADCALL
                                      (SPADCALL |a| (QREFELT $ 37))
                                      (QREFELT $ 57))
                                     (QREFELT $ 59)) . #6#)))
                        (LETT |i| (QSADD1 |i|) . #6#) #8=(GO G190) G191
                        (EXIT NIL))
                   (LETT |v|
                         (|SPADfirst|
                             (SPADCALL
                                 (SPADCALL
                                     (SPADCALL |l| (QREFELT $ 60))
                                     (QREFELT $ 61))
                                 (QREFELT $ 82))) . #6#)
                   (EXIT (PROGN
                           (LETT #4# NIL . #6#)
                           (SEQ (LETT |i| 0 . #6#)
                                (LETT #1# (- (QVSIZE |v|) 1) . #6#)
                                G190 (COND ((QSGREATERP |i| #1#) #7#))
                                (SEQ (EXIT
                                      (PROGN
                                        (LETT #2#
                                         (SPADCALL
                                          (SPADCALL |v| (+ |i| 1)
                                           (QREFELT $ 15))
                                          |i| (QREFELT $ 69)) . #6#)
                                        (COND
                                          (#4#
                                           (LETT #3#
                                            (SPADCALL #3# #2#
                                             (QREFELT $ 70)) . #6#))
                                          ('T
                                           (PROGN
                                             (LETT #3# #2# . #6#)
                                             (LETT #4# 'T . #6#)))))))
                                (LETT |i| (QSADD1 |i|) . #6#) #8# G191
                                (EXIT NIL))
                           (COND
                             (#4# #3#)
                             (#5# (|spadConstant| $ 55)))))))))))) 

(DEFUN |FAXF-;charthRoot;SU;16| (|x| $)
  (CONS 0 (SPADCALL |x| (QREFELT $ 84)))) 

(DEFUN |FAXF-;minimalPolynomial;SPiSup;17| (|a| |n| $)
  (PROG (|f| |u|)
    (RETURN
      (SEQ (COND
             ((NULL (EQL (REMAINDER2 (SPADCALL (QREFELT $ 12)) |n|) 0))
              (|error| "minimalPolynomial: 2. argument must divide extension degree"))
             ('T
              (SEQ (LETT |f|
                         (SPADCALL
                             (SPADCALL (|spadConstant| $ 67) 1
                                 (QREFELT $ 88))
                             (SPADCALL |a| 0 (QREFELT $ 88))
                             (QREFELT $ 89))
                         . #0=(|FAXF-;minimalPolynomial;SPiSup;17|))
                   (LETT |u| (SPADCALL |a| |n| (QREFELT $ 90)) . #0#)
                   (SEQ G190
                        (COND
                          ((NULL (COND
                                   ((SPADCALL |u| |a| (QREFELT $ 54))
                                    'NIL)
                                   ('T 'T)))
                           (GO G191)))
                        (SEQ (LETT |f|
                                   (SPADCALL |f|
                                    (SPADCALL
                                     (SPADCALL (|spadConstant| $ 67) 1
                                      (QREFELT $ 88))
                                     (SPADCALL |u| 0 (QREFELT $ 88))
                                     (QREFELT $ 89))
                                    (QREFELT $ 91)) . #0#)
                             (EXIT (LETT |u|
                                    (SPADCALL |u| |n| (QREFELT $ 90)) . #0#)))
                        NIL (GO G190) G191 (EXIT NIL))
                   (EXIT |f|)))))))) 

(DEFUN |FAXF-;norm;SPiS;18| (|e| |s| $)
  (PROG (|qr| |pow| #0=#:G1901)
    (RETURN
      (SEQ (LETT |qr| (DIVIDE2 (SPADCALL (QREFELT $ 12)) |s|)
                 . #1=(|FAXF-;norm;SPiS;18|))
           (EXIT (COND
                   ((ZEROP (QCDR |qr|))
                    (SEQ (LETT |pow|
                               (QUOTIENT2
                                   (- (SPADCALL (QREFELT $ 95)) 1)
                                   (-
                                    (SPADCALL (SPADCALL (QREFELT $ 97))
                                     |s| (QREFELT $ 98))
                                    1)) . #1#)
                         (EXIT (SPADCALL |e|
                                   (PROG1 (LETT #0# |pow| . #1#)
                                     (|check-subtype| (>= #0# 0)
                                      '(|NonNegativeInteger|) #0#))
                                   (QREFELT $ 99)))))
                   ('T
                    (|error| "norm: second argument must divide degree of extension")))))))) 

(DEFUN |FAXF-;trace;SPiS;19| (|e| |s| $)
  (PROG (|qr| |q| |i| #0=#:G1910 |a|)
    (RETURN
      (SEQ (LETT |qr| (DIVIDE2 (SPADCALL (QREFELT $ 12)) |s|)
                 . #1=(|FAXF-;trace;SPiS;19|))
           (LETT |q| (SPADCALL (QREFELT $ 97)) . #1#)
           (EXIT (COND
                   ((ZEROP (QCDR |qr|))
                    (SEQ (LETT |a| (|spadConstant| $ 8) . #1#)
                         (SEQ (LETT |i| 0 . #1#)
                              (LETT #0# (- (QCAR |qr|) 1) . #1#) G190
                              (COND ((QSGREATERP |i| #0#) (GO G191)))
                              (SEQ (EXIT
                                    (LETT |a|
                                     (SPADCALL |a|
                                      (SPADCALL |e|
                                       (EXPT |q|
                                        (SPADCALL |s| |i|
                                         (QREFELT $ 101)))
                                       (QREFELT $ 99))
                                      (QREFELT $ 19)) . #1#)))
                              (LETT |i| (QSADD1 |i|) . #1#) (GO G190)
                              G191 (EXIT NIL))
                         (EXIT |a|)))
                   ('T
                    (|error| "trace: second argument must divide degree of extension")))))))) 

(DEFUN |FAXF-;size;Nni;20| ($)
  (SPADCALL (SPADCALL (QREFELT $ 97)) (SPADCALL (QREFELT $ 12))
      (QREFELT $ 98))) 

(DEFUN |FAXF-;createNormalElement;S;21| ($)
  (PROG (|i| #0=#:G1912 |res| #1=#:G1917 #2=#:G1914)
    (RETURN
      (SEQ (EXIT (COND
                   ((EQL (SPADCALL (QREFELT $ 103))
                         (SPADCALL (QREFELT $ 95)))
                    (|spadConstant| $ 67))
                   ('T
                    (SEQ (SEQ (LETT |i| 1
                                    . #3=(|FAXF-;createNormalElement;S;21|))
                              G190 NIL
                              (SEQ (EXIT
                                    (SEQ
                                     (LETT |res|
                                      (SPADCALL
                                       (PROG1 (LETT #0# |i| . #3#)
                                         (|check-subtype| (> #0# 0)
                                          '(|PositiveInteger|) #0#))
                                       (QREFELT $ 105)) . #3#)
                                     (EXIT
                                      (COND
                                        ((NULL
                                          (SPADCALL |res|
                                           (QREFELT $ 106)))
                                         (PROGN
                                           (LETT #2#
                                            (COND
                                              ((SPADCALL |res|
                                                (QREFELT $ 107))
                                               (PROGN
                                                 (LETT #2#
                                                  (PROGN
                                                    (LETT #1#
                                                     |res| . #3#)
                                                    (GO #1#)) . #3#)
                                                 (GO #2#)))) . #3#)
                                           (GO #2#)))))))
                                   #2# (EXIT #2#))
                              (LETT |i| (QSADD1 |i|) . #3#) (GO G190)
                              G191 (EXIT NIL))
                         (EXIT |res|)))))
           #1# (EXIT #1#))))) 

(DEFUN |FAXF-;normal?;SB;22| (|x| $)
  (PROG (|p| |i| #0=#:G1923 #1=#:G1920 #2=#:G1918 #3=#:G1919 |f|)
    (RETURN
      (SEQ (LETT |p|
                 (SPADCALL
                     (SPADCALL (|spadConstant| $ 67)
                         (SPADCALL (QREFELT $ 12)) (QREFELT $ 88))
                     (SPADCALL (|spadConstant| $ 67) 0 (QREFELT $ 88))
                     (QREFELT $ 89))
                 . #4=(|FAXF-;normal?;SB;22|))
           (LETT |f|
                 (PROGN
                   (LETT #3# NIL . #4#)
                   (SEQ (LETT |i| 0 . #4#)
                        (LETT #0#
                              (- (SPADCALL (QREFELT $ 12)) 1) . #4#)
                        G190 (COND ((QSGREATERP |i| #0#) (GO G191)))
                        (SEQ (EXIT (PROGN
                                     (LETT #1#
                                      (SPADCALL
                                       (SPADCALL |x| |i|
                                        (QREFELT $ 90))
                                       |i| (QREFELT $ 88)) . #4#)
                                     (COND
                                       (#3#
                                        (LETT #2#
                                         (SPADCALL #2# #1#
                                          (QREFELT $ 109)) . #4#))
                                       ('T
                                        (PROGN
                                          (LETT #2# #1# . #4#)
                                          (LETT #3# 'T . #4#)))))))
                        (LETT |i| (QSADD1 |i|) . #4#) (GO G190) G191
                        (EXIT NIL))
                   (COND (#3# #2#) ('T (|spadConstant| $ 110)))) . #4#)
           (EXIT (COND
                   ((SPADCALL (SPADCALL |p| |f| (QREFELT $ 111))
                        (|spadConstant| $ 112) (QREFELT $ 113))
                    'T)
                   ('T 'NIL))))))) 

(DEFUN |FAXF-;degree;SPi;23| (|a| $)
  (PROG (|y| |deg|)
    (RETURN
      (SEQ (LETT |y| (SPADCALL |a| (QREFELT $ 52))
                 . #0=(|FAXF-;degree;SPi;23|))
           (LETT |deg| 1 . #0#)
           (SEQ G190
                (COND
                  ((NULL (COND
                           ((SPADCALL |y| |a| (QREFELT $ 54)) 'NIL)
                           ('T 'T)))
                   (GO G191)))
                (SEQ (LETT |y| (SPADCALL |y| (QREFELT $ 52)) . #0#)
                     (EXIT (LETT |deg| (+ |deg| 1) . #0#)))
                NIL (GO G190) G191 (EXIT NIL))
           (EXIT |deg|))))) 

(DEFUN |FiniteAlgebraicExtensionField&| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #0=(|FiniteAlgebraicExtensionField&|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT |dv$|
              (LIST '|FiniteAlgebraicExtensionField&| DV$1 DV$2) . #0#)
        (LETT $ (GETREFV 116) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#2| '(|Finite|)))) . #0#))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (COND
          ((|testBitVector| |pv$| 1)
           (PROGN
             (QSETREFV $ 53
                 (CONS (|dispatchFunction|
                           |FAXF-;linearAssociatedExp;SSupS;12|)
                       $))
             (QSETREFV $ 77
                 (CONS (|dispatchFunction|
                           |FAXF-;linearAssociatedLog;2SU;13|)
                       $))
             (QSETREFV $ 80
                 (CONS (|dispatchFunction|
                           |FAXF-;linearAssociatedLog;SSup;14|)
                       $))
             (QSETREFV $ 83
                 (CONS (|dispatchFunction|
                           |FAXF-;linearAssociatedOrder;SSup;15|)
                       $))
             (QSETREFV $ 86
                 (CONS (|dispatchFunction| |FAXF-;charthRoot;SU;16|) $))
             (QSETREFV $ 93
                 (CONS (|dispatchFunction|
                           |FAXF-;minimalPolynomial;SPiSup;17|)
                       $))
             (QSETREFV $ 100
                 (CONS (|dispatchFunction| |FAXF-;norm;SPiS;18|) $))
             (QSETREFV $ 102
                 (CONS (|dispatchFunction| |FAXF-;trace;SPiS;19|) $))
             (QSETREFV $ 96
                 (CONS (|dispatchFunction| |FAXF-;size;Nni;20|) $))
             (QSETREFV $ 108
                 (CONS (|dispatchFunction|
                           |FAXF-;createNormalElement;S;21|)
                       $))
             (QSETREFV $ 114
                 (CONS (|dispatchFunction| |FAXF-;normal?;SB;22|) $))
             (QSETREFV $ 115
                 (CONS (|dispatchFunction| |FAXF-;degree;SPi;23|) $)))))
        $)))) 

(MAKEPROP '|FiniteAlgebraicExtensionField&| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (0 . |Zero|) (|Vector| $) (4 . |basis|)
             (|PositiveInteger|) (8 . |extensionDegree|) (|Integer|)
             (|Vector| 7) (12 . |elt|) (|Vector| 6) (18 . |elt|)
             (24 . *) (30 . +) |FAXF-;represents;VS;1|
             (|NonNegativeInteger|) |FAXF-;transcendenceDegree;Nni;2|
             (|CardinalNumber|) (36 . |coerce|) |FAXF-;dimension;Cn;3|
             (|OnePointCompletion| 11) (41 . |coerce|)
             |FAXF-;extensionDegree;Opc;4| (46 . |degree|)
             |FAXF-;degree;SOpc;5| (51 . |Zero|) (|Matrix| 7)
             (55 . |new|) (62 . |minIndex|) (67 . |minRowIndex|)
             (72 . |qelt|) (78 . |coordinates|) (83 . |setRow!|)
             |FAXF-;coordinates;VM;6| (|Boolean|)
             |FAXF-;algebraic?;SB;7| |FAXF-;transcendent?;SB;8|
             |FAXF-;extensionDegree;Pi;9| (90 . *) (96 . +)
             |FAXF-;trace;SF;10| (102 . |determinant|)
             |FAXF-;norm;SF;11| (|SparseUnivariatePolynomial| 7)
             (107 . |degree|) (112 . |coefficient|) (118 . |Frobenius|)
             (123 . |linearAssociatedExp|) (129 . =) (135 . |Zero|)
             (|List| 7) (139 . |entries|) (|List| 56) (144 . |concat|)
             (150 . |matrix|) (155 . |transpose|) (160 . |rowEchelon|)
             (165 . |zero|) (170 . |qelt|) (177 . |One|) (181 . =)
             (187 . |One|) (191 . |setelt|) (198 . |monomial|)
             (204 . +) (210 . =) (|Void|) (|String|) (|OutputForm|)
             (216 . |messagePrint|) (|Union| 49 '"failed")
             (221 . |linearAssociatedLog|) (227 . |normalElement|)
             (231 . |linearAssociatedLog|)
             (237 . |linearAssociatedLog|) (|List| 14)
             (242 . |nullSpace|) (247 . |linearAssociatedOrder|)
             (252 . |charthRoot|) (|Union| $ '"failed")
             (257 . |charthRoot|) (|SparseUnivariatePolynomial| 6)
             (262 . |monomial|) (268 . -) (274 . |Frobenius|) (280 . *)
             (|SparseUnivariatePolynomial| $)
             (286 . |minimalPolynomial|) (292 . |extensionDegree|)
             (296 . |size|) (300 . |size|) (304 . |size|) (308 . **)
             (314 . **) (320 . |norm|) (326 . *) (332 . |trace|)
             (338 . |characteristic|) (342 . |characteristic|)
             (346 . |index|) (351 . |inGroundField?|) (356 . |normal?|)
             (361 . |createNormalElement|) (365 . +) (371 . |Zero|)
             (375 . |gcd|) (381 . |One|) (385 . =) (391 . |normal?|)
             (396 . |degree|))
          '#(|transcendent?| 401 |transcendenceDegree| 406 |trace| 410
             |size| 421 |represents| 425 |normal?| 430 |norm| 435
             |minimalPolynomial| 446 |linearAssociatedOrder| 452
             |linearAssociatedLog| 457 |linearAssociatedExp| 468
             |extensionDegree| 474 |dimension| 482 |degree| 486
             |createNormalElement| 496 |coordinates| 500 |charthRoot|
             505 |algebraic?| 510)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 115
                                '(0 6 0 8 0 6 9 10 0 6 11 12 2 14 7 0
                                  13 15 2 16 6 0 13 17 2 6 0 7 0 18 2 6
                                  0 0 0 19 1 23 0 21 24 1 26 0 13 27 1
                                  6 11 0 29 0 7 0 31 3 32 0 21 21 7 33
                                  1 16 13 0 34 1 32 13 0 35 2 16 6 0 13
                                  36 1 6 14 0 37 3 32 0 0 13 14 38 2 6
                                  0 0 0 44 2 7 0 0 0 45 1 32 7 0 47 1
                                  49 21 0 50 2 49 7 0 21 51 1 6 0 0 52
                                  2 0 0 0 49 53 2 6 40 0 0 54 0 49 0 55
                                  1 14 56 0 57 2 58 0 0 56 59 1 32 0 58
                                  60 1 32 0 0 61 1 32 0 0 62 1 14 0 21
                                  63 3 32 7 0 13 13 64 0 7 0 65 2 7 40
                                  0 0 66 0 6 0 67 3 14 7 0 13 7 68 2 49
                                  0 7 21 69 2 49 0 0 0 70 2 49 40 0 0
                                  71 1 74 72 73 75 2 0 76 0 0 77 0 6 0
                                  78 2 6 76 0 0 79 1 0 49 0 80 1 32 81
                                  0 82 1 0 49 0 83 1 6 0 0 84 1 0 85 0
                                  86 2 87 0 6 21 88 2 87 0 0 0 89 2 6 0
                                  0 21 90 2 87 0 0 0 91 2 0 92 0 11 93
                                  0 6 26 94 0 6 21 95 0 0 21 96 0 7 21
                                  97 2 21 0 0 11 98 2 6 0 0 21 99 2 0 0
                                  0 11 100 2 21 0 11 0 101 2 0 0 0 11
                                  102 0 6 21 103 0 7 21 104 1 6 0 11
                                  105 1 6 40 0 106 1 6 40 0 107 0 0 0
                                  108 2 87 0 0 0 109 0 87 0 110 2 87 0
                                  0 0 111 0 87 0 112 2 87 40 0 0 113 1
                                  0 40 0 114 1 0 11 0 115 1 0 40 0 42 0
                                  0 21 22 2 0 0 0 11 102 1 0 7 0 46 0 0
                                  21 96 1 0 0 14 20 1 0 40 0 114 2 0 0
                                  0 11 100 1 0 7 0 48 2 0 92 0 11 93 1
                                  0 49 0 83 2 0 76 0 0 77 1 0 49 0 80 2
                                  0 0 0 49 53 0 0 11 43 0 0 26 28 0 0
                                  23 25 1 0 11 0 115 1 0 26 0 30 0 0 0
                                  108 1 0 32 9 39 1 0 85 0 86 1 0 40 0
                                  41)))))
          '|lookupComplete|)) 
