Method for constructing elliptic curves using complex multiplication and its optimizations

Elliptic curves over finite fields with predefined conditions on the order are practically constructed using the theory of complex multiplication. A stage with the longest calculations in this method reconstructs some polynomial with integer coefficients. We prove some theoretical results and give a detailed account of the method itself and show how one can use a divisor of the mentioned polynomial with coefficients in an extension of the rational number field.