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