/usr/lib/ocaml/gsl/gsl_poly.mli is in libocamlgsl-ocaml-dev 1.19.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 | (* gsl-ocaml - OCaml interface to GSL *)
(* Copyright (©) 2002-2012 - Olivier Andrieu *)
(* Distributed under the terms of the GPL version 3 *)
(** Polynomials *)
open Gsl_complex
type poly = float array
(** {3 Polynomial Evaluation} *)
external eval : poly -> float -> float = "ml_gsl_poly_eval"
(** [eval p x] returns [p.(0) +. p.(1) *. x +. p.(2) *. x**2 +. ... +. p.(n)
*. x**n] where [n = Array.length p]. *)
(** {3 Quadratic Equations} *)
type quad_sol =
| Quad_0
| Quad_2 of float * float
external solve_quadratic : a:float -> b:float -> c:float -> quad_sol
= "ml_gsl_poly_solve_quadratic"
external complex_solve_quadratic :
a:float -> b:float -> c:float -> complex * complex
= "ml_gsl_poly_complex_solve_quadratic"
(** {3 Cubic Equations} *)
type cubic_sol =
| Cubic_0
| Cubic_1 of float
| Cubic_3 of float * float * float
external solve_cubic : a:float -> b:float -> c:float -> cubic_sol
= "ml_gsl_poly_solve_cubic"
external complex_solve_cubic :
a:float -> b:float -> c:float -> complex * complex * complex
= "ml_gsl_poly_complex_solve_cubic"
(** {3 General Polynomial Equations} *)
val solve : poly -> complex_array
|