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/HOAGG.lsp | 90 ---------------------------------------------
 1 file changed, 90 deletions(-)
 delete mode 100644 src/algebra/strap/HOAGG.lsp

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

diff --git a/src/algebra/strap/HOAGG.lsp b/src/algebra/strap/HOAGG.lsp
deleted file mode 100644
index 05925366..00000000
--- a/src/algebra/strap/HOAGG.lsp
+++ /dev/null
@@ -1,90 +0,0 @@
-
-(/VERSIONCHECK 2) 
-
-(DEFPARAMETER |HomogeneousAggregate;CAT| 'NIL) 
-
-(DEFPARAMETER |HomogeneousAggregate;AL| 'NIL) 
-
-(DEFUN |HomogeneousAggregate;| (|t#1|)
-  (LET ((#0=#:G1373
-            (|sublisV| (PAIR '(|t#1|) (LIST (|devaluate| |t#1|)))
-                (COND
-                  (|HomogeneousAggregate;CAT|)
-                  (T (SETQ |HomogeneousAggregate;CAT|
-                           (|Join| (|Aggregate|)
-                                   (|mkCategory| '|domain|
-                                    '(((|map|
-                                        ($ (|Mapping| |t#1| |t#1|) $))
-                                       T)
-                                      ((|map!|
-                                        ($ (|Mapping| |t#1| |t#1|) $))
-                                       (|has| $
-                                        (ATTRIBUTE |shallowlyMutable|)))
-                                      ((|any?|
-                                        ((|Boolean|)
-                                         (|Mapping| (|Boolean|) |t#1|)
-                                         $))
-                                       (|has| $
-                                        (ATTRIBUTE |finiteAggregate|)))
-                                      ((|every?|
-                                        ((|Boolean|)
-                                         (|Mapping| (|Boolean|) |t#1|)
-                                         $))
-                                       (|has| $
-                                        (ATTRIBUTE |finiteAggregate|)))
-                                      ((|count|
-                                        ((|NonNegativeInteger|)
-                                         (|Mapping| (|Boolean|) |t#1|)
-                                         $))
-                                       (|has| $
-                                        (ATTRIBUTE |finiteAggregate|)))
-                                      ((|parts| ((|List| |t#1|) $))
-                                       (|has| $
-                                        (ATTRIBUTE |finiteAggregate|)))
-                                      ((|members| ((|List| |t#1|) $))
-                                       (|has| $
-                                        (ATTRIBUTE |finiteAggregate|)))
-                                      ((|count|
-                                        ((|NonNegativeInteger|) |t#1|
-                                         $))
-                                       (AND
-                                        (|has| |t#1| (|SetCategory|))
-                                        (|has| $
-                                         (ATTRIBUTE |finiteAggregate|))))
-                                      ((|member?|
-                                        ((|Boolean|) |t#1| $))
-                                       (AND
-                                        (|has| |t#1| (|SetCategory|))
-                                        (|has| $
-                                         (ATTRIBUTE |finiteAggregate|)))))
-                                    '(((|CoercibleTo| (|OutputForm|))
-                                       (|has| |t#1|
-                                        (|CoercibleTo| (|OutputForm|))))
-                                      ((|BasicType|)
-                                       (|has| |t#1| (|BasicType|)))
-                                      ((|SetCategory|)
-                                       (|has| |t#1| (|SetCategory|)))
-                                      ((|Evalable| |t#1|)
-                                       (AND
-                                        (|has| |t#1|
-                                         (|Evalable| |t#1|))
-                                        (|has| |t#1| (|SetCategory|)))))
-                                    '((|Boolean|)
-                                      (|NonNegativeInteger|)
-                                      (|List| |t#1|))
-                                    NIL))))))))
-    (SETF (|shellEntry| #0# 0)
-          (LIST '|HomogeneousAggregate| (|devaluate| |t#1|)))
-    #0#)) 
-
-(DEFUN |HomogeneousAggregate| (#0=#:G1374)
-  (LET ((#1=#:G1375
-            (|assoc| (|devaluate| #0#) |HomogeneousAggregate;AL|)))
-    (COND
-      (#1# (CDR #1#))
-      (T (PROGN
-           (SETQ #1# (|HomogeneousAggregate;| #0#))
-           (SETQ |HomogeneousAggregate;AL|
-                 (|cons5| (CONS (|devaluate| #0#) #1#)
-                          |HomogeneousAggregate;AL|))
-           #1#))))) 
-- 
cgit v1.2.3