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/strap/VECTOR.lsp | |
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/strap/VECTOR.lsp')
0 files changed, 0 insertions, 0 deletions