Home || Talks

Here we show the source code and the output of the program used in the paper Classification of tight \(2s\)-designs with \(s \geq 2\).

Mathematica code

We use Mathematica to prove three single variable real inequalities in Proposition 4.3, and calculate explicit upper bounds for \(v\) in Section 6 for each \(10 \leq s \leq 626\).

Source code

C++ (MPI) code

We use C++ to search all integer triples \((s, x, y)\) in the region

such that

The Boost libraries are needed to compile the code. We use the 128 bits and 512 bits unsigned integer, and the timer.

MPI is used to make the program to run on multiple cores. Please compile the code using an MPI compatible compiler.

Source code

We run the program on a cluster using a total of 480 2.4GHz cores.

The raw output could be found below.