Skip to content

gap: revise make_gap_list, make_gap_matrix #35862

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
Merged
merged 1 commit into from
Aug 5, 2023
Merged

gap: revise make_gap_list, make_gap_matrix #35862

merged 1 commit into from
Aug 5, 2023

Conversation

fingolfin
Copy link
Contributor

Contains PR #35761, once that is merged I'll rebase here.

@fingolfin fingolfin mentioned this pull request Jul 2, 2023
Closed
@fingolfin fingolfin force-pushed the mh/make_gap_list branch 2 times, most recently from 80500b0 to 0df0956 Compare July 26, 2023 11:34
@github-actions
Copy link

Documentation preview for this PR (built with commit ecf7d96; changes) is ready! 🎉

@fingolfin
Copy link
Contributor Author

@fchapoton got it working :-)

fchapoton
fchapoton approved these changes Jul 30, 2023
View reviewed changes
Copy link
Contributor

@fchapoton fchapoton left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ok, looks reasonable to me

@vbraun vbraun merged commit a1a27b1 into sagemath:develop Aug 5, 2023
@fingolfin fingolfin deleted the mh/make_gap_list branch August 14, 2023 13:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fchapoton fchapoton fchapoton approved these changes

Assignees
No one assigned
Labels
c: packages: standard
Projects
None yet
Milestone
sage-10.1
Development

Successfully merging this pull request may close these issues.
4 participants
@fingolfin @fchapoton @vbraun @mkoeppe