Skip to content

Conversation

GiacomoPope
Copy link
Contributor

Fixes #183 by removing the doubled function and picking mul_mod over mulmod to match things like compose_mod.

@oscarbenjamin
Copy link
Collaborator

Looks good!

@oscarbenjamin oscarbenjamin merged commit 5445684 into flintlib:master Aug 14, 2024
32 checks passed
@GiacomoPope GiacomoPope deleted the double_name branch August 14, 2024 11:22
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.

fmpz_mod_poly has mulmod and mul_mod
2 participants