I am trying to solve two, 2-variable polynomial equations over $F:=\mathbb{Q}(i)$ modulo $K:=F(\sqrt{2})$. Specifically, if p1 = $a^2+6b^2$, p2 = $3a^2+2b^2$, and $K^{4}:=\langle k^4\vert k\in K\backslash 0 \rangle$, I want to find (all?) $a$ and $b$ in $F$ such that p1==1 modulo $K^{4}$ and p2==-1 modulo $K^{*4}$.
Any amount of walk through or pointing in the right direction, or telling me this might not be doable would be great! I am relatively new to sage, or at least it has been years since I've used it.