* 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.

1 files changed, 0 insertions, 143 deletions

diff --git a/src/algebra/strap/VECTOR.lsp b/src/algebra/strap/VECTOR.lsp
deleted file mode 100644
index 2c8e5eac..00000000
--- a/src/algebra/strap/VECTOR.lsp
+++ /dev/null
@@ -1,143 +0,0 @@
-
-(/VERSIONCHECK 2) 
-
-(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|)
-                |VECTOR;vector;L$;1|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Integer|)
-                |VECTOR;maxIndex;$I;2|)) 
-
-(PUT '|VECTOR;maxIndex;$I;2| '|SPADreplace| '|sizeOfSimpleArray|) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
-                |VECTOR;convert;$If;3|)) 
-
-(DEFUN |VECTOR;vector;L$;1| (|l| $)
-  (SPADCALL |l| (|shellEntry| $ 10))) 
-
-(DEFUN |VECTOR;maxIndex;$I;2| (|x| $)
-  (DECLARE (IGNORE $))
-  (|sizeOfSimpleArray| |x|)) 
-
-(DEFUN |VECTOR;convert;$If;3| (|x| $)
-  (SPADCALL
-      (LIST (SPADCALL '|vector| (|shellEntry| $ 15))
-            (SPADCALL (SPADCALL |x| (|shellEntry| $ 16))
-                (|shellEntry| $ 17)))
-      (|shellEntry| $ 19))) 
-
-(DEFUN |Vector| (#0=#:G1383)
-  (DECLARE (SPECIAL |$ConstructorCache|))
-  (LET ((#1=#:G1384
-            (|lassocShiftWithFunction| (LIST (|devaluate| #0#))
-                (HGET |$ConstructorCache| '|Vector|)
-                '|domainEqualList|)))
-    (COND
-      (#1# (|CDRwithIncrement| #1#))
-      (T (UNWIND-PROTECT
-           (PROG1 (|Vector;| #0#) (SETQ #1# T))
-           (COND ((NOT #1#) (HREM |$ConstructorCache| '|Vector|)))))))) 
-
-(DEFUN |Vector;| (|#1|)
-  (DECLARE (SPECIAL |$ConstructorCache|))
-  (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|Vector| |dv$1|))
-         ($ (|newShell| 37))
-         (|pv$| (|buildPredVector| 0 0
-                    (LIST (OR (AND (|HasCategory| |#1| '(|OrderedSet|))
-                                   (|HasCategory| |#1|
-                                    (LIST '|Evalable|
-                                     (|devaluate| |#1|))))
-                              (AND (|HasCategory| |#1|
-                                    '(|SetCategory|))
-                                   (|HasCategory| |#1|
-                                    (LIST '|Evalable|
-                                     (|devaluate| |#1|)))))
-                          (OR (AND (|HasCategory| |#1|
-                                    '(|SetCategory|))
-                                   (|HasCategory| |#1|
-                                    (LIST '|Evalable|
-                                     (|devaluate| |#1|))))
-                              (|HasCategory| |#1|
-                                  '(|CoercibleTo| (|OutputForm|))))
-                          (|HasCategory| |#1|
-                              '(|ConvertibleTo| (|InputForm|)))
-                          (OR (|HasCategory| |#1| '(|OrderedSet|))
-                              (|HasCategory| |#1| '(|SetCategory|)))
-                          (|HasCategory| |#1| '(|OrderedSet|))
-                          (OR (|HasCategory| |#1| '(|BasicType|))
-                              (|HasCategory| |#1| '(|OrderedSet|))
-                              (|HasCategory| |#1| '(|SetCategory|)))
-                          (|HasCategory| (|Integer|) '(|OrderedSet|))
-                          (|HasCategory| |#1| '(|SetCategory|))
-                          (|HasCategory| |#1| '(|AbelianSemiGroup|))
-                          (|HasCategory| |#1| '(|AbelianMonoid|))
-                          (|HasCategory| |#1| '(|AbelianGroup|))
-                          (|HasCategory| |#1| '(|Monoid|))
-                          (|HasCategory| |#1| '(|Ring|))
-                          (AND (|HasCategory| |#1|
-                                   '(|RadicalCategory|))
-                               (|HasCategory| |#1| '(|Ring|)))
-                          (|HasCategory| |#1|
-                              '(|CoercibleTo| (|OutputForm|)))
-                          (|HasCategory| |#1| '(|BasicType|))
-                          (AND (|HasCategory| |#1| '(|SetCategory|))
-                               (|HasCategory| |#1|
-                                   (LIST '|Evalable|
-                                    (|devaluate| |#1|))))))))
-    (SETF (|shellEntry| $ 0) |dv$|)
-    (SETF (|shellEntry| $ 3) |pv$|)
-    (|haddProp| |$ConstructorCache| '|Vector| (LIST |dv$1|) (CONS 1 $))
-    (|stuffDomainSlots| $)
-    (SETF (|shellEntry| $ 6) |#1|)
-    (COND
-      ((|testBitVector| |pv$| 3)
-       (SETF (|shellEntry| $ 20)
-             (CONS (|dispatchFunction| |VECTOR;convert;$If;3|) $))))
-    $)) 
-
-(MAKEPROP '|Vector| '|infovec|
-    (LIST '#(NIL NIL NIL NIL NIL (|IndexedVector| 6 (NRTEVAL 1))
-             (|local| |#1|) (|Integer|) (0 . |One|) (|List| 6)
-             (4 . |construct|) |VECTOR;vector;L$;1|
-             |VECTOR;maxIndex;$I;2| (|Symbol|) (|InputForm|)
-             (9 . |convert|) (14 . |parts|) (19 . |convert|) (|List| $)
-             (24 . |convert|) (29 . |convert|) (|Mapping| 6 6 6)
-             (|Boolean|) (|NonNegativeInteger|) (|Equation| 6)
-             (|List| 24) (|Mapping| 22 6) (|Mapping| 22 6 6)
-             (|UniversalSegment| 7) (|Void|) (|Mapping| 6 6)
-             (|OutputForm|) (|Matrix| 6) (|String|) (|SingleInteger|)
-             (|Union| 6 '"failed") (|List| 7))
-          '#(|vector| 34 |parts| 39 |maxIndex| 44 |convert| 49
-             |construct| 54)
-          '((|shallowlyMutable| . 0) (|finiteAggregate| . 0))
-          (CONS (|makeByteWordVec2| 6
-                    '(0 0 0 0 0 0 0 5 0 4 5 0 0 0 1 6 0 1 2 3))
-                (CONS '#(|VectorCategory&|
-                         |OneDimensionalArrayAggregate&|
-                         |FiniteLinearAggregate&| |LinearAggregate&|
-                         |IndexedAggregate&| |Collection&|
-                         |HomogeneousAggregate&| NIL
-                         |EltableAggregate&| |SetCategory&|
-                         |OrderedType&| NIL |Aggregate&| NIL
-                         |Evalable&| |BasicType&| NIL |InnerEvalable&|
-                         NIL NIL)
-                      (CONS '#((|VectorCategory| 6)
-                               (|OneDimensionalArrayAggregate| 6)
-                               (|FiniteLinearAggregate| 6)
-                               (|LinearAggregate| 6)
-                               (|IndexedAggregate| 7 6)
-                               (|Collection| 6)
-                               (|HomogeneousAggregate| 6)
-                               (|OrderedSet|) (|EltableAggregate| 7 6)
-                               (|SetCategory|) (|OrderedType|)
-                               (|Eltable| 28 $$) (|Aggregate|)
-                               (|Eltable| 7 6) (|Evalable| 6)
-                               (|BasicType|) (|Type|)
-                               (|InnerEvalable| 6 6) (|CoercibleTo| 31)
-                               (|ConvertibleTo| 14))
-                            (|makeByteWordVec2| 20
-                                '(0 7 0 8 1 0 0 9 10 1 14 0 13 15 1 0 9
-                                  0 16 1 9 14 0 17 1 14 0 18 19 1 0 14
-                                  0 20 1 0 0 9 11 1 0 9 0 16 1 7 7 0 12
-                                  1 3 14 0 20 1 0 0 9 10)))))
-          '|lookupIncomplete|))