Skip to content

Implement transitivity and rank_action for G-sets#4659

Merged
fingolfin merged 7 commits intooscar-system:masterfrom
mjrodgers:GSet_doc3
Feb 27, 2025
Merged

Implement transitivity and rank_action for G-sets#4659
fingolfin merged 7 commits intooscar-system:masterfrom
mjrodgers:GSet_doc3

Conversation

@mjrodgers
Copy link
Copy Markdown
Collaborator

Here we add some missing GSet functionality, namely for determining the transitivity and rank_action of a group acting on a GSet.

Comment thread src/Groups/gsets.jl Outdated
Comment thread src/Groups/gsets.jl Outdated
Comment thread src/Groups/gsets.jl Outdated
mjrodgers and others added 3 commits February 27, 2025 17:37
Co-authored-by: Lars Göttgens <lars.goettgens@gmail.com>
Co-authored-by: Lars Göttgens <lars.goettgens@gmail.com>
Co-authored-by: Lars Göttgens <lars.goettgens@gmail.com>
@fingolfin fingolfin added enhancement New feature or request release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes labels Feb 27, 2025
@fingolfin fingolfin changed the title Add GSet methods for transitivity, rank_action Implement transitivity and rank_action for $G$-sets Feb 27, 2025
@fingolfin fingolfin merged commit 1217370 into oscar-system:master Feb 27, 2025
@lgoettgens lgoettgens changed the title Implement transitivity and rank_action for $G$-sets Implement transitivity and rank_action for G-sets May 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: groups

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants