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