diff options
Diffstat (limited to 'src/algebra/strap/PSETCAT.lsp')
| -rw-r--r-- | src/algebra/strap/PSETCAT.lsp | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/src/algebra/strap/PSETCAT.lsp b/src/algebra/strap/PSETCAT.lsp index e4a1f465..ee7ff2fe 100644 --- a/src/algebra/strap/PSETCAT.lsp +++ b/src/algebra/strap/PSETCAT.lsp @@ -5,9 +5,9 @@ (DEFPARAMETER |PolynomialSetCategory;AL| 'NIL) -(DEFUN |PolynomialSetCategory| (&REST #0=#:G1422 &AUX #1=#:G1420) +(DEFUN |PolynomialSetCategory| (&REST #0=#:G1431 &AUX #1=#:G1429) (DSETQ #1# #0#) - (LET (#2=#:G1421) + (LET (#2=#:G1430) (COND ((SETQ #2# (|assoc| (|devaluateList| #1#) |PolynomialSetCategory;AL|)) @@ -21,7 +21,7 @@ #2#)))) (DEFUN |PolynomialSetCategory;| (|t#1| |t#2| |t#3| |t#4|) - (PROG (#0=#:G1419) + (PROG (#0=#:G1428) (RETURN (PROG1 (LETT #0# (|sublisV| @@ -31,7 +31,7 @@ (|devaluate| |t#3|) (|devaluate| |t#4|))) (|sublisV| - (PAIR '(#1=#:G1418) (LIST '(|List| |t#4|))) + (PAIR '(#1=#:G1427) (LIST '(|List| |t#4|))) (COND (|PolynomialSetCategory;CAT|) ('T @@ -121,3 +121,12 @@ (LIST '|PolynomialSetCategory| (|devaluate| |t#1|) (|devaluate| |t#2|) (|devaluate| |t#3|) (|devaluate| |t#4|))))))) + +(SETQ |$CategoryFrame| + (|put| '|PolynomialSetCategory| '|isCategory| T + (|addModemap| '|PolynomialSetCategory| + '(|PolynomialSetCategory| |#1| |#2| |#3| |#4|) + '((|Category|) (|Ring|) (|OrderedAbelianMonoidSup|) + (|OrderedSet|) + (|RecursivePolynomialCategory| |t#1| |t#2| |t#3|)) + T '|PolynomialSetCategory| |$CategoryFrame|))) |