fact: Definition Circle_faster : sparse_raster _ _ := let (_,r) := ARplot.PlotPath 0 7 (-(1)) 1 (reflexivity _) (-(1)) 1 (reflexivity _) 200 CirclePath_faster in r.
imports: Plot RasterQ Qmetric CoRN.reals.fast.Interval CoRN.metric2.MetricMorphisms CoRN.reals.faster.ARArith ARplot CoRN.reals.faster.ARcos CoRN.reals.faster.ARsin CoRN.reals.faster.ARexp CoRN.reals.faster.ARbigD CoRN.reals.faster.ARinterval CoRN.reals.fast.CRtrans CoRN.dump.theories.Loader