diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-20 16:51:59 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-20 16:51:59 +0000 |
| commit | dbeb8d5ae59cfa7da8997a09ad27e4efc04d0eaf (patch) | |
| tree | 00280488110d6fa698021d36a823a4a3c710d28b /src/algebra/oct.spad.pamphlet | |
| parent | 4e6f3697bd50df9225c8635a2a9c28290d06f27e (diff) | |
| download | open-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/oct.spad.pamphlet')
| -rw-r--r-- | src/algebra/oct.spad.pamphlet | 1 |
1 files changed, 0 insertions, 1 deletions
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 |