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: |
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.