Skip to content

Conversation

oscarbenjamin
Copy link
Collaborator

@oscarbenjamin oscarbenjamin commented Jul 24, 2025

Add type annotations for fq_default and nmod_poly, fmpz_mod_poly and fq_default_poly.

Follows gh-293 which already added annotations for fmpz_poly and fmpq_poly as well as all mpoly types.

@oscarbenjamin oscarbenjamin merged commit ae53c86 into flintlib:main Jul 24, 2025
79 checks passed
@oscarbenjamin oscarbenjamin deleted the pr_types_fq_default_poly branch July 24, 2025 21:53
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.

1 participant