
(/VERSIONCHECK 2) 

(DEFUN |EAB;=;2$B;1| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 8))) 

(DEFUN |EAB;<;2$B;2| (|x| |y| $)
  (COND
    ((NULL |x|) (COND ((NULL |y|) 'NIL) (#0='T 'T)))
    ((NULL |y|) 'NIL)
    (#0#
     (COND
       ((EQL (|SPADfirst| |x|) (|SPADfirst| |y|))
        (SPADCALL (CDR |x|) (CDR |y|) (QREFELT $ 10)))
       ('T (< (|SPADfirst| |y|) (|SPADfirst| |x|))))))) 

(DEFUN |EAB;coerce;L$;3| (|li| $)
  (PROG (|x| #0=#:G1824)
    (RETURN
      (SEQ (SEQ (LETT |x| NIL . #1=(|EAB;coerce;L$;3|))
                (LETT #0# |li| . #1#) G190
                (COND
                  ((OR (ATOM #0#)
                       (PROGN (LETT |x| (CAR #0#) . #1#) NIL))
                   (GO G191)))
                (SEQ (EXIT (COND
                             ((NULL (EQL |x| 1))
                              (COND
                                ((NULL (EQL |x| 0))
                                 (|error| "coerce: values can only be 0 and 1")))))))
                (LETT #0# (CDR #0#) . #1#) (GO G190) G191 (EXIT NIL))
           (EXIT |li|))))) 

(DEFUN |EAB;degree;$Nni;4| (|x| $)
  (PROG (#0=#:G1815 #1=#:G1833 #2=#:G1830 #3=#:G1828 #4=#:G1829
            #5=#:G1831)
    (RETURN
      (SEQ (PROG1 (LETT #5#
                        (PROGN
                          (LETT #4# NIL . #6=(|EAB;degree;$Nni;4|))
                          (SEQ (LETT #0# NIL . #6#)
                               (LETT #1# |x| . #6#) G190
                               (COND
                                 ((OR (ATOM #1#)
                                      (PROGN
                                        (LETT #0# (CAR #1#) . #6#)
                                        NIL))
                                  (GO G191)))
                               (SEQ (EXIT
                                     (PROGN
                                       (LETT #2# #0# . #6#)
                                       (COND
                                         (#4#
                                          (LETT #3# (+ #3# #2#) . #6#))
                                         ('T
                                          (PROGN
                                            (LETT #3# #2# . #6#)
                                            (LETT #4# 'T . #6#)))))))
                               (LETT #1# (CDR #1#) . #6#) (GO G190)
                               G191 (EXIT NIL))
                          (COND (#4# #3#) ('T 0))) . #6#)
             (|check-subtype| (>= #5# 0) '(|NonNegativeInteger|) #5#)))))) 

(DEFUN |EAB;exponents;$L;5| (|x| $) (SPADCALL |x| (QREFELT $ 15))) 

(DEFUN |EAB;Nul;Nni$;6| (|n| $)
  (PROG (#0=#:G1837 |i|)
    (RETURN
      (SEQ (PROGN
             (LETT #0# NIL . #1=(|EAB;Nul;Nni$;6|))
             (SEQ (LETT |i| 1 . #1#) G190
                  (COND ((QSGREATERP |i| |n|) (GO G191)))
                  (SEQ (EXIT (LETT #0# (CONS 0 #0#) . #1#)))
                  (LETT |i| (QSADD1 |i|) . #1#) (GO G190) G191
                  (EXIT (NREVERSE0 #0#)))))))) 

(DEFUN |EAB;coerce;$Of;7| (|x| $) (SPADCALL |x| (QREFELT $ 19))) 

(DEFUN |ExtAlgBasis| ()
  (PROG ()
    (RETURN
      (PROG (#0=#:G1840)
        (RETURN
          (COND
            ((LETT #0# (HGET |$ConstructorCache| '|ExtAlgBasis|)
                   . #1=(|ExtAlgBasis|))
             (|CDRwithIncrement| (CDAR #0#)))
            ('T
             (UNWIND-PROTECT
               (PROG1 (CDDAR (HPUT |$ConstructorCache| '|ExtAlgBasis|
                                   (LIST
                                    (CONS NIL
                                     (CONS 1 (|ExtAlgBasis;|))))))
                 (LETT #0# T . #1#))
               (COND
                 ((NOT #0#) (HREM |$ConstructorCache| '|ExtAlgBasis|))))))))))) 

(DEFUN |ExtAlgBasis;| ()
  (PROG (|dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT |dv$| '(|ExtAlgBasis|) . #0=(|ExtAlgBasis|))
        (LETT $ (GETREFV 23) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache| '|ExtAlgBasis| NIL (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 (|List| (|Integer|)))
        $)))) 

(MAKEPROP '|ExtAlgBasis| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL '|Rep| (|Boolean|) (0 . =)
             |EAB;=;2$B;1| |EAB;<;2$B;2| (|List| (|Integer|))
             |EAB;coerce;L$;3| (|NonNegativeInteger|)
             |EAB;degree;$Nni;4| (6 . |copy|) |EAB;exponents;$L;5|
             |EAB;Nul;Nni$;6| (|OutputForm|) (11 . |coerce|)
             |EAB;coerce;$Of;7| (|String|) (|SingleInteger|))
          '#(~= 16 |min| 22 |max| 28 |latex| 34 |hash| 39 |exponents|
             44 |degree| 49 |coerce| 54 |Nul| 64 >= 69 > 75 = 81 <= 87
             < 93)
          'NIL
          (CONS (|makeByteWordVec2| 1 '(0 0 0 0))
                (CONS '#(|OrderedSet&| |SetCategory&| |BasicType&| NIL)
                      (CONS '#((|OrderedSet|) (|SetCategory|)
                               (|BasicType|) (|CoercibleTo| 18))
                            (|makeByteWordVec2| 22
                                '(2 6 7 0 0 8 1 11 0 0 15 1 11 18 0 19
                                  2 0 7 0 0 1 2 0 0 0 0 1 2 0 0 0 0 1 1
                                  0 21 0 1 1 0 22 0 1 1 0 11 0 16 1 0
                                  13 0 14 1 0 0 11 12 1 0 18 0 20 1 0 0
                                  13 17 2 0 7 0 0 1 2 0 7 0 0 1 2 0 7 0
                                  0 9 2 0 7 0 0 1 2 0 7 0 0 10)))))
          '|lookupComplete|)) 

(MAKEPROP '|ExtAlgBasis| 'NILADIC T) 
