Module Mfourier.Fourier
val find_point : Polynomial.cstr list -> (Vect.t, proof) Util.unionval optimise : Vect.t -> Polynomial.cstr list -> Itv.interval option
Mfourier.Fourierval find_point : Polynomial.cstr list -> (Vect.t, proof) Util.unionval optimise : Vect.t -> Polynomial.cstr list -> Itv.interval option