sig
  type solution = [ `Complex of Complex.t | `Real of float ]
  val print_check : (string -> unit) Pervasives.ref
  val solve_deg_2 :
    float * float * float -> Sequation.solution * Sequation.solution
  val solve_deg_3 :
    float * float * float * float ->
    Sequation.solution * Sequation.solution * Sequation.solution
  val solve_deg_4 :
    ?imeps:float ->
    ?compeps:float ->
    float * float * float * float * float ->
    Sequation.solution * Sequation.solution * Sequation.solution *
    Sequation.solution
end