
(/VERSIONCHECK 2) 

(DEFUN |FRNAALG-;leftRankPolynomial;Sup;1| ($)
  (PROG (|res| |i| |vectorOfCoef| |cond| |y| |k| |x| #1=#:G697 #2=#:G696
         #3=#:G695 |genGamma| |mo| |symbolsForCoef| #4=#:G694 #5=#:G693
         #6=#:G692 |listOfNumbers| |q| #7=#:G691 |gamma| |b| |n|)
    (RETURN
     (SEQ
      (LETT |n| (SPADCALL (QREFELT $ 9))
            . #8=(|FRNAALG-;leftRankPolynomial;Sup;1|))
      (LETT |b| (SPADCALL (QREFELT $ 11)) . #8#)
      (LETT |gamma| (SPADCALL |b| (QREFELT $ 13)) . #8#)
      (LETT |listOfNumbers|
            (PROGN
             (LETT #7# NIL . #8#)
             (SEQ (LETT |q| 1 . #8#) G190
                  (COND ((QSGREATERP |q| |n|) #9=(GO G191)))
                  (SEQ (EXIT (LETT #7# (CONS (STRINGIMAGE |q|) #7#) . #8#)))
                  (LETT |q| (QSADD1 |q|) . #8#) #10=(GO G190) G191
                  (EXIT (NREVERSE0 #7#))))
            . #8#)
      (LETT |symbolsForCoef|
            (PROGN
             (LETT #6# (GETREFV (SIZE |listOfNumbers|)) . #8#)
             (SEQ (LETT #5# 0 . #8#) (LETT |i| NIL . #8#)
                  (LETT #4# |listOfNumbers| . #8#) G190
                  (COND
                   ((OR (ATOM #4#) (PROGN (LETT |i| (CAR #4#) . #8#) NIL))
                    #9#))
                  (SEQ
                   (EXIT
                    (SETELT #6# #5#
                            (SPADCALL (STRCONC "%" (STRCONC "x" |i|))
                                      (QREFELT $ 16)))))
                  (LETT #4# (PROG1 (CDR #4#) (LETT #5# (QSADD1 #5#) . #8#))
                        . #8#)
                  #10# G191 (EXIT NIL))
             #6#)
            . #8#)
      (LETT |x| (SPADCALL 1 |n| (|spadConstant| $ 21) (QREFELT $ 24)) . #8#)
      (SEQ (LETT |i| 1 . #8#) G190 (COND ((QSGREATERP |i| |n|) #9#))
           (SEQ
            (LETT |mo|
                  (SPADCALL (|spadConstant| $ 25)
                            (LIST
                             (SPADCALL |symbolsForCoef| |i| (QREFELT $ 28)))
                            (LIST 1) (QREFELT $ 31))
                  . #8#)
            (EXIT (SPADCALL |x| 1 |i| |mo| (QREFELT $ 32))))
           (LETT |i| (QSADD1 |i|) . #8#) #10# G191 (EXIT NIL))
      (LETT |y| (SPADCALL |x| (QREFELT $ 33)) . #8#) (LETT |k| 1 . #8#)
      (LETT |cond| (SPADCALL |x| (QREFELT $ 33)) . #8#)
      (LETT |genGamma| (SPADCALL |gamma| (QREFELT $ 36)) . #8#)
      (LETT |x|
            (SPADCALL (ELT $ 37)
                      (PROGN
                       (LETT #3# (GETREFV #11=(QVSIZE |genGamma|)) . #8#)
                       (SEQ (LETT #2# 0 . #8#) (LETT |i| 1 . #8#)
                            (LETT #1# #11# . #8#) G190
                            (COND ((QSGREATERP |i| #1#) #9#))
                            (SEQ
                             (EXIT
                              (SETELT #3# #2#
                                      (SPADCALL |x|
                                                (SPADCALL |genGamma| |i|
                                                          (QREFELT $ 38))
                                                (QREFELT $ 39)))))
                            (LETT |i|
                                  (PROG1 (QSADD1 |i|)
                                    (LETT #2# (QSADD1 #2#) . #8#))
                                  . #8#)
                            #10# G191 (EXIT NIL))
                       #3#)
                      (QREFELT $ 41))
            . #8#)
      (SEQ G190 (COND ((NULL (EQL (SPADCALL |cond| (QREFELT $ 42)) |k|)) #9#))
           (SEQ (LETT |k| (+ |k| 1) . #8#)
                (SEQ (LETT |i| 1 . #8#) G190 (COND ((QSGREATERP |i| |n|) #9#))
                     (SEQ
                      (EXIT
                       (SPADCALL |xx| (LIST 1) (LIST |i|)
                                 (SPADCALL |x| (SPADCALL |y| (QREFELT $ 43))
                                           (QREFELT $ 39))
                                 (QREFELT $ 45))))
                     (LETT |i| (QSADD1 |i|) . #8#) #10# G191 (EXIT NIL))
                (LETT |y| (SPADCALL |xx| (QREFELT $ 33)) . #8#)
                (EXIT
                 (LETT |cond| (SPADCALL |cond| |xx| (QREFELT $ 37)) . #8#)))
           NIL #10# G191 (EXIT NIL))
      (LETT |vectorOfCoef| (|SPADfirst| (SPADCALL |cond| (QREFELT $ 47)))
            . #8#)
      (LETT |res| (|spadConstant| $ 48) . #8#)
      (SEQ (LETT |i| 1 . #8#) G190 (COND ((QSGREATERP |i| |k|) #9#))
           (SEQ
            (EXIT
             (LETT |res|
                   (SPADCALL |res|
                             (SPADCALL
                              (SPADCALL |vectorOfCoef| |i| (QREFELT $ 50)) |i|
                              (QREFELT $ 51))
                             (QREFELT $ 52))
                   . #8#)))
           (LETT |i| (QSADD1 |i|) . #8#) #10# G191 (EXIT NIL))
      (EXIT |res|))))) 

(DEFUN |FRNAALG-;rightRankPolynomial;Sup;2| ($)
  (PROG (|res| |i| |vectorOfCoef| |cond| |y| |k| |x| #1=#:G715 #2=#:G714
         #3=#:G713 |genGamma| |mo| |symbolsForCoef| #4=#:G712 #5=#:G711
         #6=#:G710 |listOfNumbers| |q| #7=#:G709 |gamma| |b| |n|)
    (RETURN
     (SEQ
      (LETT |n| (SPADCALL (QREFELT $ 9))
            . #8=(|FRNAALG-;rightRankPolynomial;Sup;2|))
      (LETT |b| (SPADCALL (QREFELT $ 11)) . #8#)
      (LETT |gamma| (SPADCALL |b| (QREFELT $ 13)) . #8#)
      (LETT |listOfNumbers|
            (PROGN
             (LETT #7# NIL . #8#)
             (SEQ (LETT |q| 1 . #8#) G190
                  (COND ((QSGREATERP |q| |n|) #9=(GO G191)))
                  (SEQ (EXIT (LETT #7# (CONS (STRINGIMAGE |q|) #7#) . #8#)))
                  (LETT |q| (QSADD1 |q|) . #8#) #10=(GO G190) G191
                  (EXIT (NREVERSE0 #7#))))
            . #8#)
      (LETT |symbolsForCoef|
            (PROGN
             (LETT #6# (GETREFV (SIZE |listOfNumbers|)) . #8#)
             (SEQ (LETT #5# 0 . #8#) (LETT |i| NIL . #8#)
                  (LETT #4# |listOfNumbers| . #8#) G190
                  (COND
                   ((OR (ATOM #4#) (PROGN (LETT |i| (CAR #4#) . #8#) NIL))
                    #9#))
                  (SEQ
                   (EXIT
                    (SETELT #6# #5#
                            (SPADCALL (STRCONC "%" (STRCONC "x" |i|))
                                      (QREFELT $ 16)))))
                  (LETT #4# (PROG1 (CDR #4#) (LETT #5# (QSADD1 #5#) . #8#))
                        . #8#)
                  #10# G191 (EXIT NIL))
             #6#)
            . #8#)
      (LETT |x| (SPADCALL 1 |n| (|spadConstant| $ 21) (QREFELT $ 24)) . #8#)
      (SEQ (LETT |i| 1 . #8#) G190 (COND ((QSGREATERP |i| |n|) #9#))
           (SEQ
            (LETT |mo|
                  (SPADCALL (|spadConstant| $ 25)
                            (LIST
                             (SPADCALL |symbolsForCoef| |i| (QREFELT $ 28)))
                            (LIST 1) (QREFELT $ 31))
                  . #8#)
            (EXIT (SPADCALL |x| 1 |i| |mo| (QREFELT $ 32))))
           (LETT |i| (QSADD1 |i|) . #8#) #10# G191 (EXIT NIL))
      (LETT |y| (SPADCALL |x| (QREFELT $ 33)) . #8#) (LETT |k| 1 . #8#)
      (LETT |cond| (SPADCALL |x| (QREFELT $ 33)) . #8#)
      (LETT |genGamma| (SPADCALL |gamma| (QREFELT $ 36)) . #8#)
      (LETT |x|
            (SPADCALL (ELT $ 37)
                      (PROGN
                       (LETT #3# (GETREFV #11=(QVSIZE |genGamma|)) . #8#)
                       (SEQ (LETT #2# 0 . #8#) (LETT |i| 1 . #8#)
                            (LETT #1# #11# . #8#) G190
                            (COND ((QSGREATERP |i| #1#) #9#))
                            (SEQ
                             (EXIT
                              (SETELT #3# #2#
                                      (SPADCALL
                                       (SPADCALL |genGamma| |i| (QREFELT $ 38))
                                       (SPADCALL |x| (QREFELT $ 43))
                                       (QREFELT $ 39)))))
                            (LETT |i|
                                  (PROG1 (QSADD1 |i|)
                                    (LETT #2# (QSADD1 #2#) . #8#))
                                  . #8#)
                            #10# G191 (EXIT NIL))
                       #3#)
                      (QREFELT $ 41))
            . #8#)
      (SEQ G190 (COND ((NULL (EQL (SPADCALL |cond| (QREFELT $ 42)) |k|)) #9#))
           (SEQ (LETT |k| (+ |k| 1) . #8#)
                (SEQ (LETT |i| 1 . #8#) G190 (COND ((QSGREATERP |i| |n|) #9#))
                     (SEQ
                      (EXIT
                       (SPADCALL |xx| (LIST 1) (LIST |i|)
                                 (SPADCALL |y| (SPADCALL |x| (QREFELT $ 43))
                                           (QREFELT $ 39))
                                 (QREFELT $ 45))))
                     (LETT |i| (QSADD1 |i|) . #8#) #10# G191 (EXIT NIL))
                (LETT |y| (SPADCALL |xx| (QREFELT $ 33)) . #8#)
                (EXIT
                 (LETT |cond| (SPADCALL |cond| |xx| (QREFELT $ 37)) . #8#)))
           NIL #10# G191 (EXIT NIL))
      (LETT |vectorOfCoef| (|SPADfirst| (SPADCALL |cond| (QREFELT $ 47)))
            . #8#)
      (LETT |res| (|spadConstant| $ 48) . #8#)
      (SEQ (LETT |i| 1 . #8#) G190 (COND ((QSGREATERP |i| |k|) #9#))
           (SEQ
            (EXIT
             (LETT |res|
                   (SPADCALL |res|
                             (SPADCALL
                              (SPADCALL |vectorOfCoef| |i| (QREFELT $ 50)) |i|
                              (QREFELT $ 51))
                             (QREFELT $ 52))
                   . #8#)))
           (LETT |i| (QSADD1 |i|) . #8#) #10# G191 (EXIT NIL))
      (EXIT |res|))))) 

(DEFUN |FRNAALG-;leftUnitsInternal| ($)
  (PROG (|j| |addOn| |z| |i| |k| |rhs| |cond| |gamma| |b| |n|)
    (RETURN
     (SEQ
      (LETT |n| (SPADCALL (QREFELT $ 9)) . #1=(|FRNAALG-;leftUnitsInternal|))
      (LETT |b| (SPADCALL (QREFELT $ 11)) . #1#)
      (LETT |gamma| (SPADCALL |b| (QREFELT $ 13)) . #1#)
      (LETT |cond|
            (SPADCALL (SPADCALL |n| 2 (QREFELT $ 55)) |n| (|spadConstant| $ 56)
                      (QREFELT $ 58))
            . #1#)
      (LETT |rhs|
            (SPADCALL (SPADCALL |n| 2 (QREFELT $ 55)) (|spadConstant| $ 56)
                      (QREFELT $ 60))
            . #1#)
      (LETT |z| 0 . #1#) (LETT |addOn| (|spadConstant| $ 56) . #1#)
      (SEQ (LETT |k| 1 . #1#) G190 (COND ((QSGREATERP |k| |n|) #2=(GO G191)))
           (SEQ
            (EXIT
             (SEQ (LETT |i| 1 . #1#) G190 (COND ((QSGREATERP |i| |n|) #2#))
                  (SEQ (LETT |z| (+ |z| 1) . #1#)
                       (LETT |addOn|
                             (COND ((EQL |k| |i|) (|spadConstant| $ 17))
                                   ('T (|spadConstant| $ 56)))
                             . #1#)
                       (SPADCALL |rhs| |z| |addOn| (QREFELT $ 61))
                       (EXIT
                        (SEQ (LETT |j| 1 . #1#) G190
                             (COND ((QSGREATERP |j| |n|) #2#))
                             (SEQ
                              (EXIT
                               (SPADCALL |cond| |z| |j|
                                         (SPADCALL
                                          (SPADCALL |gamma| |k| (QREFELT $ 62))
                                          |j| |i| (QREFELT $ 63))
                                         (QREFELT $ 64))))
                             (LETT |j| (QSADD1 |j|) . #1#) #3=(GO G190) G191
                             (EXIT NIL))))
                  (LETT |i| (QSADD1 |i|) . #1#) #3# G191 (EXIT NIL))))
           (LETT |k| (QSADD1 |k|) . #1#) #3# G191 (EXIT NIL))
      (EXIT (SPADCALL |cond| |rhs| (QREFELT $ 68))))))) 

(DEFUN |FRNAALG-;leftUnit;U;4| ($)
  (PROG (#1=#:G732 |res|)
    (RETURN
     (SEQ
      (LETT |res| (|FRNAALG-;leftUnitsInternal| $)
            . #2=(|FRNAALG-;leftUnit;U;4|))
      (EXIT
       (COND
        ((QEQCAR (QCAR |res|) 1)
         (SEQ (SPADCALL "this algebra has no left unit" (QREFELT $ 71))
              (EXIT (CONS 1 "failed"))))
        ('T
         (CONS 0
               (SPADCALL
                (PROG2
                    (LETT #1# (QCAR |res|) . #2#)
                    (QCDR #1#)
                  (|check-union| (QEQCAR #1# 0) (|Vector| (QREFELT $ 7)) #1#))
                (QREFELT $ 72)))))))))) 

(DEFUN |FRNAALG-;leftUnits;U;5| ($)
  (PROG (#1=#:G746 |res|)
    (RETURN
     (SEQ
      (LETT |res| (|FRNAALG-;leftUnitsInternal| $)
            . #2=(|FRNAALG-;leftUnits;U;5|))
      (EXIT
       (COND
        ((QEQCAR (QCAR |res|) 1)
         (SEQ (SPADCALL "this algebra has no left unit" (QREFELT $ 71))
              (EXIT (CONS 1 "failed"))))
        ('T
         (CONS 0
               (CONS
                (SPADCALL
                 (PROG2
                     (LETT #1# (QCAR |res|) . #2#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0) (|Vector| (QREFELT $ 7)) #1#))
                 (QREFELT $ 72))
                (SPADCALL (ELT $ 72) (QCDR |res|) (QREFELT $ 79))))))))))) 

(DEFUN |FRNAALG-;rightUnitsInternal| ($)
  (PROG (|j| |addOn| |z| |i| |k| |rhs| |condo| |gamma| |b| |n|)
    (RETURN
     (SEQ
      (LETT |n| (SPADCALL (QREFELT $ 9)) . #1=(|FRNAALG-;rightUnitsInternal|))
      (LETT |b| (SPADCALL (QREFELT $ 11)) . #1#)
      (LETT |gamma| (SPADCALL |b| (QREFELT $ 13)) . #1#)
      (LETT |condo|
            (SPADCALL (SPADCALL |n| 2 (QREFELT $ 55)) |n| (|spadConstant| $ 56)
                      (QREFELT $ 58))
            . #1#)
      (LETT |rhs|
            (SPADCALL (SPADCALL |n| 2 (QREFELT $ 55)) (|spadConstant| $ 56)
                      (QREFELT $ 60))
            . #1#)
      (LETT |z| 0 . #1#) (LETT |addOn| (|spadConstant| $ 56) . #1#)
      (SEQ (LETT |k| 1 . #1#) G190 (COND ((QSGREATERP |k| |n|) #2=(GO G191)))
           (SEQ
            (EXIT
             (SEQ (LETT |i| 1 . #1#) G190 (COND ((QSGREATERP |i| |n|) #2#))
                  (SEQ (LETT |z| (+ |z| 1) . #1#)
                       (LETT |addOn|
                             (COND ((EQL |k| |i|) (|spadConstant| $ 17))
                                   ('T (|spadConstant| $ 56)))
                             . #1#)
                       (SPADCALL |rhs| |z| |addOn| (QREFELT $ 61))
                       (EXIT
                        (SEQ (LETT |j| 1 . #1#) G190
                             (COND ((QSGREATERP |j| |n|) #2#))
                             (SEQ
                              (EXIT
                               (SPADCALL |condo| |z| |j|
                                         (SPADCALL
                                          (SPADCALL |gamma| |k| (QREFELT $ 62))
                                          |i| |j| (QREFELT $ 63))
                                         (QREFELT $ 64))))
                             (LETT |j| (QSADD1 |j|) . #1#) #3=(GO G190) G191
                             (EXIT NIL))))
                  (LETT |i| (QSADD1 |i|) . #1#) #3# G191 (EXIT NIL))))
           (LETT |k| (QSADD1 |k|) . #1#) #3# G191 (EXIT NIL))
      (EXIT (SPADCALL |condo| |rhs| (QREFELT $ 68))))))) 

(DEFUN |FRNAALG-;rightUnit;U;7| ($)
  (PROG (#1=#:G768 |res|)
    (RETURN
     (SEQ
      (LETT |res| (|FRNAALG-;rightUnitsInternal| $)
            . #2=(|FRNAALG-;rightUnit;U;7|))
      (EXIT
       (COND
        ((QEQCAR (QCAR |res|) 1)
         (SEQ (SPADCALL "this algebra has no right unit" (QREFELT $ 71))
              (EXIT (CONS 1 "failed"))))
        ('T
         (CONS 0
               (SPADCALL
                (PROG2
                    (LETT #1# (QCAR |res|) . #2#)
                    (QCDR #1#)
                  (|check-union| (QEQCAR #1# 0) (|Vector| (QREFELT $ 7)) #1#))
                (QREFELT $ 72)))))))))) 

(DEFUN |FRNAALG-;rightUnits;U;8| ($)
  (PROG (#1=#:G779 |res|)
    (RETURN
     (SEQ
      (LETT |res| (|FRNAALG-;rightUnitsInternal| $)
            . #2=(|FRNAALG-;rightUnits;U;8|))
      (EXIT
       (COND
        ((QEQCAR (QCAR |res|) 1)
         (SEQ (SPADCALL "this algebra has no right unit" (QREFELT $ 71))
              (EXIT (CONS 1 "failed"))))
        ('T
         (CONS 0
               (CONS
                (SPADCALL
                 (PROG2
                     (LETT #1# (QCAR |res|) . #2#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0) (|Vector| (QREFELT $ 7)) #1#))
                 (QREFELT $ 72))
                (SPADCALL (ELT $ 72) (QCDR |res|) (QREFELT $ 79))))))))))) 

(DEFUN |FRNAALG-;unit;U;9| ($)
  (PROG (#1=#:G794 |res| |j| |addOn| |z| |i| |k| |u| |rhs| |cond| |gamma| |b|
         |n|)
    (RETURN
     (SEQ (LETT |n| (SPADCALL (QREFELT $ 9)) . #2=(|FRNAALG-;unit;U;9|))
          (LETT |b| (SPADCALL (QREFELT $ 11)) . #2#)
          (LETT |gamma| (SPADCALL |b| (QREFELT $ 13)) . #2#)
          (LETT |cond|
                (SPADCALL (* 2 (SPADCALL |n| 2 (QREFELT $ 55))) |n|
                          (|spadConstant| $ 56) (QREFELT $ 58))
                . #2#)
          (LETT |rhs|
                (SPADCALL (* 2 (SPADCALL |n| 2 (QREFELT $ 55)))
                          (|spadConstant| $ 56) (QREFELT $ 60))
                . #2#)
          (LETT |z| 0 . #2#) (LETT |u| (* |n| |n|) . #2#)
          (LETT |addOn| (|spadConstant| $ 56) . #2#)
          (SEQ (LETT |k| 1 . #2#) G190
               (COND ((QSGREATERP |k| |n|) #3=(GO G191)))
               (SEQ
                (EXIT
                 (SEQ (LETT |i| 1 . #2#) G190 (COND ((QSGREATERP |i| |n|) #3#))
                      (SEQ (LETT |z| (+ |z| 1) . #2#)
                           (LETT |addOn|
                                 (COND ((EQL |k| |i|) (|spadConstant| $ 17))
                                       ('T (|spadConstant| $ 56)))
                                 . #2#)
                           (SPADCALL |rhs| |z| |addOn| (QREFELT $ 61))
                           (SPADCALL |rhs| |u| |addOn| (QREFELT $ 61))
                           (EXIT
                            (SEQ (LETT |j| 1 . #2#) G190
                                 (COND ((QSGREATERP |j| |n|) #3#))
                                 (SEQ
                                  (SPADCALL |cond| |z| |j|
                                            (SPADCALL
                                             (SPADCALL |gamma| |k|
                                                       (QREFELT $ 62))
                                             |j| |i| (QREFELT $ 63))
                                            (QREFELT $ 64))
                                  (EXIT
                                   (SPADCALL |cond| |u| |j|
                                             (SPADCALL
                                              (SPADCALL |gamma| |k|
                                                        (QREFELT $ 62))
                                              |i| |j| (QREFELT $ 63))
                                             (QREFELT $ 64))))
                                 (LETT |j| (QSADD1 |j|) . #2#) #4=(GO G190)
                                 G191 (EXIT NIL))))
                      (LETT |i| (QSADD1 |i|) . #2#) #4# G191 (EXIT NIL))))
               (LETT |k| (QSADD1 |k|) . #2#) #4# G191 (EXIT NIL))
          (LETT |res| (SPADCALL |cond| |rhs| (QREFELT $ 68)) . #2#)
          (EXIT
           (COND
            ((QEQCAR (QCAR |res|) 1)
             (SEQ (SPADCALL "this algebra has no unit" (QREFELT $ 71))
                  (EXIT (CONS 1 "failed"))))
            ('T
             (CONS 0
                   (SPADCALL
                    (PROG2
                        (LETT #1# (QCAR |res|) . #2#)
                        (QCDR #1#)
                      (|check-union| (QEQCAR #1# 0) (|Vector| (QREFELT $ 7))
                                     #1#))
                    (QREFELT $ 72)))))))))) 

(DEFUN |FRNAALG-;apply;M2S;10| (|m| |a| $)
  (PROG (|v|)
    (RETURN
     (SEQ
      (LETT |v| (SPADCALL |a| (QREFELT $ 86)) . #1=(|FRNAALG-;apply;M2S;10|))
      (LETT |v| (SPADCALL |m| |v| (QREFELT $ 87)) . #1#)
      (EXIT (SPADCALL |v| (QREFELT $ 88))))))) 

(DEFUN |FRNAALG-;structuralConstants;V;11| ($)
  (SPADCALL (SPADCALL (QREFELT $ 11)) (QREFELT $ 13))) 

(DEFUN |FRNAALG-;conditionsForIdempotents;L;12| ($)
  (SPADCALL (SPADCALL (QREFELT $ 11)) (QREFELT $ 92))) 

(DEFUN |FRNAALG-;convert;SV;13| (|x| $)
  (SPADCALL |x| (SPADCALL (QREFELT $ 11)) (QREFELT $ 94))) 

(DEFUN |FRNAALG-;convert;VS;14| (|v| $)
  (SPADCALL |v| (SPADCALL (QREFELT $ 11)) (QREFELT $ 96))) 

(DEFUN |FRNAALG-;leftTraceMatrix;M;15| ($)
  (SPADCALL (SPADCALL (QREFELT $ 11)) (QREFELT $ 98))) 

(DEFUN |FRNAALG-;rightTraceMatrix;M;16| ($)
  (SPADCALL (SPADCALL (QREFELT $ 11)) (QREFELT $ 100))) 

(DEFUN |FRNAALG-;leftDiscriminant;R;17| ($)
  (SPADCALL (SPADCALL (QREFELT $ 11)) (QREFELT $ 102))) 

(DEFUN |FRNAALG-;rightDiscriminant;R;18| ($)
  (SPADCALL (SPADCALL (QREFELT $ 11)) (QREFELT $ 104))) 

(DEFUN |FRNAALG-;leftRegularRepresentation;SM;19| (|x| $)
  (SPADCALL |x| (SPADCALL (QREFELT $ 11)) (QREFELT $ 106))) 

(DEFUN |FRNAALG-;rightRegularRepresentation;SM;20| (|x| $)
  (SPADCALL |x| (SPADCALL (QREFELT $ 11)) (QREFELT $ 108))) 

(DEFUN |FRNAALG-;coordinates;VM;21| (|x| $)
  (SPADCALL |x| (SPADCALL (QREFELT $ 11)) (QREFELT $ 110))) 

(DEFUN |FRNAALG-;represents;VS;22| (|v| $)
  (SPADCALL |v| (SPADCALL (QREFELT $ 11)) (QREFELT $ 96))) 

(DEFUN |FRNAALG-;coordinates;VM;23| (|v| $)
  (PROG (#1=#:G816 |i| |j| |m|)
    (RETURN
     (SEQ
      (LETT |m|
            (SPADCALL (QVSIZE |v|) (SPADCALL (QREFELT $ 9))
                      (|spadConstant| $ 56) (QREFELT $ 58))
            . #2=(|FRNAALG-;coordinates;VM;23|))
      (SEQ (LETT |j| (SPADCALL |m| (QREFELT $ 115)) . #2#)
           (LETT |i| (SPADCALL |v| (QREFELT $ 114)) . #2#)
           (LETT #1# (QVSIZE |v|) . #2#) G190 (COND ((> |i| #1#) (GO G191)))
           (SEQ
            (EXIT
             (SPADCALL |m| |j|
                       (SPADCALL (SPADCALL |v| |i| (QREFELT $ 116))
                                 (QREFELT $ 86))
                       (QREFELT $ 117))))
           (LETT |i| (PROG1 (+ |i| 1) (LETT |j| (+ |j| 1) . #2#)) . #2#)
           (GO G190) G191 (EXIT NIL))
      (EXIT |m|))))) 

(DEFUN |FramedNonAssociativeAlgebra&| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|FramedNonAssociativeAlgebra&|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|FramedNonAssociativeAlgebra&| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 118) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#2| '(|Field|))))
                      . #1#))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (COND
       ((|testBitVector| |pv$| 1)
        (PROGN
         (QSETREFV $ 53
                   (CONS
                    (|dispatchFunction| |FRNAALG-;leftRankPolynomial;Sup;1|)
                    $))
         (QSETREFV $ 54
                   (CONS
                    (|dispatchFunction| |FRNAALG-;rightRankPolynomial;Sup;2|)
                    $))
         NIL
         (QSETREFV $ 74 (CONS (|dispatchFunction| |FRNAALG-;leftUnit;U;4|) $))
         (QSETREFV $ 82 (CONS (|dispatchFunction| |FRNAALG-;leftUnits;U;5|) $))
         NIL
         (QSETREFV $ 83 (CONS (|dispatchFunction| |FRNAALG-;rightUnit;U;7|) $))
         (QSETREFV $ 84
                   (CONS (|dispatchFunction| |FRNAALG-;rightUnits;U;8|) $))
         (QSETREFV $ 85 (CONS (|dispatchFunction| |FRNAALG-;unit;U;9|) $)))))
      $)))) 

(MAKEPROP '|FramedNonAssociativeAlgebra&| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (|PositiveInteger|) (0 . |rank|) (|Vector| $) (4 . |basis|)
              (|Vector| 57) (8 . |structuralConstants|) (|String|) (|Symbol|)
              (13 . |coerce|) (18 . |One|) (|SparseUnivariatePolynomial| 20)
              (22 . |One|) (|Polynomial| 7) (26 . |Zero|)
              (|NonNegativeInteger|) (|Matrix| 20) (30 . |new|) (37 . |One|)
              (|Integer|) (|Vector| 15) (41 . |elt|) (|List| 15) (|List| 22)
              (47 . |monomial|) (54 . |qsetelt!|) (62 . |copy|) (|Vector| 23)
              (|CoerceVectorMatrixPackage| 7) (67 . |coerceP|)
              (72 . |horizConcat|) (78 . |elt|) (84 . *) (|Mapping| 23 23 23)
              (90 . |reduce|) (96 . |rank|) (101 . |transpose|) (|List| 26)
              (106 . |setelt|) (|List| 49) (114 . |nullSpace|) (119 . |Zero|)
              (|Vector| 20) (123 . |elt|) (129 . |monomial|) (135 . +)
              (141 . |leftRankPolynomial|) (145 . |rightRankPolynomial|)
              (149 . ^) (155 . |Zero|) (|Matrix| 7) (159 . |new|) (|Vector| 7)
              (166 . |new|) (172 . |setelt|) (179 . |elt|) (185 . |elt|)
              (192 . |setelt|) (|Union| 59 '"failed")
              (|Record| (|:| |particular| 65) (|:| |basis| 77))
              (|LinearSystemMatrixPackage| 7 59 59 57) (200 . |solve|) (|Void|)
              (|OutputForm|) (206 . |messagePrint|) (211 . |represents|)
              (|Union| $ '#1="failed") (216 . |leftUnit|) (|List| 6)
              (|Mapping| 6 59) (|List| 59) (|ListFunctions2| 59 6)
              (220 . |map|)
              (|Record| (|:| |particular| $) (|:| |basis| (|List| $)))
              (|Union| 80 '#1#) (226 . |leftUnits|) (230 . |rightUnit|)
              (234 . |rightUnits|) (238 . |unit|) (242 . |coordinates|)
              (247 . *) (253 . |convert|) |FRNAALG-;apply;M2S;10|
              |FRNAALG-;structuralConstants;V;11| (|List| 20)
              (258 . |conditionsForIdempotents|)
              |FRNAALG-;conditionsForIdempotents;L;12| (263 . |coordinates|)
              |FRNAALG-;convert;SV;13| (269 . |represents|)
              |FRNAALG-;convert;VS;14| (275 . |leftTraceMatrix|)
              |FRNAALG-;leftTraceMatrix;M;15| (280 . |rightTraceMatrix|)
              |FRNAALG-;rightTraceMatrix;M;16| (285 . |leftDiscriminant|)
              |FRNAALG-;leftDiscriminant;R;17| (290 . |rightDiscriminant|)
              |FRNAALG-;rightDiscriminant;R;18|
              (295 . |leftRegularRepresentation|)
              |FRNAALG-;leftRegularRepresentation;SM;19|
              (301 . |rightRegularRepresentation|)
              |FRNAALG-;rightRegularRepresentation;SM;20| (307 . |coordinates|)
              |FRNAALG-;coordinates;VM;23| |FRNAALG-;represents;VS;22|
              (|Vector| 6) (313 . |minIndex|) (318 . |minRowIndex|)
              (323 . |qelt|) (329 . |setRow!|))
           '#(|unit| 336 |structuralConstants| 340 |rightUnits| 344 |rightUnit|
              348 |rightTraceMatrix| 352 |rightRegularRepresentation| 356
              |rightRankPolynomial| 361 |rightDiscriminant| 365 |represents|
              369 |leftUnits| 374 |leftUnit| 378 |leftTraceMatrix| 382
              |leftRegularRepresentation| 386 |leftRankPolynomial| 391
              |leftDiscriminant| 395 |coordinates| 399 |convert| 404
              |conditionsForIdempotents| 414 |apply| 418)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 117
                                                 '(0 6 8 9 0 6 10 11 1 6 12 10
                                                   13 1 15 0 14 16 0 7 0 17 0
                                                   18 0 19 0 20 0 21 3 23 0 22
                                                   22 20 24 0 20 0 25 2 27 15 0
                                                   26 28 3 20 0 0 29 30 31 4 23
                                                   20 0 26 26 20 32 1 23 0 0 33
                                                   1 35 34 12 36 2 23 0 0 0 37
                                                   2 34 23 0 26 38 2 23 0 0 0
                                                   39 2 34 23 40 0 41 1 23 22 0
                                                   42 1 23 0 0 43 4 23 0 0 44
                                                   44 0 45 1 23 46 0 47 0 18 0
                                                   48 2 49 20 0 26 50 2 18 0 20
                                                   22 51 2 18 0 0 0 52 0 0 18
                                                   53 0 0 18 54 2 8 0 0 8 55 0
                                                   7 0 56 3 57 0 22 22 7 58 2
                                                   59 0 22 7 60 3 59 7 0 26 7
                                                   61 2 12 57 0 26 62 3 57 7 0
                                                   26 26 63 4 57 7 0 26 26 7 64
                                                   2 67 66 57 59 68 1 70 69 14
                                                   71 1 6 0 59 72 0 0 73 74 2
                                                   78 75 76 77 79 0 0 81 82 0 0
                                                   73 83 0 0 81 84 0 0 73 85 1
                                                   6 59 0 86 2 57 59 0 59 87 1
                                                   6 0 59 88 1 6 91 10 92 2 6
                                                   59 0 10 94 2 6 0 59 10 96 1
                                                   6 57 10 98 1 6 57 10 100 1 6
                                                   7 10 102 1 6 7 10 104 2 6 57
                                                   0 10 106 2 6 57 0 10 108 2 6
                                                   57 10 10 110 1 113 26 0 114
                                                   1 57 26 0 115 2 113 6 0 26
                                                   116 3 57 0 0 26 59 117 0 0
                                                   73 85 0 0 12 90 0 0 81 84 0
                                                   0 73 83 0 0 57 101 1 0 57 0
                                                   109 0 0 18 54 0 0 7 105 1 0
                                                   0 59 112 0 0 81 82 0 0 73 74
                                                   0 0 57 99 1 0 57 0 107 0 0
                                                   18 53 0 0 7 103 1 0 57 10
                                                   111 1 0 0 59 97 1 0 59 0 95
                                                   0 0 91 93 2 0 0 57 0 89)))))
           '|lookupComplete|)) 
