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.

Sign up for GitHub

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

Jump to bottom

Use previous LinsGraph in next search #36

Open
FriedrichRober opened this issue May 20, 2022 · 1 comment
Open

Use previous LinsGraph in next search #36

FriedrichRober opened this issue May 20, 2022 · 1 comment
Labels
enhancement New feature or request

Comments

@FriedrichRober
Copy link
Collaborator

It would be nice to be able to use an already computed LinsGraph for the next search algorithm.

The most obvious use case would be that we computed all normal subgroups up to index n and now want to extend the lattice up to index n + k.

Of corse, we then need to think about how we manage our search options and how to signal where and why a certain branch was cut.
@FriedrichRober FriedrichRober changed the title Use previous LinsGraph in next search Use previous LinsGraph in next search May 20, 2022
@FriedrichRober
Copy link
Collaborator Author

This would be especially interesting if Issue #37 is resolved.

@FriedrichRober FriedrichRober added the enhancement New feature or request label May 20, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@FriedrichRober