Fixed unused_gens for zero polynomial#370

Merged

oscarbenjamin merged 2 commits into

Feb 17, 2026

Annotations

5 warnings

Cache save failed.

Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>06CaUaQAAAABIqUa8JOOhRKnQvOEdSULnQ0hJMzBFREdFMDMxOQBFZGdl

No cached files found at path "/home/runner/work/python-flint/python-flint/emsdk-cache" - downloading and caching emsdk.

Failed to restore: Cache service responded with 400

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Fixed unused_gens for zero polynomial#370

Fixed unused_gens for zero polynomial#370
oscarbenjamin merged 2 commits into
flintlib:mainfrom
oscarbenjamin:pr_unused_gens

Uh oh!

Annotations

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

Re-running jobs...

Uh oh!

Fix type annotation for mpoly.names

Uh oh!

Annotations

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

Re-running jobs...