diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-23 19:27:51 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-23 19:27:51 +0000 |
| commit | 2f1248f84e09ddbb48e5ef0700ee61463da0be41 (patch) | |
| tree | 06336eff7d07b785481765f6bf48667f67df9184 /src/algebra/strap/TSETCAT.lsp | |
| parent | 007980660ba03555922525f9f7ee5b0f59ef41b1 (diff) | |
| download | open-axiom-2f1248f84e09ddbb48e5ef0700ee61463da0be41.tar.gz | |
* algebra/strap/TSETCAT.lsp: Remove.
* algebra/strap/TSETCAT-.lsp: Likewise.
Diffstat (limited to 'src/algebra/strap/TSETCAT.lsp')
| -rw-r--r-- | src/algebra/strap/TSETCAT.lsp | 200 |
1 files changed, 0 insertions, 200 deletions
diff --git a/src/algebra/strap/TSETCAT.lsp b/src/algebra/strap/TSETCAT.lsp deleted file mode 100644 index 0c008984..00000000 --- a/src/algebra/strap/TSETCAT.lsp +++ /dev/null @@ -1,200 +0,0 @@ - -(/VERSIONCHECK 2) - -(DEFPARAMETER |TriangularSetCategory;CAT| 'NIL) - -(DEFPARAMETER |TriangularSetCategory;AL| 'NIL) - -(DEFUN |TriangularSetCategory;| (|t#1| |t#2| |t#3| |t#4|) - (PROG (#0=#:G1449) - (RETURN - (PROG1 (LETT #0# - (|sublisV| - (PAIR '(|t#1| |t#2| |t#3| |t#4|) - (LIST (|devaluate| |t#1|) - (|devaluate| |t#2|) - (|devaluate| |t#3|) - (|devaluate| |t#4|))) - (COND - (|TriangularSetCategory;CAT|) - ('T - (LETT |TriangularSetCategory;CAT| - (|Join| (|PolynomialSetCategory| '|t#1| - '|t#2| '|t#3| '|t#4|) - (|mkCategory| '|domain| - '(((|infRittWu?| - ((|Boolean|) $ $)) - T) - ((|basicSet| - ((|Union| - (|Record| (|:| |bas| $) - (|:| |top| - (|List| |t#4|))) - "failed") - (|List| |t#4|) - (|Mapping| (|Boolean|) - |t#4| |t#4|))) - T) - ((|basicSet| - ((|Union| - (|Record| (|:| |bas| $) - (|:| |top| - (|List| |t#4|))) - "failed") - (|List| |t#4|) - (|Mapping| (|Boolean|) - |t#4|) - (|Mapping| (|Boolean|) - |t#4| |t#4|))) - T) - ((|initials| - ((|List| |t#4|) $)) - T) - ((|degree| - ((|NonNegativeInteger|) $)) - T) - ((|quasiComponent| - ((|Record| - (|:| |close| - (|List| |t#4|)) - (|:| |open| - (|List| |t#4|))) - $)) - T) - ((|normalized?| - ((|Boolean|) |t#4| $)) - T) - ((|normalized?| - ((|Boolean|) $)) - T) - ((|reduced?| - ((|Boolean|) |t#4| $ - (|Mapping| (|Boolean|) - |t#4| |t#4|))) - T) - ((|stronglyReduced?| - ((|Boolean|) |t#4| $)) - T) - ((|headReduced?| - ((|Boolean|) |t#4| $)) - T) - ((|initiallyReduced?| - ((|Boolean|) |t#4| $)) - T) - ((|autoReduced?| - ((|Boolean|) $ - (|Mapping| (|Boolean|) - |t#4| (|List| |t#4|)))) - T) - ((|stronglyReduced?| - ((|Boolean|) $)) - T) - ((|headReduced?| - ((|Boolean|) $)) - T) - ((|initiallyReduced?| - ((|Boolean|) $)) - T) - ((|reduce| - (|t#4| |t#4| $ - (|Mapping| |t#4| |t#4| - |t#4|) - (|Mapping| (|Boolean|) - |t#4| |t#4|))) - T) - ((|rewriteSetWithReduction| - ((|List| |t#4|) - (|List| |t#4|) $ - (|Mapping| |t#4| |t#4| - |t#4|) - (|Mapping| (|Boolean|) - |t#4| |t#4|))) - T) - ((|stronglyReduce| - (|t#4| |t#4| $)) - T) - ((|headReduce| - (|t#4| |t#4| $)) - T) - ((|initiallyReduce| - (|t#4| |t#4| $)) - T) - ((|removeZero| - (|t#4| |t#4| $)) - T) - ((|collectQuasiMonic| ($ $)) - T) - ((|reduceByQuasiMonic| - (|t#4| |t#4| $)) - T) - ((|zeroSetSplit| - ((|List| $) - (|List| |t#4|))) - T) - ((|zeroSetSplitIntoTriangularSystems| - ((|List| - (|Record| - (|:| |close| $) - (|:| |open| - (|List| |t#4|)))) - (|List| |t#4|))) - T) - ((|first| - ((|Union| |t#4| "failed") - $)) - T) - ((|last| - ((|Union| |t#4| "failed") - $)) - T) - ((|rest| - ((|Union| $ "failed") $)) - T) - ((|algebraicVariables| - ((|List| |t#3|) $)) - T) - ((|algebraic?| - ((|Boolean|) |t#3| $)) - T) - ((|select| - ((|Union| |t#4| "failed") - $ |t#3|)) - T) - ((|extendIfCan| - ((|Union| $ "failed") $ - |t#4|)) - T) - ((|extend| ($ $ |t#4|)) T) - ((|coHeight| - ((|NonNegativeInteger|) $)) - (|has| |t#3| (|Finite|)))) - '((|finiteAggregate| T) - (|shallowlyMutable| T)) - '((|NonNegativeInteger|) - (|Boolean|) (|List| |t#3|) - (|List| - (|Record| (|:| |close| $) - (|:| |open| - (|List| |t#4|)))) - (|List| |t#4|) (|List| $)) - NIL)) - . #1=(|TriangularSetCategory|))))) . #1#) - (|setShellEntry| #0# 0 - (LIST '|TriangularSetCategory| (|devaluate| |t#1|) - (|devaluate| |t#2|) (|devaluate| |t#3|) - (|devaluate| |t#4|))))))) - -(DEFUN |TriangularSetCategory| (&REST #0=#:G1452 &AUX #1=#:G1450) - (DSETQ #1# #0#) - (LET (#2=#:G1451) - (COND - ((SETQ #2# - (|assoc| (|devaluateList| #1#) |TriangularSetCategory;AL|)) - (CDR #2#)) - (T (SETQ |TriangularSetCategory;AL| - (|cons5| (CONS (|devaluateList| #1#) - (SETQ #2# - (APPLY #'|TriangularSetCategory;| - #1#))) - |TriangularSetCategory;AL|)) - #2#)))) |