EKR dataset related #107
Description
A new dataset: EKR properties of groups, GitHub.
The repo contains some data (not in a suitable format, but I'm converting it), and a Sage/Gorubi generator.
We will need some new codecs (I'll be updating the list, mostly simple). Before we import into MDH, here are some relevant questions:
- Do we have the various nullity values ("Computation time out, etc")? If not, how difficult would this be?
- One of the types of information in the dataset are reasons for one of the EKR properties to be true, i.e. 'Group has a clique of size n', 'The group has an n-clique and every module not in the permutation representation contains a maximum coclique'. There is a finite number of these (apparently 3-5). Any thoughts on what a good codec for these would be?