New groups to add

[Victor V. Albert]

Dear LMFDB,

I run the Error Correction Zoo and enjoy contributing to knowledge databases. I have three actionable items for the LMFDB:

1. Some simple groups had their subgroups classified back in 2010s but not all are in the database: https://leemans.dimitri.web.ulb.be/atlaslat/. Do you think it would be feasible to add them?

2. I've recently classified subgroups of Sp(8,2): https://github.com/valbert4/sp8. I'd love to add this info to the LMFDB.

3. I think my pipeline is adaptable to classifying other groups of comparable order, like the sporadics Co2, HN, Ly, or Th. Is there interest in trying to classify those? 

Best,

Victor

[Victor V. Albert]

Hi all,

Following up on this.

Best,

Victor

[David Roe]

Hi Victor,

I'm sorry for the delay in responding; I just discovered that lmfdb-support emails were going to spam.

I'm certainly interested in adding this kind of data, though there are some constraints.  I had seen the first subgroup database you mentioned, but was dissuaded by the fact that all of the data is in pdf form.  Also, we want actual generators of the subgroup and not just the structure of the subgroup poset.

I think 657,007 is probably more subgroups than we want to add for a single group (we've usually limited to a few thousand, though this could be stretched for groups lik Sp(8,2) that are of more interest than a random group in the database).  But I'd be interested in chatting about how we can incorporate some aspects of the computation.  We're having an editorial meeting in a few days; let me get back to you after that.

David

--
You received this message because you are subscribed to the Google Groups "lmfdb-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lmfdb-suppor...@googlegroups.com.
To view this discussion, visit https://groups.google.com/d/msgid/lmfdb-support/CAGt9JEJ7YSoTU0Ed_M_EjX3wNGSJWJbeaadFSV%3DX9C49u5eVEw%40mail.gmail.com.