Resultant - Computation

Computation

Since the resultant depends polynomially (with integer coefficients) on the roots of P and Q, and it is invariant with respect to permutations of each set of roots, it must be possible to calculate it using an (integer) polynomial formula on the coefficients of P and Q. See elementary symmetric polynomial for details.

More concretely, the resultant is the determinant of the Sylvester matrix (and of the B├ęzout matrix) associated to P and Q.

The above definition of the resultant can be rewritten as

so it can be expressed polynomially in terms of the coefficients of Q. By the symmetry of the defining formula, this shows that the resultant is a polynomial expression of the coefficients of both P and Q.

This expression remains unchanged if Q is replaced by the remainder P mod Q of the Euclidean division of Q by P. If we set P' = P mod Q, then this idea can be continued by swapping the roles of P' and Q. However, P' has a set of roots different from that of P. This can be resolved by writing res(P',Q) as a determinant again, where P' has leading zero coefficients. This determinant can now be simplified by iterative expansion with respect to the column, where only the leading coefficient q of Q appears: res(P,Q)=qdegP-degP' res(P',Q). Continuing this procedure ends up in a variant of the Euclid's algorithm.

This procedure needs a number of arithmetic operations on the coefficients that is of the order of product of the degrees. However, when the coefficients are integers, rational numbers or polynomials, these arithmetic operations imply a number of GCD computations of coefficients which is of the same order and make the algorithm inefficient.

The subresultant pseudo-remainder sequences have been introduced to solve this problem and avoid any fraction and any GCD computation of coefficients. A more efficient algorithm is obtained by using the good behavior of the resultant under a ring homomorphism of the coefficients: to compute a resultant of two polynomials with integer coefficients, one computes their resultants modulo sufficiently many prime numbers, and then reconstruct the result with Chinese remainder theorem.

Read more about this topic:  Resultant

Other articles related to "computation":

Louis-Philippe Morency - Biography
... he leads the Multimodal Communication and Computation Laboratory (MultiComp Lab) ... is computational study of human multimodal computation, a multi-disciplinary research topic that overlays the fields of multi-modal interaction, machine learning, computer vision, social ... He received many awards for his work on nonverbal behavior computation including four best papers awards in the last two years (at various IEEE and ACM conferences) ...
Strength Of Schedule - Computation
... Furthermore, several more factors may be added, such as the position of the team in the league, the strength of the team's division or conference, which games count in the formula and which don't (vital in the Bowl Championship Series), the locations of the games (see home team and home advantage) and others. ...
Software Components OTA - Approaches - Computation
... Computation processes the output from the software compiler and linker to generate optimized update instructions ...
Categorical Abstract Machine - Overview
... It took its place in computer science as a kind of theory of computation for programmers, represented by Cartesian closed category and embedded into the ... Using CAM, the various mechanisms of computation such as recursion or lazy evaluation can be emulated as well as parameter passing, such as call by name, call ...
Computation - History - Comparison To Calculation
... See Calculation#Comparison to computation. ...

Famous quotes containing the word computation:

    I suppose that Paderewski can play superbly, if not quite at his best, while his thoughts wander to the other end of the world, or possibly busy themselves with a computation of the receipts as he gazes out across the auditorium. I know a great actor, a master technician, can let his thoughts play truant from the scene ...
    Minnie Maddern Fiske (1865–1932)