Implement transitivity and rank_action for G-sets
#4659
Merged
transitivity and rank_action for G-sets
#4659