Я пытаюсь представить кольцо;
где theta - корень мононического неприводимого многочлена f с целыми коэффициентами степени d.
Это кольцо является подкольцом целых алгебраических чисел, которое само является подкольцом поля;
Я могу представить это поле с помощью sympy AlgebraicField
class
Q_theta = sympy.polys.domains.AlgebraicField(QQ,theta)
Есть ли способ представить вышеуказанное целочисленное подстроку аналогичным образом?