Is there any command in Mathematica 7 which can compute the (McCaulay) resultant of a parametric system of multivariate polynomial equations? In fact, it would be great if there is also a way to compute the discriminant of such a system in Mathematica as well. Thanks, - dbm
There is an undocumented command (Mma V9). Use it at your own risk, YMMV. I found it following @Daniel's hint above:
We can test that that is effectively the condition for common roots:
It works in much more complicated cases.