Introduce FaithfulPermutationAction and Contravariant instances #24

Open

Assignees

opened

on Mar 18, 2019

The contravariant instance will be different for PermutationAction and FaithfulPermutationAction when calling isFaithful.

TODO: refactor the usages in symdpoly after that.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

denisrosset

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests