-
Notifications
You must be signed in to change notification settings - Fork 120
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
let right_cosets
return a G-set
#3223
Conversation
Codecov Report
Additional details and impacted files@@ Coverage Diff @@
## master #3223 +/- ##
=======================================
Coverage 81.63% 81.63%
=======================================
Files 546 546
Lines 72887 72960 +73
=======================================
+ Hits 59499 59559 +60
- Misses 13388 13401 +13
|
1ee4e6e
to
40158e7
Compare
@@ -258,12 +288,12 @@ Permutation group of degree 4 and order 24 | |||
julia> H = symmetric_group(3) | |||
Permutation group of degree 3 and order 6 | |||
|
|||
julia> left_cosets(G,H) | |||
julia> left_cosets(G, H) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Now left_cosets
behaves quite different from right_cosets
... We should either warn about this; or else turn that into a G-set, too (I guess by letting
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do we want to support left cosets at all?
In GAP, there is no function LeftTransversal
. The GAP function LeftCosets
belongs to the utils package (without documentation, the documentation belongs to the groupoids package). I would recommend not to use left cosets.
- add `GSetByRightTransversal` - change `right_cosets` to return a `GSetByRightTransversal` object - change `show` methods for `GSetByElements` and `GroupCoset`
bb4f886
to
3f21de1
Compare
* let `right_cosets` return a G-set - add `GSetByRightTransversal` - change `right_cosets` to return a `GSetByRightTransversal` object - change `show` methods for `GSetByElements` and `GroupCoset` * address comments * adjust `show` values
* let `right_cosets` return a G-set - add `GSetByRightTransversal` - change `right_cosets` to return a `GSetByRightTransversal` object - change `show` methods for `GSetByElements` and `GroupCoset` * address comments * adjust `show` values
GSetByRightTransversal
right_cosets
to return aGSetByRightTransversal
objectshow
methods forGSetByElements
andGroupCoset
resolves #3221,
addresses the comment about
right_cosets
in the discussion of #3216