Resultant[poly1, poly2, var]computes the resultant of the polynomials and with respect to the variable var.
Resultant[poly1, poly2, var, Modulus->p]computes the resultant modulo the prime p.
The resultant vanishes exactly when the polynomials have roots in common:
Subresultants Discriminant PolynomialGCD Eliminate
400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »