diff options
Diffstat (limited to 'src/algebra')
-rw-r--r-- | src/algebra/fortpak.spad.pamphlet | 4 | ||||
-rw-r--r-- | src/algebra/fortran.spad.pamphlet | 4 | ||||
-rw-r--r-- | src/algebra/gdirprod.spad.pamphlet | 3 | ||||
-rw-r--r-- | src/algebra/mkfunc.spad.pamphlet | 3 | ||||
-rw-r--r-- | src/algebra/oct.spad.pamphlet | 1 | ||||
-rw-r--r-- | src/algebra/si.spad.pamphlet | 7 | ||||
-rw-r--r-- | src/algebra/vector.spad.pamphlet | 5 |
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>>= |