Random.self_init ();
let num = 100 in
let complex = 200 in
- let vars = ["x"; "y"; "z"; "v" ; "w"; "a"; "b"; "c"] in
+ let no_bound_vars = 20 in
+ let vars = Array.to_list
+ (Array.init no_bound_vars (fun x -> "x" ^ string_of_int x)) in
repeat (fun _ ->
let div, convs = gen complex vars in