aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/TSETCAT.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/TSETCAT.lsp')
-rw-r--r--src/algebra/strap/TSETCAT.lsp32
1 files changed, 16 insertions, 16 deletions
diff --git a/src/algebra/strap/TSETCAT.lsp b/src/algebra/strap/TSETCAT.lsp
index a99c4402..12fb6a33 100644
--- a/src/algebra/strap/TSETCAT.lsp
+++ b/src/algebra/strap/TSETCAT.lsp
@@ -5,23 +5,8 @@
(DEFPARAMETER |TriangularSetCategory;AL| 'NIL)
-(DEFUN |TriangularSetCategory| (&REST #0=#:G1448 &AUX #1=#:G1446)
- (DSETQ #1# #0#)
- (LET (#2=#:G1447)
- (COND
- ((SETQ #2#
- (|assoc| (|devaluateList| #1#) |TriangularSetCategory;AL|))
- (CDR #2#))
- (T (SETQ |TriangularSetCategory;AL|
- (|cons5| (CONS (|devaluateList| #1#)
- (SETQ #2#
- (APPLY #'|TriangularSetCategory;|
- #1#)))
- |TriangularSetCategory;AL|))
- #2#))))
-
(DEFUN |TriangularSetCategory;| (|t#1| |t#2| |t#3| |t#4|)
- (PROG (#0=#:G1445)
+ (PROG (#0=#:G1448)
(RETURN
(PROG1 (LETT #0#
(|sublisV|
@@ -199,6 +184,21 @@
(|devaluate| |t#2|) (|devaluate| |t#3|)
(|devaluate| |t#4|)))))))
+(DEFUN |TriangularSetCategory| (&REST #0=#:G1451 &AUX #1=#:G1449)
+ (DSETQ #1# #0#)
+ (LET (#2=#:G1450)
+ (COND
+ ((SETQ #2#
+ (|assoc| (|devaluateList| #1#) |TriangularSetCategory;AL|))
+ (CDR #2#))
+ (T (SETQ |TriangularSetCategory;AL|
+ (|cons5| (CONS (|devaluateList| #1#)
+ (SETQ #2#
+ (APPLY #'|TriangularSetCategory;|
+ #1#)))
+ |TriangularSetCategory;AL|))
+ #2#))))
+
(SETQ |$CategoryFrame|
(|put| '|TriangularSetCategory| '|isCategory| T
(|addModemap| '|TriangularSetCategory|