Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Tweak Rees matrix semigroups code #3664

Merged
merged 4 commits into from
Nov 18, 2019
Merged

Tweak Rees matrix semigroups code #3664

merged 4 commits into from
Nov 18, 2019

Commits on Nov 18, 2019

  1. Tweak Rees matrix semigroups code 

    This removes the Matrix attribute; instead, methods for the Matrix *operation*
are installed, which delegate suitably to MatrixOfReesMatrixSemigroup resp.
MatrixOfZeroReesMatrixSemigroup, which now are independent attributes (instead
of both being synonyms for Matrix).

Also change Rees matrix semigroup code which access the attributes Rows and
Columns to instead access RowsOfReesZeroMatrixSemigroup, etc., explicitly, to
mirror the changes for Matrix, and to prepare for the eventuality that we
might want to convert Rows and Columns into plain operations, too.

Finally, tweak some manual entries for Rees matrix semigroups: mansections
referencing themselves should still use <Ref> for that.
    @fingolfin
    fingolfin committed Nov 18, 2019
    Configuration menu
    Copy the full SHA
    d0240ff View commit details
    Browse the repository at this point in the history

  2. Fix a typo in the manual: S -> U

    @fingolfin
    fingolfin committed Nov 18, 2019
    Configuration menu
    Copy the full SHA
    553086d View commit details
    Browse the repository at this point in the history

  3. doc: add label to Matrix for Rees matrix semigroups 

    ... to distinguish it from the Matrix operation which is part of MatrixObj.
    @fingolfin
    fingolfin committed Nov 18, 2019
    Configuration menu
    Copy the full SHA
    5ff7ddc View commit details
    Browse the repository at this point in the history

  4. Turn mutable attribute Matrix for lists into operation 

    This was only a mutable attribute as a workaround for the existence of a
Matrix attribute for Rees matrix semigroups. Since that one is gone, we can
also replace the workaround.
    @fingolfin
    fingolfin committed Nov 18, 2019
    Configuration menu
    Copy the full SHA
    13e9d0f View commit details
    Browse the repository at this point in the history