fact: Definition Qrange (min step max : Q) : list Q := if Qle_bool min max then List.map (fun n:nat => min + step * n) (seq 0 (1 + Z.to_nat (Qfloor ((max - min) / step)))) else [].
imports: Coq.Strings.String Coq.Structures.Orders Coq.micromega.Lia Coq.Bool.Bool Coq.Sorting.Mergesort Coq.QArith.QArith Coq.QArith.Qround Coq.QArith.Qabs Coq.QArith.Qminmax Coq.NArith.NArith Coq.ZArith.ZArith Coq.Arith.Arith Coq.Lists.List PerformanceExperiments.LetIn