diff options
Diffstat (limited to 'src/algebra/strap/PSETCAT-.lsp')
| -rw-r--r-- | src/algebra/strap/PSETCAT-.lsp | 127 |
1 files changed, 0 insertions, 127 deletions
diff --git a/src/algebra/strap/PSETCAT-.lsp b/src/algebra/strap/PSETCAT-.lsp index f0aa0b4c..a216f16e 100644 --- a/src/algebra/strap/PSETCAT-.lsp +++ b/src/algebra/strap/PSETCAT-.lsp @@ -961,130 +961,3 @@ 0 0 0 9 32 2 0 0 0 9 34 2 0 15 0 0 40))))) '|lookupComplete|)) - -(SETQ |$CategoryFrame| - (|put| '|PolynomialSetCategory&| '|isFunctor| - '(((|triangular?| ((|Boolean|) $)) T (ELT $ 47)) - ((|rewriteIdealWithRemainder| - ((|List| |#5|) (|List| |#5|) $)) - T (ELT $ 90)) - ((|rewriteIdealWithHeadRemainder| - ((|List| |#5|) (|List| |#5|) $)) - T (ELT $ 87)) - ((|remainder| - ((|Record| (|:| |rnum| |#2|) (|:| |polnum| |#5|) - (|:| |den| |#2|)) - |#5| $)) - T (ELT $ 81)) - ((|headRemainder| - ((|Record| (|:| |num| |#5|) (|:| |den| |#2|)) |#5| - $)) - T (ELT $ 73)) - ((|roughUnitIdeal?| ((|Boolean|) $)) T (ELT $ 49)) - ((|roughEqualIdeals?| ((|Boolean|) $ $)) T (ELT $ 58)) - ((|roughSubIdeal?| ((|Boolean|) $ $)) T (ELT $ 55)) - ((|roughBase?| ((|Boolean|) $)) T (ELT $ 53)) - ((|trivialIdeal?| ((|Boolean|) $)) T (ELT $ 48)) - ((|sort| ((|Record| (|:| |under| $) (|:| |floor| $) - (|:| |upper| $)) - $ |#4|)) - T (ELT $ 36)) - ((|collectUpper| ($ $ |#4|)) T (ELT $ 33)) - ((|collect| ($ $ |#4|)) T (ELT $ 34)) - ((|collectUnder| ($ $ |#4|)) T (ELT $ 32)) - ((|mainVariable?| ((|Boolean|) |#4| $)) T (ELT $ 30)) - ((|mainVariables| ((|List| |#4|) $)) T (ELT $ 27)) - ((|variables| ((|List| |#4|) $)) T (ELT $ 23)) - ((= ((|Boolean|) $ $)) T (ELT $ 40))) - (|addModemap| '|PolynomialSetCategory&| - '(|PolynomialSetCategory&| |#1| |#2| |#3| |#4| |#5|) - '((CATEGORY |domain| - (SIGNATURE |triangular?| ((|Boolean|) |#1|)) - (SIGNATURE |rewriteIdealWithRemainder| - ((|List| |#5|) (|List| |#5|) |#1|)) - (SIGNATURE |rewriteIdealWithHeadRemainder| - ((|List| |#5|) (|List| |#5|) |#1|)) - (SIGNATURE |remainder| - ((|Record| (|:| |rnum| |#2|) - (|:| |polnum| |#5|) (|:| |den| |#2|)) - |#5| |#1|)) - (SIGNATURE |headRemainder| - ((|Record| (|:| |num| |#5|) - (|:| |den| |#2|)) - |#5| |#1|)) - (SIGNATURE |roughUnitIdeal?| ((|Boolean|) |#1|)) - (SIGNATURE |roughEqualIdeals?| - ((|Boolean|) |#1| |#1|)) - (SIGNATURE |roughSubIdeal?| - ((|Boolean|) |#1| |#1|)) - (SIGNATURE |roughBase?| ((|Boolean|) |#1|)) - (SIGNATURE |trivialIdeal?| ((|Boolean|) |#1|)) - (SIGNATURE |sort| - ((|Record| (|:| |under| |#1|) - (|:| |floor| |#1|) (|:| |upper| |#1|)) - |#1| |#4|)) - (SIGNATURE |collectUpper| (|#1| |#1| |#4|)) - (SIGNATURE |collect| (|#1| |#1| |#4|)) - (SIGNATURE |collectUnder| (|#1| |#1| |#4|)) - (SIGNATURE |mainVariable?| - ((|Boolean|) |#4| |#1|)) - (SIGNATURE |mainVariables| ((|List| |#4|) |#1|)) - (SIGNATURE |variables| ((|List| |#4|) |#1|)) - (SIGNATURE = ((|Boolean|) |#1| |#1|))) - (|PolynomialSetCategory| |#2| |#3| |#4| |#5|) - (|Ring|) (|OrderedAbelianMonoidSup|) (|OrderedSet|) - (|RecursivePolynomialCategory| |#2| |#3| |#4|)) - T '|PolynomialSetCategory&| - (|put| '|PolynomialSetCategory&| '|mode| - '(|Mapping| - (CATEGORY |domain| - (SIGNATURE |triangular?| - ((|Boolean|) |#1|)) - (SIGNATURE |rewriteIdealWithRemainder| - ((|List| |#5|) (|List| |#5|) |#1|)) - (SIGNATURE - |rewriteIdealWithHeadRemainder| - ((|List| |#5|) (|List| |#5|) |#1|)) - (SIGNATURE |remainder| - ((|Record| (|:| |rnum| |#2|) - (|:| |polnum| |#5|) - (|:| |den| |#2|)) - |#5| |#1|)) - (SIGNATURE |headRemainder| - ((|Record| (|:| |num| |#5|) - (|:| |den| |#2|)) - |#5| |#1|)) - (SIGNATURE |roughUnitIdeal?| - ((|Boolean|) |#1|)) - (SIGNATURE |roughEqualIdeals?| - ((|Boolean|) |#1| |#1|)) - (SIGNATURE |roughSubIdeal?| - ((|Boolean|) |#1| |#1|)) - (SIGNATURE |roughBase?| - ((|Boolean|) |#1|)) - (SIGNATURE |trivialIdeal?| - ((|Boolean|) |#1|)) - (SIGNATURE |sort| - ((|Record| (|:| |under| |#1|) - (|:| |floor| |#1|) - (|:| |upper| |#1|)) - |#1| |#4|)) - (SIGNATURE |collectUpper| - (|#1| |#1| |#4|)) - (SIGNATURE |collect| (|#1| |#1| |#4|)) - (SIGNATURE |collectUnder| - (|#1| |#1| |#4|)) - (SIGNATURE |mainVariable?| - ((|Boolean|) |#4| |#1|)) - (SIGNATURE |mainVariables| - ((|List| |#4|) |#1|)) - (SIGNATURE |variables| - ((|List| |#4|) |#1|)) - (SIGNATURE = ((|Boolean|) |#1| |#1|))) - (|PolynomialSetCategory| |#2| |#3| |#4| - |#5|) - (|Ring|) (|OrderedAbelianMonoidSup|) - (|OrderedSet|) - (|RecursivePolynomialCategory| |#2| |#3| - |#4|)) - |$CategoryFrame|)))) |