Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleWhen does equal ?
Author(s) François Lemaire, Marc Moreno Maza, Wojciech Szpankowski, Yuzhen Xie
TypeArticle in Journal
AbstractGiven a regular chain T , we aim at finding an efficient way for computing a system of generators of sat(T), the saturated ideal of T . A natural idea is to test whether the equality 〈T〉=sat(T) holds, that is, whether T generates its saturated ideal. By generalizing the notion of primitivity from univariate polynomials to regular chains, we establish a necessary and sufficient condition, together with a Gröbner basis free algorithm, for testing this equality. Our experimental results illustrate the efficiency of this approach in practice.
KeywordsRegular chain, Saturated ideal, Primitivity of polynomials
ISSN0747-7171
URL http://www.sciencedirect.com/science/article/pii/S0747717111001222
LanguageEnglish
JournalJournal of Symbolic Computation
Volume46
Number12
Pages1291 - 1305
Year2011
Edition0
Translation No
Refereed No
Webmaster