diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-17 08:59:26 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-17 08:59:26 +0000 |
| commit | 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 (patch) | |
| tree | fc93b37d696d3c1ca38437a5ad9a815a85fe46b7 /src/algebra/strap/UFD-.lsp | |
| parent | ffb91646c6f11e84fa886aa5abc2de61ba291cc1 (diff) | |
| download | open-axiom-5e504b6abaef6cf7e7c58c17e26bec33856b60c0.tar.gz | |
* algebra/Makefile.pamphlet (all-algstrap): New.
* algebra/strap: Update cached Lisp translation.
Diffstat (limited to 'src/algebra/strap/UFD-.lsp')
| -rw-r--r-- | src/algebra/strap/UFD-.lsp | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/src/algebra/strap/UFD-.lsp b/src/algebra/strap/UFD-.lsp index eb1afd12..26e633da 100644 --- a/src/algebra/strap/UFD-.lsp +++ b/src/algebra/strap/UFD-.lsp @@ -2,7 +2,7 @@ (/VERSIONCHECK 2) (DEFUN |UFD-;squareFreePart;2S;1| (|x| $) - (PROG (|s| |f| #0=#:G1403 #1=#:G1401 #2=#:G1399 #3=#:G1400) + (PROG (|s| |f| #0=#:G1405 #1=#:G1403 #2=#:G1401 #3=#:G1402) (RETURN (SEQ (SPADCALL (SPADCALL @@ -81,3 +81,24 @@ 0 0 0 15 0 6 0 16 1 6 7 0 18 1 9 21 0 22 1 0 0 0 17 1 0 23 0 24))))) '|lookupComplete|)) + +(SETQ |$CategoryFrame| + (|put| '|UniqueFactorizationDomain&| '|isFunctor| + '(((|squareFreePart| ($ $)) T (ELT $ 17)) + ((|prime?| ((|Boolean|) $)) T (ELT $ 24))) + (|addModemap| '|UniqueFactorizationDomain&| + '(|UniqueFactorizationDomain&| |#1|) + '((CATEGORY |domain| + (SIGNATURE |squareFreePart| (|#1| |#1|)) + (SIGNATURE |prime?| ((|Boolean|) |#1|))) + (|UniqueFactorizationDomain|)) + T '|UniqueFactorizationDomain&| + (|put| '|UniqueFactorizationDomain&| '|mode| + '(|Mapping| + (CATEGORY |domain| + (SIGNATURE |squareFreePart| + (|#1| |#1|)) + (SIGNATURE |prime?| + ((|Boolean|) |#1|))) + (|UniqueFactorizationDomain|)) + |$CategoryFrame|)))) |