Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Transitive groups as lazy artifact? #2850

Open
lgoettgens opened this issue Sep 25, 2023 · 3 comments
Open

Transitive groups as lazy artifact? #2850

lgoettgens opened this issue Sep 25, 2023 · 3 comments
Labels

Comments

@lgoettgens
Copy link
Member

Similar to the perfect groups library from GAP, the transgrp package doesn't ship all its files but instead requires the user to download them separately and put the into a specific folder in the gap installation.
For the perfect groups library this was solved for oscar by using lazy artifacts that downloaded the required files on first use. Do we want something similar for transgrp?
If yes, I can look into adding this.

One important thing to consider: transgrp has much larger files, one of 300MB and one of 30GB.

Cc @fingolfin @ThomasBreuer

@micjoswig
Copy link
Member

This should be discussed within the upcoming B1 proposal.

@fingolfin
Copy link
Member

I don't think that the huge transgrp files are a good fit for automatic downloading, at least not without giving users the chance to accept/reject this. For this it'd be much better if only those parts of this "database" that are actually needed could be loaded... So, if it indeed was more like a database, and not just a blob of data... So yeah, possibly something for the next B1 and/or MaRDI

@fingolfin
Copy link
Member

The same applies to a recent extension of the database of primitive groups: it was extended from degree <= 4095 to degree <= 8191. The extension can be downloaded as a single tarball from Zenodo, but it actually consists of many small files. We'd want access to this in a more granular fashion, I'd say.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants