
(/VERSIONCHECK 2) 

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

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

(DEFUN |FramedNonAssociativeAlgebraFunctions2;| (|#1| |#2| |#3| |#4|)
  (PROG (DV$1 DV$2 DV$3 DV$4 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #0=(|FramedNonAssociativeAlgebraFunctions2|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT DV$3 (|devaluate| |#3|) . #0#)
        (LETT DV$4 (|devaluate| |#4|) . #0#)
        (LETT |dv$|
              (LIST '|FramedNonAssociativeAlgebraFunctions2| DV$1 DV$2
                    DV$3 DV$4) . #0#)
        (LETT $ (GETREFV 27) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|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|)) 
