solving congruences with sage

147 Views Asked by At

Let $\mathfrak{p}=(\pi_1)$ be a prime ideal in $\mathcal{O}_K$, $K=\mathbb{Q}(\sqrt{-23})$. Is there any code in sage that solves the congruence $\pi_1 \equiv 1 (\text{mod}\sqrt{-23}N)$ for some $N \in \mathbb{N}$?