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.

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

fix left and right actions of permutations on matrices #29808

Closed
mwageringel opened this issue Jun 5, 2020 · 7 comments
Closed

fix left and right actions of permutations on matrices #29808

mwageringel opened this issue Jun 5, 2020 · 7 comments

Comments

@mwageringel
Copy link

As observed in #29553, permutations incorrectly act on matrices via a left action on the rows when multiplying on the right. This ticket fixes the left action to act on the left, and also adds the missing right action on the columns.

sage: S = SymmetricGroup(6)
sage: p, q = S('(1,2,3,4,5,6)'), S('(1,2)(3,4)(5,6)')
sage: M = matrix.diagonal([1..6])
sage: (M * p.matrix()) * q.matrix() == M * (p.matrix() * q.matrix())  # correct
True
sage: (M * p) * q == M * (p * q)  # should be True
False

CC: @tscrim

Component: group theory

Author: Markus Wageringel

Branch/Commit: a9dd308

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/29808

@mwageringel mwageringel added this to the sage-9.2 milestone Jun 5, 2020
@mwageringel
Copy link
Author

Branch: u/gh-mwageringel/29808

@mwageringel
Copy link
Author

Author: Markus Wageringel

@mwageringel
Copy link
Author

Commit: a9dd308

@mwageringel
Copy link
Author

New commits:

a9dd30829808: fix left/right permutation actions on matrices

@tscrim
Copy link
Collaborator

tscrim commented Jun 6, 2020

Reviewer: Travis Scrimshaw

@tscrim
Copy link
Collaborator

tscrim commented Jun 6, 2020

comment:2

LGTM.

@vbraun
Copy link
Member

vbraun commented Jul 8, 2020

Changed branch from u/gh-mwageringel/29808 to a9dd308

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants