Skip to content

Conversation

@mahrud
Copy link
Member

@mahrud mahrud commented Jul 10, 2025

Pretty self explanatory PR. There's more work in this direction, but I don't know when I'll get to it.

@mikestillman mikestillman self-requested a review July 15, 2025 15:40
@d-torrance
Copy link
Member

Discussed with Mike

@d-torrance d-torrance merged commit 0f11c4d into Macaulay2:development Nov 7, 2025
5 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.

2 participants