Keywords : polynomial algorithmic, resultant, residue, eigenvalues, interpolation, linear algebra.
Multires, a maple package for multivariate resolution problems
Participants : Laurent Busé [ contact person ] , Ioannis Emiris, Bernard Mourrain, Olivier Ruatta, Philippe Trébuchet.
See multires web site: http://www-sop.inria.fr/galaad/logiciels/multires/ .
The Maple package multires contains a set of routines related to the resolution of polynomial equations. The prime objective is to illustrate various algorithms on multivariate polynomials, and not their effectiveness, which is achieved in a more adapted environment as synaps . It provides methods to build matrices whose determinants are multiples of resultants on certain varieties, and solvers depending on these formulations, and based on eigenvalues and eigenvectors computation. It contains the computations of Bezoutians in several variables, the formulation of Macaulay  for projective resultant, Jouanolou  combining matrices of Macaulay type, and Bezout and (sparse) resultant on a toric variety  ,  . Also being added are a new construction proposed for the residual resultant of a complete intersection  , functions for computing the degree of residual resultant illustrated in  , and the geometric algorithm for decomposing an algebraic variety  . The Weierstrass method generalized for several variables (presented in  ) and a method of resolution by homotopy derived from such generalization are implemented as well. Furthermore, there are tools related to the duality of polynomials, particularly the computation of residue for a complete intersection of dimension 0.