Let $K$ be a number field, $O_K$ be its ring of integers, $p$ prime ideal in $\mathbb{Z}$ and $\mathfrak{p}$ be a prime ideal above $p$. I am trying to construct the $\mathbb{Z}/p\mathbb{Z}$ vector space $O_K/\mathfrak{p}$, and a $\mathbb{Z}/p\mathbb{Z}$ subspace spanned by certain images of elements of $O_K$.
For constructing the prime, I am able to use Q=K.primes_above(p)[0], but I do not know how to view the residue field F=K.residue_field(Q) as the vector space over $\mathbb{Z}/p\mathbb{Z}$.
The command V,fr,to=F.vector_space() indicates $\textbf{ValueError: too many values to unpack}$. Here K= $\mathbb{Q}(\zeta_{11})$ and $p=3$. Can someone suggest me alternative commands for the same.
