Two semigroups are distinct if they are neither isomorphic nor anti-isomorphic. Although there exist $15\,973$ pairwise distinct semigroups of order six, only four are known to be non-finitely based. In the present article, the finite basis property of the other $15\,969$ distinct semigroups of order six is verified. Since all semigroups of order five or less are finitely based, the four known non-finitely based semigroups of order six are the only examples of minimal order.

This paper revisits the solution of the word problem for ${\it\omega}$-terms interpreted over finite aperiodic semigroups, obtained by J. McCammond. The original proof of correctness of McCammond’s algorithm, based on normal forms for such terms, uses McCammond’s solution of the word problem for certain Burnside semigroups. In this paper, we establish a new, simpler, correctness proof of McCammond’s algorithm, based on properties of certain regular languages associated with the normal forms. This method leads to new applications.

The discriminant of a trinomial of the form $x^{n}\pm \,x^{m}\pm \,1$ has the form $\pm n^{n}\pm (n-m)^{n-m}m^{m}$ if $n$ and $m$ are relatively prime. We investigate when these discriminants have nontrivial square factors. We explain various unlikely-seeming parametric families of square factors of these discriminant values: for example, when $n$ is congruent to 2 (mod 6) we have that $((n^{2}-n+1)/3)^{2}$ always divides $n^{n}-(n-1)^{n-1}$. In addition, we discover many other square factors of these discriminants that do not fit into these parametric families. The set of primes whose squares can divide these sporadic values as $n$ varies seems to be independent of $m$, and this set can be seen as a generalization of the Wieferich primes, those primes $p$ such that $2^{p}$ is congruent to 2 (mod $p^{2}$). We provide heuristics for the density of these sporadic primes and the density of squarefree values of these trinomial discriminants.

We study the problem of efficiently constructing a curve $C$ of genus $2$ over a finite field $\mathbb{F}$ for which either the curve $C$ itself or its Jacobian has a prescribed number $N$ of $\mathbb{F}$-rational points.

In the case of the Jacobian, we show that any ‘CM-construction’ to produce the required genus-$2$ curves necessarily takes time exponential in the size of its input.

On the other hand, we provide an algorithm for producing a genus-$2$ curve with a given number of points that, heuristically, takes polynomial time for most input values. We illustrate the practical applicability of this algorithm by constructing a genus-$2$ curve having exactly $10^{2014}+9703$ (prime) points, and two genus-$2$ curves each having exactly $10^{2013}$ points.

In an appendix we provide a complete parametrization, over an arbitrary base field $k$ of characteristic neither two nor three, of the family of genus-$2$ curves over $k$ that have $k$-rational degree-$3$ maps to elliptic curves, including formulas for the genus-$2$ curves, the associated elliptic curves, and the degree-$3$ maps.

Supplementary materials are available with this article.

Let $A$ be an abelian variety of dimension $g$ together with a principal polarization ${\it\phi}:A\rightarrow \hat{A}$ defined over a field $k$. Let $\ell$ be an odd integer prime to the characteristic of $k$ and let $K$ be a subgroup of $A[\ell ]$ which is maximal isotropic for the Riemann form associated to ${\it\phi}$. We suppose that $K$ is defined over $k$ and let $B=A/K$ be the quotient abelian variety together with a polarization compatible with ${\it\phi}$. Then $B$, as a polarized abelian variety, and the isogeny $f:A\rightarrow B$ are also defined over $k$. In this paper, we describe an algorithm that takes as input a theta null point of $A$ and a polynomial system defining $K$ and outputs a theta null point of $B$ as well as formulas for the isogeny $f$. We obtain a complexity of $\tilde{O} (\ell ^{(rg)/2})$ operations in $k$ where $r=2$ (respectively, $r=4$) if $\ell$ is a sum of two (respectively, four) squares which constitutes an improvement over the algorithm described in Cosset and Robert (Math. Comput. (2013) accepted for publication). We note that the algorithm is quasi-optimal if $\ell$ is a sum of two squares since its complexity is quasi-linear in the degree of $f$.

Polynomials for blending parametric curves in Lie groups are defined. Properties of these polynomials are proved. Blending parametric curves in Lie groups with these polynomials is considered. Then application of the proposed technique to construction of spline curves on smooth manifolds is presented. As an example, construction of spherical spline curves using the proposed approach is depicted.

Our main purpose in this paper is to propose the piecewise Legendre spectral-collocation method to solve Volterra integro-differential equations. We provide convergence analysis to show that the numerical errors in our method decay in $h^{m}N^{-m}$-version rate. These results are better than the piecewise polynomial collocation method and the global Legendre spectral-collocation method. The provided numerical examples confirm these theoretical results.

We construct explicit bases for spaces of overconvergent $p$-adic modular forms when $p=2,3$ and study their interaction with the Atkin operator. This results in an extension of Lauder’s algorithms for overconvergent modular forms. We illustrate these algorithms with computations of slope sequences of some $2$-adic eigencurves and the construction of Chow–Heegner points on elliptic curves via special values of Rankin triple product L-functions.

The Coleman integral is a $p$-adic line integral that encapsulates various quantities of number theoretic interest. Building on the work of Harrison [J. Symbolic Comput. 47 (2012) no. 1, 89–101], we extend the Coleman integration algorithms in Balakrishnan et al. [Algorithmic number theory, Lecture Notes in Computer Science 6197 (Springer, 2010) 16–31] and Balakrishnan [ANTS-X: Proceedings of the Tenth Algorithmic Number Theory Symposium, Open Book Series 1 (Mathematical Sciences Publishers, 2013) 41–61] to even-degree models of hyperelliptic curves. We illustrate our methods with numerical examples computed in Sage.

We present a computer algebra package based on Magma for performing computations in rational Cherednik algebras with arbitrary parameters and in Verma modules for restricted rational Cherednik algebras. Part of this package is a new general Las Vegas algorithm for computing the head and the constituents of a module with simple head in characteristic zero, which we develop here theoretically. This algorithm is very successful when applied to Verma modules for restricted rational Cherednik algebras and it allows us to answer several questions posed by Gordon in some specific cases. We can determine the decomposition matrices of the Verma modules, the graded $G$-module structure of the simple modules, and the Calogero–Moser families of the generic restricted rational Cherednik algebra for around half of the exceptional complex reflection groups. In this way we can also confirm Martino’s conjecture for several exceptional complex reflection groups.

Supplementary materials are available with this article.

For an elliptic curve $E/\mathbb{Q}$ without complex multiplication we study the distribution of Atkin and Elkies primes $\ell$, on average, over all good reductions of $E$ modulo primes $p$. We show that, under the generalized Riemann hypothesis, for almost all primes $p$ there are enough small Elkies primes $\ell$ to ensure that the Schoof–Elkies–Atkin point-counting algorithm runs in $(\log p)^{4+o(1)}$ expected time.

Here we determine up to conjugacy all the maximal subgroups of the finite exceptional group of Lie-type $E_{7}(2)$.

Supplementary materials are available with this article.

Conservation laws provide important constraints on the solutions of partial differential equations (PDEs), therefore it is important to preserve them when discretizing such equations. In this paper, a new systematic method for discretizing a PDE, so as to preserve the local form of multiple conservation laws, is presented. The technique, which uses symbolic computation, is applied to the Korteweg–de Vries (KdV) equation to find novel explicit and implicit schemes that have finite difference analogues of its first and second conservation laws and its first and third conservation laws. The resulting schemes are numerically compared with a multisymplectic scheme.

Efficient methods for computing with matrices over finite fields often involve randomised algorithms, where matrices with a certain property are sought via repeated random selection. Complexity analyses for such algorithms require knowledge of the proportion of relevant matrices in the ambient group or algebra. We introduce a method for estimating proportions of families $N$ of elements in the algebra of all $d\times d$ matrices over a field of order $q$, where membership of a matrix in $N$ depends only on its ‘invertible part’. The method is based on the availability of estimates for proportions of certain non-singular matrices depending on $N$, so that existing estimation techniques for non-singular matrices can be used to deal with families containing singular matrices. As an application, we investigate primary cyclic matrices, which are used in the Holt–Rees MEATAXE algorithm for testing irreducibility of matrix algebras.

We discuss heuristic asymptotic formulae for the number of isogeny classes of pairing-friendly abelian varieties of fixed dimension $g\geqslant 2$ over prime finite fields. In each formula, the embedding degree $k\geqslant 2$ is fixed and the rho-value is bounded above by a fixed real ${\it\rho}_{0}>1$. The first formula involves families of ordinary abelian varieties whose endomorphism ring contains an order in a fixed CM-field $K$ of degree $g$ and generalizes previous work of the first author when $g=1$. It suggests that, when ${\it\rho}_{0}<g$, there are only finitely many such isogeny classes. On the other hand, there should be infinitely many such isogeny classes when ${\it\rho}_{0}>g$. The second formula involves families whose endomorphism ring contains an order in a fixed totally real field $K_{0}^{+}$ of degree $g$. It suggests that, when ${\it\rho}_{0}>2g/(g+2)$ (and in particular when ${\it\rho}_{0}>1$ if $g=2$), there are infinitely many isogeny classes of $g$-dimensional abelian varieties over prime fields whose endomorphism ring contains an order of $K_{0}^{+}$. We also discuss the impact that polynomial families of pairing-friendly abelian varieties has on our heuristics, and review the known cases where they are expected to provide more isogeny classes than predicted by our heuristic formulae.

We present the results of computer experiments suggesting that the probability that a random multiword in a free group is virtually geometric decays to zero exponentially quickly in the length of the multiword. We also prove this fact.

For all prime powers $q$ we restrict the unipotent characters of the special orthogonal groups $\text{SO}_{5}(q)$ and $\text{SO}_{7}(q)$ to a maximal parabolic subgroup. We determine all irreducible constituents of these restrictions for $\text{SO}_{5}(q)$ and a large part of the irreducible constituents for $\text{SO}_{7}(q)$.

Let $G$ be a compact connected Lie group with a maximal torus $T$. In the context of Schubert calculus we present the integral cohomology $H^{\ast }(G/T)$ by a minimal system of generators and relations.

Van Wamelen [Math. Comp. 68 (1999) no. 225, 307–320] lists 19 curves of genus two over $\mathbf{Q}$ with complex multiplication (CM). However, for each curve, the CM-field turns out to be cyclic Galois over $\mathbf{Q}$, and the generic case of a non-Galois quartic CM-field did not feature in this list. The reason is that the field of definition in that case always contains the real quadratic subfield of the reflex field.

We extend Van Wamelen’s list to include curves of genus two defined over this real quadratic field. Our list therefore contains the smallest ‘generic’ examples of CM curves of genus two.

We explain our methods for obtaining this list, including a new height-reduction algorithm for arbitrary hyperelliptic curves over totally real number fields. Unlike Van Wamelen, we also give a proof of our list, which is made possible by our implementation of denominator bounds of Lauter and Viray for Igusa class polynomials.

This paper illuminates the derivation, applicability, and efficiency of the multiplicative Runge–Kutta method, derived in the framework of geometric multiplicative calculus. The removal of the restrictions of geometric multiplicative calculus on positive-valued functions of real variables and the fact that the multiplicative derivative does not exist at the roots of the function are presented explicitly to ensure that the proposed method is universally applicable. The error and stability analyses are also carried out explicitly in the framework of geometric multiplicative calculus. The method presented is applied to various problems and the results are compared to those obtained from the ordinary Runge–Kutta method. Moreover, for one example, a comparison of the computation time against relative error is worked out to illustrate the general advantage of the proposed method.