FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Type annotations for all poly types by oscarbenjamin · Pull Request #305 · flintlib/python-flint · GitHub

Repository navigation

Type annotations for all poly types - #305

Merged
oscarbenjamin merged 4 commits into
flintlib:mainfrom
oscarbenjamin:pr_types_fq_default_poly
Jul 24, 2025
Merged

oscarbenjamin merged 4 commits into
flintlib:mainfrom
oscarbenjamin:pr_types_fq_default_poly

Conversation

oscarbenjamin commented Jul 24, 2025 •
edited
Loading

Copy link
Copy Markdown
Collaborator

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 merged commit ae53c86 into flintlib:main Jul 24, 2025
oscarbenjamin deleted the pr_types_fq_default_poly branch July 24, 2025 21:53
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
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


Back | FazBrowse Home | New Git URL