hal-00709962, version 1
Border basis representation of a general quotient algebra
International Conference on Symbolic and Algebraic Computation (ISSAC) (2012) 265-272
Résumé : In this paper, we generalized the construction of border bases to non-zero dimensional ideals for normal forms compatible with the degree, tackling the remaining obstacle for a general application of border basis methods. First, we give conditions to have a border basis up to a given degree. Next, we describe a new stopping criteria to determine when the reduction with respect to the leading terms is a normal form. This test based on the persistence and regularity theorems of Gotzmann yields a new algorithm for computing a border basis of any ideal, which proceeds incrementally degree by degree until its regularity. We detail it, prove its correctness, present its implementation and report some experimentations which illustrate its practical good behavior.
- a – Université Pierre et Marie Curie - Paris VI
- 1 :
- INRIA – CNRS : UMR6621 – Université Nice Sophia Antipolis [UNS]
- 2 :
- CNRS : UMR7606 – Université Pierre et Marie Curie [UPMC] - Paris VI
- Domaine : Mathématiques/Géométrie algébrique
Informatique/Calcul formel
- hal-00709962, version 1
- http://hal.inria.fr/hal-00709962
- oai:hal.inria.fr:hal-00709962
- Contributeur :
- Soumis le : Mardi 19 Juin 2012, 17:10:24
- Dernière modification le : Mardi 16 Octobre 2012, 14:51:53





Documents associés

Exporter