From 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 17 Aug 2008 08:59:26 +0000 Subject: * algebra/Makefile.pamphlet (all-algstrap): New. * algebra/strap: Update cached Lisp translation. --- src/algebra/strap/TSETCAT-.lsp | 313 ++++++++++++++++++++++++++++++++++++++++- 1 file changed, 306 insertions(+), 7 deletions(-) (limited to 'src/algebra/strap/TSETCAT-.lsp') diff --git a/src/algebra/strap/TSETCAT-.lsp b/src/algebra/strap/TSETCAT-.lsp index 2b979ff7..dcd1eca4 100644 --- a/src/algebra/strap/TSETCAT-.lsp +++ b/src/algebra/strap/TSETCAT-.lsp @@ -2,7 +2,7 @@ (/VERSIONCHECK 2) (DEFUN |TSETCAT-;=;2SB;1| (|ts| |us| $) - (PROG (#0=#:G1451 #1=#:G1457) + (PROG (#0=#:G1453 #1=#:G1459) (RETURN (COND ((SPADCALL |ts| (|getShellEntry| $ 12)) @@ -38,7 +38,7 @@ (|getShellEntry| $ 18))))))) (DEFUN |TSETCAT-;infRittWu?;2SB;2| (|ts| |us| $) - (PROG (|p| #0=#:G1464 |q| |v|) + (PROG (|p| #0=#:G1466 |q| |v|) (RETURN (SEQ (COND ((SPADCALL |us| (|getShellEntry| $ 12)) @@ -376,7 +376,7 @@ (EXIT |red|))))) (DEFUN |TSETCAT-;reduce;PSMMP;13| (|p| |ts| |redOp| |redOp?| $) - (PROG (|ts0| #0=#:G1539 |reductor| #1=#:G1542) + (PROG (|ts0| #0=#:G1541 |reductor| #1=#:G1544) (RETURN (SEQ (COND ((OR (SPADCALL |ts| (|getShellEntry| $ 12)) @@ -502,7 +502,7 @@ (SPADCALL |p| |ts| (ELT $ 79) (ELT $ 80) (|getShellEntry| $ 72))) (DEFUN |TSETCAT-;removeZero;PSP;18| (|p| |ts| $) - (PROG (|v| |tsv-| #0=#:G1565 #1=#:G1574 |q|) + (PROG (|v| |tsv-| #0=#:G1567 #1=#:G1576 |q|) (RETURN (SEQ (EXIT (COND ((OR (SPADCALL |p| (|getShellEntry| $ 35)) @@ -636,7 +636,7 @@ (SPADCALL |ts| (ELT $ 106) (|getShellEntry| $ 101))) (DEFUN |TSETCAT-;mvar;SV;25| (|ts| $) - (PROG (#0=#:G1593) + (PROG (#0=#:G1595) (RETURN (COND ((SPADCALL |ts| (|getShellEntry| $ 12)) @@ -696,7 +696,7 @@ (|getShellEntry| $ 37))) (DEFUN |TSETCAT-;algebraicVariables;SL;30| (|ts| $) - (PROG (#0=#:G1618 |p| #1=#:G1619) + (PROG (#0=#:G1620 |p| #1=#:G1621) (RETURN (SEQ (PROGN (LETT #0# NIL |TSETCAT-;algebraicVariables;SL;30|) @@ -866,7 +866,7 @@ (|error| "in extend : ($,P) -> $ from TSETCAT : bad ars")))))))) (DEFUN |TSETCAT-;coHeight;SNni;39| (|ts| $) - (PROG (|n| |m| #0=#:G1659) + (PROG (|n| |m| #0=#:G1661) (RETURN (SEQ (LETT |n| (SPADCALL (|getShellEntry| $ 128)) |TSETCAT-;coHeight;SNni;39|) @@ -1029,3 +1029,302 @@ 43 2 0 11 0 99 100 1 0 114 0 115 2 0 11 9 0 118 2 0 11 0 0 19))))) '|lookupComplete|)) + +(SETQ |$CategoryFrame| + (|put| '|TriangularSetCategory&| '|isFunctor| + '(((|coHeight| ((|NonNegativeInteger|) $)) T (ELT $ 130)) + ((|extend| ($ $ |#5|)) T (ELT $ 127)) + ((|select| ((|Union| |#5| "failed") $ |#4|)) T + (ELT $ 119)) + ((|algebraic?| ((|Boolean|) |#4| $)) T (ELT $ 118)) + ((|algebraicVariables| ((|List| |#4|) $)) T (ELT $ 115)) + ((|rest| ((|Union| $ "failed") $)) T (ELT $ 112)) + ((|last| ((|Union| |#5| "failed") $)) T (ELT $ 110)) + ((|first| ((|Union| |#5| "failed") $)) T (ELT $ 109)) + ((|reduceByQuasiMonic| (|#5| |#5| $)) T (ELT $ 98)) + ((|collectQuasiMonic| ($ $)) T (ELT $ 120)) + ((|removeZero| (|#5| |#5| $)) T (ELT $ 94)) + ((|initiallyReduce| (|#5| |#5| $)) T (ELT $ 81)) + ((|headReduce| (|#5| |#5| $)) T (ELT $ 78)) + ((|stronglyReduce| (|#5| |#5| $)) T (ELT $ 75)) + ((|rewriteSetWithReduction| + ((|List| |#5|) (|List| |#5|) $ + (|Mapping| |#5| |#5| |#5|) + (|Mapping| (|Boolean|) |#5| |#5|))) + T (ELT $ 73)) + ((|reduce| + (|#5| |#5| $ (|Mapping| |#5| |#5| |#5|) + (|Mapping| (|Boolean|) |#5| |#5|))) + T (ELT $ 69)) + ((|initiallyReduced?| ((|Boolean|) $)) T (ELT $ 107)) + ((|headReduced?| ((|Boolean|) $)) T (ELT $ 105)) + ((|stronglyReduced?| ((|Boolean|) $)) T (ELT $ 102)) + ((|autoReduced?| + ((|Boolean|) $ + (|Mapping| (|Boolean|) |#5| (|List| |#5|)))) + T (ELT $ 100)) + ((|initiallyReduced?| ((|Boolean|) |#5| $)) T + (ELT $ 67)) + ((|headReduced?| ((|Boolean|) |#5| $)) T (ELT $ 63)) + ((|stronglyReduced?| ((|Boolean|) |#5| $)) T (ELT $ 60)) + ((|reduced?| + ((|Boolean|) |#5| $ + (|Mapping| (|Boolean|) |#5| |#5|))) + T (ELT $ 31)) + ((|normalized?| ((|Boolean|) $)) T (ELT $ 103)) + ((|normalized?| ((|Boolean|) |#5| $)) T (ELT $ 58)) + ((|quasiComponent| + ((|Record| (|:| |close| (|List| |#5|)) + (|:| |open| (|List| |#5|))) + $)) + T (ELT $ 55)) + ((|degree| ((|NonNegativeInteger|) $)) T (ELT $ 52)) + ((|initials| ((|List| |#5|) $)) T (ELT $ 49)) + ((|basicSet| + ((|Union| (|Record| (|:| |bas| $) + (|:| |top| (|List| |#5|))) + "failed") + (|List| |#5|) (|Mapping| (|Boolean|) |#5|) + (|Mapping| (|Boolean|) |#5| |#5|))) + T (ELT $ 45)) + ((|basicSet| + ((|Union| (|Record| (|:| |bas| $) + (|:| |top| (|List| |#5|))) + "failed") + (|List| |#5|) (|Mapping| (|Boolean|) |#5| |#5|))) + T (ELT $ 43)) + ((|infRittWu?| ((|Boolean|) $ $)) T (ELT $ 27)) + ((|collectUpper| ($ $ |#4|)) T (ELT $ 122)) + ((|collectUnder| ($ $ |#4|)) T (ELT $ 121)) + ((|mvar| (|#4| $)) T (ELT $ 108)) + ((|retractIfCan| ((|Union| $ "failed") (|List| |#5|))) T + (ELT $ 126)) + ((|coerce| ((|List| |#5|) $)) T (ELT $ 113)) + ((|construct| ($ (|List| |#5|))) T (ELT $ 124)) + ((|reduce| (|#5| (|Mapping| |#5| |#5| |#5|) $)) T + (ELT $ NIL)) + ((|reduce| (|#5| (|Mapping| |#5| |#5| |#5|) $ |#5|)) T + (ELT $ NIL)) + ((|select| ($ (|Mapping| (|Boolean|) |#5|) $)) T + (ELT $ NIL)) + ((|reduce| + (|#5| (|Mapping| |#5| |#5| |#5|) $ |#5| |#5|)) + T (ELT $ NIL)) + ((|coerce| ((|OutputForm|) $)) T (ELT $ NIL)) + ((= ((|Boolean|) $ $)) T (ELT $ 19))) + (|addModemap| '|TriangularSetCategory&| + '(|TriangularSetCategory&| |#1| |#2| |#3| |#4| |#5|) + '((CATEGORY |domain| + (SIGNATURE |coHeight| + ((|NonNegativeInteger|) |#1|)) + (SIGNATURE |extend| (|#1| |#1| |#5|)) + (SIGNATURE |select| + ((|Union| |#5| "failed") |#1| |#4|)) + (SIGNATURE |algebraic?| ((|Boolean|) |#4| |#1|)) + (SIGNATURE |algebraicVariables| + ((|List| |#4|) |#1|)) + (SIGNATURE |rest| + ((|Union| |#1| "failed") |#1|)) + (SIGNATURE |last| + ((|Union| |#5| "failed") |#1|)) + (SIGNATURE |first| + ((|Union| |#5| "failed") |#1|)) + (SIGNATURE |reduceByQuasiMonic| + (|#5| |#5| |#1|)) + (SIGNATURE |collectQuasiMonic| (|#1| |#1|)) + (SIGNATURE |removeZero| (|#5| |#5| |#1|)) + (SIGNATURE |initiallyReduce| (|#5| |#5| |#1|)) + (SIGNATURE |headReduce| (|#5| |#5| |#1|)) + (SIGNATURE |stronglyReduce| (|#5| |#5| |#1|)) + (SIGNATURE |rewriteSetWithReduction| + ((|List| |#5|) (|List| |#5|) |#1| + (|Mapping| |#5| |#5| |#5|) + (|Mapping| (|Boolean|) |#5| |#5|))) + (SIGNATURE |reduce| + (|#5| |#5| |#1| (|Mapping| |#5| |#5| |#5|) + (|Mapping| (|Boolean|) |#5| |#5|))) + (SIGNATURE |initiallyReduced?| + ((|Boolean|) |#1|)) + (SIGNATURE |headReduced?| ((|Boolean|) |#1|)) + (SIGNATURE |stronglyReduced?| + ((|Boolean|) |#1|)) + (SIGNATURE |autoReduced?| + ((|Boolean|) |#1| + (|Mapping| (|Boolean|) |#5| (|List| |#5|)))) + (SIGNATURE |initiallyReduced?| + ((|Boolean|) |#5| |#1|)) + (SIGNATURE |headReduced?| + ((|Boolean|) |#5| |#1|)) + (SIGNATURE |stronglyReduced?| + ((|Boolean|) |#5| |#1|)) + (SIGNATURE |reduced?| + ((|Boolean|) |#5| |#1| + (|Mapping| (|Boolean|) |#5| |#5|))) + (SIGNATURE |normalized?| ((|Boolean|) |#1|)) + (SIGNATURE |normalized?| + ((|Boolean|) |#5| |#1|)) + (SIGNATURE |quasiComponent| + ((|Record| (|:| |close| (|List| |#5|)) + (|:| |open| (|List| |#5|))) + |#1|)) + (SIGNATURE |degree| + ((|NonNegativeInteger|) |#1|)) + (SIGNATURE |initials| ((|List| |#5|) |#1|)) + (SIGNATURE |basicSet| + ((|Union| (|Record| (|:| |bas| |#1|) + (|:| |top| (|List| |#5|))) + "failed") + (|List| |#5|) (|Mapping| (|Boolean|) |#5|) + (|Mapping| (|Boolean|) |#5| |#5|))) + (SIGNATURE |basicSet| + ((|Union| (|Record| (|:| |bas| |#1|) + (|:| |top| (|List| |#5|))) + "failed") + (|List| |#5|) + (|Mapping| (|Boolean|) |#5| |#5|))) + (SIGNATURE |infRittWu?| ((|Boolean|) |#1| |#1|)) + (SIGNATURE |collectUpper| (|#1| |#1| |#4|)) + (SIGNATURE |collectUnder| (|#1| |#1| |#4|)) + (SIGNATURE |mvar| (|#4| |#1|)) + (SIGNATURE |retractIfCan| + ((|Union| |#1| "failed") (|List| |#5|))) + (SIGNATURE |coerce| ((|List| |#5|) |#1|)) + (SIGNATURE |construct| (|#1| (|List| |#5|))) + (SIGNATURE |reduce| + (|#5| (|Mapping| |#5| |#5| |#5|) |#1|)) + (SIGNATURE |reduce| + (|#5| (|Mapping| |#5| |#5| |#5|) |#1| |#5|)) + (SIGNATURE |select| + (|#1| (|Mapping| (|Boolean|) |#5|) |#1|)) + (SIGNATURE |reduce| + (|#5| (|Mapping| |#5| |#5| |#5|) |#1| |#5| + |#5|)) + (SIGNATURE |coerce| ((|OutputForm|) |#1|)) + (SIGNATURE = ((|Boolean|) |#1| |#1|))) + (|TriangularSetCategory| |#2| |#3| |#4| |#5|) + (|IntegralDomain|) (|OrderedAbelianMonoidSup|) + (|OrderedSet|) + (|RecursivePolynomialCategory| |#2| |#3| |#4|)) + T '|TriangularSetCategory&| + (|put| '|TriangularSetCategory&| '|mode| + '(|Mapping| + (CATEGORY |domain| + (SIGNATURE |coHeight| + ((|NonNegativeInteger|) |#1|)) + (SIGNATURE |extend| (|#1| |#1| |#5|)) + (SIGNATURE |select| + ((|Union| |#5| "failed") |#1| + |#4|)) + (SIGNATURE |algebraic?| + ((|Boolean|) |#4| |#1|)) + (SIGNATURE |algebraicVariables| + ((|List| |#4|) |#1|)) + (SIGNATURE |rest| + ((|Union| |#1| "failed") |#1|)) + (SIGNATURE |last| + ((|Union| |#5| "failed") |#1|)) + (SIGNATURE |first| + ((|Union| |#5| "failed") |#1|)) + (SIGNATURE |reduceByQuasiMonic| + (|#5| |#5| |#1|)) + (SIGNATURE |collectQuasiMonic| + (|#1| |#1|)) + (SIGNATURE |removeZero| + (|#5| |#5| |#1|)) + (SIGNATURE |initiallyReduce| + (|#5| |#5| |#1|)) + (SIGNATURE |headReduce| + (|#5| |#5| |#1|)) + (SIGNATURE |stronglyReduce| + (|#5| |#5| |#1|)) + (SIGNATURE |rewriteSetWithReduction| + ((|List| |#5|) (|List| |#5|) |#1| + (|Mapping| |#5| |#5| |#5|) + (|Mapping| (|Boolean|) |#5| |#5|))) + (SIGNATURE |reduce| + (|#5| |#5| |#1| + (|Mapping| |#5| |#5| |#5|) + (|Mapping| (|Boolean|) |#5| |#5|))) + (SIGNATURE |initiallyReduced?| + ((|Boolean|) |#1|)) + (SIGNATURE |headReduced?| + ((|Boolean|) |#1|)) + (SIGNATURE |stronglyReduced?| + ((|Boolean|) |#1|)) + (SIGNATURE |autoReduced?| + ((|Boolean|) |#1| + (|Mapping| (|Boolean|) |#5| + (|List| |#5|)))) + (SIGNATURE |initiallyReduced?| + ((|Boolean|) |#5| |#1|)) + (SIGNATURE |headReduced?| + ((|Boolean|) |#5| |#1|)) + (SIGNATURE |stronglyReduced?| + ((|Boolean|) |#5| |#1|)) + (SIGNATURE |reduced?| + ((|Boolean|) |#5| |#1| + (|Mapping| (|Boolean|) |#5| |#5|))) + (SIGNATURE |normalized?| + ((|Boolean|) |#1|)) + (SIGNATURE |normalized?| + ((|Boolean|) |#5| |#1|)) + (SIGNATURE |quasiComponent| + ((|Record| + (|:| |close| (|List| |#5|)) + (|:| |open| (|List| |#5|))) + |#1|)) + (SIGNATURE |degree| + ((|NonNegativeInteger|) |#1|)) + (SIGNATURE |initials| + ((|List| |#5|) |#1|)) + (SIGNATURE |basicSet| + ((|Union| + (|Record| (|:| |bas| |#1|) + (|:| |top| (|List| |#5|))) + "failed") + (|List| |#5|) + (|Mapping| (|Boolean|) |#5|) + (|Mapping| (|Boolean|) |#5| |#5|))) + (SIGNATURE |basicSet| + ((|Union| + (|Record| (|:| |bas| |#1|) + (|:| |top| (|List| |#5|))) + "failed") + (|List| |#5|) + (|Mapping| (|Boolean|) |#5| |#5|))) + (SIGNATURE |infRittWu?| + ((|Boolean|) |#1| |#1|)) + (SIGNATURE |collectUpper| + (|#1| |#1| |#4|)) + (SIGNATURE |collectUnder| + (|#1| |#1| |#4|)) + (SIGNATURE |mvar| (|#4| |#1|)) + (SIGNATURE |retractIfCan| + ((|Union| |#1| "failed") + (|List| |#5|))) + (SIGNATURE |coerce| + ((|List| |#5|) |#1|)) + (SIGNATURE |construct| + (|#1| (|List| |#5|))) + (SIGNATURE |reduce| + (|#5| (|Mapping| |#5| |#5| |#5|) + |#1|)) + (SIGNATURE |reduce| + (|#5| (|Mapping| |#5| |#5| |#5|) + |#1| |#5|)) + (SIGNATURE |select| + (|#1| (|Mapping| (|Boolean|) |#5|) + |#1|)) + (SIGNATURE |reduce| + (|#5| (|Mapping| |#5| |#5| |#5|) + |#1| |#5| |#5|)) + (SIGNATURE |coerce| + ((|OutputForm|) |#1|)) + (SIGNATURE = ((|Boolean|) |#1| |#1|))) + (|TriangularSetCategory| |#2| |#3| |#4| + |#5|) + (|IntegralDomain|) + (|OrderedAbelianMonoidSup|) (|OrderedSet|) + (|RecursivePolynomialCategory| |#2| |#3| + |#4|)) + |$CategoryFrame|)))) -- cgit v1.2.3