diff options
Diffstat (limited to 'src/algebra/vector.spad.pamphlet')
| -rw-r--r-- | src/algebra/vector.spad.pamphlet | 5 |
1 files changed, 0 insertions, 5 deletions
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>>= |