Computing Comprehensive Gr¨obner Systems: A Comparison of Two Methods
Închide
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
671 6
Ultima descărcare din IBN:
2024-01-17 10:59
Căutarea după subiecte
similare conform CZU
004.42:512.54.05 (1)
Programe. Software (296)
Algebră (400)
SM ISO690:2012
HASHEMI, Amir, M.-ALIZADEH, Benyamin, DEHGHANI DARMIAN, Mahdi. Computing Comprehensive Gr¨obner Systems: A Comparison of Two Methods. In: Computer Science Journal of Moldova, 2017, nr. 3(75), pp. 278-302. ISSN 1561-4042.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Computer Science Journal of Moldova
Numărul 3(75) / 2017 / ISSN 1561-4042 /ISSNe 2587-4330

Computing Comprehensive Gr¨obner Systems: A Comparison of Two Methods

CZU: 004.42:512.54.05

Pag. 278-302

Hashemi Amir1, M.-Alizadeh Benyamin2, Dehghani Darmian Mahdi3
 
1 Isfahan University of Technology,
2 School of Mathematics and Computer Sciences, Damghan University,
3 School of Mathematics, Institute for Research in Fundamental Sciences
 
 
Disponibil în IBN: 25 decembrie 2017


Rezumat

In this paper, we consider two main approaches to compute Grobner bases for parametric polynomial ideals, namely the DisPGB algorithm developed by Montes [18] and the PGBMain proposed by Kapur, Sun and Wang [11]. The former algorithm creates new branches in the space of parameters during the construction of Gr¨obner basis of a given ideal in the polynomial ring of variables and the latter computes (at each iteration) a Gobner basis of the ideal in the polynomial ring of the variables and parameters and creates new branches according to leading coefficients in terms of parameters. Therefore, the latter algorithm can benefit from the efficient implementation of Grobner basis algorithm in each computer algebra system. In order to compare these two algorithms (in the same platform) we use the recent algorithm namely GVW due to Gao et al. [8] to compute Grobner bases which makes the use of the F5 criteria proposed by Faug`ere to remove superfluous reductions [6]. We show that there exists a class of examples so that an incremental structure on the DisPGB algorithm by using the GVW algorithm is faster than the PGBMain by applying the same algorithm to compute Grobner bases. The mentioned algorithms have been implemented in Maple and experimented with a number of examples

Cuvinte-cheie
Comprehensive Gr¨obner systems, DisPGB algorithm, PGBMain algorithm, F5 criteria, GVW algorithm.