diff options
Diffstat (limited to 'src/algebra/strap/PSETCAT.lsp')
-rw-r--r-- | src/algebra/strap/PSETCAT.lsp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/strap/PSETCAT.lsp b/src/algebra/strap/PSETCAT.lsp index 84ee249a..dd7de5be 100644 --- a/src/algebra/strap/PSETCAT.lsp +++ b/src/algebra/strap/PSETCAT.lsp @@ -6,7 +6,7 @@ (DEFPARAMETER |PolynomialSetCategory;AL| 'NIL) (DEFUN |PolynomialSetCategory;| (|t#1| |t#2| |t#3| |t#4|) - (PROG (#0=#:G1432) + (PROG (#0=#:G1433) (RETURN (PROG1 (LETT #0# (|sublisV| @@ -16,7 +16,7 @@ (|devaluate| |t#3|) (|devaluate| |t#4|))) (|sublisV| - (PAIR '(#1=#:G1431) (LIST '(|List| |t#4|))) + (PAIR '(#1=#:G1432) (LIST '(|List| |t#4|))) (COND (|PolynomialSetCategory;CAT|) ('T @@ -107,9 +107,9 @@ (|devaluate| |t#2|) (|devaluate| |t#3|) (|devaluate| |t#4|))))))) -(DEFUN |PolynomialSetCategory| (&REST #0=#:G1435 &AUX #1=#:G1433) +(DEFUN |PolynomialSetCategory| (&REST #0=#:G1436 &AUX #1=#:G1434) (DSETQ #1# #0#) - (LET (#2=#:G1434) + (LET (#2=#:G1435) (COND ((SETQ #2# (|assoc| (|devaluateList| #1#) |PolynomialSetCategory;AL|)) |