1
2(DEFPARAMETER |CoDcpo;CAT| 'NIL)
3
4(DECLAIM (NOTINLINE |CoDcpo;|))
5
6(DEFPARAMETER |CoDcpo;AL| 'NIL)
7
8(DEFUN |CoDcpo| (|t#1|)
9  (LET (#1=#:G401 (#2=#:G402 (|devaluate| |t#1|)))
10    (COND ((SETQ #1# (|assoc| #2# |CoDcpo;AL|)) (CDR #1#))
11          (T
12           (SETQ |CoDcpo;AL|
13                   (|cons5| (CONS #2# (SETQ #1# (|CoDcpo;| #2#))) |CoDcpo;AL|))
14           #1#))))
15
16(DEFUN |CoDcpo;| (|t#1|)
17  (SPROG ((#1=#:G400 NIL))
18         (PROG1
19             (LETT #1#
20                   (|sublisV| (MAKE_PAIRS '(|t#1|) (LIST |t#1|))
21                              (COND (|CoDcpo;CAT|)
22                                    ('T
23                                     (LETT |CoDcpo;CAT|
24                                           (|Join| (|Poset| '|t#1|)
25                                                   (|mkCategory|
26                                                    '(((|meet|
27                                                        ((|NonNegativeInteger|)
28                                                         $
29                                                         (|NonNegativeInteger|)
30                                                         (|NonNegativeInteger|)))
31                                                       T))
32                                                    NIL NIL NIL)))))))
33           (SETELT #1# 0 (LIST '|CoDcpo| |t#1|)))))
34