Function: hyperellminimaldisc
Section: elliptic_curves
C-Name: hyperellminimaldisc
Prototype: GDG
Help: hyperellminimaldisc(C,{pr}): C being a nonsingular integral
 hyperelliptic model of a curve, return the minimal discrminant of an integral
 model of C.  If pr is given, it must be a list of primes and the discriminant
 is then only garanteed minimal at the elements of pr.
 C can be given either by a squarefree polynomial P such that
 C:y^2=P(x) or by a vector [P,Q] such that C:y^2+Q(x)*y=P(x) and Q^2+4P is
 squarefree.
Doc:
 $C$ being a nonsingular integral hyperelliptic model of a curve,
 return the minimal discriminant of an integral model of $C$.
 If $pr$ is given, it must be a list of primes and
 the discriminant is then only garanteed minimal at the elements of $pr$.
 $C$ can be given either by a squarefree polynomial $P$ such that
 $C: y^{2} = P(x)$ or by a vector $[P,Q]$ such that
 $C: y^{2} + Q(x)\*y = P(x)$ and $Q^{2}+4\*P$ is squarefree.
 \bprog
 ? W = [x^6+216*x^3+324,0];
 ? D = hyperelldisc(W)
 %2 = 1828422898924853919744000
 ? M = hyperellminimaldisc(W)
 %4 = 29530050606000
 @eprog
