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?
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: