fact: Definition InterpRow (up : list Q) (v:list bool) : list Q := map (@fst _ _ ) (filter (@snd _ _) (combine up v)).
imports: CoRN.algebra.RSetoid CoRN.metric2.Metric CoRN.metric2.UniformContinuity CoRN.raster.Raster CoRN.reals.fast.Interval CoRN.metric2.FinEnum CoRN.metric2.ProductMetric CoRN.logic.Classic