A Generalized Algorithm for Computing Characteristic Sets

Dongming Wang 1, 2
1 CALFOR - Calcul formel
LIP6 - Laboratoire d'Informatique de Paris 6
2 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
K. Shirayanagi and K. Yokoyama. The Fifth Asian Symposium on Computer Mathematics - ASCM'2001, Sep 2001, Matsuyama, Japan. World Scientific Publishing Co., 9, pp.165-174, 2001, Lecture Notes Series on Computing. 〈10.1142/9789812799661_0018〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00100619
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:48:27
Dernière modification le : mercredi 21 mars 2018 - 18:58:14

Identifiants

Collections

Citation

Dongming Wang. A Generalized Algorithm for Computing Characteristic Sets. K. Shirayanagi and K. Yokoyama. The Fifth Asian Symposium on Computer Mathematics - ASCM'2001, Sep 2001, Matsuyama, Japan. World Scientific Publishing Co., 9, pp.165-174, 2001, Lecture Notes Series on Computing. 〈10.1142/9789812799661_0018〉. 〈inria-00100619〉

Partager

Métriques

Consultations de la notice

103