On Fulton's algorithm for computing intersection multiplicities

  • Authors:
  • Steffen Marcus;Marc Moreno Maza;Paul Vrbik

  • Affiliations:
  • Department of Mathematics, University of Utah;Department of Computer Science, University of Western Ontario, Canada;Department of Computer Science, University of Western Ontario, Canada

  • Venue:
  • CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

As pointed out by Fulton in his Intersection Theory, the intersection multiplicities of two plane curves V(f) and V(g) satisfy a series of 7 properties which uniquely define I(p;f,g) at each point p∈V(f,g). Moreover, the proof of this remarkable fact is constructive, which leads to an algorithm, that we call Fulton's Algorithm. This construction, however, does not generalize to n polynomials f1, …, fn. Another practical limitation, when targeting a computer implementation, is the fact that the coordinates of the point p must be in the field of the coefficients of f1, …, fn. In this paper, we adapt Fulton's Algorithm such that it can work at any point of V(f,g), rational or not. In addition, we propose algorithmic criteria for reducing the case of n variables to the bivariate one. Experimental results are also reported.