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.

Two Additional Advantages of Complex Μ-Bases for Non-Ruled Real Quadric Surfaces.

Survey on the Theory and Applications of Μ-Bases for Rational Curves and Surfaces.

Implicitization and parametrization of quadratic and cubic surfaces by μ -bases

Approximate μ-bases of rational curves and surfaces

On Pseudo-Holomorhpic Curves in Complex Grassmannians

An Algorithm to Compute the Μ -Bases of Rational Parametric Surfaces with Respect to One Variable

Approximate µ-bases of rational curves and surfaces

Revisiting the [mu]-basis of a rational ruled surface

Computing μ-bases of rational curves and surfaces using polynomial matrix factorization

The μ-basis and implicitization of a rational parametric surface

Approximate Mu-Bases Of Rational Curves And Surfaces

The Mu-Basis And Implicitization Of A Rational Parametric Surface

Implicitization And Parametrization Of Quadratic And Cubic Surfaces By Mu-Bases

Revisiting the µ-basis of a rational ruled surface

The Μ-Basis of a Planar Rational Curve: Properties and Computation

Reparametrization of a rational ruled surface using the μ-basis

Computing Μ-Bases of Univariate Polynomial Matrices Using Polynomial Matrix Factorization.

Reparametrization of a rational ruled surface using the -basis

Quadric Complexes

Some interesting birational morphisms of smooth affine quadric 3-folds *

Real hypersurfaces in the complex quadric with parallel structure Jacobi operator