diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-24 11:40:17 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-24 11:40:17 +0000 |
| commit | 3b24f6e21fc68e562a47f36a4a693391da50fdf3 (patch) | |
| tree | 2f94b35baf5e0ccd9b4fa90de8e19150aa9c91ab /src/algebra/strap/UPOLYC.lsp | |
| parent | 174164a1d057bb5f133a323c9e47bb63534fc375 (diff) | |
| download | open-axiom-3b24f6e21fc68e562a47f36a4a693391da50fdf3.tar.gz | |
* algebra/strap/UPOLYC.lsp: Remove.
* algebra/strap/UPOLYC-.lsp: Likewise.
Diffstat (limited to 'src/algebra/strap/UPOLYC.lsp')
| -rw-r--r-- | src/algebra/strap/UPOLYC.lsp | 157 |
1 files changed, 0 insertions, 157 deletions
diff --git a/src/algebra/strap/UPOLYC.lsp b/src/algebra/strap/UPOLYC.lsp deleted file mode 100644 index 1017ee1c..00000000 --- a/src/algebra/strap/UPOLYC.lsp +++ /dev/null @@ -1,157 +0,0 @@ - -(/VERSIONCHECK 2) - -(DEFPARAMETER |UnivariatePolynomialCategory;CAT| 'NIL) - -(DEFPARAMETER |UnivariatePolynomialCategory;AL| 'NIL) - -(DEFUN |UnivariatePolynomialCategory;| (|t#1|) - (PROG (#0=#:G1436) - (RETURN - (PROG1 (LETT #0# - (|sublisV| - (PAIR '(|t#1|) (LIST (|devaluate| |t#1|))) - (|sublisV| - (PAIR '(#1=#:G1434 #2=#:G1435) - (LIST '(|NonNegativeInteger|) - '(|SingletonAsOrderedSet|))) - (COND - (|UnivariatePolynomialCategory;CAT|) - ('T - (LETT |UnivariatePolynomialCategory;CAT| - (|Join| - (|PolynomialCategory| '|t#1| '#1# - '#2#) - (|Eltable| '|t#1| '|t#1|) - (|Eltable| '$ '$) - (|DifferentialRing|) - (|DifferentialExtension| '|t#1|) - (|mkCategory| '|domain| - '(((|vectorise| - ((|Vector| |t#1|) $ - (|NonNegativeInteger|))) - T) - ((|makeSUP| - ((|SparseUnivariatePolynomial| - |t#1|) - $)) - T) - ((|unmakeSUP| - ($ - (|SparseUnivariatePolynomial| - |t#1|))) - T) - ((|multiplyExponents| - ($ $ (|NonNegativeInteger|))) - T) - ((|divideExponents| - ((|Union| $ "failed") $ - (|NonNegativeInteger|))) - T) - ((|monicDivide| - ((|Record| (|:| |quotient| $) - (|:| |remainder| $)) - $ $)) - T) - ((|karatsubaDivide| - ((|Record| (|:| |quotient| $) - (|:| |remainder| $)) - $ (|NonNegativeInteger|))) - T) - ((|shiftRight| - ($ $ (|NonNegativeInteger|))) - T) - ((|shiftLeft| - ($ $ (|NonNegativeInteger|))) - T) - ((|pseudoRemainder| ($ $ $)) T) - ((|differentiate| - ($ $ (|Mapping| |t#1| |t#1|) - $)) - T) - ((|discriminant| (|t#1| $)) - (|has| |t#1| - (|CommutativeRing|))) - ((|resultant| (|t#1| $ $)) - (|has| |t#1| - (|CommutativeRing|))) - ((|elt| - ((|Fraction| $) - (|Fraction| $) - (|Fraction| $))) - (|has| |t#1| - (|IntegralDomain|))) - ((|order| - ((|NonNegativeInteger|) $ $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|subResultantGcd| ($ $ $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|composite| - ((|Union| $ "failed") $ $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|composite| - ((|Union| (|Fraction| $) - "failed") - (|Fraction| $) $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|pseudoQuotient| ($ $ $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|pseudoDivide| - ((|Record| (|:| |coef| |t#1|) - (|:| |quotient| $) - (|:| |remainder| $)) - $ $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|separate| - ((|Record| - (|:| |primePart| $) - (|:| |commonPart| $)) - $ $)) - (|has| |t#1| (|GcdDomain|))) - ((|elt| - (|t#1| (|Fraction| $) |t#1|)) - (|has| |t#1| (|Field|))) - ((|integrate| ($ $)) - (|has| |t#1| - (|Algebra| - (|Fraction| (|Integer|)))))) - '(((|StepThrough|) - (|has| |t#1| (|StepThrough|))) - ((|Eltable| (|Fraction| $) - (|Fraction| $)) - (|has| |t#1| - (|IntegralDomain|))) - ((|EuclideanDomain|) - (|has| |t#1| (|Field|))) - (|additiveValuation| - (|has| |t#1| (|Field|)))) - '((|Fraction| $) - (|NonNegativeInteger|) - (|SparseUnivariatePolynomial| - |t#1|) - (|Vector| |t#1|)) - NIL)) - . #3=(|UnivariatePolynomialCategory|)))))) . #3#) - (|setShellEntry| #0# 0 - (LIST '|UnivariatePolynomialCategory| (|devaluate| |t#1|))))))) - -(DEFUN |UnivariatePolynomialCategory| (#0=#:G1437) - (LET (#1=#:G1438) - (COND - ((SETQ #1# - (|assoc| (|devaluate| #0#) - |UnivariatePolynomialCategory;AL|)) - (CDR #1#)) - (T (SETQ |UnivariatePolynomialCategory;AL| - (|cons5| (CONS (|devaluate| #0#) - (SETQ #1# - (|UnivariatePolynomialCategory;| - #0#))) - |UnivariatePolynomialCategory;AL|)) - #1#)))) |