diff options
Diffstat (limited to 'src/algebra/strap/HOAGG.lsp')
-rw-r--r-- | src/algebra/strap/HOAGG.lsp | 180 |
1 files changed, 79 insertions, 101 deletions
diff --git a/src/algebra/strap/HOAGG.lsp b/src/algebra/strap/HOAGG.lsp index 97d2ffb6..be929da3 100644 --- a/src/algebra/strap/HOAGG.lsp +++ b/src/algebra/strap/HOAGG.lsp @@ -6,107 +6,85 @@ (DEFPARAMETER |HomogeneousAggregate;AL| 'NIL) (DEFUN |HomogeneousAggregate;| (|t#1|) - (PROG (#0=#:G1397) - (RETURN - (PROG1 (LETT #0# - (|sublisV| - (PAIR '(|t#1|) (LIST (|devaluate| |t#1|))) - (COND - (|HomogeneousAggregate;CAT|) - ('T - (LETT |HomogeneousAggregate;CAT| - (|Join| (|Aggregate|) - (|mkCategory| '|domain| - '(((|map| - ($ (|Mapping| |t#1| |t#1|) - $)) - T) - ((|map!| - ($ (|Mapping| |t#1| |t#1|) - $)) - (|has| $ - (ATTRIBUTE - |shallowlyMutable|))) - ((|any?| - ((|Boolean|) - (|Mapping| (|Boolean|) - |t#1|) - $)) - (|has| $ - (ATTRIBUTE - |finiteAggregate|))) - ((|every?| - ((|Boolean|) - (|Mapping| (|Boolean|) - |t#1|) - $)) - (|has| $ - (ATTRIBUTE - |finiteAggregate|))) - ((|count| - ((|NonNegativeInteger|) - (|Mapping| (|Boolean|) - |t#1|) - $)) - (|has| $ - (ATTRIBUTE - |finiteAggregate|))) - ((|parts| - ((|List| |t#1|) $)) - (|has| $ - (ATTRIBUTE - |finiteAggregate|))) - ((|members| - ((|List| |t#1|) $)) - (|has| $ - (ATTRIBUTE - |finiteAggregate|))) - ((|count| - ((|NonNegativeInteger|) - |t#1| $)) - (AND - (|has| |t#1| - (|SetCategory|)) - (|has| $ - (ATTRIBUTE - |finiteAggregate|)))) - ((|member?| - ((|Boolean|) |t#1| $)) - (AND - (|has| |t#1| - (|SetCategory|)) - (|has| $ - (ATTRIBUTE - |finiteAggregate|))))) - '(((|CoercibleTo| - (|OutputForm|)) - (|has| |t#1| - (|CoercibleTo| - (|OutputForm|)))) - ((|SetCategory|) - (|has| |t#1| - (|SetCategory|))) - ((|Evalable| |t#1|) - (AND - (|has| |t#1| - (|Evalable| |t#1|)) - (|has| |t#1| - (|SetCategory|))))) - '((|Boolean|) - (|NonNegativeInteger|) - (|List| |t#1|)) - NIL)) - . #1=(|HomogeneousAggregate|))))) . #1#) - (|setShellEntry| #0# 0 - (LIST '|HomogeneousAggregate| (|devaluate| |t#1|))))))) + (LET ((#0=#:G1397 + (|sublisV| (PAIR '(|t#1|) (LIST (|devaluate| |t#1|))) + (COND + (|HomogeneousAggregate;CAT|) + ('T + (LETT |HomogeneousAggregate;CAT| + (|Join| (|Aggregate|) + (|mkCategory| '|domain| + '(((|map| + ($ (|Mapping| |t#1| |t#1|) $)) + T) + ((|map!| + ($ (|Mapping| |t#1| |t#1|) $)) + (|has| $ + (ATTRIBUTE |shallowlyMutable|))) + ((|any?| + ((|Boolean|) + (|Mapping| (|Boolean|) |t#1|) + $)) + (|has| $ + (ATTRIBUTE |finiteAggregate|))) + ((|every?| + ((|Boolean|) + (|Mapping| (|Boolean|) |t#1|) + $)) + (|has| $ + (ATTRIBUTE |finiteAggregate|))) + ((|count| + ((|NonNegativeInteger|) + (|Mapping| (|Boolean|) |t#1|) + $)) + (|has| $ + (ATTRIBUTE |finiteAggregate|))) + ((|parts| ((|List| |t#1|) $)) + (|has| $ + (ATTRIBUTE |finiteAggregate|))) + ((|members| ((|List| |t#1|) $)) + (|has| $ + (ATTRIBUTE |finiteAggregate|))) + ((|count| + ((|NonNegativeInteger|) |t#1| + $)) + (AND + (|has| |t#1| (|SetCategory|)) + (|has| $ + (ATTRIBUTE |finiteAggregate|)))) + ((|member?| + ((|Boolean|) |t#1| $)) + (AND + (|has| |t#1| (|SetCategory|)) + (|has| $ + (ATTRIBUTE |finiteAggregate|))))) + '(((|CoercibleTo| (|OutputForm|)) + (|has| |t#1| + (|CoercibleTo| (|OutputForm|)))) + ((|SetCategory|) + (|has| |t#1| (|SetCategory|))) + ((|Evalable| |t#1|) + (AND + (|has| |t#1| + (|Evalable| |t#1|)) + (|has| |t#1| (|SetCategory|))))) + '((|Boolean|) + (|NonNegativeInteger|) + (|List| |t#1|)) + NIL)) + |HomogeneousAggregate|)))))) + (|setShellEntry| #0# 0 + (LIST '|HomogeneousAggregate| (|devaluate| |t#1|))) + #0#)) (DEFUN |HomogeneousAggregate| (#0=#:G1398) - (LET (#1=#:G1399) + (LET ((#1=#:G1399 + (|assoc| (|devaluate| #0#) |HomogeneousAggregate;AL|))) (COND - ((SETQ #1# (|assoc| (|devaluate| #0#) |HomogeneousAggregate;AL|)) - (CDR #1#)) - (T (SETQ |HomogeneousAggregate;AL| - (|cons5| (CONS (|devaluate| #0#) - (SETQ #1# (|HomogeneousAggregate;| #0#))) - |HomogeneousAggregate;AL|)) - #1#)))) + (#1# (CDR #1#)) + (T (PROGN + (SETQ #1# (|HomogeneousAggregate;| #0#)) + (SETQ |HomogeneousAggregate;AL| + (|cons5| (CONS (|devaluate| #0#) #1#) + |HomogeneousAggregate;AL|)) + #1#))))) |