Function: rnfidealprimedec
Section: number_fields
C-Name: rnfidealprimedec
Prototype: GG
Help: rnfidealprimedec(rnf,pr): return prime ideal decomposition of the maximal
 ideal pr of K in L/K; pr is also allowed to be a prime number p, in which
 case return a pair of vectors [SK,SL], where SK contains the primes of K
 above p and SL[i] is the vector of primes of L above SK[i].
Doc: let \var{rnf} be a relative number
 field extension $L/K$ as output by \kbd{rnfinit}, and \var{pr} a maximal
 ideal of $K$ (\var{prid}), this function completes the \var{rnf}
 with a \var{nf} structure attached to $L$ (see \secref{se:rnfinit})
 and returns the prime ideal decomposition of \var{pr} in $L/K$.
 \bprog
 ? K = nfinit(y^2+1); rnf = rnfinit(K, x^3+y+1);
 ? P = idealprimedec(K, 2)[1];
 ? S = rnfidealprimedec(rnf, P);
 ? #S
 %4 = 1
 @eprog
 The argument \var{pr} is also allowed to be a prime number $p$, in which
 case the function returns a pair of vectors \kbd{[SK,SL]}, where \kbd{SK} contains
 the primes of $K$ above $p$ and \kbd{SL}$[i]$ is the vector of primes of $L$
 above \kbd{SK}$[i]$.
 \bprog
 ? [SK,SL] = rnfidealprimedec(rnf, 5);
 ? [#SK, vector(#SL,i,#SL[i])]
 %6 = [2, [2, 2]]
 @eprog