Changes between Initial Version and Version 1 of Ticket #16926, comment 16


Ignore:
Timestamp:
02/08/15 03:13:38 (7 years ago)
Author:
darij
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #16926, comment 16

    initial v1  
    1212}}}
    1313
    14 Second, you are testing for the order-of-multiplication global in `has_left_descent` and in `has_right_descent`. I understand the reasoning behind it, but I don't like it. Can we agree that the "left" in "left descent" stands for "left action" rather than "multiplying with s_i from the left", or is this too revisionistic?
     14Second, you are testing for the order-of-multiplication global in `has_left_descent` and in `has_right_descent`. I understand the reasoning behind it, but I don't like it, as it spreads a bad design choice further. Can we agree that the "left" in "left descent" stands for "left action" rather than "multiplying with s_i from the left", or is this too revisionistic?