* interp/category.boot (SigOpsubsume): Remove as unused.

	(SourceLevelSubsume): Remove.
	(SourceLevelSubset): Likewise.
	* interp/sys-globals.boot: Likewise.
	* interp/define.boot: Tidy.
	* interp/functor.boot: Likewise.
	* interp/info.boot: Likewise.
	* algebra/si.spad.pamphlet: Don't set $noSubsets. 
	* algebra/fortpak.spad.pamphlet: Don't set $noSubsumption.
	* algebra/fortran.spad.pamphlet: Likewise.
	* algebra/gdirprod.spad.pamphlet: Likewise.
	* algebra/mkfunc.spad.pamphlet: Likewise.
	* algebra/oct.spad.pamphlet: Likewise.
	* algebra/vector.spad.pamphlet: Likewise.

7 files changed, 0 insertions, 27 deletions

diff --git a/src/algebra/fortpak.spad.pamphlet b/src/algebra/fortpak.spad.pamphlet
index b3ae68a3..da7bd7f9 100644
--- a/src/algebra/fortpak.spad.pamphlet
+++ b/src/algebra/fortpak.spad.pamphlet
@@ -229,8 +229,6 @@ NAGLinkSupportPackage() : exports == implementation where
 \section{package FORT FortranPackage}
 <<package FORT FortranPackage>>=
 )abbrev package FORT FortranPackage
--- Because of a bug in the compiler:
-)bo $noSubsumption:=true 
 
 ++ Author: Mike Dewar
 ++ Date Created: October 6 1991
@@ -323,8 +321,6 @@ FortranPackage(): Exports == Implementation where
 \section{package FOP FortranOutputStackPackage}
 <<package FOP FortranOutputStackPackage>>=
 )abbrev package FOP FortranOutputStackPackage
--- Because of a bug in the compiler:
-)bo $noSubsumption:=false
 
 ++ Author: Mike Dewar
 ++ Date Created:  October 1992
diff --git a/src/algebra/fortran.spad.pamphlet b/src/algebra/fortran.spad.pamphlet
index aa9902d4..a35ce6dd 100644
--- a/src/algebra/fortran.spad.pamphlet
+++ b/src/algebra/fortran.spad.pamphlet
@@ -1158,8 +1158,6 @@ ThreeDimensionalMatrix(R) : Exports == Implementation where
 \section{domain SFORT SimpleFortranProgram}
 <<domain SFORT SimpleFortranProgram>>=
 )abbrev domain SFORT SimpleFortranProgram
--- Because of a bug in the compiler:
-)bo $noSubsumption:=true 
 
 ++ Author: Mike Dewar
 ++ Date Created: November 1992
@@ -1222,8 +1220,6 @@ SimpleFortranProgram(R,FS): Exports == Implementation where
 \section{domain SWITCH Switch}
 <<domain SWITCH Switch>>=
 )abbrev domain SWITCH Switch
--- Because of a bug in the compiler:
-)bo $noSubsumption:=false
 
 ++ Author: Mike Dewar
 ++ Date Created: April 1991
diff --git a/src/algebra/gdirprod.spad.pamphlet b/src/algebra/gdirprod.spad.pamphlet
index 622e8726..f0041f84 100644
--- a/src/algebra/gdirprod.spad.pamphlet
+++ b/src/algebra/gdirprod.spad.pamphlet
@@ -85,9 +85,6 @@ OrderingFunctions(dim,S) : T == C  where
 \section{domain ODP OrderedDirectProduct}
 <<domain ODP OrderedDirectProduct>>=
 )abbrev domain ODP OrderedDirectProduct
--- all direct product category domains must be compiled
--- without subsumption, set SourceLevelSubset to EQUAL
---)bo $noSubsumption := true
 
 ++ Author:
 ++ Date Created:
diff --git a/src/algebra/mkfunc.spad.pamphlet b/src/algebra/mkfunc.spad.pamphlet
index d9ecaafc..a66a0fb6 100644
--- a/src/algebra/mkfunc.spad.pamphlet
+++ b/src/algebra/mkfunc.spad.pamphlet
@@ -24,8 +24,6 @@
 ++   This is also the interface between algebra code and facilities
 ++   in the interpreter.
 
---)boot $noSubsumption := true
-
 InputForm():
   Join(SExpressionCategory(String,Symbol,Integer,DoubleFloat,OutputForm),
        ConvertibleTo SExpression) with
@@ -200,7 +198,6 @@ InputForm():
 \section{package INFORM1 InputFormFunctions1}
 <<package INFORM1 InputFormFunctions1>>=
 )abbrev package INFORM1 InputFormFunctions1
---)boot $noSubsumption := false
 
 ++ Tools for manipulating input forms
 ++ Author: Manuel Bronstein
diff --git a/src/algebra/oct.spad.pamphlet b/src/algebra/oct.spad.pamphlet
index e2b6c52e..35805e37 100644
--- a/src/algebra/oct.spad.pamphlet
+++ b/src/algebra/oct.spad.pamphlet
@@ -284,7 +284,6 @@ OctonionCategory(R: CommutativeRing): Category ==
 ++  imaginary part, the k imaginary part, (as with quaternions)
 ++  and in addition the imaginary parts E, I, J, K.
 -- Examples: octonion.input
---)boot $noSubsumption := true
 Octonion(R:CommutativeRing): export == impl where
  
   QR ==> Quaternion R
diff --git a/src/algebra/si.spad.pamphlet b/src/algebra/si.spad.pamphlet
index 1d18f7cd..e0cd68b1 100644
--- a/src/algebra/si.spad.pamphlet
+++ b/src/algebra/si.spad.pamphlet
@@ -165,11 +165,6 @@ IntegerNumberSystem(): Category ==
 <<domain SINT SingleInteger>>=
 )abbrev domain SINT SingleInteger
 
--- following patch needed to deal with *:(I,%) -> %
--- affects behavior of SourceLevelSubset
---)bo $noSubsets := true
--- No longer - JHD !! still needed 5/3/91 BMT
-
 ++ Author:  Michael Monagan
 ++ Date Created:
 ++    January 1988
@@ -344,8 +339,6 @@ SingleInteger(): Join(IntegerNumberSystem,OrderedFinite,Logic,OpenMath) with
       x < 0 => [-1,-x,-1]$UCA
       [1,x,1]$UCA
 
-)bo $noSubsets := false
-
 @
 
 
diff --git a/src/algebra/vector.spad.pamphlet b/src/algebra/vector.spad.pamphlet
index a096f39e..70d7193d 100644
--- a/src/algebra/vector.spad.pamphlet
+++ b/src/algebra/vector.spad.pamphlet
@@ -215,9 +215,6 @@ VectorFunctions2(A, B): Exports == Implementation where
 \section{category DIRPCAT DirectProductCategory}
 <<category DIRPCAT DirectProductCategory>>=
 )abbrev category DIRPCAT DirectProductCategory
--- all direct product category domains must be compiled
--- without subsumption, set SourceLevelSubset to EQUAL
---)bo $noSubsumption := true
  
 --% DirectProductCategory
  
@@ -404,8 +401,6 @@ DirectProduct(dim:NonNegativeInteger, R:Type):
 
       if R has OrderedAbelianMonoidSup then sup(x, y) == map(sup, x, y)
  
---)bo $noSubsumption := false
-
 @
 \section{package DIRPROD2 DirectProductFunctions2}
 <<package DIRPROD2 DirectProductFunctions2>>=