blob: 60badcf6ac1981c014ddaf837850da5ea01d80c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
(/VERSIONCHECK 2)
(DEFPARAMETER |OrderedIntegralDomain;AL| 'NIL)
(DEFUN |OrderedIntegralDomain;| ()
(LET ((#0=#:G1372 (|Join| (|IntegralDomain|) (|OrderedRing|))))
(SETF (|shellEntry| #0# 0) '(|OrderedIntegralDomain|))
#0#))
(DEFUN |OrderedIntegralDomain| ()
(COND
(|OrderedIntegralDomain;AL|)
(T (SETQ |OrderedIntegralDomain;AL| (|OrderedIntegralDomain;|)))))
(MAKEPROP '|OrderedIntegralDomain| 'NILADIC T)
|
