Skip to content

Conversation

@grhkm21
Copy link
Contributor

@grhkm21 grhkm21 commented Jan 4, 2026

Fixes #41386.

Not sure if this is the correct approach, but it works @tscrim

@github-actions
Copy link

github-actions bot commented Jan 4, 2026

Documentation preview for this PR (built with commit 563877c; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

@tscrim
Copy link
Collaborator

tscrim commented Jan 8, 2026

Now you have what amounts to a trivial doctest failure in the _contains_helper test in categories/fields.py due to the change in category. You can just replace it with Zmod I think:

            sage: Q = Zmod(37)
            sage: Q.category()
            Join of Category of finite commutative rings
             and Category of subquotients of monoids
             and Category of quotients of semigroups
             and Category of finite enumerated sets
            sage: F = Fields()
            sage: F._contains_helper(Q)
            False
            sage: Q in F  # This changes the category!
            True
            sage: F._contains_helper(Q)
            True

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

.sqrt in FF PolynomialQuotientRing doesn't work

2 participants