Isolated points, duality and residues
Mourrain, Bernard
HAL, inria-00125278 / Harvested from HAL
In this paper, we are interested in the use of duality in effective computations on polynomials. We represent the elements of the dual of the algebra R of polynomials over the field K as formal series in K[[d]] in differential operators. We use the correspondence between ideals of R and vector spaces of K[[d]], stable by derivation and closed for the (d)-adic topology, in order to construct the local inverse system of an isolated point. We propose an algorithm, which computes the orthogonal D of the primary component of this isolated point, by integration of polynomials in the dual space K[d], with good complexity bounds. Then we apply this algorithm to the computation of local residues, the analysis of real branches of a locally complete intersection curve, the computation of resultants of homogeneous polynomials.
Publié le : 1996-07-05
Classification:  polynomial,  duality,  multiple point,  inverse system,  effective computation,  [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC],  [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC]
@article{inria-00125278,
     author = {Mourrain, Bernard},
     title = {Isolated points, duality and residues},
     journal = {HAL},
     volume = {1996},
     number = {0},
     year = {1996},
     language = {en},
     url = {http://dml.mathdoc.fr/item/inria-00125278}
}
Mourrain, Bernard. Isolated points, duality and residues. HAL, Tome 1996 (1996) no. 0, . http://gdmltest.u-ga.fr/item/inria-00125278/