Name
Abstract | ||
|---|---|---|
In this paper, we introduce a new method to avoid zero reductions in Gröbner basis computation. We call this method LASyz, which stands for Lineal Algebra to compute Syzygies. LASyz uses exhaustively the information of both principal syzygies and non-trivial syzygies to avoid zero reductions. All computation is done using linear algebra techniques. LASyz is easy to understand and implement. The method does not require to compute Gröbner bases of subsequences of generators incrementally and it imposes no restrictions on the reductions allowed. We provide a complete theoretical foundation for the LASyz method and we describe an algorithm to compute Gröbner bases for zero dimensional ideals based on this foundation. A qualitative comparison with similar algorithms is provided and the performance of the algorithm is illustrated with experimental data. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1145/1993886.1993902 | ISSAC |
Keywords | DocType | Citations |
complete theoretical foundation,similar algorithm,zero dimensional ideal,bner base,linear algebra,lasyz method,new method,zero reduction,bner basis computation,method lasyz,lineal algebra,syzygy | Conference | 1 |
PageRank | References | Authors |
0.42 | 12 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Daniel Cabarcas | 1 | 46 | 6.81 |
| Jintai Ding | 2 | 956 | 72.85 |