diff options
Diffstat (limited to 'src/algebra/strap/EUCDOM.lsp')
-rw-r--r-- | src/algebra/strap/EUCDOM.lsp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/strap/EUCDOM.lsp b/src/algebra/strap/EUCDOM.lsp index 2597fe0b..7c101f7e 100644 --- a/src/algebra/strap/EUCDOM.lsp +++ b/src/algebra/strap/EUCDOM.lsp @@ -3,14 +3,8 @@ (DEFPARAMETER |EuclideanDomain;AL| 'NIL) -(DEFUN |EuclideanDomain| () - (LET (#:G1411) - (COND - (|EuclideanDomain;AL|) - (T (SETQ |EuclideanDomain;AL| (|EuclideanDomain;|)))))) - (DEFUN |EuclideanDomain;| () - (PROG (#0=#:G1409) + (PROG (#0=#:G1412) (RETURN (PROG1 (LETT #0# (|Join| (|PrincipalIdealDomain|) @@ -50,6 +44,12 @@ |EuclideanDomain|) (SETELT #0# 0 '(|EuclideanDomain|)))))) +(DEFUN |EuclideanDomain| () + (LET () + (COND + (|EuclideanDomain;AL|) + (T (SETQ |EuclideanDomain;AL| (|EuclideanDomain;|)))))) + (SETQ |$CategoryFrame| (|put| '|EuclideanDomain| '|isCategory| T (|addModemap| '|EuclideanDomain| '(|EuclideanDomain|) |