
(/VERSIONCHECK 2) 

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

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

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

(DEFUN |FRNAALG-;leftUnit;U;4| ($)
  (PROG (|res| #0=#:G1876)
    (RETURN
      (SEQ (LETT |res| (|FRNAALG-;leftUnitsInternal| $)
                 . #1=(|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 #0# (QCAR |res|) . #1#)
                                     (QCDR #0#)
                                (|check-union| (QEQCAR #0# 0)
                                    (|Vector| (QREFELT $ 7)) #0#))
                              (QREFELT $ 72)))))))))) 

(DEFUN |FRNAALG-;leftUnits;U;5| ($)
  (PROG (|res| #0=#:G1890)
    (RETURN
      (SEQ (LETT |res| (|FRNAALG-;leftUnitsInternal| $)
                 . #1=(|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 #0# (QCAR |res|) . #1#)
                                     (QCDR #0#)
                                      (|check-union| (QEQCAR #0# 0)
                                       (|Vector| (QREFELT $ 7)) #0#))
                                    (QREFELT $ 72))
                                (SPADCALL (ELT $ 72) (QCDR |res|)
                                    (QREFELT $ 79))))))))))) 

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

(DEFUN |FRNAALG-;rightUnit;U;7| ($)
  (PROG (|res| #0=#:G1912)
    (RETURN
      (SEQ (LETT |res| (|FRNAALG-;rightUnitsInternal| $)
                 . #1=(|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 #0# (QCAR |res|) . #1#)
                                     (QCDR #0#)
                                (|check-union| (QEQCAR #0# 0)
                                    (|Vector| (QREFELT $ 7)) #0#))
                              (QREFELT $ 72)))))))))) 

(DEFUN |FRNAALG-;rightUnits;U;8| ($)
  (PROG (|res| #0=#:G1923)
    (RETURN
      (SEQ (LETT |res| (|FRNAALG-;rightUnitsInternal| $)
                 . #1=(|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 #0# (QCAR |res|) . #1#)
                                     (QCDR #0#)
                                      (|check-union| (QEQCAR #0# 0)
                                       (|Vector| (QREFELT $ 7)) #0#))
                                    (QREFELT $ 72))
                                (SPADCALL (ELT $ 72) (QCDR |res|)
                                    (QREFELT $ 79))))))))))) 

(DEFUN |FRNAALG-;unit;U;9| ($)
  (PROG (|n| |b| |gamma| |cond| |rhs| |u| |k| |i| |z| |addOn| |j| |res|
             #0=#:G1938)
    (RETURN
      (SEQ (LETT |n| (SPADCALL (QREFELT $ 9))
                 . #1=(|FRNAALG-;unit;U;9|))
           (LETT |b| (SPADCALL (QREFELT $ 11)) . #1#)
           (LETT |gamma| (SPADCALL |b| (QREFELT $ 13)) . #1#)
           (LETT |cond|
                 (SPADCALL (* 2 (SPADCALL |n| 2 (QREFELT $ 55))) |n|
                     (|spadConstant| $ 56) (QREFELT $ 58)) . #1#)
           (LETT |rhs|
                 (SPADCALL (* 2 (SPADCALL |n| 2 (QREFELT $ 55)))
                     (|spadConstant| $ 56) (QREFELT $ 60)) . #1#)
           (LETT |z| 0 . #1#) (LETT |u| (* |n| |n|) . #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))
                                     (SPADCALL |rhs| |u| |addOn|
                                      (QREFELT $ 61))
                                     (EXIT
                                      (SEQ (LETT |j| 1 . #1#) G190
                                       (COND
                                         ((QSGREATERP |j| |n|) #2#))
                                       (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|) . #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))
           (LETT |res| (SPADCALL |cond| |rhs| (QREFELT $ 68)) . #1#)
           (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 #0# (QCAR |res|) . #1#)
                                     (QCDR #0#)
                                (|check-union| (QEQCAR #0# 0)
                                    (|Vector| (QREFELT $ 7)) #0#))
                              (QREFELT $ 72)))))))))) 

(DEFUN |FRNAALG-;apply;M2S;10| (|m| |a| $)
  (PROG (|v|)
    (RETURN
      (SEQ (LETT |v| (SPADCALL |a| (QREFELT $ 86))
                 . #0=(|FRNAALG-;apply;M2S;10|))
           (LETT |v| (SPADCALL |m| |v| (QREFELT $ 87)) . #0#)
           (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 (|m| |j| |i| #0=#:G1960)
    (RETURN
      (SEQ (LETT |m|
                 (SPADCALL (QVSIZE |v|) (SPADCALL (QREFELT $ 9))
                     (|spadConstant| $ 56) (QREFELT $ 58))
                 . #1=(|FRNAALG-;coordinates;VM;23|))
           (SEQ (LETT |j| (SPADCALL |m| (QREFELT $ 115)) . #1#)
                (LETT |i| (SPADCALL |v| (QREFELT $ 114)) . #1#)
                (LETT #0# (QVSIZE |v|) . #1#) G190
                (COND ((> |i| #0#) (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) . #1#)) . #1#)
                (GO G190) G191 (EXIT NIL))
           (EXIT |m|))))) 

(DEFUN |FramedNonAssociativeAlgebra&| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #0=(|FramedNonAssociativeAlgebra&|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT |dv$|
              (LIST '|FramedNonAssociativeAlgebra&| DV$1 DV$2) . #0#)
        (LETT $ (GETREFV 118) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#2| '(|Field|)))) . #0#))
        (|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| $ '"failed")
             (216 . |leftUnit|) (|List| 6) (|Mapping| 6 59) (|List| 59)
             (|ListFunctions2| 59 6) (220 . |map|)
             (|Record| (|:| |particular| $) (|:| |basis| (|List| $)))
             (|Union| 80 '"failed") (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|)) 
