How to compute the different ideal of an number field extension in Sage?
I want to compute the different ideal $\mathfrak{d}$ for $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$ and check the formula of $N_{\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})} (\mathfrak{d})=\delta_{\mathfrak{d}}$ where $\zeta_n$ is a $n$-th root of unity and $\delta_{\mathfrak{d}}$ $\Delta_{\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})}$ is relative discriminat of $$\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$.$\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$.
But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$.
My attempt is following:
x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)
But this makes an error. Could you show me the correct code?