Function: idealdiv
Section: number_fields
C-Name: idealdiv0
Prototype: GGGD0,L,
Help: idealdiv(nf,x,y,{flag=0}): quotient x/y of two ideals x and y in HNF
 in the number field nf. If (optional) flag is non-null, the quotient is
 supposed to be an integral ideal (slightly faster)
Description: 
 (gen, gen, gen, ?0):gen	idealdiv($1, $2, $3)
 (gen, gen, gen, 1):gen	idealdivexact($1, $2, $3)
 (gen, gen, gen, #small):gen	$"invalid flag in idealdiv"
 (gen, gen, gen, small):gen	idealdiv0($1, $2, $3, $4)

