![](https://d3ilqtpdwi981i.cloudfront.net/PPpkPEfYA6fOqLVqq3FbFDBB84k=/425x550/smart/https://bepress-attached-resources.s3.amazonaws.com/uploads/2a/47/55/2a4755b9-b22f-4f92-b69e-9c1de7f177c9/thumbnail_BPFile%20object.jpg)
The Cayley-Dixon formulation for multivariate projection operators (multiples of resultants of multivariate polynomials) has been shown to be efficient (both exper- imentally and theoretically) for simultaneously eliminating many variables from a polynomial system. In this paper, the behavior of the Cayley-Dixon projection op- erator and the structure of Dixon matrices are analyzed for composed polynomial systems constructed from a multivariate system in which each variable is substi- tuted by a univariate polynomial in a distinct variable. Under some conditions, it is shown that a Dixon projection operator of the composed system can be expressed as a power of the resultant of the outer polynomial system multiplied by powers of the leading coefficients of the univariate polynomials substituted for variables in the outer system. A new resultant formula is derived for systems where it is known that the Cayley-Dixon construction does not contain any extraneous factor. The complexity of constructing Dixon matrices and roots at toric infinity of composed polynomials are analyzed.
- projection operator,
- Dixon resultant,
- composed polynomials
Available at: http://works.bepress.com/minimair/5/