diff options
Diffstat (limited to 'src/algebra/strap/OINTDOM.lsp')
| -rw-r--r-- | src/algebra/strap/OINTDOM.lsp | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/algebra/strap/OINTDOM.lsp b/src/algebra/strap/OINTDOM.lsp index 8729184b..d449414c 100644 --- a/src/algebra/strap/OINTDOM.lsp +++ b/src/algebra/strap/OINTDOM.lsp @@ -4,16 +4,22 @@ (DEFPARAMETER |OrderedIntegralDomain;AL| 'NIL) (DEFUN |OrderedIntegralDomain| () - (LET (#:G1387) + (LET (#:G1396) (COND (|OrderedIntegralDomain;AL|) (T (SETQ |OrderedIntegralDomain;AL| (|OrderedIntegralDomain;|)))))) (DEFUN |OrderedIntegralDomain;| () - (PROG (#0=#:G1385) + (PROG (#0=#:G1394) (RETURN (PROG1 (LETT #0# (|Join| (|IntegralDomain|) (|OrderedRing|)) |OrderedIntegralDomain|) (SETELT #0# 0 '(|OrderedIntegralDomain|)))))) +(SETQ |$CategoryFrame| + (|put| '|OrderedIntegralDomain| '|isCategory| T + (|addModemap| '|OrderedIntegralDomain| + '(|OrderedIntegralDomain|) '((|Category|)) T + '|OrderedIntegralDomain| |$CategoryFrame|))) + (MAKEPROP '|OrderedIntegralDomain| 'NILADIC T) |