From a03b7716749e9fb997d99659967aa49ae6ca1569 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 7 Mar 2011 05:49:53 +0000
Subject: 	* interp/sys-utility.boot (getSystemModulePath): Use 
 systemAlgebraDirectory. 	* interp/database.boot (pathToDatabase): Use
 systemDatabaseDirectory. 	* algebra/integer.spad.pamphlet (Integer)
 [latex]: Tidy. 	* algebra/string.spad.pamphlet (Character) [latex]:
 Likewise. 	* algebra/Makefile.in: Rework bootstrapping set up. 
 (COMPILE_LISP): Remove. 	(axiom_algebra_layer_strap): Likewise. 
 (axiom_algebra_layer_strap_objects): Likewise. 
 (axiom_algebra_bootstrap): Likewise. 	(oa_strap_0_fasls): New. 
 (oa_strap_1_fasls): Likewise. 	(oa_strap_2_fasls): Likewise. 
 (oa_strap_0_sources): Likewise. 	(oa_strap_1_sources): Likewise. 
 (oa_strap_2_sources): Likewise. 	* src/algerab/strap: Remove.

---
 src/algebra/strap/QFCAT.lsp | 89 ---------------------------------------------
 1 file changed, 89 deletions(-)
 delete mode 100644 src/algebra/strap/QFCAT.lsp

(limited to 'src/algebra/strap/QFCAT.lsp')

diff --git a/src/algebra/strap/QFCAT.lsp b/src/algebra/strap/QFCAT.lsp
deleted file mode 100644
index 913585d0..00000000
--- a/src/algebra/strap/QFCAT.lsp
+++ /dev/null
@@ -1,89 +0,0 @@
-
-(/VERSIONCHECK 2) 
-
-(DEFPARAMETER |QuotientFieldCategory;CAT| 'NIL) 
-
-(DEFPARAMETER |QuotientFieldCategory;AL| 'NIL) 
-
-(DEFUN |QuotientFieldCategory;| (|t#1|)
-  (LET ((#0=#:G1374
-            (|sublisV| (PAIR '(|t#1|) (LIST (|devaluate| |t#1|)))
-                (COND
-                  (|QuotientFieldCategory;CAT|)
-                  (T (SETQ |QuotientFieldCategory;CAT|
-                           (|Join| (|Field|) (|Algebra| '|t#1|)
-                                   (|RetractableTo| '|t#1|)
-                                   (|FullyEvalableOver| '|t#1|)
-                                   (|DifferentialExtension| '|t#1|)
-                                   (|FullyLinearlyExplicitRingOver|
-                                    '|t#1|)
-                                   (|Patternable| '|t#1|)
-                                   (|FullyPatternMatchable| '|t#1|)
-                                   (|mkCategory| '|domain|
-                                    '(((/ ($ |t#1| |t#1|)) T)
-                                      ((|numer| (|t#1| $)) T)
-                                      ((|denom| (|t#1| $)) T)
-                                      ((|numerator| ($ $)) T)
-                                      ((|denominator| ($ $)) T)
-                                      ((|wholePart| (|t#1| $))
-                                       (|has| |t#1|
-                                        (|EuclideanDomain|)))
-                                      ((|fractionPart| ($ $))
-                                       (|has| |t#1|
-                                        (|EuclideanDomain|)))
-                                      ((|random| ($))
-                                       (|has| |t#1|
-                                        (|IntegerNumberSystem|)))
-                                      ((|ceiling| (|t#1| $))
-                                       (|has| |t#1|
-                                        (|IntegerNumberSystem|)))
-                                      ((|floor| (|t#1| $))
-                                       (|has| |t#1|
-                                        (|IntegerNumberSystem|))))
-                                    '(((|StepThrough|)
-                                       (|has| |t#1| (|StepThrough|)))
-                                      ((|RetractableTo| (|Integer|))
-                                       (|has| |t#1|
-                                        (|RetractableTo| (|Integer|))))
-                                      ((|RetractableTo|
-                                        (|Fraction| (|Integer|)))
-                                       (|has| |t#1|
-                                        (|RetractableTo| (|Integer|))))
-                                      ((|OrderedSet|)
-                                       (|has| |t#1| (|OrderedSet|)))
-                                      ((|OrderedIntegralDomain|)
-                                       (|has| |t#1|
-                                        (|OrderedIntegralDomain|)))
-                                      ((|RealConstant|)
-                                       (|has| |t#1| (|RealConstant|)))
-                                      ((|ConvertibleTo| (|InputForm|))
-                                       (|has| |t#1|
-                                        (|ConvertibleTo| (|InputForm|))))
-                                      ((|CharacteristicZero|)
-                                       (|has| |t#1|
-                                        (|CharacteristicZero|)))
-                                      ((|CharacteristicNonZero|)
-                                       (|has| |t#1|
-                                        (|CharacteristicNonZero|)))
-                                      ((|RetractableTo| (|Symbol|))
-                                       (|has| |t#1|
-                                        (|RetractableTo| (|Symbol|))))
-                                      ((|PolynomialFactorizationExplicit|)
-                                       (|has| |t#1|
-                                        (|PolynomialFactorizationExplicit|))))
-                                    'NIL NIL))))))))
-    (SETF (|shellEntry| #0# 0)
-          (LIST '|QuotientFieldCategory| (|devaluate| |t#1|)))
-    #0#)) 
-
-(DEFUN |QuotientFieldCategory| (#0=#:G1375)
-  (LET ((#1=#:G1376
-            (|assoc| (|devaluate| #0#) |QuotientFieldCategory;AL|)))
-    (COND
-      (#1# (CDR #1#))
-      (T (PROGN
-           (SETQ #1# (|QuotientFieldCategory;| #0#))
-           (SETQ |QuotientFieldCategory;AL|
-                 (|cons5| (CONS (|devaluate| #0#) #1#)
-                          |QuotientFieldCategory;AL|))
-           #1#))))) 
-- 
cgit v1.2.3