blob: 075d89932ad86e59b0c4eb5e5d2235d06e403048 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
(/VERSIONCHECK 2)
(DEFPARAMETER |SetCategory;AL| 'NIL)
(DEFUN |SetCategory| ()
(LET (#:G1388)
(COND
(|SetCategory;AL|)
(T (SETQ |SetCategory;AL| (|SetCategory;|))))))
(DEFUN |SetCategory;| ()
(PROG (#0=#:G1386)
(RETURN
(PROG1 (LETT #0#
(|sublisV|
(PAIR '(#1=#:G1385) (LIST '(|OutputForm|)))
(|Join| (|BasicType|) (|CoercibleTo| '#1#)
(|mkCategory| '|domain|
'(((|hash| ((|SingleInteger|) $)) T)
((|latex| ((|String|) $)) T))
NIL '((|String|) (|SingleInteger|))
NIL)))
|SetCategory|)
(SETELT #0# 0 '(|SetCategory|))))))
(MAKEPROP '|SetCategory| 'NILADIC T)
|