In my script a complex number is defined like that:
$\mathbb C := \mathbb R [X]/(x^2+1)$ and the imaginary entity: $i := [X] \in \mathbb C$
$\mathbb C = \{a+bi | a, b \in \mathbb R\}$
Question: How can I get the inverse $(2+i)^{-1}$ in $\mathbb C$ using these definition rules?