Let $K=\mathbb{Q}(\sqrt{2})$ and $\mathfrak{a}=(3)=3\mathcal{O}_K$ an ideal in $K$. How can I find the elements in $\mathcal{O}_K/\mathfrak{a}$ using sage?
Revision history [back]
 | 1 | initial version |
How can I find the elements in a factor ring?
| | 2 | retagged |
How can I find the elements in a factor ring?
Let $K=\mathbb{Q}(\sqrt{2})$ and $\mathfrak{a}=(3)=3\mathcal{O}_K$ an ideal in $K$. How can I find the elements in $\mathcal{O}_K/\mathfrak{a}$ using sage?
