diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-17 03:51:01 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-17 03:51:01 +0000 |
| commit | 1bfecf3e58163305cb5753caab462ed57d0d67fc (patch) | |
| tree | b62b1860cc2a57a60c5a78efc22d72b5e025c22e /src/algebra | |
| parent | 4c62f989b0c11eb9d3e6c04d966d108fd842fe5d (diff) | |
| download | open-axiom-1bfecf3e58163305cb5753caab462ed57d0d67fc.tar.gz | |
* algebra/vector.spad.pamphlet (DirectProductCategory): Extend
LinearSet if the coefficient type satifies Monoid. Remove
previous bogus extension of Monoid.
Similarly, extend OrderedSet if the element type satisfies
OrderedSet. Remove previous bogus extension of OrderedRing.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/vector.spad.pamphlet | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/src/algebra/vector.spad.pamphlet b/src/algebra/vector.spad.pamphlet index 8555d05d..c3816f0c 100644 --- a/src/algebra/vector.spad.pamphlet +++ b/src/algebra/vector.spad.pamphlet @@ -255,19 +255,13 @@ DirectProductCategory(dim:NonNegativeInteger, R:Type): Category == ++ dot(x,y) computes the inner product of the vectors x and y. if R has AbelianSemiGroup then AbelianSemiGroup if R has CancellationAbelianMonoid then CancellationAbelianMonoid - if R has Monoid then - Monoid - * : (R, %) -> % - ++ r * y multiplies the element r times each component of the - ++ vector y. - * : (%, R) -> % - ++ y * r multiplies each component of the vector y by the element r. + if R has Monoid then LinearSet R if R has Finite then Finite if R has CommutativeRing then Algebra R CommutativeRing if R has unitsKnown then unitsKnown - if R has OrderedRing then OrderedRing + if R has OrderedSet then OrderedSet if R has OrderedAbelianMonoidSup then OrderedAbelianMonoidSup if R has Field then VectorSpace R add |