diff options
Diffstat (limited to 'src/algebra/strap/UFD.lsp')
| -rw-r--r-- | src/algebra/strap/UFD.lsp | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/algebra/strap/UFD.lsp b/src/algebra/strap/UFD.lsp index ca8cedeb..f92b4bf5 100644 --- a/src/algebra/strap/UFD.lsp +++ b/src/algebra/strap/UFD.lsp @@ -3,15 +3,8 @@ (DEFPARAMETER |UniqueFactorizationDomain;AL| 'NIL) -(DEFUN |UniqueFactorizationDomain| () - (LET (#:G1396) - (COND - (|UniqueFactorizationDomain;AL|) - (T (SETQ |UniqueFactorizationDomain;AL| - (|UniqueFactorizationDomain;|)))))) - (DEFUN |UniqueFactorizationDomain;| () - (PROG (#0=#:G1394) + (PROG (#0=#:G1397) (RETURN (PROG1 (LETT #0# (|Join| (|GcdDomain|) @@ -24,6 +17,13 @@ |UniqueFactorizationDomain|) (SETELT #0# 0 '(|UniqueFactorizationDomain|)))))) +(DEFUN |UniqueFactorizationDomain| () + (LET () + (COND + (|UniqueFactorizationDomain;AL|) + (T (SETQ |UniqueFactorizationDomain;AL| + (|UniqueFactorizationDomain;|)))))) + (SETQ |$CategoryFrame| (|put| '|UniqueFactorizationDomain| '|isCategory| T (|addModemap| '|UniqueFactorizationDomain| |