blob: fec16d2e5ab3c0ab8a1b1d14ccb797fd8d9f66e5 (
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=#:G1396 (|Join| (|IntegralDomain|) (|OrderedRing|))))
(|setShellEntry| #0# 0 '(|OrderedIntegralDomain|))
#0#))
(DEFUN |OrderedIntegralDomain| ()
(COND
(|OrderedIntegralDomain;AL|)
(T (SETQ |OrderedIntegralDomain;AL| (|OrderedIntegralDomain;|)))))
(MAKEPROP '|OrderedIntegralDomain| 'NILADIC T)
|
