diff options
Diffstat (limited to 'src/algebra/strap/OINTDOM.lsp')
| -rw-r--r-- | src/algebra/strap/OINTDOM.lsp | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/src/algebra/strap/OINTDOM.lsp b/src/algebra/strap/OINTDOM.lsp deleted file mode 100644 index 60badcf6..00000000 --- a/src/algebra/strap/OINTDOM.lsp +++ /dev/null @@ -1,16 +0,0 @@ - -(/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) |