From dbeb8d5ae59cfa7da8997a09ad27e4efc04d0eaf Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 20 Jun 2009 16:51:59 +0000 Subject: * 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. --- src/algebra/fortpak.spad.pamphlet | 4 ---- src/algebra/fortran.spad.pamphlet | 4 ---- src/algebra/gdirprod.spad.pamphlet | 3 --- src/algebra/mkfunc.spad.pamphlet | 3 --- src/algebra/oct.spad.pamphlet | 1 - src/algebra/si.spad.pamphlet | 7 ------- src/algebra/vector.spad.pamphlet | 5 ----- 7 files changed, 27 deletions(-) (limited to 'src/algebra') 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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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 == <>= )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} <>= )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} <>= -- cgit v1.2.3