
(/VERSIONCHECK 2) 

(DEFUN |FRNAAF2;map;MARAS;1| (|fn| |u| $)
  (PROG (#1=#:G669 |i| #2=#:G668 #3=#:G667 |ba| |vs| |vr|)
    (RETURN
     (SEQ
      (COND
       ((< (SPADCALL (QREFELT $ 11)) (SPADCALL (QREFELT $ 12)))
        (|error| "map: ranks of algebras do not fit"))
       (#4='T
        (SEQ
         (LETT |vr| (SPADCALL |u| (QREFELT $ 14)) . #5=(|FRNAAF2;map;MARAS;1|))
         (LETT |vs| (SPADCALL |fn| |vr| (QREFELT $ 18)) . #5#)
         (EXIT
          (COND
           ((EQL (SPADCALL (QREFELT $ 12)) (SPADCALL (QREFELT $ 11)))
            (SPADCALL |vs| (QREFELT $ 19)))
           (#4#
            (SEQ (LETT |ba| (SPADCALL (QREFELT $ 21)) . #5#)
                 (EXIT
                  (SPADCALL |vs|
                            (PROGN
                             (LETT #3# (GETREFV #6=(SPADCALL (QREFELT $ 12)))
                                   . #5#)
                             (SEQ (LETT #2# 0 . #5#) (LETT |i| 1 . #5#)
                                  (LETT #1# #6# . #5#) G190
                                  (COND ((QSGREATERP |i| #1#) (GO G191)))
                                  (SEQ
                                   (EXIT
                                    (SETELT #3# #2#
                                            (SPADCALL |ba| |i|
                                                      (QREFELT $ 24)))))
                                  (LETT |i|
                                        (PROG1 (QSADD1 |i|)
                                          (LETT #2# (QSADD1 #2#) . #5#))
                                        . #5#)
                                  (GO G190) G191 (EXIT NIL))
                             #3#)
                            (QREFELT $ 25)))))))))))))) 

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

(DEFUN |FramedNonAssociativeAlgebraFunctions2;| (|#1| |#2| |#3| |#4|)
  (PROG (|pv$| $ |dv$| DV$4 DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|)
            . #1=(|FramedNonAssociativeAlgebraFunctions2|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT DV$3 (|devaluate| |#3|) . #1#)
      (LETT DV$4 (|devaluate| |#4|) . #1#)
      (LETT |dv$|
            (LIST '|FramedNonAssociativeAlgebraFunctions2| DV$1 DV$2 DV$3 DV$4)
            . #1#)
      (LETT $ (GETREFV 27) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|FramedNonAssociativeAlgebraFunctions2|
                  (LIST DV$1 DV$2 DV$3 DV$4) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (QSETREFV $ 9 |#4|)
      $)))) 

(MAKEPROP '|FramedNonAssociativeAlgebraFunctions2| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (|local| |#3|) (|local| |#4|) (|PositiveInteger|) (0 . |rank|)
              (4 . |rank|) (|Vector| 7) (8 . |coordinates|) (|Vector| 9)
              (|Mapping| 9 7) (|VectorFunctions2| 7 9) (13 . |map|)
              (19 . |represents|) (|Vector| $) (24 . |basis|) (|Integer|)
              (|Vector| 8) (28 . |elt|) (34 . |represents|)
              |FRNAAF2;map;MARAS;1|)
           '#(|map| 40) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 26
                                                 '(0 8 10 11 0 6 10 12 1 6 13 0
                                                   14 2 17 15 16 13 18 1 8 0 15
                                                   19 0 8 20 21 2 23 8 0 22 24
                                                   2 8 0 15 20 25 2 0 8 16 6
                                                   26)))))
           '|lookupComplete|)) 
