如何只用一个变量找到多元多项式的根

Question

假设我有一个多元多项式环：

R.<w,x,y,z> = PolynomialRing(ZZ, 4, order='lex')

和多项式只包含一个变量，例如：

f = w^4 - 1

我怎样才能找到f的根源。 THX。

Answer 1

sage: f.univariate_polynomial().roots()
[(1, 1), (-1, 1)]