https://123dok.net/document/zlgxw486-computation-extensions-p-adic-field-given-degree.html