* 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, 305 deletions

diff --git a/src/algebra/strap/LIST.lsp b/src/algebra/strap/LIST.lsp
index e43d4ed3..949f0960 100644
--- a/src/algebra/strap/LIST.lsp
+++ b/src/algebra/strap/LIST.lsp
@@ -353,308 +353,3 @@
                                   0 0 11 3 6 12 13 0 8 29 2 6 12 13 0
                                   28 1 6 15 0 26 2 6 15 0 8 27)))))
           '|lookupIncomplete|)) 
-
-(SETQ |$CategoryFrame|
-      (|put| '|List| '|isFunctor|
-             '(((~= ((|Boolean|) $ $)) (|has| |#1| (|SetCategory|))
-                (ELT $ NIL))
-               ((= ((|Boolean|) $ $)) (|has| |#1| (|SetCategory|))
-                (ELT $ NIL))
-               ((|coerce| ((|OutputForm|) $))
-                (|has| |#1| (|CoercibleTo| (|OutputForm|)))
-                (ELT $ NIL))
-               ((|hash| ((|SingleInteger|) $))
-                (|has| |#1| (|SetCategory|)) (ELT $ NIL))
-               ((|latex| ((|String|) $)) (|has| |#1| (|SetCategory|))
-                (ELT $ NIL))
-               ((|OMwrite| ((|Void|) (|OpenMathDevice|) $ (|Boolean|)))
-                (|has| |#1| (|OpenMath|)) (ELT $ 29))
-               ((|OMwrite| ((|Void|) (|OpenMathDevice|) $))
-                (|has| |#1| (|OpenMath|)) (ELT $ 28))
-               ((|OMwrite| ((|String|) $ (|Boolean|)))
-                (|has| |#1| (|OpenMath|)) (ELT $ 27))
-               ((|OMwrite| ((|String|) $)) (|has| |#1| (|OpenMath|))
-                (ELT $ 26))
-               ((|setDifference| ($ $ $)) (|has| |#1| (|SetCategory|))
-                (ELT $ 37))
-               ((|setIntersection| ($ $ $))
-                (|has| |#1| (|SetCategory|)) (ELT $ 34))
-               ((|setUnion| ($ $ $)) (|has| |#1| (|SetCategory|))
-                (ELT $ 32))
-               ((|append| ($ $ $)) T (ELT $ 11))
-               ((|cons| ($ |#1| $)) T (ELT $ 10))
-               ((|null| ((|Boolean|) $)) T (ELT $ 9))
-               ((|nil| ($)) T (ELT $ 7))
-               ((|list| ($ |#1|)) T (ELT $ NIL))
-               ((|concat!| ($ $ |#1|)) T (ELT $ NIL))
-               ((|concat!| ($ $ $)) T (ELT $ NIL))
-               ((|delete!| ($ $ (|Integer|))) T (ELT $ NIL))
-               ((|delete!| ($ $ (|UniversalSegment| (|Integer|)))) T
-                (ELT $ NIL))
-               ((|remove!| ($ (|Mapping| (|Boolean|) |#1|) $)) T
-                (ELT $ NIL))
-               ((|insert!| ($ |#1| $ (|Integer|))) T (ELT $ NIL))
-               ((|insert!| ($ $ $ (|Integer|))) T (ELT $ NIL))
-               ((|merge!| ($ (|Mapping| (|Boolean|) |#1| |#1|) $ $)) T
-                (ELT $ NIL))
-               ((|select!| ($ (|Mapping| (|Boolean|) |#1|) $)) T
-                (ELT $ NIL))
-               ((|remove!| ($ |#1| $)) (|has| |#1| (|SetCategory|))
-                (ELT $ NIL))
-               ((|removeDuplicates!| ($ $))
-                (|has| |#1| (|SetCategory|)) (ELT $ NIL))
-               ((|merge!| ($ $ $)) (|has| |#1| (|OrderedSet|))
-                (ELT $ NIL))
-               ((|merge| ($ (|Mapping| (|Boolean|) |#1| |#1|) $ $)) T
-                (ELT $ NIL))
-               ((|reverse| ($ $)) T (ELT $ NIL))
-               ((|sort| ($ (|Mapping| (|Boolean|) |#1| |#1|) $)) T
-                (ELT $ NIL))
-               ((|sorted?|
-                    ((|Boolean|) (|Mapping| (|Boolean|) |#1| |#1|) $))
-                T (ELT $ NIL))
-               ((|position|
-                    ((|Integer|) (|Mapping| (|Boolean|) |#1|) $))
-                T (ELT $ NIL))
-               ((|position| ((|Integer|) |#1| $))
-                (|has| |#1| (|SetCategory|)) (ELT $ NIL))
-               ((|position| ((|Integer|) |#1| $ (|Integer|)))
-                (|has| |#1| (|SetCategory|)) (ELT $ NIL))
-               ((|merge| ($ $ $)) (|has| |#1| (|OrderedSet|))
-                (ELT $ NIL))
-               ((|sort| ($ $)) (|has| |#1| (|OrderedSet|)) (ELT $ NIL))
-               ((|sorted?| ((|Boolean|) $)) (|has| |#1| (|OrderedSet|))
-                (ELT $ NIL))
-               ((|copyInto!| ($ $ $ (|Integer|)))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|reverse!| ($ $))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|sort!| ($ (|Mapping| (|Boolean|) |#1| |#1|) $))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|sort!| ($ $))
-                (AND (|has| $ (ATTRIBUTE |shallowlyMutable|))
-                     (|has| |#1| (|OrderedSet|)))
-                (ELT $ NIL))
-               ((|min| ($ $ $)) (|has| |#1| (|OrderedSet|))
-                (ELT $ NIL))
-               ((|max| ($ $ $)) (|has| |#1| (|OrderedSet|))
-                (ELT $ NIL))
-               ((<= ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|))
-                (ELT $ NIL))
-               ((>= ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|))
-                (ELT $ NIL))
-               ((> ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|))
-                (ELT $ NIL))
-               ((< ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|))
-                (ELT $ NIL))
-               ((|possiblyInfinite?| ((|Boolean|) $)) T (ELT $ NIL))
-               ((|explicitlyFinite?| ((|Boolean|) $)) T (ELT $ NIL))
-               ((|qsetelt!| (|#1| $ (|Integer|) |#1|))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|setelt| (|#1| $ (|Integer|) |#1|))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|qelt| (|#1| $ (|Integer|))) T (ELT $ NIL))
-               ((|elt| (|#1| $ (|Integer|) |#1|)) T (ELT $ NIL))
-               ((|elt| (|#1| $ (|Integer|))) T (ELT $ 36))
-               ((|entries| ((|List| |#1|) $)) T (ELT $ NIL))
-               ((|index?| ((|Boolean|) (|Integer|) $)) T (ELT $ NIL))
-               ((|indices| ((|List| (|Integer|)) $)) T (ELT $ NIL))
-               ((|entry?| ((|Boolean|) |#1| $))
-                (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
-                     (|has| |#1| (|SetCategory|)))
-                (ELT $ NIL))
-               ((|maxIndex| ((|Integer|) $))
-                (|has| (|Integer|) (|OrderedSet|)) (ELT $ NIL))
-               ((|minIndex| ((|Integer|) $))
-                (|has| (|Integer|) (|OrderedSet|)) (ELT $ NIL))
-               ((|fill!| ($ $ |#1|))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|swap!| ((|Void|) $ (|Integer|) (|Integer|)))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|convert| ((|InputForm|) $))
-                (|has| |#1| (|ConvertibleTo| (|InputForm|)))
-                (ELT $ 45))
-               ((|removeDuplicates| ($ $))
-                (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
-                     (|has| |#1| (|SetCategory|)))
-                (ELT $ 31))
-               ((|remove| ($ |#1| $))
-                (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
-                     (|has| |#1| (|SetCategory|)))
-                (ELT $ NIL))
-               ((|reduce|
-                    (|#1| (|Mapping| |#1| |#1| |#1|) $ |#1| |#1|))
-                (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
-                     (|has| |#1| (|SetCategory|)))
-                (ELT $ NIL))
-               ((|select| ($ (|Mapping| (|Boolean|) |#1|) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|remove| ($ (|Mapping| (|Boolean|) |#1|) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|reduce| (|#1| (|Mapping| |#1| |#1| |#1|) $ |#1|))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|reduce| (|#1| (|Mapping| |#1| |#1| |#1|) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|find| ((|Union| |#1| "failed")
-                         (|Mapping| (|Boolean|) |#1|) $))
-                T (ELT $ NIL))
-               ((|construct| ($ (|List| |#1|))) T (ELT $ NIL))
-               ((|new| ($ (|NonNegativeInteger|) |#1|)) T (ELT $ NIL))
-               ((|concat| ($ $ |#1|)) T (ELT $ NIL))
-               ((|concat| ($ (|List| $))) T (ELT $ NIL))
-               ((|map| ($ (|Mapping| |#1| |#1| |#1|) $ $)) T
-                (ELT $ NIL))
-               ((|elt| ($ $ (|UniversalSegment| (|Integer|)))) T
-                (ELT $ NIL))
-               ((|delete| ($ $ (|Integer|))) T (ELT $ NIL))
-               ((|delete| ($ $ (|UniversalSegment| (|Integer|)))) T
-                (ELT $ NIL))
-               ((|insert| ($ |#1| $ (|Integer|))) T (ELT $ NIL))
-               ((|insert| ($ $ $ (|Integer|))) T (ELT $ NIL))
-               ((|setelt|
-                    (|#1| $ (|UniversalSegment| (|Integer|)) |#1|))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|split!| ($ $ (|Integer|)))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|setelt| (|#1| $ "last" |#1|))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|setlast!| (|#1| $ |#1|))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|setelt| ($ $ "rest" $))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|setrest!| ($ $ $))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|setelt| (|#1| $ "first" |#1|))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|setfirst!| (|#1| $ |#1|))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|cycleSplit!| ($ $))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|cycleTail| ($ $)) T (ELT $ NIL))
-               ((|cycleLength| ((|NonNegativeInteger|) $)) T
-                (ELT $ NIL))
-               ((|cycleEntry| ($ $)) T (ELT $ NIL))
-               ((|third| (|#1| $)) T (ELT $ NIL))
-               ((|second| (|#1| $)) T (ELT $ NIL))
-               ((|tail| ($ $)) T (ELT $ NIL))
-               ((|last| ($ $ (|NonNegativeInteger|))) T (ELT $ NIL))
-               ((|elt| (|#1| $ "last")) T (ELT $ NIL))
-               ((|last| (|#1| $)) T (ELT $ NIL))
-               ((|rest| ($ $ (|NonNegativeInteger|))) T (ELT $ NIL))
-               ((|elt| ($ $ "rest")) T (ELT $ NIL))
-               ((|rest| ($ $)) T (ELT $ NIL))
-               ((|first| ($ $ (|NonNegativeInteger|))) T (ELT $ NIL))
-               ((|elt| (|#1| $ "first")) T (ELT $ NIL))
-               ((|first| (|#1| $)) T (ELT $ NIL))
-               ((|concat| ($ |#1| $)) T (ELT $ NIL))
-               ((|concat| ($ $ $)) T (ELT $ 30))
-               ((|setvalue!| (|#1| $ |#1|))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|setelt| (|#1| $ "value" |#1|))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|setchildren!| ($ $ (|List| $)))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|node?| ((|Boolean|) $ $))
-                (|has| |#1| (|SetCategory|)) (ELT $ NIL))
-               ((|child?| ((|Boolean|) $ $))
-                (|has| |#1| (|SetCategory|)) (ELT $ NIL))
-               ((|distance| ((|Integer|) $ $)) T (ELT $ NIL))
-               ((|leaves| ((|List| |#1|) $)) T (ELT $ NIL))
-               ((|cyclic?| ((|Boolean|) $)) T (ELT $ NIL))
-               ((|elt| (|#1| $ "value")) T (ELT $ NIL))
-               ((|value| (|#1| $)) T (ELT $ NIL))
-               ((|leaf?| ((|Boolean|) $)) T (ELT $ NIL))
-               ((|nodes| ((|List| $) $)) T (ELT $ NIL))
-               ((|children| ((|List| $) $)) T (ELT $ NIL))
-               ((|eval| ($ $ (|List| |#1|) (|List| |#1|)))
-                (AND (|has| |#1| (|Evalable| |#1|))
-                     (|has| |#1| (|SetCategory|)))
-                (ELT $ NIL))
-               ((|eval| ($ $ |#1| |#1|))
-                (AND (|has| |#1| (|Evalable| |#1|))
-                     (|has| |#1| (|SetCategory|)))
-                (ELT $ NIL))
-               ((|eval| ($ $ (|Equation| |#1|)))
-                (AND (|has| |#1| (|Evalable| |#1|))
-                     (|has| |#1| (|SetCategory|)))
-                (ELT $ NIL))
-               ((|eval| ($ $ (|List| (|Equation| |#1|))))
-                (AND (|has| |#1| (|Evalable| |#1|))
-                     (|has| |#1| (|SetCategory|)))
-                (ELT $ NIL))
-               ((|member?| ((|Boolean|) |#1| $))
-                (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
-                     (|has| |#1| (|SetCategory|)))
-                (ELT $ 33))
-               ((|count| ((|NonNegativeInteger|) |#1| $))
-                (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
-                     (|has| |#1| (|SetCategory|)))
-                (ELT $ NIL))
-               ((|members| ((|List| |#1|) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|parts| ((|List| |#1|) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|count| ((|NonNegativeInteger|)
-                          (|Mapping| (|Boolean|) |#1|) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|every?| ((|Boolean|) (|Mapping| (|Boolean|) |#1|) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|any?| ((|Boolean|) (|Mapping| (|Boolean|) |#1|) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|map!| ($ (|Mapping| |#1| |#1|) $))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|map| ($ (|Mapping| |#1| |#1|) $)) T (ELT $ NIL))
-               ((|#| ((|NonNegativeInteger|) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|sample| ($)) T (CONST $ NIL))
-               ((|size?| ((|Boolean|) $ (|NonNegativeInteger|))) T
-                (ELT $ NIL))
-               ((|more?| ((|Boolean|) $ (|NonNegativeInteger|))) T
-                (ELT $ NIL))
-               ((|less?| ((|Boolean|) $ (|NonNegativeInteger|))) T
-                (ELT $ NIL))
-               ((|empty?| ((|Boolean|) $)) T (ELT $ NIL))
-               ((|empty| ($)) T (ELT $ NIL))
-               ((|copy| ($ $)) T (ELT $ NIL))
-               ((|eq?| ((|Boolean|) $ $)) T (ELT $ NIL)))
-             (|addModemap| '|List| '(|List| |#1|)
-                 '((|Join| (|ListAggregate| |#1|)
-                           (CATEGORY |domain| (SIGNATURE |nil| ($))
-                               (SIGNATURE |null| ((|Boolean|) $))
-                               (SIGNATURE |cons| ($ |#1| $))
-                               (SIGNATURE |append| ($ $ $))
-                               (IF (|has| |#1| (|SetCategory|))
-                                   (PROGN
-                                     (SIGNATURE |setUnion| ($ $ $))
-                                     (SIGNATURE |setIntersection|
-                                      ($ $ $))
-                                     (SIGNATURE |setDifference|
-                                      ($ $ $)))
-                                   |%noBranch|)
-                               (IF (|has| |#1| (|OpenMath|))
-                                   (ATTRIBUTE (|OpenMath|))
-                                   |%noBranch|)))
-                   (|Type|))
-                 T '|List|
-                 (|put| '|List| '|mode|
-                        '(|Mapping|
-                             (|Join| (|ListAggregate| |#1|)
-                                     (CATEGORY |domain|
-                                      (SIGNATURE |nil| ($))
-                                      (SIGNATURE |null|
-                                       ((|Boolean|) $))
-                                      (SIGNATURE |cons| ($ |#1| $))
-                                      (SIGNATURE |append| ($ $ $))
-                                      (IF (|has| |#1| (|SetCategory|))
-                                       (PROGN
-                                         (SIGNATURE |setUnion| ($ $ $))
-                                         (SIGNATURE |setIntersection|
-                                          ($ $ $))
-                                         (SIGNATURE |setDifference|
-                                          ($ $ $)))
-                                       |%noBranch|)
-                                      (IF (|has| |#1| (|OpenMath|))
-                                       (ATTRIBUTE (|OpenMath|))
-                                       |%noBranch|)))
-                             (|Type|))
-                        |$CategoryFrame|))))