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