“School of Mathematics”

Back to Papers Home
Back to Papers of School of Mathematics

Paper   IPM / M / 15353
School of Mathematics
  Title:   Computation of Pommaret bases using syzygies
  Author(s):  Amir Hashemi (Joint with B. Binaei and W. Seiler)
  Status:   Published
  Journal: LNCS
  Vol.:  11077
  Year:  2018
  Pages:   51-66
  Supported by:  IPM
  Abstract:
We investigate the application of syzygies for efficiently computing (finite) Pommaret bases. For this purpose, we first describe a nontrivial variant of Gerdt's algorithm to construct an involutive basis for the input ideal as well as an involutive basis for the syzygy module of the output basis. Then we apply this new algorithm in the context of Seiler's method to transform a given ideal into quasi stable position to ensure the existence of a finite Pommaret basis. This new approach allows us to avoid superfluous reductions in the iterative computation of Janet bases required by this method. We conclude the paper by proposing an involutive variant of the signature based algorithm of Gao et al. to compute simultaneously a Grobner basis for a given ideal and for the syzygy module of the input basis. All the presented algorithms have been implemented in Maple and their performance is evaluated via a set of benchmark ideals.

Download TeX format
back to top
scroll left or right