diff options
Diffstat (limited to 'src/algebra/strap/SETAGG.lsp')
| -rw-r--r-- | src/algebra/strap/SETAGG.lsp | 84 |
1 files changed, 36 insertions, 48 deletions
diff --git a/src/algebra/strap/SETAGG.lsp b/src/algebra/strap/SETAGG.lsp index 88c198b3..c5ededb4 100644 --- a/src/algebra/strap/SETAGG.lsp +++ b/src/algebra/strap/SETAGG.lsp @@ -6,54 +6,42 @@ (DEFPARAMETER |SetAggregate;AL| 'NIL) (DEFUN |SetAggregate;| (|t#1|) - (PROG (#0=#:G1396) - (RETURN - (PROG1 (LETT #0# - (|sublisV| - (PAIR '(|t#1|) (LIST (|devaluate| |t#1|))) - (COND - (|SetAggregate;CAT|) - ('T - (LETT |SetAggregate;CAT| - (|Join| (|SetCategory|) - (|Collection| '|t#1|) - (|mkCategory| '|domain| - '(((|part?| ((|Boolean|) $ $)) - T) - ((|brace| ($)) T) - ((|brace| - ($ (|List| |t#1|))) - T) - ((|set| ($)) T) - ((|set| ($ (|List| |t#1|))) - T) - ((|intersect| ($ $ $)) T) - ((|difference| ($ $ $)) T) - ((|difference| ($ $ |t#1|)) - T) - ((|symmetricDifference| - ($ $ $)) - T) - ((|subset?| - ((|Boolean|) $ $)) - T) - ((|union| ($ $ $)) T) - ((|union| ($ $ |t#1|)) T) - ((|union| ($ |t#1| $)) T)) - '((|partiallyOrderedSet| T)) - '((|Boolean|) (|List| |t#1|)) - NIL)) - . #1=(|SetAggregate|))))) . #1#) - (|setShellEntry| #0# 0 - (LIST '|SetAggregate| (|devaluate| |t#1|))))))) + (LET ((#0=#:G1396 + (|sublisV| (PAIR '(|t#1|) (LIST (|devaluate| |t#1|))) + (COND + (|SetAggregate;CAT|) + ('T + (LETT |SetAggregate;CAT| + (|Join| (|SetCategory|) (|Collection| '|t#1|) + (|mkCategory| '|domain| + '(((|part?| ((|Boolean|) $ $)) T) + ((|brace| ($)) T) + ((|brace| ($ (|List| |t#1|))) T) + ((|set| ($)) T) + ((|set| ($ (|List| |t#1|))) T) + ((|intersect| ($ $ $)) T) + ((|difference| ($ $ $)) T) + ((|difference| ($ $ |t#1|)) T) + ((|symmetricDifference| ($ $ $)) + T) + ((|subset?| ((|Boolean|) $ $)) + T) + ((|union| ($ $ $)) T) + ((|union| ($ $ |t#1|)) T) + ((|union| ($ |t#1| $)) T)) + '((|partiallyOrderedSet| T)) + '((|Boolean|) (|List| |t#1|)) NIL)) + |SetAggregate|)))))) + (|setShellEntry| #0# 0 (LIST '|SetAggregate| (|devaluate| |t#1|))) + #0#)) (DEFUN |SetAggregate| (#0=#:G1397) - (LET (#1=#:G1398) + (LET ((#1=#:G1398 (|assoc| (|devaluate| #0#) |SetAggregate;AL|))) (COND - ((SETQ #1# (|assoc| (|devaluate| #0#) |SetAggregate;AL|)) - (CDR #1#)) - (T (SETQ |SetAggregate;AL| - (|cons5| (CONS (|devaluate| #0#) - (SETQ #1# (|SetAggregate;| #0#))) - |SetAggregate;AL|)) - #1#)))) + (#1# (CDR #1#)) + (T (PROGN + (SETQ #1# (|SetAggregate;| #0#)) + (SETQ |SetAggregate;AL| + (|cons5| (CONS (|devaluate| #0#) #1#) + |SetAggregate;AL|)) + #1#))))) |