Dedicated to George Szekeres on the occasion of his 90th birthday

MacMahon devoted a significant portion of Volume II of his famous book Combinatory Analysis to the introduction of Partition Analysis as a computational method for solving combinatorial problems in connection with systems of linear diophantine inequalities and equations. In a series of papers we have shown that MacMahon's method turns into an extremely powerful tool when implemented in computer algebra. In this note we explain how the use of the package Omega developed by the authors has led to a generalisation of a classical counting problem related to triangles with sides of integer length.

Dedicated to Professor George Szekeres

Short amicable sets were introduced recently and have many applications. The construction of short amicable sets has lead to the construction of many orthogonal designs, weighing matrices and Hadamard matrices. In this paper we give some constructions for short amicable sets as well as some multiplication theorems. We also present a table of the short amicable sets known to exist and we construct some infinite families of short amicable sets and orthogonal designs.

Dedicated to Filippo Chiarenza

The aim of this note is to prove the unique continuation property for non-negative solutions of the quasilinear elliptic equation

We allow the coefficients to belong to a generalized Kato class.

Dedicated to George Szekeres on his 90th birthday

We discuss the exponential growth in the height of the coefficients of the partial quotients of the continued fraction expansion of the square root of a generic polynomial.

Gröbner bases have been generalised to polynomials over a commutative ring A in several ways. Here we focus on strong Gröbner bases, also known as D-bases. Several authors have shown that strong Gröbner bases can be effectively constructed over a principal ideal domain. We show that this extends to any principal ideal ring. We characterise Gröbner bases and strong Gröbner bases when A is a principal ideal ring. We also give algorithms for computing Gröbner bases and strong Gröbner bases which generalise known algorithms to principal ideal rings. In particular, we give an algorithm for computing a strong Gröbner basis over a finite-chain ring, for example a Galois ring.

J. Knopfmacher and A. Knopfmacher have previously produced some metric results concerning the coefficients of the Lüroth expansions of elements in the field of Laurent series with coefficients from a finite field. In this paper, we obtain analogous metric results for subsequences of the coefficients of the expansions.

This papar constructs all homomorphisms of inverse semigroups which factor through an E-unitary inverse semigroup; the construction is in terms of a semilattice component and a group component. It is shown that such homomorphisms have a unique factorisation βα with α preserving the maximal group image, β idempotent separating, and the domain I of β E-unitary; moreover, the P-representation of I is explicitly constructed. This theory, in particular, applies whenever the domain or codomain of a homomorphism is E-unitary. Stronger results are obtained for the case of F-inverse monoids.

Special cases of our results include the P-theorem and the factorisation theorem for homomorphisms from E-unitary inverse semigroups (via idempotent pure followed by idempotent separating). We also deduce a criterion of McAlister–Reilly for the existence of E-unitary covers over a group, as well as a generalisation to F-inverse covers, allowing a quick proof that every inverse monoid has an F-inverse cover.