Assuming GRH, we present an algorithm which inputs a prime $p$ and outputs the set of fundamental discriminants $D\<0$ such that the reduction map modulo a prime above $p$ from elliptic curves with CM by ${𝒪}_D$ to supersingular elliptic curves in characteristic $p$ is surjective. In the algorithm we first determine an explicit constant $D_p$ so that $\left|D\right|\>D_p$ implies that the map is necessarily surjective and then we compute explicitly the cases $\left|D\right|\<D_p$.

Let ${𝔖}_n$ denote the symmetric group with $n$ letters, and $g\left(n\right)$ the maximal order of an element of ${𝔖}_n$. If the standard factorization of $M$ into primes is $M=q_1^{{\alpha }_1}{q}_2^{{\alpha }_2}...q_k^{{\alpha }_k}$, we define $\ell \left(M\right)$ to be $q_1^{{\alpha }_1}+q_2^{{\alpha }_2}+...+q_k^{{\alpha }_k}$; one century ago, E. Landau proved that $g\left(n\right)={max}_{\ell \left(M\right)\le n}M$ and that, when $n$ goes to infinity, $logg\left(n\right)\sim \sqrt{nlog\left(n\right)}$.There exists a basic algorithm to compute $g\left(n\right)$ for $1\le n\le N$; its running time is $𝒪\left(N^{3/2}/\sqrt{logN}\right)$ and the needed memory is $𝒪\left(N\right)$; it allows computing $g\left(n\right)$ up to, say, one million. We describe an algorithm to calculate $g\left(n\right)$ for $n$ up to ${10}^{15}$. The main idea is to use the so-called $\ell$-superchampion...