1
2(SDEFUN |NARNG-;associator;4S;1| ((|x| S) (|y| S) (|z| S) ($ S))
3        (SPADCALL (SPADCALL (SPADCALL |x| |y| (QREFELT $ 7)) |z| (QREFELT $ 7))
4                  (SPADCALL |x| (SPADCALL |y| |z| (QREFELT $ 7)) (QREFELT $ 7))
5                  (QREFELT $ 8)))
6
7(SDEFUN |NARNG-;commutator;3S;2| ((|x| S) (|y| S) ($ S))
8        (SPADCALL (SPADCALL |x| |y| (QREFELT $ 7))
9                  (SPADCALL |y| |x| (QREFELT $ 7)) (QREFELT $ 8)))
10
11(DECLAIM (NOTINLINE |NonAssociativeRng&;|))
12
13(DEFUN |NonAssociativeRng&| (|#1|)
14  (SPROG ((|pv$| NIL) ($ NIL) (|dv$| NIL) (DV$1 NIL))
15         (PROGN
16          (LETT DV$1 (|devaluate| |#1|))
17          (LETT |dv$| (LIST '|NonAssociativeRng&| DV$1))
18          (LETT $ (GETREFV 11))
19          (QSETREFV $ 0 |dv$|)
20          (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL)))
21          (|stuffDomainSlots| $)
22          (QSETREFV $ 6 |#1|)
23          (SETF |pv$| (QREFELT $ 3))
24          $)))
25
26(MAKEPROP '|NonAssociativeRng&| '|infovec|
27          (LIST
28           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (0 . *) (6 . -)
29              |NARNG-;associator;4S;1| |NARNG-;commutator;3S;2|)
30           '#(|commutator| 12 |associator| 18) 'NIL
31           (CONS (|makeByteWordVec2| 1 '(0))
32                 (CONS '#(NIL)
33                       (CONS
34                        '#((|Join|
35                            (|mkCategory|
36                             (LIST '((|commutator| (|#1| |#1| |#1|)) T)
37                                   '((|associator| (|#1| |#1| |#1| |#1|)) T))
38                             (LIST) NIL NIL)))
39                        (|makeByteWordVec2| 10
40                                            '(2 6 0 0 0 7 2 6 0 0 0 8 2 0 0 0 0
41                                              10 3 0 0 0 0 0 9)))))
42           '|lookupComplete|))
43