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

Fixed unused_gens for zero polynomial by oscarbenjamin · Pull Request #370 · flintlib/python-flint · GitHub

Repository navigation

Fixed unused_gens for zero polynomial - #370

Merged
oscarbenjamin merged 2 commits into
flintlib:mainfrom
oscarbenjamin:pr_unused_gens
Feb 17, 2026
Merged

oscarbenjamin merged 2 commits into
flintlib:mainfrom
oscarbenjamin:pr_unused_gens

Fix type annotation for mpoly.names

bab5ea5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

5 warnings

The logs for this run have expired and are no longer available.

Loading

Re-running jobs...


Back | FazBrowse Home | New Git URL