N
ullstellensatz
Algebraically_Closed_Fields
Lex_Order_PP
Univariate_PM
Nullstellensatz
Nullstellensatz_Field