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 | |
|
|
CZU: 004.42:512.54.05 | |
Pag. 278-302 | |
Descarcă PDF | |
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. |
|
|