1 files changed, 0 insertions, 88 deletions
diff --git a/src/algebra/strap/RNS-.lsp b/src/algebra/strap/RNS-.lsp
index ef8a5ed3..042d128b 100644
--- a/src/algebra/strap/RNS-.lsp
+++ b/src/algebra/strap/RNS-.lsp
@@ -187,91 +187,3 @@
                                   0 33 1 0 0 25 28 1 0 0 25 28 0 0 7 8
                                   1 0 0 0 39)))))
           '|lookupComplete|)) 
-
-(SETQ |$CategoryFrame|
-      (|put| '|RealNumberSystem&| '|isFunctor|
-             '(((|round| ($ $)) T (ELT $ 22))
-               ((|truncate| ($ $)) T (ELT $ 16))
-               ((|fractionPart| ($ $)) T (ELT $ 11))
-               ((|floor| ($ $)) T (ELT $ 38))
-               ((|ceiling| ($ $)) T (ELT $ 39))
-               ((|norm| ($ $)) T (ELT $ 24))
-               ((|patternMatch|
-                    ((|PatternMatchResult| (|Float|) $) $
-                     (|Pattern| (|Float|))
-                     (|PatternMatchResult| (|Float|) $)))
-                T (ELT $ 49))
-               ((|convert| ((|Pattern| (|Float|)) $)) T (ELT $ 33))
-               ((|coerce| ($ (|Fraction| (|Integer|)))) T (ELT $ 28))
-               ((|coerce| ($ (|Integer|))) T (ELT $ NIL))
-               ((|convert| ((|DoubleFloat|) $)) T (ELT $ NIL))
-               ((|convert| ((|Float|) $)) T (ELT $ NIL))
-               ((|coerce| ($ (|Fraction| (|Integer|)))) T (ELT $ 28))
-               ((|coerce| ($ $)) T (ELT $ NIL))
-               ((|coerce| ($ (|Integer|))) T (ELT $ NIL))
-               ((|characteristic| ((|NonNegativeInteger|))) T
-                (ELT $ 8))
-               ((|coerce| ((|OutputForm|) $)) T (ELT $ NIL)))
-             (|addModemap| '|RealNumberSystem&|
-                 '(|RealNumberSystem&| |#1|)
-                 '((CATEGORY |domain| (SIGNATURE |round| (|#1| |#1|))
-                       (SIGNATURE |truncate| (|#1| |#1|))
-                       (SIGNATURE |fractionPart| (|#1| |#1|))
-                       (SIGNATURE |floor| (|#1| |#1|))
-                       (SIGNATURE |ceiling| (|#1| |#1|))
-                       (SIGNATURE |norm| (|#1| |#1|))
-                       (SIGNATURE |patternMatch|
-                           ((|PatternMatchResult| (|Float|) |#1|) |#1|
-                            (|Pattern| (|Float|))
-                            (|PatternMatchResult| (|Float|) |#1|)))
-                       (SIGNATURE |convert|
-                           ((|Pattern| (|Float|)) |#1|))
-                       (SIGNATURE |coerce|
-                           (|#1| (|Fraction| (|Integer|))))
-                       (SIGNATURE |coerce| (|#1| (|Integer|)))
-                       (SIGNATURE |convert| ((|DoubleFloat|) |#1|))
-                       (SIGNATURE |convert| ((|Float|) |#1|))
-                       (SIGNATURE |coerce|
-                           (|#1| (|Fraction| (|Integer|))))
-                       (SIGNATURE |coerce| (|#1| |#1|))
-                       (SIGNATURE |coerce| (|#1| (|Integer|)))
-                       (SIGNATURE |characteristic|
-                           ((|NonNegativeInteger|)))
-                       (SIGNATURE |coerce| ((|OutputForm|) |#1|)))
-                   (|RealNumberSystem|))
-                 T '|RealNumberSystem&|
-                 (|put| '|RealNumberSystem&| '|mode|
-                        '(|Mapping|
-                             (CATEGORY |domain|
-                                 (SIGNATURE |round| (|#1| |#1|))
-                                 (SIGNATURE |truncate| (|#1| |#1|))
-                                 (SIGNATURE |fractionPart| (|#1| |#1|))
-                                 (SIGNATURE |floor| (|#1| |#1|))
-                                 (SIGNATURE |ceiling| (|#1| |#1|))
-                                 (SIGNATURE |norm| (|#1| |#1|))
-                                 (SIGNATURE |patternMatch|
-                                     ((|PatternMatchResult| (|Float|)
-                                       |#1|)
-                                      |#1| (|Pattern| (|Float|))
-                                      (|PatternMatchResult| (|Float|)
-                                       |#1|)))
-                                 (SIGNATURE |convert|
-                                     ((|Pattern| (|Float|)) |#1|))
-                                 (SIGNATURE |coerce|
-                                     (|#1| (|Fraction| (|Integer|))))
-                                 (SIGNATURE |coerce|
-                                     (|#1| (|Integer|)))
-                                 (SIGNATURE |convert|
-                                     ((|DoubleFloat|) |#1|))
-                                 (SIGNATURE |convert| ((|Float|) |#1|))
-                                 (SIGNATURE |coerce|
-                                     (|#1| (|Fraction| (|Integer|))))
-                                 (SIGNATURE |coerce| (|#1| |#1|))
-                                 (SIGNATURE |coerce|
-                                     (|#1| (|Integer|)))
-                                 (SIGNATURE |characteristic|
-                                     ((|NonNegativeInteger|)))
-                                 (SIGNATURE |coerce|
-                                     ((|OutputForm|) |#1|)))
-                             (|RealNumberSystem|))
-                        |$CategoryFrame|))))