Zulip Chat Archive

Stream: Is there code for X?

Topic: IsAlgClosed docstring


Violeta Hernández (Jan 31 2026 at 11:29):

docs#IsAlgClosed says the following:

To show Polynomial.Splits p f for an arbitrary ring homomorphism f, see IsAlgClosed.splits_domain.

But docs#Polynomial.Splits only takes a single argument, after a recent refactor. What should this docstring read now?

Riccardo Brasca (Jan 31 2026 at 11:36):

I would just remove that part.

Violeta Hernández (Jan 31 2026 at 12:08):

#34647


Last updated: Feb 28 2026 at 14:05 UTC