A Generalized Algorithm for Computing Characteristic Sets
Résumé
We generalize Wu-Ritt's algorithm for the computation of characteristic sets by means of one-step pseudo-reduction instead of pseudo-division. This generalization results in a new algorithm which, with optimal selection of reductors and heuristic generation of S-polynomials, may speed up the computation considerably and produce simpler output for large problems. Examples and experiments are provided to show the performance of our new algorithm.