The polynomial ring Z[x11, . . . , x33] has a basis called the dual canonical basis whose quantization facilitates the study of representations of the quantum group Uq(sl3(C)) [8] [5]. On the other hand, Z[x11, . . . , x33] inherits a basis from the cluster monomial basis of a geometric model of the type D4 cluster algebra [3] [4]. We prove that these two bases are equal. This extends work of S...

A Maple package for computing Gröbner bases of linear difference ideals is described. The underlying algorithm is based on Janet and Janet-like monomial divisions associated with finite difference operators. The package can be used, for example, for automatic generation of difference schemes for linear partial differential equations and for reduction of multiloop Feynman integrals. These two po...

The interpolation step of Sudan’s list decoding of Reed-Solomon codes sets forth the problem of finding the minimal polynomial of an ideal with respect to a certain monomial order. An efficient algorithm that solves the problem is presented based on the theory of Gröbner bases of modules. In a special case, this algorithm is shown to be equivalent with the Berlekamp-Massey algorithm for decodin...

A Maple package for computing Gröbner bases of linear difference ideals is described. The underlying algorithm is based on Janet and Janet-like monomial divisions associated with finite difference operators. The package can be used, for example, for automatic generation of difference schemes for linear partial differential equations and for reduction of multiloop Feynman integrals. These two po...

Three division algorithms are presented for univariate Bernstein polynomials: an algorithm for finding the quotient and remainder of two univariate polynomials, an algorithm for calculating the GCD of an arbitrary collection of univariate polynomials, and an algorithm for computing a μ-basis for the syzygy module of an arbitrary collection of univariate polynomials. Division algorithms for mult...

We give a new method to construct minimal free resolutions of all monomial ideals. This relies on two concepts: one is the well-known lcm-lattice ideal; other concept called Taylor basis, which describes how resolution can be embedded in resolution. An approximation formula for ideals also obtained.

Given a finite alphabet X and an ordering ≺ on the letters, the map σ≺ sends each monomial on X to the word that is the ordered product of the letter powers in the monomial. Motivated by a question on Gröbner bases, we characterize ideals I in the free commutative monoid (in terms of a generating set) such that the ideal 〈σ≺(I)〉 generated by σ≺(I) in the free monoid is finitely generated. Wheth...