Constants.ml

(* Copyright INRIA and Microsoft Corporation, 2008-2013. *)
(* DDMF is distributed under CeCILL-B license. *)

let default_order = 6
let default_precision = 8
let default_plot_min_abs = "-10"
let default_plot_max_abs = "10"

let maple_time_limit = 5

Generated by GNU Enscript 1.6.5.90.