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

Allow computation of centralizers, conjugates... when the provided element(s) are not part of the group #17

Open
denisrosset opened this issue Sep 9, 2017 · 0 comments
Open

Allow computation of centralizers, conjugates... when the provided element(s) are not part of the group #17

denisrosset opened this issue Sep 9, 2017 · 0 comments

Comments

@denisrosset
Copy link
Owner

Right now, areConjugate, findConjugation, centralizer assume that g (or g1, g2) are elements of grp.

This can be relaxed by

  1. Checking whether the provided elements are contained in the group. If so, proceed as now.

  2. If not, recompute a faithful action for the group that is compatible with the provided elements, and proceed to the computation.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@denisrosset