Implicitization and Offsetting via Regular Systems

Dongming Wang
Laboratoire d'Informatique de Paris 6
Université Pierre et Marie Curie - CNRS
8 rue du Capitaine Scott, F-75015 Paris, France
http://calfor.lip6.fr/~wang


Abstract. Using elimination methods without projection the implicit equations of affine curves or surfaces converted from their rational parametric equations may include extraneous points, and so may the implicit equations of offsets to affine curves or surfaces determined from their algebraic formulations. By means of regular systems (which are triangular and enjoy a remarkable projection property) and decomposition of polynomial systems into regular systems, we show how to find the implicit equations together with inequations; the latter rule out the extraneous points. We report on the performance of our elimination algorithm for implicitization and offsetting in terms of computing time and legibility of output (compared with other existing algorithms with or without projection), discuss heuristic merging of disjunctive systems of polynomial equations and inequations, and present several illustrative examples.