Improved Computation of Involutive Bases
Abstract
In this paper, we describe improved algorithms to compute Janet and Pommaret bases. To this end, based on the method proposed by Moller et al., we present a more efficient variant of Gerdt's algorithm (than the algorithm presented by Gerdt-Hashemi-M.Alizadeh) to compute minimal involutive bases. Further, by using the involutive version of Hilbert driven technique, along with the new variant of Gerdt's algorithm, we modify the algorithm, given by Seiler, to compute a linear change of coordinates for a given homogeneous ideal so that the new ideal (after performing this change) possesses a finite Pommaret basis. All the proposed algorithms have been implemented in Maple and their efficiency is discussed via a set of benchmark polynomials.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2017
- DOI:
- 10.48550/arXiv.1705.03441
- arXiv:
- arXiv:1705.03441
- Bibcode:
- 2017arXiv170503441B
- Keywords:
-
- Computer Science - Symbolic Computation;
- Mathematics - Commutative Algebra;
- Mathematics - Algebraic Geometry
- E-Print:
- 15 pages, Computer Algebra in Scientific Computing (CASC 2016), Bucharest, Romania, 2016. Lecture Notes in Computer Science, Volume 9890, pages 58--72, 2016