1Function: idealcoprime
2Section: number_fields
3C-Name: idealcoprime
4Prototype: GGG
5Help: idealcoprime(nf,x,y): gives an element b in nf such that b. x is an
6 integral ideal coprime to the integral ideal y.
7Doc: given two integral ideals $x$ and $y$
8 in the number field $\var{nf}$, returns a $\beta$ in the field,
9 such that $\beta\cdot x$ is an integral ideal coprime to $y$.
10