* interp/define.boot (getInfovecCode): Take a DB argument. Pass

	it to callees.  Adjust caller.
	* interp/database.boot (getConstructorPredicates): If contructor
	is being defined, return the predicates as currently known.
	* interp/daase.lisp (INITIAL-GETDATABASE): Remove
	(fillDatabasesInCore): Adjust.

1 files changed, 0 insertions, 187 deletions

diff --git a/src/interp/daase.lisp b/src/interp/daase.lisp
index 7196c742..fce8ca41 100644
--- a/src/interp/daase.lisp
+++ b/src/interp/daase.lisp
@@ -424,196 +424,9 @@
  (browseopen)
  (setq *category-stream-stamp* '(0 . 0))
  (categoryopen) ;note: this depends on constructorform in browse.daase
- (unless |$buildingSystemAlgebra|
-   (initial-getdatabase))
 #+:AKCL (gbc t)
 )
 
-(defun initial-getdatabase ()
-  "fetch data we want in the saved system"
-  (let (hascategory constructormodemapAndoperationalist operation constr)
-    (when |$verbose|
-      (format t "Initial getdatabase~%"))
-    (setq hascategory '(
-			(|Equation| . |Ring|)
-			(|Expression| . |CoercibleTo|)
-			(|Expression| . |CommutativeRing|)
-			(|Expression| . |IntegralDomain|)
-			(|Expression| . |Ring|)
-			(|Float| . |RetractableTo|)
-			(|Fraction| . |Algebra|) 
-			(|Fraction| . |CoercibleTo|)
-			(|Fraction| . |OrderedSet|)
-			(|Fraction| . |RetractableTo|)
-			(|Integer| . |Algebra|) 
-			(|Integer| . |CoercibleTo|)
-			(|Integer| . |ConvertibleTo|)
-			(|Integer| . |LinearlyExplicitRingOver|)
-			(|Integer| . |RetractableTo|)
-			(|List| . |CoercibleTo|)
-			(|List| . |FiniteLinearAggregate|)
-			(|List| . |OrderedSet|)
-			(|Polynomial| . |CoercibleTo|) 
-			(|Polynomial| . |CommutativeRing|)
-			(|Polynomial| . |ConvertibleTo|)
-			(|Polynomial| . |OrderedSet|)
-			(|Polynomial| . |RetractableTo|)
-			(|Symbol| . |CoercibleTo|) 
-			(|Symbol| . |ConvertibleTo|)
-			(|Variable| . |CoercibleTo|)))
-    (dolist (pair hascategory)
-      (|constructorHasCategoryFromDB| pair))
-    (setq constructormodemapAndoperationalist 
-	  '(|BasicOperator| 
-	    |Boolean|
-	    |CardinalNumber|
-	    |Color|
-	    |Complex|
-	    |Database|
-	    |Equation| 
-	    |EquationFunctions2|
-	    |Expression|
-	    |Float| 
-	    |Fraction|
-	    |FractionFunctions2|
-	    |Integer| 
-	    |IntegralDomain|
-	    |Kernel|
-	    |List|
-	    |Matrix|
-	    |MappingPackage1|
-	    |Operator|
-	    |OutputForm|
-	    |NonNegativeInteger|
-	    |ParametricPlaneCurve|
-	    |ParametricSpaceCurve|
-	    |Point| 
-	    |Polynomial|
-	    |PolynomialFunctions2|
-	    |PositiveInteger|
-	    |Ring|
-	    |SetCategory| 
-	    |SegmentBinding|
-	    |SegmentBindingFunctions2|
-	    |DoubleFloat|
-	    |SparseMultivariatePolynomial|
-	    |SparseUnivariatePolynomial|
-	    |Segment|
-	    |String|
-	    |Symbol|
-	    |UniversalSegment|
-	    |Variable|
-	    |Vector|))
-    (dolist (con constructormodemapAndoperationalist)
-      (|getConstructorModemap| con)
-      (|getConstructorOperationsFromDB| con))
-    (setq operation 
-	  '(|+| |-| |*| |/| |**| 
-	    |coerce| |convert| |elt| |equation|
-	    |float| |sin| |cos| |map| |SEGMENT|))
-    (dolist (op operation)
-      (|getOperationFromDB| op))
-    (setq constr
-	  '( ;these are sorted least-to-most freq. delete early ones first
-	    |Factored| 
-	    |SparseUnivariatePolynomialFunctions2|
-	    |TableAggregate&|
-	    |RetractableTo&|
-	    |RecursiveAggregate&|
-	    |UserDefinedPartialOrdering|
-	    |None|
-	    |UnivariatePolynomialCategoryFunctions2|
-	    |IntegerPrimesPackage|
-	    |SetCategory&|
-	    |IndexedExponents| 
-	    |QuotientFieldCategory&|
-	    |Polynomial|
-	    |EltableAggregate&|
-	    |PartialDifferentialRing&| 
-	    |Set|
-	    |UnivariatePolynomialCategory&|
-	    |FlexibleArray|
-	    |SparseMultivariatePolynomial|
-	    |PolynomialCategory&|
-	    |DifferentialExtension&|
-	    |IndexedFlexibleArray|
-	    |AbelianMonoidRing&|
-	    |FiniteAbelianMonoidRing&|
-	    |DivisionRing&| 
-	    |FullyLinearlyExplicitRingOver&|
-	    |IndexedVector|
-	    |IndexedOneDimensionalArray| 
-	    |LocalAlgebra|
-	    |Localize|
-	    |Boolean|
-	    |Field&|
-	    |Vector|
-	    |IndexedDirectProductObject|
-	    |Aggregate&|
-	    |PolynomialRing|
-	    |FreeModule|
-	    |IndexedDirectProductAbelianGroup|
-	    |IndexedDirectProductAbelianMonoid|
-	    |SingletonAsOrderedSet|
-	    |SparseUnivariatePolynomial|
-	    |Fraction| 
-	    |Collection&|
-	    |HomogeneousAggregate&|
-	    |RepeatedSquaring|
-	    |IntegerNumberSystem&|
-	    |AbelianSemiGroup&|
-	    |AssociationList|
-	    |OrderedRing&| 
-	    |SemiGroup&|
-	    |Symbol|
-	    |UniqueFactorizationDomain&|
-	    |EuclideanDomain&|
-	    |IndexedAggregate&|
-	    |GcdDomain&|
-	    |IntegralDomain&|
-	    |DifferentialRing&|
-	    |Monoid&|
-	    |Reference|
-	    |UnaryRecursiveAggregate&| 
-	    |OrderedSet&|
-	    |AbelianGroup&|
-	    |Algebra&|
-	    |Module&| 
-	    |Ring&| 
-	    |StringAggregate&|
-	    |AbelianMonoid&|
-	    |ExtensibleLinearAggregate&|
-	    |PositiveInteger| 
-	    |StreamAggregate&|
-	    |IndexedString|
-	    |IndexedList|
-	    |ListAggregate&|
-	    |LinearAggregate&|
-	    |Character| 
-	    |String|
-	    |NonNegativeInteger|
-	    |SingleInteger|
-	    |OneDimensionalArrayAggregate&|
-	    |FiniteLinearAggregate&|
-	    |PrimitiveArray|
-	    |Integer| 
-	    |List|
-	    |OutputForm|))
-    (dolist (con constr)
-      (let ((c (|getSystemModulePath| 
-		(string (|getConstructorAbbreviationFromDB| con)))))
-	(when |$verbose|
-	  (format t "   preloading ~a.." c))
-	(if (probe-file c)
-	    (progn
-	      (|loadModule| c con)
-	      (setf (|dbLoadPath| (|constructorDB| con)) c)
-	      (when |$verbose|
-		(format t "loaded.~%")))
-	  (when |$verbose|
-	    (format t "skipped.~%")))))
-    (when |$verbose|
-      (format t "~%"))))
 
 ; format of an entry in interp.daase:
 ;  (constructor-name