blob: d828bebb0cf4db4b7472a4ffed437ffda403c0e0 (
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|))))
(|setShellEntry| #0# 0 '(|OrderedIntegralDomain|))
#0#))
(DEFUN |OrderedIntegralDomain| ()
(COND
(|OrderedIntegralDomain;AL|)
(T (SETQ |OrderedIntegralDomain;AL| (|OrderedIntegralDomain;|)))))
(MAKEPROP '|OrderedIntegralDomain| 'NILADIC T)
|
