# multivariate polynomial ring over complex numbers

I want to factorize bivariate polynomials over C. For single variable case we do this as follow:

R=CC[x]
x=R.gen()
f=x^2+1
f.factor()


How to do this for multivariate case ?

edit retag close merge delete

Sort by » oldest newest most voted

It seems not implemented on the floating-point complex numbers, nor on the complex algebraic numbers:

sage: R.<x,y> = CC[]
sage: P = x^2-y^2
sage: P.factor()
NotImplementedError: proof = True factorization not implemented.  Call factor with proof=False.
sage: P.factor(proof=False)
TypeError: Singular error:
? not implemented
? error occurred in or before STDIN line 26: def sage12=factorize(sage11);

sage: R.<x,y> = CDF[]
sage: P = x^2-y^2
sage: P.factor(proof=False)
NotImplementedError:

sage: R.<x,y> = QQbar[]
sage: P = x^2-y^2
sage: P.factor(proof=False)
TypeError: no conversion of this ring to a Singular ring defined


However, it is implemented for multivariate polynomials with integer or rational coefficients:

sage: R.<x,y> = ZZ[]
sage: P = x^2-y^2
sage: P.factor()
(x - y) * (x + y)


But note that the factorization is done with respect to the given ring, so you will get:

sage: P = x^2+1
sage: P.factor()
x^2 + 1

more

Too bad that this is not possible. It would be nice to factorize x^2+y^2 or x^2+x*y+y^2 for example.