体の代数拡大(Dom::AlgebraicExtension)

有理数体(Dom::Rational)に、代数的な元を付け加えて別の体を作るには Dom::AlgebraicExtension という命令を使います。例えば、

$$k=\mathbb{Q}[z]/(z^2+z+1)$$

を作るには、

k:=Dom::AlgebraicExtension(Dom::Rational, z^2+z+1 = 0, z)

のようにします。