Changes between Version 1 and Version 2 of Ticket #16247


Ignore:
Timestamp:
04/27/14 03:57:30 (6 years ago)
Author:
darij
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #16247 – Description

    v1 v2  
    1212----------------------------------------------------------------------
    1313}}}
    14 It seems that matrices over noncommutative rings are the main culprit here -- or, rather, matrix spaces being cast as modules over the base rings. They should be bimodules! The reason why this doesn't blow up in the user's face (well, as far as I can tell) is that (I guess) the matrix space classes override the `*` operator to do the right thing instead of use the defaults from the `Modules` category.
     14It seems that matrices over noncommutative rings are the main culprit here -- or, rather, matrix spaces being cast as modules over the base rings. They should be bimodules! The reason why this doesn't blow up in the user's face (well, as far as I can tell) is that (I guess) the matrix space classes override the `*` operator to do the right thing (oops!) instead of use the defaults from the `Modules` category.
    1515
    1616Apparently people have been aware of this for a while; the following warning message is doctested for and not written by me: