Skip to content

main -> dev - #6440

Merged
roed314 merged 177 commits into
devfrom
main
Jun 27, 2025
Merged

main -> dev#6440
roed314 merged 177 commits into
devfrom
main

Conversation

@roed314

@roed314 roed314 commented Jun 27, 2025

Copy link
Copy Markdown
Member

No description provided.

roed314 and others added 29 commits June 25, 2025 14:31
Fixing issue with Magma groups that are not Ids in Gap
Deal with local algebras when Galois groups have not been computed
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Add Family name column when family specified
move styling issues to autopep8
(ans) -> ans (and testing autopep8)
@roed314
roed314 merged commit 1a44223 into dev Jun 27, 2025
47 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants