Function: idealfromgens
Section: number_fields
C-Name: idealfromgens
Prototype: GG
Help: idealfromgens(nf,v): hermite normal form of the (fractional) ideal of the number
 field nf generated as Z_K module by the components of the vector which must belong to
 nf.
Doc: gives the \idx{Hermite normal form} of the (fractional) ideal of the number
 field \kbd{nf} generated as $\Z_K$ module by the components of the vector
 \kbd{v}, which must belong to \kbd{nf}.
 If $v$ is a matrix, the components are the columns seen as elements expressed
 over the integral basis of \kbd{nf}.
 For ideals generated by one or two elements, \kbd{idealhnf} is an alternative.
