Fast Reduction of Bivariate Polynomials with Respect to Sufficiently Regular Gröbner Bases

International audienc

A survey of the representations of rational ruled surfaces

The rational ruled surface is a typical modeling surface in computer aided geometric design. A rational ruled surface may have different representations with respective advantages and disadvantages. In this paper, the authors revisit the representations of ruled surfaces including the parametric form, algebraic form, homogenous form and Pl¨ucker form. Moreover, the transformations between these representations are proposed such as parametrization for an algebraic form, implicitization for a parametric form, proper reparametrization of an improper one and standardized reparametrization for a general parametrization. Based on these transformation algorithms, one can give a complete interchange graph for the different representations of a rational ruled surface. For rational surfaces given in algebraic form or parametric form not in the standard form of ruled surfaces, the characterization methods are recalled to identify the ruled surfaces from them.Agencia Estatal de Investigació

Bounds for degrees of syzygies of polynomials defining a grade two ideal

We make explicit the exponential bound on the degrees of the polynomials appearing in the Effective Quillen-Suslin Theorem, and apply it jointly with the Hilbert-Burch Theorem to show that the syzygy module of a sequence of $m$ polynomials in $n$ variables defining a complete intersection ideal of grade two is free, and that a basis of it can be computed with bounded degrees. In the known cases, these bounds improve previous results

On the computation of singularities of parametrized ruled surfaces

Given a ruled surface V defined in the standard parametric form P(t1, t2), we present an algorithm that determines the singularities (and their multiplicities) of V from the parametrization P. More precisely, from P we construct an auxiliary parametric curve and we show how the problem can be simplified to determine the singularities of this auxiliary curve. Only one univariate resultant has to be computed and no elimination theory techniques are necessary. These results improve some previous algorithms for detecting singularities for the special case of parametric ruled surfaces.Ministerio de Ciencia, Innovación y Universidade