blob: 125e68cb73c28523b0ae9ba6d6f85aa15569a972 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(/VERSIONCHECK 2)
(DEFPARAMETER |CommutativeRing;AL| 'NIL)
(DEFUN |CommutativeRing;| ()
(LET ((#0=#:G1372
(|Join| (|Ring|) (|BiModule| '$ '$)
(|mkCategory| '|package| NIL
'(((|commutative| "*") T)) 'NIL NIL))))
(|setShellEntry| #0# 0 '(|CommutativeRing|))
#0#))
(DEFUN |CommutativeRing| ()
(COND
(|CommutativeRing;AL|)
(T (SETQ |CommutativeRing;AL| (|CommutativeRing;|)))))
(MAKEPROP '|CommutativeRing| 'NILADIC T)
|
