Opened 8 years ago
Last modified 4 weeks ago
#17620 new defect
Fix `is_isomorphic` for matrix group and permutation group
| Reported by: | Nathann Cohen | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | group theory | Keywords: | |
| Cc: | Samuel Lelièvre, Volker Braun | Merged in: | |
| Authors: | Reviewers: | ||
| Report Upstream: | N/A | Work issues: | |
| Branch: | Commit: | ||
| Dependencies: | Stopgaps: |
Status badges
Description (last modified by )
This does not work:
sage: g1 = groups.permutation.PGL(2,2) sage: g2 = groups.matrix.GO(3,2) sage: g2.is_isomorphic(g1) ... AttributeError: 'PGL_with_category' object has no attribute 'gap'
A simple hack seems to work
sage: g1.gap = g1._gap_ sage: g2.is_isomorphic(g1) True
Though I was not able to find where _gap_ was defined on permutation groups.
Note that g1.is_isomorphic(g2) fails for another reason
sage: g1.is_isomorphic(g2) ... TypeError: right must be a permutation group
Related:
- Ask Sage question 62674: How to act with `PGL` on `ProjectiveSpace`
- #12008: Implement matrix representations for finite projective linear groups
Change History (3)
comment:1 Changed 8 years ago by
| Description: | modified (diff) |
|---|
comment:2 Changed 8 months ago by
| Cc: | Samuel Lelièvre added |
|---|---|
| Description: | modified (diff) |
| Summary: | broken is_isomorphic between matrix group and permutation group → Fix `is_isomorphic` for matrix group and permutation group |
comment:3 Changed 4 weeks ago by
| Milestone: | sage-6.5 |
|---|
Note: See
TracTickets for help on using
tickets.
