Computing the Dixon resultant with the Maple package DR. The Maple package DR provides functions for computing the Dixon resultant of a system of parametric multi-variate polynomials. The Dixon resultant constitutes a necessary condition for the polynomials to have a common root after specializing their parameters. The newest version 2 of the package DR includes the new heuristic pivot row detection of factors for extracting the Dixon resultant from the Dixon matrix. It is shown to be efficient on systems of benchmark polynomials, outperforming other heuristics for a majority of systems.
References in zbMATH (referenced in 1 article , 1 standard article )
Showing result 1 of 1.