* algebra/coerce.spad.pamphlet (CoercibleFrom): New.

	(ConvertibleFrom): Likewise.
	(RetractableTo): Use it.
	* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
	KRCFROM and KVTFROM.
	* share/algebra/: Update databases.

1 files changed, 0 insertions, 639 deletions

diff --git a/src/algebra/strap/UPOLYC-.lsp b/src/algebra/strap/UPOLYC-.lsp
index ceef39e9..ddb992a4 100644
--- a/src/algebra/strap/UPOLYC-.lsp
+++ b/src/algebra/strap/UPOLYC-.lsp
@@ -1402,642 +1402,3 @@
                                   19 0 14 20 2 0 0 0 12 125 2 0 120 0 0
                                   161 2 0 156 143 0 157 1 0 0 12 51)))))
           '|lookupComplete|)) 
-
-(SETQ |$CategoryFrame|
-      (|put| '|UnivariatePolynomialCategory&| '|isFunctor|
-             '(((|coerce| ($ $)) T (ELT $ NIL))
-               ((|gcdPolynomial|
-                    ((|SparseUnivariatePolynomial| $)
-                     (|SparseUnivariatePolynomial| $)
-                     (|SparseUnivariatePolynomial| $)))
-                T (ELT $ 182))
-               ((|squareFree| ((|Factored| $) $)) T (ELT $ 173))
-               ((|squareFreePart| ($ $)) T (ELT $ 175))
-               ((|coerce| ($ (|Fraction| (|Integer|)))) T (ELT $ NIL))
-               ((|init| ($)) T (ELT $ 119))
-               ((|nextItem| ((|Union| $ "failed") $)) T (ELT $ 123))
-               ((|elt| ((|Fraction| $) $ (|Fraction| $))) T
-                (ELT $ 169))
-               ((|euclideanSize| ((|NonNegativeInteger|) $)) T
-                (ELT $ 188))
-               ((|divide|
-                    ((|Record| (|:| |quotient| $) (|:| |remainder| $))
-                     $ $))
-                T (ELT $ 191))
-               ((|integrate| ($ $)) T (ELT $ 197))
-               ((|elt| (|#2| (|Fraction| $) |#2|)) T (ELT $ 187))
-               ((|separate|
-                    ((|Record| (|:| |primePart| $)
-                         (|:| |commonPart| $))
-                     $ $))
-                T (ELT $ 130))
-               ((|pseudoDivide|
-                    ((|Record| (|:| |coef| |#2|) (|:| |quotient| $)
-                         (|:| |remainder| $))
-                     $ $))
-                T (ELT $ 153))
-               ((|pseudoQuotient| ($ $ $)) T (ELT $ 151))
-               ((|composite|
-                    ((|Union| (|Fraction| $) "failed") (|Fraction| $)
-                     $))
-                T (ELT $ 157))
-               ((|composite| ((|Union| $ "failed") $ $)) T (ELT $ 161))
-               ((|order| ((|NonNegativeInteger|) $ $)) T (ELT $ 170))
-               ((|elt| ((|Fraction| $) (|Fraction| $) (|Fraction| $)))
-                T (ELT $ 147))
-               ((|differentiate| ($ $ (|Mapping| |#2| |#2|) $)) T
-                (ELT $ 134))
-               ((|shiftLeft| ($ $ (|NonNegativeInteger|))) T
-                (ELT $ 73))
-               ((|shiftRight| ($ $ (|NonNegativeInteger|))) T
-                (ELT $ 71))
-               ((|karatsubaDivide|
-                    ((|Record| (|:| |quotient| $) (|:| |remainder| $))
-                     $ (|NonNegativeInteger|)))
-                T (ELT $ 70))
-               ((|unmakeSUP| ($ (|SparseUnivariatePolynomial| |#2|))) T
-                (ELT $ 67))
-               ((|makeSUP| ((|SparseUnivariatePolynomial| |#2|) $)) T
-                (ELT $ 59))
-               ((|vectorise|
-                    ((|Vector| |#2|) $ (|NonNegativeInteger|)))
-                T (ELT $ 114))
-               ((|differentiate| ($ $ (|Mapping| |#2| |#2|))) T
-                (ELT $ 137))
-               ((|differentiate|
-                    ($ $ (|Mapping| |#2| |#2|) (|NonNegativeInteger|)))
-                T (ELT $ NIL))
-               ((|differentiate|
-                    ($ $ (|List| (|Symbol|))
-                       (|List| (|NonNegativeInteger|))))
-                T (ELT $ NIL))
-               ((|differentiate|
-                    ($ $ (|Symbol|) (|NonNegativeInteger|)))
-                T (ELT $ NIL))
-               ((|differentiate| ($ $ (|List| (|Symbol|)))) T
-                (ELT $ NIL))
-               ((|differentiate| ($ $ (|Symbol|))) T (ELT $ NIL))
-               ((|differentiate| ($ $)) T (ELT $ 138))
-               ((|differentiate| ($ $ (|NonNegativeInteger|))) T
-                (ELT $ NIL))
-               ((|elt| ($ $ $)) T (ELT $ NIL))
-               ((|elt| (|#2| $ |#2|)) T (ELT $ NIL))
-               ((|factor| ((|Factored| $) $)) T (ELT $ 107))
-               ((|squareFreePolynomial|
-                    ((|Factored| (|SparseUnivariatePolynomial| $))
-                     (|SparseUnivariatePolynomial| $)))
-                T (ELT $ 185))
-               ((|factorPolynomial|
-                    ((|Factored| (|SparseUnivariatePolynomial| $))
-                     (|SparseUnivariatePolynomial| $)))
-                T (ELT $ 86))
-               ((|factorSquareFreePolynomial|
-                    ((|Factored| (|SparseUnivariatePolynomial| $))
-                     (|SparseUnivariatePolynomial| $)))
-                T (ELT $ 88))
-               ((|solveLinearPolynomialEquation|
-                    ((|Union| (|List| (|SparseUnivariatePolynomial| $))
-                              "failed")
-                     (|List| (|SparseUnivariatePolynomial| $))
-                     (|SparseUnivariatePolynomial| $)))
-                T (ELT $ 82))
-               ((|content| ($ $ (|SingletonAsOrderedSet|))) T
-                (ELT $ 125))
-               ((|variables| ((|List| (|SingletonAsOrderedSet|)) $)) T
-                (ELT $ 15))
-               ((|totalDegree|
-                    ((|NonNegativeInteger|) $
-                     (|List| (|SingletonAsOrderedSet|))))
-                T (ELT $ 18))
-               ((|totalDegree| ((|NonNegativeInteger|) $)) T
-                (ELT $ NIL))
-               ((|monomial|
-                    ($ $ (|List| (|SingletonAsOrderedSet|))
-                       (|List| (|NonNegativeInteger|))))
-                T (ELT $ NIL))
-               ((|monomial|
-                    ($ $ (|SingletonAsOrderedSet|)
-                       (|NonNegativeInteger|)))
-                T (ELT $ 47))
-               ((|minimumDegree|
-                    ((|List| (|NonNegativeInteger|)) $
-                     (|List| (|SingletonAsOrderedSet|))))
-                T (ELT $ 43))
-               ((|minimumDegree|
-                    ((|NonNegativeInteger|) $
-                     (|SingletonAsOrderedSet|)))
-                T (ELT $ 42))
-               ((|mainVariable|
-                    ((|Union| (|SingletonAsOrderedSet|) "failed") $))
-                T (ELT $ 40))
-               ((|degree|
-                    ((|List| (|NonNegativeInteger|)) $
-                     (|List| (|SingletonAsOrderedSet|))))
-                T (ELT $ 20))
-               ((|degree|
-                    ((|NonNegativeInteger|) $
-                     (|SingletonAsOrderedSet|)))
-                T (ELT $ 16))
-               ((|retract| ((|SingletonAsOrderedSet|) $)) T
-                (ELT $ NIL))
-               ((|retractIfCan|
-                    ((|Union| (|SingletonAsOrderedSet|) "failed") $))
-                T (ELT $ NIL))
-               ((|coerce| ($ (|SingletonAsOrderedSet|))) T (ELT $ 51))
-               ((|eval| ($ $ (|List| (|SingletonAsOrderedSet|))
-                           (|List| $)))
-                T (ELT $ 23))
-               ((|eval| ($ $ (|SingletonAsOrderedSet|) $)) T
-                (ELT $ 25))
-               ((|eval| ($ $ (|List| (|SingletonAsOrderedSet|))
-                           (|List| |#2|)))
-                T (ELT $ 28))
-               ((|eval| ($ $ (|SingletonAsOrderedSet|) |#2|)) T
-                (ELT $ 31))
-               ((|eval| ($ $ (|List| $) (|List| $))) T (ELT $ NIL))
-               ((|eval| ($ $ $ $)) T (ELT $ NIL))
-               ((|eval| ($ $ (|Equation| $))) T (ELT $ NIL))
-               ((|eval| ($ $ (|List| (|Equation| $)))) T (ELT $ 39))
-               ((|degree| ((|NonNegativeInteger|) $)) T (ELT $ NIL))
-               ((|monomial| ($ |#2| (|NonNegativeInteger|))) T
-                (ELT $ NIL))
-               ((|retract| ((|Integer|) $)) T (ELT $ NIL))
-               ((|retractIfCan| ((|Union| (|Integer|) "failed") $)) T
-                (ELT $ NIL))
-               ((|retract| ((|Fraction| (|Integer|)) $)) T (ELT $ NIL))
-               ((|retractIfCan|
-                    ((|Union| (|Fraction| (|Integer|)) "failed") $))
-                T (ELT $ NIL))
-               ((|coerce| ($ |#2|)) T (ELT $ NIL))
-               ((|retractIfCan| ((|Union| |#2| "failed") $)) T
-                (ELT $ 117))
-               ((|retract| (|#2| $)) T (ELT $ 115))
-               ((|minimumDegree| ((|NonNegativeInteger|) $)) T
-                (ELT $ NIL))
-               ((|content| (|#2| $)) T (ELT $ NIL))
-               ((|differentiate|
-                    ($ $ (|List| (|SingletonAsOrderedSet|))
-                       (|List| (|NonNegativeInteger|))))
-                T (ELT $ NIL))
-               ((|differentiate|
-                    ($ $ (|SingletonAsOrderedSet|)
-                       (|NonNegativeInteger|)))
-                T (ELT $ NIL))
-               ((|differentiate|
-                    ($ $ (|List| (|SingletonAsOrderedSet|))))
-                T (ELT $ NIL))
-               ((|differentiate| ($ $ (|SingletonAsOrderedSet|))) T
-                (ELT $ 140))
-               ((|coerce| ($ (|Integer|))) T (ELT $ NIL))
-               ((|coerce| ((|OutputForm|) $)) T (ELT $ NIL)))
-             (|addModemap| '|UnivariatePolynomialCategory&|
-                 '(|UnivariatePolynomialCategory&| |#1| |#2|)
-                 '((CATEGORY |domain| (SIGNATURE |coerce| (|#1| |#1|))
-                       (SIGNATURE |gcdPolynomial|
-                           ((|SparseUnivariatePolynomial| |#1|)
-                            (|SparseUnivariatePolynomial| |#1|)
-                            (|SparseUnivariatePolynomial| |#1|)))
-                       (SIGNATURE |squareFree|
-                           ((|Factored| |#1|) |#1|))
-                       (SIGNATURE |squareFreePart| (|#1| |#1|))
-                       (SIGNATURE |coerce|
-                           (|#1| (|Fraction| (|Integer|))))
-                       (SIGNATURE |init| (|#1|))
-                       (SIGNATURE |nextItem|
-                           ((|Union| |#1| "failed") |#1|))
-                       (SIGNATURE |elt|
-                           ((|Fraction| |#1|) |#1| (|Fraction| |#1|)))
-                       (SIGNATURE |euclideanSize|
-                           ((|NonNegativeInteger|) |#1|))
-                       (SIGNATURE |divide|
-                           ((|Record| (|:| |quotient| |#1|)
-                                (|:| |remainder| |#1|))
-                            |#1| |#1|))
-                       (SIGNATURE |integrate| (|#1| |#1|))
-                       (SIGNATURE |elt| (|#2| (|Fraction| |#1|) |#2|))
-                       (SIGNATURE |separate|
-                           ((|Record| (|:| |primePart| |#1|)
-                                (|:| |commonPart| |#1|))
-                            |#1| |#1|))
-                       (SIGNATURE |pseudoDivide|
-                           ((|Record| (|:| |coef| |#2|)
-                                (|:| |quotient| |#1|)
-                                (|:| |remainder| |#1|))
-                            |#1| |#1|))
-                       (SIGNATURE |pseudoQuotient| (|#1| |#1| |#1|))
-                       (SIGNATURE |composite|
-                           ((|Union| (|Fraction| |#1|) "failed")
-                            (|Fraction| |#1|) |#1|))
-                       (SIGNATURE |composite|
-                           ((|Union| |#1| "failed") |#1| |#1|))
-                       (SIGNATURE |order|
-                           ((|NonNegativeInteger|) |#1| |#1|))
-                       (SIGNATURE |elt|
-                           ((|Fraction| |#1|) (|Fraction| |#1|)
-                            (|Fraction| |#1|)))
-                       (SIGNATURE |differentiate|
-                           (|#1| |#1| (|Mapping| |#2| |#2|) |#1|))
-                       (SIGNATURE |shiftLeft|
-                           (|#1| |#1| (|NonNegativeInteger|)))
-                       (SIGNATURE |shiftRight|
-                           (|#1| |#1| (|NonNegativeInteger|)))
-                       (SIGNATURE |karatsubaDivide|
-                           ((|Record| (|:| |quotient| |#1|)
-                                      (|:| |remainder| |#1|))
-                            |#1| (|NonNegativeInteger|)))
-                       (SIGNATURE |unmakeSUP|
-                           (|#1| (|SparseUnivariatePolynomial| |#2|)))
-                       (SIGNATURE |makeSUP|
-                           ((|SparseUnivariatePolynomial| |#2|) |#1|))
-                       (SIGNATURE |vectorise|
-                           ((|Vector| |#2|) |#1|
-                            (|NonNegativeInteger|)))
-                       (SIGNATURE |differentiate|
-                           (|#1| |#1| (|Mapping| |#2| |#2|)))
-                       (SIGNATURE |differentiate|
-                           (|#1| |#1| (|Mapping| |#2| |#2|)
-                                 (|NonNegativeInteger|)))
-                       (SIGNATURE |differentiate|
-                           (|#1| |#1| (|List| (|Symbol|))
-                                 (|List| (|NonNegativeInteger|))))
-                       (SIGNATURE |differentiate|
-                           (|#1| |#1| (|Symbol|)
-                                 (|NonNegativeInteger|)))
-                       (SIGNATURE |differentiate|
-                           (|#1| |#1| (|List| (|Symbol|))))
-                       (SIGNATURE |differentiate|
-                                  (|#1| |#1| (|Symbol|)))
-                       (SIGNATURE |differentiate| (|#1| |#1|))
-                       (SIGNATURE |differentiate|
-                           (|#1| |#1| (|NonNegativeInteger|)))
-                       (SIGNATURE |elt| (|#1| |#1| |#1|))
-                       (SIGNATURE |elt| (|#2| |#1| |#2|))
-                       (SIGNATURE |factor| ((|Factored| |#1|) |#1|))
-                       (SIGNATURE |squareFreePolynomial|
-                           ((|Factored|
-                                (|SparseUnivariatePolynomial| |#1|))
-                            (|SparseUnivariatePolynomial| |#1|)))
-                       (SIGNATURE |factorPolynomial|
-                           ((|Factored|
-                                (|SparseUnivariatePolynomial| |#1|))
-                            (|SparseUnivariatePolynomial| |#1|)))
-                       (SIGNATURE |factorSquareFreePolynomial|
-                           ((|Factored|
-                                (|SparseUnivariatePolynomial| |#1|))
-                            (|SparseUnivariatePolynomial| |#1|)))
-                       (SIGNATURE |solveLinearPolynomialEquation|
-                           ((|Union| (|List|
-                                      (|SparseUnivariatePolynomial|
-                                       |#1|))
-                                     "failed")
-                            (|List| (|SparseUnivariatePolynomial| |#1|))
-                            (|SparseUnivariatePolynomial| |#1|)))
-                       (SIGNATURE |content|
-                           (|#1| |#1| (|SingletonAsOrderedSet|)))
-                       (SIGNATURE |variables|
-                           ((|List| (|SingletonAsOrderedSet|)) |#1|))
-                       (SIGNATURE |totalDegree|
-                           ((|NonNegativeInteger|) |#1|
-                            (|List| (|SingletonAsOrderedSet|))))
-                       (SIGNATURE |totalDegree|
-                           ((|NonNegativeInteger|) |#1|))
-                       (SIGNATURE |monomial|
-                           (|#1| |#1|
-                                 (|List| (|SingletonAsOrderedSet|))
-                                 (|List| (|NonNegativeInteger|))))
-                       (SIGNATURE |monomial|
-                           (|#1| |#1| (|SingletonAsOrderedSet|)
-                                 (|NonNegativeInteger|)))
-                       (SIGNATURE |minimumDegree|
-                           ((|List| (|NonNegativeInteger|)) |#1|
-                            (|List| (|SingletonAsOrderedSet|))))
-                       (SIGNATURE |minimumDegree|
-                           ((|NonNegativeInteger|) |#1|
-                            (|SingletonAsOrderedSet|)))
-                       (SIGNATURE |mainVariable|
-                           ((|Union| (|SingletonAsOrderedSet|)
-                                     "failed")
-                            |#1|))
-                       (SIGNATURE |degree|
-                           ((|List| (|NonNegativeInteger|)) |#1|
-                            (|List| (|SingletonAsOrderedSet|))))
-                       (SIGNATURE |degree|
-                           ((|NonNegativeInteger|) |#1|
-                            (|SingletonAsOrderedSet|)))
-                       (SIGNATURE |retract|
-                           ((|SingletonAsOrderedSet|) |#1|))
-                       (SIGNATURE |retractIfCan|
-                           ((|Union| (|SingletonAsOrderedSet|)
-                                     "failed")
-                            |#1|))
-                       (SIGNATURE |coerce|
-                           (|#1| (|SingletonAsOrderedSet|)))
-                       (SIGNATURE |eval|
-                           (|#1| |#1|
-                                 (|List| (|SingletonAsOrderedSet|))
-                                 (|List| |#1|)))
-                       (SIGNATURE |eval|
-                           (|#1| |#1| (|SingletonAsOrderedSet|) |#1|))
-                       (SIGNATURE |eval|
-                                  (|#1| |#1|
-                                        (|List|
-                                         (|SingletonAsOrderedSet|))
-                                        (|List| |#2|)))
-                       (SIGNATURE |eval|
-                           (|#1| |#1| (|SingletonAsOrderedSet|) |#2|))
-                       (SIGNATURE |eval|
-                           (|#1| |#1| (|List| |#1|) (|List| |#1|)))
-                       (SIGNATURE |eval| (|#1| |#1| |#1| |#1|))
-                       (SIGNATURE |eval| (|#1| |#1| (|Equation| |#1|)))
-                       (SIGNATURE |eval|
-                           (|#1| |#1| (|List| (|Equation| |#1|))))
-                       (SIGNATURE |degree|
-                           ((|NonNegativeInteger|) |#1|))
-                       (SIGNATURE |monomial|
-                           (|#1| |#2| (|NonNegativeInteger|)))
-                       (SIGNATURE |retract| ((|Integer|) |#1|))
-                       (SIGNATURE |retractIfCan|
-                           ((|Union| (|Integer|) "failed") |#1|))
-                       (SIGNATURE |retract|
-                           ((|Fraction| (|Integer|)) |#1|))
-                       (SIGNATURE |retractIfCan|
-                           ((|Union| (|Fraction| (|Integer|)) "failed")
-                            |#1|))
-                       (SIGNATURE |coerce| (|#1| |#2|))
-                       (SIGNATURE |retractIfCan|
-                           ((|Union| |#2| "failed") |#1|))
-                       (SIGNATURE |retract| (|#2| |#1|))
-                       (SIGNATURE |minimumDegree|
-                           ((|NonNegativeInteger|) |#1|))
-                       (SIGNATURE |content| (|#2| |#1|))
-                       (SIGNATURE |differentiate|
-                           (|#1| |#1|
-                                 (|List| (|SingletonAsOrderedSet|))
-                                 (|List| (|NonNegativeInteger|))))
-                       (SIGNATURE |differentiate|
-                           (|#1| |#1| (|SingletonAsOrderedSet|)
-                                 (|NonNegativeInteger|)))
-                       (SIGNATURE |differentiate|
-                           (|#1| |#1|
-                                 (|List| (|SingletonAsOrderedSet|))))
-                       (SIGNATURE |differentiate|
-                           (|#1| |#1| (|SingletonAsOrderedSet|)))
-                       (SIGNATURE |coerce| (|#1| (|Integer|)))
-                       (SIGNATURE |coerce| ((|OutputForm|) |#1|)))
-                   (|UnivariatePolynomialCategory| |#2|) (|Ring|))
-                 T '|UnivariatePolynomialCategory&|
-                 (|put| '|UnivariatePolynomialCategory&| '|mode|
-                        '(|Mapping|
-                             (CATEGORY |domain|
-                                 (SIGNATURE |coerce| (|#1| |#1|))
-                                 (SIGNATURE |gcdPolynomial|
-                                     ((|SparseUnivariatePolynomial|
-                                       |#1|)
-                                      (|SparseUnivariatePolynomial|
-                                       |#1|)
-                                      (|SparseUnivariatePolynomial|
-                                       |#1|)))
-                                 (SIGNATURE |squareFree|
-                                     ((|Factored| |#1|) |#1|))
-                                 (SIGNATURE |squareFreePart|
-                                     (|#1| |#1|))
-                                 (SIGNATURE |coerce|
-                                     (|#1| (|Fraction| (|Integer|))))
-                                 (SIGNATURE |init| (|#1|))
-                                 (SIGNATURE |nextItem|
-                                     ((|Union| |#1| "failed") |#1|))
-                                 (SIGNATURE |elt|
-                                     ((|Fraction| |#1|) |#1|
-                                      (|Fraction| |#1|)))
-                                 (SIGNATURE |euclideanSize|
-                                     ((|NonNegativeInteger|) |#1|))
-                                 (SIGNATURE |divide|
-                                     ((|Record| (|:| |quotient| |#1|)
-                                       (|:| |remainder| |#1|))
-                                      |#1| |#1|))
-                                 (SIGNATURE |integrate| (|#1| |#1|))
-                                 (SIGNATURE |elt|
-                                     (|#2| (|Fraction| |#1|) |#2|))
-                                 (SIGNATURE |separate|
-                                     ((|Record| (|:| |primePart| |#1|)
-                                       (|:| |commonPart| |#1|))
-                                      |#1| |#1|))
-                                 (SIGNATURE |pseudoDivide|
-                                     ((|Record| (|:| |coef| |#2|)
-                                       (|:| |quotient| |#1|)
-                                       (|:| |remainder| |#1|))
-                                      |#1| |#1|))
-                                 (SIGNATURE |pseudoQuotient|
-                                     (|#1| |#1| |#1|))
-                                 (SIGNATURE |composite|
-                                     ((|Union| (|Fraction| |#1|)
-                                       "failed")
-                                      (|Fraction| |#1|) |#1|))
-                                 (SIGNATURE |composite|
-                                     ((|Union| |#1| "failed") |#1|
-                                      |#1|))
-                                 (SIGNATURE |order|
-                                     ((|NonNegativeInteger|) |#1| |#1|))
-                                 (SIGNATURE |elt|
-                                     ((|Fraction| |#1|)
-                                      (|Fraction| |#1|)
-                                      (|Fraction| |#1|)))
-                                 (SIGNATURE |differentiate|
-                                     (|#1| |#1| (|Mapping| |#2| |#2|)
-                                      |#1|))
-                                 (SIGNATURE |shiftLeft|
-                                     (|#1| |#1| (|NonNegativeInteger|)))
-                                 (SIGNATURE |shiftRight|
-                                     (|#1| |#1| (|NonNegativeInteger|)))
-                                 (SIGNATURE |karatsubaDivide|
-                                     ((|Record| (|:| |quotient| |#1|)
-                                       (|:| |remainder| |#1|))
-                                      |#1| (|NonNegativeInteger|)))
-                                 (SIGNATURE |unmakeSUP|
-                                     (|#1|
-                                      (|SparseUnivariatePolynomial|
-                                       |#2|)))
-                                 (SIGNATURE |makeSUP|
-                                     ((|SparseUnivariatePolynomial|
-                                       |#2|)
-                                      |#1|))
-                                 (SIGNATURE |vectorise|
-                                     ((|Vector| |#2|) |#1|
-                                      (|NonNegativeInteger|)))
-                                 (SIGNATURE |differentiate|
-                                     (|#1| |#1| (|Mapping| |#2| |#2|)))
-                                 (SIGNATURE |differentiate|
-                                     (|#1| |#1| (|Mapping| |#2| |#2|)
-                                      (|NonNegativeInteger|)))
-                                 (SIGNATURE |differentiate|
-                                     (|#1| |#1| (|List| (|Symbol|))
-                                      (|List| (|NonNegativeInteger|))))
-                                 (SIGNATURE |differentiate|
-                                     (|#1| |#1| (|Symbol|)
-                                      (|NonNegativeInteger|)))
-                                 (SIGNATURE |differentiate|
-                                     (|#1| |#1| (|List| (|Symbol|))))
-                                 (SIGNATURE |differentiate|
-                                     (|#1| |#1| (|Symbol|)))
-                                 (SIGNATURE |differentiate|
-                                     (|#1| |#1|))
-                                 (SIGNATURE |differentiate|
-                                     (|#1| |#1| (|NonNegativeInteger|)))
-                                 (SIGNATURE |elt| (|#1| |#1| |#1|))
-                                 (SIGNATURE |elt| (|#2| |#1| |#2|))
-                                 (SIGNATURE |factor|
-                                     ((|Factored| |#1|) |#1|))
-                                 (SIGNATURE |squareFreePolynomial|
-                                     ((|Factored|
-                                       (|SparseUnivariatePolynomial|
-                                        |#1|))
-                                      (|SparseUnivariatePolynomial|
-                                       |#1|)))
-                                 (SIGNATURE |factorPolynomial|
-                                     ((|Factored|
-                                       (|SparseUnivariatePolynomial|
-                                        |#1|))
-                                      (|SparseUnivariatePolynomial|
-                                       |#1|)))
-                                 (SIGNATURE
-                                     |factorSquareFreePolynomial|
-                                     ((|Factored|
-                                       (|SparseUnivariatePolynomial|
-                                        |#1|))
-                                      (|SparseUnivariatePolynomial|
-                                       |#1|)))
-                                 (SIGNATURE
-                                     |solveLinearPolynomialEquation|
-                                     ((|Union|
-                                       (|List|
-                                        (|SparseUnivariatePolynomial|
-                                         |#1|))
-                                       "failed")
-                                      (|List|
-                                       (|SparseUnivariatePolynomial|
-                                        |#1|))
-                                      (|SparseUnivariatePolynomial|
-                                       |#1|)))
-                                 (SIGNATURE |content|
-                                     (|#1| |#1|
-                                      (|SingletonAsOrderedSet|)))
-                                 (SIGNATURE |variables|
-                                     ((|List|
-                                       (|SingletonAsOrderedSet|))
-                                      |#1|))
-                                 (SIGNATURE |totalDegree|
-                                     ((|NonNegativeInteger|) |#1|
-                                      (|List|
-                                       (|SingletonAsOrderedSet|))))
-                                 (SIGNATURE |totalDegree|
-                                     ((|NonNegativeInteger|) |#1|))
-                                 (SIGNATURE |monomial|
-                                     (|#1| |#1|
-                                      (|List|
-                                       (|SingletonAsOrderedSet|))
-                                      (|List| (|NonNegativeInteger|))))
-                                 (SIGNATURE |monomial|
-                                     (|#1| |#1|
-                                      (|SingletonAsOrderedSet|)
-                                      (|NonNegativeInteger|)))
-                                 (SIGNATURE |minimumDegree|
-                                     ((|List| (|NonNegativeInteger|))
-                                      |#1|
-                                      (|List|
-                                       (|SingletonAsOrderedSet|))))
-                                 (SIGNATURE |minimumDegree|
-                                     ((|NonNegativeInteger|) |#1|
-                                      (|SingletonAsOrderedSet|)))
-                                 (SIGNATURE |mainVariable|
-                                     ((|Union|
-                                       (|SingletonAsOrderedSet|)
-                                       "failed")
-                                      |#1|))
-                                 (SIGNATURE |degree|
-                                     ((|List| (|NonNegativeInteger|))
-                                      |#1|
-                                      (|List|
-                                       (|SingletonAsOrderedSet|))))
-                                 (SIGNATURE |degree|
-                                     ((|NonNegativeInteger|) |#1|
-                                      (|SingletonAsOrderedSet|)))
-                                 (SIGNATURE |retract|
-                                     ((|SingletonAsOrderedSet|) |#1|))
-                                 (SIGNATURE |retractIfCan|
-                                     ((|Union|
-                                       (|SingletonAsOrderedSet|)
-                                       "failed")
-                                      |#1|))
-                                 (SIGNATURE |coerce|
-                                     (|#1| (|SingletonAsOrderedSet|)))
-                                 (SIGNATURE |eval|
-                                     (|#1| |#1|
-                                      (|List|
-                                       (|SingletonAsOrderedSet|))
-                                      (|List| |#1|)))
-                                 (SIGNATURE |eval|
-                                     (|#1| |#1|
-                                      (|SingletonAsOrderedSet|) |#1|))
-                                 (SIGNATURE |eval|
-                                     (|#1| |#1|
-                                      (|List|
-                                       (|SingletonAsOrderedSet|))
-                                      (|List| |#2|)))
-                                 (SIGNATURE |eval|
-                                     (|#1| |#1|
-                                      (|SingletonAsOrderedSet|) |#2|))
-                                 (SIGNATURE |eval|
-                                     (|#1| |#1| (|List| |#1|)
-                                      (|List| |#1|)))
-                                 (SIGNATURE |eval|
-                                     (|#1| |#1| |#1| |#1|))
-                                 (SIGNATURE |eval|
-                                     (|#1| |#1| (|Equation| |#1|)))
-                                 (SIGNATURE |eval|
-                                     (|#1| |#1|
-                                      (|List| (|Equation| |#1|))))
-                                 (SIGNATURE |degree|
-                                     ((|NonNegativeInteger|) |#1|))
-                                 (SIGNATURE |monomial|
-                                     (|#1| |#2| (|NonNegativeInteger|)))
-                                 (SIGNATURE |retract|
-                                     ((|Integer|) |#1|))
-                                 (SIGNATURE |retractIfCan|
-                                     ((|Union| (|Integer|) "failed")
-                                      |#1|))
-                                 (SIGNATURE |retract|
-                                     ((|Fraction| (|Integer|)) |#1|))
-                                 (SIGNATURE |retractIfCan|
-                                     ((|Union| (|Fraction| (|Integer|))
-                                       "failed")
-                                      |#1|))
-                                 (SIGNATURE |coerce| (|#1| |#2|))
-                                 (SIGNATURE |retractIfCan|
-                                     ((|Union| |#2| "failed") |#1|))
-                                 (SIGNATURE |retract| (|#2| |#1|))
-                                 (SIGNATURE |minimumDegree|
-                                     ((|NonNegativeInteger|) |#1|))
-                                 (SIGNATURE |content| (|#2| |#1|))
-                                 (SIGNATURE |differentiate|
-                                     (|#1| |#1|
-                                      (|List|
-                                       (|SingletonAsOrderedSet|))
-                                      (|List| (|NonNegativeInteger|))))
-                                 (SIGNATURE |differentiate|
-                                     (|#1| |#1|
-                                      (|SingletonAsOrderedSet|)
-                                      (|NonNegativeInteger|)))
-                                 (SIGNATURE |differentiate|
-                                     (|#1| |#1|
-                                      (|List|
-                                       (|SingletonAsOrderedSet|))))
-                                 (SIGNATURE |differentiate|
-                                     (|#1| |#1|
-                                      (|SingletonAsOrderedSet|)))
-                                 (SIGNATURE |coerce|
-                                     (|#1| (|Integer|)))
-                                 (SIGNATURE |coerce|
-                                     ((|OutputForm|) |#1|)))
-                             (|UnivariatePolynomialCategory| |#2|)
-                             (|Ring|))
-                        |$CategoryFrame|))))