aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/gdirprod.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-06-20 16:51:59 +0000
committerdos-reis <gdr@axiomatics.org>2009-06-20 16:51:59 +0000
commitdbeb8d5ae59cfa7da8997a09ad27e4efc04d0eaf (patch)
tree00280488110d6fa698021d36a823a4a3c710d28b /src/algebra/gdirprod.spad.pamphlet
parent4e6f3697bd50df9225c8635a2a9c28290d06f27e (diff)
downloadopen-axiom-dbeb8d5ae59cfa7da8997a09ad27e4efc04d0eaf.tar.gz
* 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.
Diffstat (limited to 'src/algebra/gdirprod.spad.pamphlet')
-rw-r--r--src/algebra/gdirprod.spad.pamphlet3
1 files changed, 0 insertions, 3 deletions
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: