fact: Definition PlotPath_slow : positive * positive * Q * sparse_raster n m := (n, m, 2#1, RasterizeQ2 (map (fun x : Q_as_MetricSpace => approximate (path x) err) (approximate (CompactIntervalQ Hfromto) (FinEnum_map_modulus (1 # 1) (mu path) err))) n m t l b r).
imports: QArith.Qround CoRN.metric2.Metric CoRN.metric2.ProductMetric CoRN.metric2.UniformContinuity CoRN.reals.fast.RasterizeQ CoRN.reals.fast.Interval CoRN.metric2.Graph CoRN.model.totalorder.QMinMax CoRN.model.totalorder.QposMinMax