Abstract:The concept of a @m-basis was introduced in the case of parametrized curves in 1998 and generalized to the case of rational ruled surfaces in 2001. The @m-basis can be used to recover the parametric equation as well as to derive the implicit equation of a rational curve or surface. Furthermore, it can be used for surface reparametrization and computation of singular points. In this paper, we generalize the notion of a @m-basis to an arbitrary rational parametric surface. We show that: (1) the @m-basis of a rational surface always exists, the geometric significance of which is that any rational surface can be expressed as the intersection of three moving planes without extraneous factors; (2) the @m-basis is in fact a basis of the moving plane module of the rational surface; and (3) the @m-basis is a basis of the corresponding moving surface ideal of the rational surface when the base points are local complete intersections. As a by-product, a new algorithm is presented for computing the implicit equation of a rational surface from the @m-basis. Examples provide evidence that the new algorithm is superior than the traditional algorithm based on direct computation of a Grobner basis. Problems for further research are also discussed. is a basis of the corresponding moving surface ideal of the rational surface when the base points are local complete intersections. As a by-product, a new algorithm is presented for computing the implicit equation of a rational surface from the @m-basis. Examples provide evidence that the new algorithm is superior than the traditional algorithm based on direct computation of a Grobner basis. Problems for further research are also discussed.

Moving Planes and Singular Points of Rational Parametric Surfaces

Computing Singular Points of Plane Rational Curves.

Singularity Computation for Rational Parametric Surfaces Using Moving Planes.

On the Planar Dual Minkowski Problem

Efficient Computation of Moving Planes for Rational Parametric Surfaces with Base Points Using Dixon Resultants

Computing the Singularities of Rational Space Curves

Rational curves on Hermitian manifolds

Using Smith Normal Forms and mu-Bases to Compute all the Singularities of Rational Planar Curves

Implicitizing Rational Surfaces Without Base Points by Moving Planes and Moving Quadrics

Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces

Curvature of Singular Bézier Curves and Surfaces

A new implicit representation of a planar rational curve with high order singularity

The μ-basis and implicitization of a rational parametric surface

Singularities of Focal Surfaces of Null Cartan Curves in Minkowski 3-Space

Negative Curves and Elliptic Fibrations on a Special Rational Surface

Plane Polynomials and Hamiltonian Vector Fields Determined by Their Singular Points

Computing self-intersection curves of rational ruled surfaces

The Mu-Basis And Implicitization Of A Rational Parametric Surface

Revisiting the µ-basis of a rational ruled surface

Birational Quadratic Planar Maps with Generalized Complex Rational Representations

Parameter spaces for curves on surfaces and enumeration of rational curves