
(/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) (#1='T 'T))) ((NULL |y|) 'NIL)
        (#1#
         (COND
          ((EQL (|SPADfirst| |x|) (|SPADfirst| |y|))
           (SPADCALL (CDR |x|) (CDR |y|) (QREFELT $ 10)))
          (#1# (< (|SPADfirst| |y|) (|SPADfirst| |x|))))))) 

(DEFUN |EAB;coerce;L$;3| (|li| $)
  (PROG (#1=#:G1810 |x|)
    (RETURN
     (SEQ
      (SEQ (LETT |x| NIL . #2=(|EAB;coerce;L$;3|)) (LETT #1# |li| . #2#) G190
           (COND
            ((OR (ATOM #1#) (PROGN (LETT |x| (CAR #1#) . #2#) 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 #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
      (EXIT |li|))))) 

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

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

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

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

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

(DEFUN |ExtAlgBasis;| ()
  (PROG (|dv$| $ |pv$|)
    (RETURN
     (PROGN
      (LETT |dv$| '(|ExtAlgBasis|) . #1=(|ExtAlgBasis|))
      (LETT $ (GETREFV 23) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|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 |smaller?| 22 |min| 28 |max| 34 |latex| 40 |hash| 45
              |exponents| 50 |degree| 55 |coerce| 60 |Nul| 70 >= 75 > 81 = 87
              <= 93 < 99)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0))
                 (CONS '#(|OrderedSet&| NIL |SetCategory&| |BasicType&| NIL)
                       (CONS
                        '#((|OrderedSet|) (|Comparable|) (|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 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) 
