
(/VERSIONCHECK 2) 

(DEFUN |CLIF;characteristic;Nni;1| ($) (SPADCALL (QREFELT $ 19))) 

(DEFUN |CLIF;dimension;Cn;2| ($)
  (SPADCALL (QREFELT $ 16) (QREFELT $ 22))) 

(DEFUN |CLIF;=;2$B;3| (|x| |y| $)
  (PROG (|i| #0=#:G1834 #1=#:G1833)
    (RETURN
      (SEQ (EXIT (SEQ (SEQ (LETT |i| 0 . #2=(|CLIF;=;2$B;3|))
                           (LETT #0# (- (QREFELT $ 16) 1) . #2#) G190
                           (COND ((QSGREATERP |i| #0#) (GO G191)))
                           (SEQ (EXIT (COND
                                        ((NULL
                                          (SPADCALL (ELT |x| |i|)
                                           (ELT |y| |i|)
                                           (QREFELT $ 25)))
                                         (PROGN
                                           (LETT #1# 'NIL . #2#)
                                           (GO #1#))))))
                           (LETT |i| (QSADD1 |i|) . #2#) (GO G190) G191
                           (EXIT NIL))
                      (EXIT 'T)))
           #1# (EXIT #1#))))) 

(DEFUN |CLIF;+;3$;4| (|x| |y| $)
  (PROG (|z| |i| #0=#:G1838)
    (RETURN
      (SEQ (LETT |z|
                 (SPADCALL (QREFELT $ 16) (|spadConstant| $ 27)
                     (QREFELT $ 28))
                 . #1=(|CLIF;+;3$;4|))
           (SEQ (LETT |i| 0 . #1#)
                (LETT #0# (- (QREFELT $ 16) 1) . #1#) G190
                (COND ((QSGREATERP |i| #0#) (GO G191)))
                (SEQ (EXIT (SETELT |z| |i|
                                   (SPADCALL (ELT |x| |i|)
                                    (ELT |y| |i|) (QREFELT $ 29)))))
                (LETT |i| (QSADD1 |i|) . #1#) (GO G190) G191
                (EXIT NIL))
           (EXIT |z|))))) 

(DEFUN |CLIF;-;3$;5| (|x| |y| $)
  (PROG (|z| |i| #0=#:G1842)
    (RETURN
      (SEQ (LETT |z|
                 (SPADCALL (QREFELT $ 16) (|spadConstant| $ 27)
                     (QREFELT $ 28))
                 . #1=(|CLIF;-;3$;5|))
           (SEQ (LETT |i| 0 . #1#)
                (LETT #0# (- (QREFELT $ 16) 1) . #1#) G190
                (COND ((QSGREATERP |i| #0#) (GO G191)))
                (SEQ (EXIT (SETELT |z| |i|
                                   (SPADCALL (ELT |x| |i|)
                                    (ELT |y| |i|) (QREFELT $ 31)))))
                (LETT |i| (QSADD1 |i|) . #1#) (GO G190) G191
                (EXIT NIL))
           (EXIT |z|))))) 

(DEFUN |CLIF;-;2$;6| (|x| $)
  (PROG (|z| |i| #0=#:G1846)
    (RETURN
      (SEQ (LETT |z|
                 (SPADCALL (QREFELT $ 16) (|spadConstant| $ 27)
                     (QREFELT $ 28))
                 . #1=(|CLIF;-;2$;6|))
           (SEQ (LETT |i| 0 . #1#)
                (LETT #0# (- (QREFELT $ 16) 1) . #1#) G190
                (COND ((QSGREATERP |i| #0#) (GO G191)))
                (SEQ (EXIT (SETELT |z| |i|
                                   (SPADCALL (ELT |x| |i|)
                                    (QREFELT $ 33)))))
                (LETT |i| (QSADD1 |i|) . #1#) (GO G190) G191
                (EXIT NIL))
           (EXIT |z|))))) 

(DEFUN |CLIF;*;I2$;7| (|m| |x| $)
  (PROG (|z| |i| #0=#:G1850)
    (RETURN
      (SEQ (LETT |z|
                 (SPADCALL (QREFELT $ 16) (|spadConstant| $ 27)
                     (QREFELT $ 28))
                 . #1=(|CLIF;*;I2$;7|))
           (SEQ (LETT |i| 0 . #1#)
                (LETT #0# (- (QREFELT $ 16) 1) . #1#) G190
                (COND ((QSGREATERP |i| #0#) (GO G191)))
                (SEQ (EXIT (SETELT |z| |i|
                                   (SPADCALL |m| (ELT |x| |i|)
                                    (QREFELT $ 36)))))
                (LETT |i| (QSADD1 |i|) . #1#) (GO G190) G191
                (EXIT NIL))
           (EXIT |z|))))) 

(DEFUN |CLIF;*;K2$;8| (|c| |x| $)
  (PROG (|z| |i| #0=#:G1854)
    (RETURN
      (SEQ (LETT |z|
                 (SPADCALL (QREFELT $ 16) (|spadConstant| $ 27)
                     (QREFELT $ 28))
                 . #1=(|CLIF;*;K2$;8|))
           (SEQ (LETT |i| 0 . #1#)
                (LETT #0# (- (QREFELT $ 16) 1) . #1#) G190
                (COND ((QSGREATERP |i| #0#) (GO G191)))
                (SEQ (EXIT (SETELT |z| |i|
                                   (SPADCALL |c| (ELT |x| |i|)
                                    (QREFELT $ 38)))))
                (LETT |i| (QSADD1 |i|) . #1#) (GO G190) G191
                (EXIT NIL))
           (EXIT |z|))))) 

(DEFUN |CLIF;Zero;$;9| ($)
  (SPADCALL (QREFELT $ 16) (|spadConstant| $ 27) (QREFELT $ 28))) 

(DEFUN |CLIF;One;$;10| ($)
  (PROG (|z|)
    (RETURN
      (SEQ (LETT |z|
                 (SPADCALL (QREFELT $ 16) (|spadConstant| $ 27)
                     (QREFELT $ 28))
                 |CLIF;One;$;10|)
           (SETELT |z| 0 (|spadConstant| $ 43)) (EXIT |z|))))) 

(DEFUN |CLIF;coerce;I$;11| (|m| $)
  (PROG (|z|)
    (RETURN
      (SEQ (LETT |z|
                 (SPADCALL (QREFELT $ 16) (|spadConstant| $ 27)
                     (QREFELT $ 28))
                 |CLIF;coerce;I$;11|)
           (SETELT |z| 0 (SPADCALL |m| (QREFELT $ 45))) (EXIT |z|))))) 

(DEFUN |CLIF;coerce;K$;12| (|c| $)
  (PROG (|z|)
    (RETURN
      (SEQ (LETT |z|
                 (SPADCALL (QREFELT $ 16) (|spadConstant| $ 27)
                     (QREFELT $ 28))
                 |CLIF;coerce;K$;12|)
           (SETELT |z| 0 |c|) (EXIT |z|))))) 

(DEFUN |CLIF;e;Pi$;13| (|b| $)
  (PROG (#0=#:G1863 |iz| |z|)
    (RETURN
      (SEQ (COND
             ((< (QREFELT $ 6) |b|) (|error| "No such basis element"))
             ('T
              (SEQ (LETT |iz|
                         (EXPT 2
                               (PROG1 (LETT #0# (- |b| 1)
                                       . #1=(|CLIF;e;Pi$;13|))
                                 (|check-subtype| (>= #0# 0)
                                     '(|NonNegativeInteger|) #0#))) . #1#)
                   (LETT |z|
                         (SPADCALL (QREFELT $ 16) (|spadConstant| $ 27)
                             (QREFELT $ 28)) . #1#)
                   (SETELT |z| |iz| (|spadConstant| $ 43)) (EXIT |z|)))))))) 

(DEFUN |CLIF;addMonomProd| (|c1| |b1| |c2| |b2| |z| $)
  (PROG (|i| #0=#:G1875 #1=#:G1876 |j| #2=#:G1877 |k| |c| #3=#:G1869
             |bz|)
    (RETURN
      (SEQ (LETT |c| (SPADCALL |c1| |c2| (QREFELT $ 38))
                 . #4=(|CLIF;addMonomProd|))
           (LETT |bz| |b2| . #4#)
           (SEQ (LETT |i| 0 . #4#) (LETT #0# (- (QREFELT $ 6) 1) . #4#)
                G190 (COND ((QSGREATERP |i| #0#) #5=(GO G191)))
                (SEQ (EXIT (COND
                             ((SPADCALL |b1| |i| (QREFELT $ 49))
                              (SEQ (LETT |k| 0 . #4#)
                                   (SEQ (LETT |j| (+ |i| 1) . #4#)
                                    (LETT #1#
                                     (- (QREFELT $ 6) 1) . #4#)
                                    G190 (COND ((> |j| #1#) #5#))
                                    (SEQ
                                     (EXIT
                                      (COND
                                        ((SPADCALL |b1| |j|
                                          (QREFELT $ 49))
                                         (LETT |k| (+ |k| 1) . #4#)))))
                                    (LETT |j| (+ |j| 1) . #4#)
                                    #6=(GO G190) G191 (EXIT NIL))
                                   (SEQ (LETT |j| 0 . #4#)
                                    (LETT #2# (- |i| 1) . #4#) G190
                                    (COND ((QSGREATERP |j| #2#) #5#))
                                    (SEQ
                                     (EXIT
                                      (COND
                                        ((SPADCALL |bz| |j|
                                          (QREFELT $ 49))
                                         (LETT |k| (+ |k| 1) . #4#)))))
                                    (LETT |j| (QSADD1 |j|) . #4#) #6#
                                    G191 (EXIT NIL))
                                   (COND
                                     ((ODDP |k|)
                                      (LETT |c|
                                       (SPADCALL |c| (QREFELT $ 33)) . #4#)))
                                   (EXIT
                                    (COND
                                      ((SPADCALL |bz| |i|
                                        (QREFELT $ 49))
                                       (SEQ
                                        (LETT |c|
                                         (SPADCALL |c|
                                          (SPADCALL (QREFELT $ 14)
                                           (+ |i| 1) (QREFELT $ 51))
                                          (QREFELT $ 38)) . #4#)
                                        (EXIT
                                         (LETT |bz|
                                          (PROG1
                                           (LETT #3#
                                            (- |bz| (EXPT 2 |i|)) . #4#)
                                            (|check-subtype| (>= #3# 0)
                                             '(|NonNegativeInteger|)
                                             #3#)) . #4#))))
                                      ('T
                                       (LETT |bz|
                                        (+ |bz| (EXPT 2 |i|)) . #4#)))))))))
                (LETT |i| (QSADD1 |i|) . #4#) #6# G191 (EXIT NIL))
           (SETELT |z| |bz|
                   (SPADCALL (ELT |z| |bz|) |c| (QREFELT $ 29)))
           (EXIT |z|))))) 

(DEFUN |CLIF;*;3$;15| (|x| |y| $)
  (PROG (|z| |ix| #0=#:G1884 |iy| #1=#:G1885)
    (RETURN
      (SEQ (LETT |z|
                 (SPADCALL (QREFELT $ 16) (|spadConstant| $ 27)
                     (QREFELT $ 28))
                 . #2=(|CLIF;*;3$;15|))
           (SEQ (LETT |ix| 0 . #2#)
                (LETT #0# (- (QREFELT $ 16) 1) . #2#) G190
                (COND ((QSGREATERP |ix| #0#) #3=(GO G191)))
                (SEQ (EXIT (COND
                             ((NULL (SPADCALL (ELT |x| |ix|)
                                     (|spadConstant| $ 27)
                                     (QREFELT $ 25)))
                              (SEQ (LETT |iy| 0 . #2#)
                                   (LETT #1#
                                    (- (QREFELT $ 16) 1) . #2#)
                                   G190
                                   (COND ((QSGREATERP |iy| #1#) #3#))
                                   (SEQ
                                    (EXIT
                                     (COND
                                       ((NULL
                                         (SPADCALL (ELT |y| |iy|)
                                          (|spadConstant| $ 27)
                                          (QREFELT $ 25)))
                                        (|CLIF;addMonomProd|
                                         (ELT |x| |ix|) |ix|
                                         (ELT |y| |iy|) |iy| |z| $)))))
                                   (LETT |iy| (QSADD1 |iy|) . #2#)
                                   #4=(GO G190) G191 (EXIT NIL))))))
                (LETT |ix| (QSADD1 |ix|) . #2#) #4# G191 (EXIT NIL))
           (EXIT |z|))))) 

(DEFUN |CLIF;canonMonom| (|c| |lb| $)
  (PROG (#0=#:G1901 #1=#:G1887 |i| #2=#:G1902 |t| |exchanges|
            |wasordered| |b| #3=#:G1903 #4=#:G1894 |bn| #5=#:G1895
            |bz|)
    (RETURN
      (SEQ (SEQ (EXIT (SEQ (LETT |b| NIL . #6=(|CLIF;canonMonom|))
                           (LETT #0# |lb| . #6#) G190
                           (COND
                             ((OR (ATOM #0#)
                                  (PROGN
                                    (LETT |b| (CAR #0#) . #6#)
                                    NIL))
                              #7=(GO G191)))
                           (SEQ (EXIT (COND
                                        ((< (QREFELT $ 6) |b|)
                                         (PROGN
                                           (LETT #1#
                                            (|error|
                                             "No such basis element") . #6#)
                                           (GO #1#))))))
                           (LETT #0# (CDR #0#) . #6#) #8=(GO G190) G191
                           (EXIT NIL)))
                #1# (EXIT #1#))
           (LETT |wasordered| 'NIL . #6#) (LETT |exchanges| 0 . #6#)
           (SEQ G190
                (COND ((NULL (COND (|wasordered| 'NIL) ('T 'T))) #7#))
                (SEQ (LETT |wasordered| 'T . #6#)
                     (EXIT (SEQ (LETT |i| 1 . #6#)
                                (LETT #2# (- (LENGTH |lb|) 1) . #6#)
                                G190 (COND ((QSGREATERP |i| #2#) #7#))
                                (SEQ (EXIT
                                      (COND
                                        ((<
                                          (SPADCALL |lb| (+ |i| 1)
                                           (QREFELT $ 54))
                                          (SPADCALL |lb| |i|
                                           (QREFELT $ 54)))
                                         (SEQ
                                          (LETT |t|
                                           (SPADCALL |lb| |i|
                                            (QREFELT $ 54)) . #6#)
                                          (SPADCALL |lb| |i|
                                           (SPADCALL |lb| (+ |i| 1)
                                            (QREFELT $ 54))
                                           (QREFELT $ 55))
                                          (SPADCALL |lb| (+ |i| 1) |t|
                                           (QREFELT $ 55))
                                          (LETT |exchanges|
                                           (+ |exchanges| 1) . #6#)
                                          (EXIT
                                           (LETT |wasordered|
                                            'NIL . #6#)))))))
                                (LETT |i| (QSADD1 |i|) . #6#) #8# G191
                                (EXIT NIL))))
                NIL #8# G191 (EXIT NIL))
           (COND
             ((ODDP |exchanges|)
              (LETT |c| (SPADCALL |c| (QREFELT $ 33)) . #6#)))
           (LETT |bz| 0 . #6#)
           (SEQ (LETT |b| NIL . #6#) (LETT #3# |lb| . #6#) G190
                (COND
                  ((OR (ATOM #3#)
                       (PROGN (LETT |b| (CAR #3#) . #6#) NIL))
                   #7#))
                (SEQ (LETT |bn|
                           (PROG1 (LETT #4# (- |b| 1) . #6#)
                             (|check-subtype| (>= #4# 0)
                                 '(|NonNegativeInteger|) #4#)) . #6#)
                     (EXIT (COND
                             ((SPADCALL |bz| |bn| (QREFELT $ 49))
                              (SEQ (LETT |c|
                                    (SPADCALL |c|
                                     (SPADCALL (QREFELT $ 14) |bn|
                                      (QREFELT $ 51))
                                     (QREFELT $ 38)) . #6#)
                                   (EXIT
                                    (LETT |bz|
                                     (PROG1
                                      (LETT #5#
                                       (- |bz| (EXPT 2 |bn|)) . #6#)
                                       (|check-subtype| (>= #5# 0)
                                        '(|NonNegativeInteger|) #5#)) . #6#))))
                             ('T
                              (LETT |bz| (+ |bz| (EXPT 2 |bn|)) . #6#)))))
                (LETT #3# (CDR #3#) . #6#) #8# G191 (EXIT NIL))
           (EXIT (CONS |c| |bz|)))))) 

(DEFUN |CLIF;monomial;KL$;17| (|c| |lb| $)
  (PROG (|r| |z|)
    (RETURN
      (SEQ (LETT |r| (|CLIF;canonMonom| |c| |lb| $)
                 . #0=(|CLIF;monomial;KL$;17|))
           (LETT |z|
                 (SPADCALL (QREFELT $ 16) (|spadConstant| $ 27)
                     (QREFELT $ 28)) . #0#)
           (SETELT |z| (QCDR |r|) (QCAR |r|)) (EXIT |z|))))) 

(DEFUN |CLIF;coefficient;$LK;18| (|z| |lb| $)
  (PROG (|r|)
    (RETURN
      (SEQ (LETT |r| (|CLIF;canonMonom| (|spadConstant| $ 43) |lb| $)
                 |CLIF;coefficient;$LK;18|)
           (EXIT (COND
                   ((SPADCALL (QCAR |r|) (|spadConstant| $ 27)
                        (QREFELT $ 25))
                    (|error| "Cannot take coef of 0"))
                   ('T
                    (SPADCALL (ELT |z| (QCDR |r|)) (QCAR |r|)
                        (QREFELT $ 57))))))))) 

(DEFUN |CLIF;coerceMonom| (|c| |b| $)
  (PROG (#0=#:G1912 |i| #1=#:G1913 |ml| |be|)
    (RETURN
      (SEQ (COND
             ((EQL |b| 0) (SPADCALL |c| (QREFELT $ 60)))
             (#2='T
              (SEQ (LETT |ml|
                         (PROGN
                           (LETT #0# NIL . #3=(|CLIF;coerceMonom|))
                           (SEQ (LETT |i| 1 . #3#)
                                (LETT #1# (QREFELT $ 6) . #3#) G190
                                (COND
                                  ((QSGREATERP |i| #1#) (GO G191)))
                                (SEQ (EXIT
                                      (COND
                                        ((SPADCALL |b| (- |i| 1)
                                          (QREFELT $ 49))
                                         (LETT #0#
                                          (CONS
                                           (SPADCALL "e"
                                            (SPADCALL |i|
                                             (QREFELT $ 61))
                                            (QREFELT $ 62))
                                           #0#) . #3#)))))
                                (LETT |i| (QSADD1 |i|) . #3#) (GO G190)
                                G191 (EXIT (NREVERSE0 #0#)))) . #3#)
                   (LETT |be|
                         (SPADCALL (ELT $ 63) |ml| (QREFELT $ 66)) . #3#)
                   (EXIT (COND
                           ((SPADCALL |c| (|spadConstant| $ 43)
                                (QREFELT $ 25))
                            |be|)
                           (#2#
                            (SPADCALL (SPADCALL |c| (QREFELT $ 60))
                                |be| (QREFELT $ 63)))))))))))) 

(DEFUN |CLIF;coerce;$Of;20| (|x| $)
  (PROG (#0=#:G1918 |i| #1=#:G1919 |tl|)
    (RETURN
      (SEQ (LETT |tl|
                 (PROGN
                   (LETT #0# NIL . #2=(|CLIF;coerce;$Of;20|))
                   (SEQ (LETT |i| 0 . #2#)
                        (LETT #1# (- (QREFELT $ 16) 1) . #2#) G190
                        (COND ((QSGREATERP |i| #1#) (GO G191)))
                        (SEQ (EXIT (COND
                                     ((COND
                                        ((SPADCALL (ELT |x| |i|)
                                          (|spadConstant| $ 27)
                                          (QREFELT $ 25))
                                         'NIL)
                                        ('T 'T))
                                      (LETT #0#
                                       (CONS
                                        (|CLIF;coerceMonom|
                                         (ELT |x| |i|) |i| $)
                                        #0#) . #2#)))))
                        (LETT |i| (QSADD1 |i|) . #2#) (GO G190) G191
                        (EXIT (NREVERSE0 #0#)))) . #2#)
           (EXIT (COND
                   ((NULL |tl|) "0")
                   ('T (SPADCALL (ELT $ 67) |tl| (QREFELT $ 66))))))))) 

(DEFUN |CLIF;localPowerSets| (|j| $)
  (PROG (|l| #0=#:G1920 |Sm| |x| #1=#:G1925 |Sn|)
    (RETURN
      (SEQ (LETT |l| (SPADCALL NIL (QREFELT $ 70))
                 . #2=(|CLIF;localPowerSets|))
           (EXIT (COND
                   ((EQL |j| 0) |l|)
                   ('T
                    (SEQ (LETT |Sm|
                               (|CLIF;localPowerSets|
                                   (PROG1 (LETT #0# (- |j| 1) . #2#)
                                     (|check-subtype| (>= #0# 0)
                                      '(|NonNegativeInteger|) #0#))
                                   $) . #2#)
                         (LETT |Sn| NIL . #2#)
                         (SEQ (LETT |x| NIL . #2#)
                              (LETT #1# |Sm| . #2#) G190
                              (COND
                                ((OR (ATOM #1#)
                                     (PROGN
                                       (LETT |x| (CAR #1#) . #2#)
                                       NIL))
                                 (GO G191)))
                              (SEQ (EXIT
                                    (LETT |Sn|
                                     (CONS (CONS |j| |x|) |Sn|) . #2#)))
                              (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                              (EXIT NIL))
                         (EXIT (APPEND |Sn| |Sm|)))))))))) 

(DEFUN |CLIF;powerSets| (|j| $)
  (SPADCALL (ELT $ 71) (|CLIF;localPowerSets| |j| $) (QREFELT $ 73))) 

(DEFUN |CLIF;recip;$U;23| (|x| $)
  (PROG (|one| |pi| #0=#:G1948 |rhsEqs| #1=#:G1949 |lhsEqi| |lhsEqs|
               |ans| |pj| #2=#:G1950 |cj| |ansP| |ansC|)
    (RETURN
      (SEQ (LETT |one| (|spadConstant| $ 44) . #3=(|CLIF;recip;$U;23|))
           (LETT |rhsEqs| NIL . #3#) (LETT |lhsEqs| NIL . #3#)
           (SEQ (LETT |pi| NIL . #3#) (LETT #0# (QREFELT $ 74) . #3#)
                G190
                (COND
                  ((OR (ATOM #0#)
                       (PROGN (LETT |pi| (CAR #0#) . #3#) NIL))
                   #4=(GO G191)))
                (SEQ (LETT |rhsEqs|
                           (CONS (SPADCALL |one| |pi| (QREFELT $ 58))
                                 |rhsEqs|) . #3#)
                     (LETT |lhsEqi| NIL . #3#)
                     (SEQ (LETT |pj| NIL . #3#)
                          (LETT #1# (QREFELT $ 74) . #3#) G190
                          (COND
                            ((OR (ATOM #1#)
                                 (PROGN
                                   (LETT |pj| (CAR #1#) . #3#)
                                   NIL))
                             #4#))
                          (SEQ (EXIT (LETT |lhsEqi|
                                      (CONS
                                       (SPADCALL
                                        (SPADCALL |x|
                                         (SPADCALL
                                          (|spadConstant| $ 43) |pj|
                                          (QREFELT $ 56))
                                         (QREFELT $ 52))
                                        |pi| (QREFELT $ 58))
                                       |lhsEqi|) . #3#)))
                          (LETT #1# (CDR #1#) . #3#) #5=(GO G190) G191
                          (EXIT NIL))
                     (EXIT (LETT |lhsEqs|
                                 (CONS (REVERSE |lhsEqi|) |lhsEqs|) . #3#)))
                (LETT #0# (CDR #0#) . #3#) #5# G191 (EXIT NIL))
           (LETT |ans|
                 (SPADCALL (SPADCALL |lhsEqs| (QREFELT $ 77))
                     (SPADCALL |rhsEqs| (QREFELT $ 79)) (QREFELT $ 82)) . #3#)
           (EXIT (COND
                   ((QEQCAR |ans| 1) (CONS 1 "failed"))
                   ('T
                    (SEQ (LETT |ansP|
                               (SPADCALL (QCDR |ans|) (QREFELT $ 83)) . #3#)
                         (LETT |ansC| (|spadConstant| $ 40) . #3#)
                         (SEQ (LETT |pj| NIL . #3#)
                              (LETT #2# (QREFELT $ 74) . #3#) G190
                              (COND
                                ((OR (ATOM #2#)
                                     (PROGN
                                       (LETT |pj| (CAR #2#) . #3#)
                                       NIL))
                                 #4#))
                              (SEQ (LETT |cj|
                                    (|SPADfirst| |ansP|) . #3#)
                                   (LETT |ansP| (CDR |ansP|) . #3#)
                                   (EXIT
                                    (LETT |ansC|
                                     (SPADCALL |ansC|
                                      (SPADCALL |cj|
                                       (SPADCALL (|spadConstant| $ 43)
                                        |pj| (QREFELT $ 56))
                                       (QREFELT $ 39))
                                      (QREFELT $ 30)) . #3#)))
                              (LETT #2# (CDR #2#) . #3#) #5# G191
                              (EXIT NIL))
                         (EXIT (CONS 0 |ansC|)))))))))) 

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

(DEFUN |CliffordAlgebra;| (|#1| |#2| |#3|)
  (PROG (DV$1 DV$2 DV$3 |dv$| $ |pv$| #0=#:G1951 |i| #1=#:G1826)
    (RETURN
      (SEQ (PROGN
             (LETT DV$1 (|devaluate| |#1|) . #2=(|CliffordAlgebra|))
             (LETT DV$2 (|devaluate| |#2|) . #2#)
             (LETT DV$3 (|devaluate| |#3|) . #2#)
             (LETT |dv$|
                   (LIST '|CliffordAlgebra| DV$1 DV$2 DV$3) . #2#)
             (LETT $ (GETREFV 88) . #2#)
             (QSETREFV $ 0 |dv$|)
             (QSETREFV $ 3
                 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #2#))
             (|haddProp| |$ConstructorCache| '|CliffordAlgebra|
                 (LIST DV$1 DV$2 DV$3) (CONS 1 $))
             (|stuffDomainSlots| $)
             (QSETREFV $ 6 |#1|)
             (QSETREFV $ 7 |#2|)
             (QSETREFV $ 8 |#3|)
             (QSETREFV $ 14
                 (PROGN
                   (LETT #0# NIL . #2#)
                   (SEQ (LETT |i| 1 . #2#) G190
                        (COND ((QSGREATERP |i| |#1|) (GO G191)))
                        (SEQ (EXIT (LETT #0#
                                    (CONS
                                     (SPADCALL |#3|
                                      (SPADCALL
                                       (PROG1 (LETT #1# |i| . #2#)
                                         (|check-subtype| (> #1# 0)
                                          '(|PositiveInteger|) #1#))
                                       (QREFELT $ 11))
                                      (QREFELT $ 13))
                                     #0#) . #2#)))
                        (LETT |i| (QSADD1 |i|) . #2#) (GO G190) G191
                        (EXIT (NREVERSE0 #0#)))))
             (QSETREFV $ 16 (SPADCALL 2 |#1| (QREFELT $ 15)))
             (QSETREFV $ 17 (|PrimitiveArray| |#2|))
             (QSETREFV $ 74 (|CLIF;powerSets| |#1| $))
             $))))) 

(MAKEPROP '|CliffordAlgebra| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|local| |#3|) (|PositiveInteger|) (|DirectProduct| 6 7)
             (0 . |unitVector|) (|QuadraticForm| 6 7) (5 . |elt|)
             '|Qeelist| (11 . **) '|dim| '|Rep| (|NonNegativeInteger|)
             (17 . |characteristic|) |CLIF;characteristic;Nni;1|
             (|CardinalNumber|) (21 . |coerce|) |CLIF;dimension;Cn;2|
             (|Boolean|) (26 . =) |CLIF;=;2$B;3| (32 . |Zero|)
             (36 . |new|) (42 . +) |CLIF;+;3$;4| (48 . -) |CLIF;-;3$;5|
             (54 . -) |CLIF;-;2$;6| (|Integer|) (59 . *) |CLIF;*;I2$;7|
             (65 . *) |CLIF;*;K2$;8|
             (CONS IDENTITY
                   (FUNCALL (|dispatchFunction| |CLIF;Zero;$;9|) $))
             (71 . |Zero|) (75 . |Zero|) (79 . |One|)
             (CONS IDENTITY
                   (FUNCALL (|dispatchFunction| |CLIF;One;$;10|) $))
             (83 . |coerce|) |CLIF;coerce;I$;11| |CLIF;coerce;K$;12|
             |CLIF;e;Pi$;13| (88 . |bit?|) (|List| 7) (94 . |elt|)
             |CLIF;*;3$;15| (|List| 9) (100 . |elt|) (106 . |setelt|)
             |CLIF;monomial;KL$;17| (113 . /) |CLIF;coefficient;$LK;18|
             (|OutputForm|) (119 . |coerce|) (124 . |coerce|)
             (129 . |sub|) (135 . *) (|Mapping| 59 59 59) (|List| 59)
             (141 . |reduce|) (147 . +) |CLIF;coerce;$Of;20|
             (|List| 53) (153 . |list|) (158 . |reverse|)
             (|Mapping| 53 53) (163 . |map|) '|Pn| (|List| 50)
             (|Matrix| 7) (169 . |matrix|) (|Vector| 7)
             (174 . |vector|) (|Union| 78 '"failed")
             (|LinearSystemMatrixPackage| 7 78 78 76)
             (179 . |particularSolution|) (185 . |parts|)
             (|Union| $ '"failed") |CLIF;recip;$U;23| (|SingleInteger|)
             (|String|))
          '#(~= 190 |zero?| 196 |subtractIfCan| 201 |sample| 207
             |recip| 211 |one?| 216 |monomial| 221 |latex| 227 |hash|
             232 |e| 237 |dimension| 242 |coerce| 246 |coefficient| 261
             |characteristic| 267 ^ 271 |Zero| 283 |One| 287 = 291 /
             297 - 303 + 314 ** 320 * 332)
          'NIL
          (CONS (|makeByteWordVec2| 1
                    '(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
                (CONS '#(|VectorSpace&| |Algebra&| |Module&| NIL
                         |Ring&| NIL NIL NIL NIL |AbelianGroup&| NIL
                         NIL |AbelianMonoid&| |Monoid&| NIL
                         |SemiGroup&| |AbelianSemiGroup&|
                         |SetCategory&| NIL |BasicType&| NIL)
                      (CONS '#((|VectorSpace| 7) (|Algebra| 7)
                               (|Module| 7) (|BiModule| 7 7) (|Ring|)
                               (|LeftModule| 7) (|RightModule| 7)
                               (|Rng|) (|LeftModule| $$)
                               (|AbelianGroup|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|AbelianMonoid|)
                               (|Monoid|) (|SemiRng|) (|SemiGroup|)
                               (|AbelianSemiGroup|) (|SetCategory|)
                               (|unitsKnown|) (|BasicType|)
                               (|CoercibleTo| 59))
                            (|makeByteWordVec2| 87
                                '(1 10 0 9 11 2 12 7 0 10 13 2 9 0 0 9
                                  15 0 7 18 19 1 21 0 18 22 2 7 24 0 0
                                  25 0 7 0 27 2 17 0 18 7 28 2 7 0 0 0
                                  29 2 7 0 0 0 31 1 7 0 0 33 2 7 0 35 0
                                  36 2 7 0 0 0 38 0 12 0 41 0 10 0 42 0
                                  7 0 43 1 7 0 35 45 2 35 24 0 0 49 2
                                  50 7 0 35 51 2 53 9 0 35 54 3 53 9 0
                                  35 9 55 2 7 0 0 0 57 1 7 59 0 60 1 18
                                  59 0 61 2 59 0 0 0 62 2 59 0 0 0 63 2
                                  65 59 64 0 66 2 59 0 0 0 67 1 69 0 53
                                  70 1 53 0 0 71 2 69 0 72 0 73 1 76 0
                                  75 77 1 78 0 50 79 2 81 80 76 78 82 1
                                  78 50 0 83 2 0 24 0 0 1 1 0 24 0 1 2
                                  0 84 0 0 1 0 0 0 1 1 0 84 0 85 1 0 24
                                  0 1 2 0 0 7 53 56 1 0 87 0 1 1 0 86 0
                                  1 1 0 0 9 48 0 0 21 23 1 0 0 7 47 1 0
                                  0 35 46 1 0 59 0 68 2 0 7 0 53 58 0 0
                                  18 20 2 0 0 0 18 1 2 0 0 0 9 1 0 0 0
                                  40 0 0 0 44 2 0 24 0 0 26 2 0 0 0 7 1
                                  2 0 0 0 0 32 1 0 0 0 34 2 0 0 0 0 30
                                  2 0 0 0 18 1 2 0 0 0 9 1 2 0 0 0 7 1
                                  2 0 0 7 0 39 2 0 0 0 0 52 2 0 0 35 0
                                  37 2 0 0 18 0 1 2 0 0 9 0 1)))))
          '|lookupComplete|)) 
