2013 IEEE 54th Annual Symposium on Foundations of Computer Science (1991)
San Juan, Puerto Rico
Oct. 1, 1991 to Oct. 4, 1991
D. Ierardi , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
M.-D. Huang , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
Several computational problems concerning the construction of rational functions and intersecting curves over a given curve are studied. The first problem is to construct a rational function with prescribed zeros and poles over a given curve. More precisely, let C be a smooth projective curve and assume as given an affine plane model F(x,y)=0 for C, a finite set of points P/sub i/=(X/sub i/, Y/sub i/) with F (X/sub i/, Y/sub i/)=0 and natural numbers n/sub i/, and a finite set of points Q/sub i/=(X/sub j/, Y/sub j/) with F(X/sub j/, Y/sub j/)=0 and natural numbers m/sub j/. The problem is to decide whether there is a rational function which has zeros at each point P/sub i/ of order n/sub i/, poles at each Q/sub j/ of order m/sub j/, and no zeros or poles anywhere else on C. One would also like to construct such a rational function if one exists. An efficient algorithm for solving this problem when the given plane curve has only ordinary multiple points is given.
ordinary multiple points, Riemann-Roch problem, Jacobian, rational functions, intersecting curves, zeros and poles, smooth projective curve, affine plane model, natural numbers, plane curve
D. Ierardi, M.-D. Huang, "Efficient algorithms for the Riemann-Roch problem and for addition in the Jacobian of a curve", 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, vol. 00, no. , pp. 678-687, 1991, doi:10.1109/SFCS.1991.185435