Border basis representation of a general quotient algebra

Bernard Mourrain 1 Philippe Trebuchet 2
1 GALAAD - Geometry, algebra, algorithms
CRISAM - Inria Sophia Antipolis - Méditerranée , UNS - Université Nice Sophia Antipolis, CNRS - Centre National de la Recherche Scientifique : UMR6621
2 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Type de document :
Communication dans un congrès
International Conference on Symbolic and Algebraic Computation (ISSAC), Jul 2012, Grenoble, France. ACM Press, pp.265-272, 2012, 〈10.1145/2442829.2442868〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00709962
Contributeur : Bernard Mourrain <>
Soumis le : mardi 19 juin 2012 - 17:10:24
Dernière modification le : vendredi 12 janvier 2018 - 01:48:43
Document(s) archivé(s) le : jeudi 20 septembre 2012 - 02:41:02

Fichiers

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Bernard Mourrain, Philippe Trebuchet. Border basis representation of a general quotient algebra. International Conference on Symbolic and Algebraic Computation (ISSAC), Jul 2012, Grenoble, France. ACM Press, pp.265-272, 2012, 〈10.1145/2442829.2442868〉. 〈hal-00709962〉

Partager

Métriques

Consultations de la notice

285

Téléchargements de fichiers

281