mass/Lebesgue measure? about portion HOT 7 CLOSED

Any link showing me what you mean exactly with "mass" and "mass addition"? If the goal is to associate some value with some intervals, then IntervalDict is the way to go. Operations involving multiple IntervalDict instances can be performed using the combine method (not really efficient, that said).

from portion.

I briefly looked at interval masses and this seems quite specific to real number based intervals. I'm unsure this should fit in portion that aims to stay generic.

from portion.

Thank you for your consideration.

Here is what I have in mind: if I1, I2 are intervals, and 'mass'[I1]=m1 and 'mass'[I2]=m2, then dict[I1]=m1 and dict[I2]=m2 if I1 and I2 are disjoint, otherwise dict[I1\I2]=m1, dict[I2\I1]=m2, and dict[ I1 & I2]=m1+m2 if they overlap. Masses are summed up in all overlaps, independently of whether intervals are open, closed, integral or real. Not sure I could provide a useful link though.

from portion.

The current behavior of IntervalDict upon insertion seems to change the existing keys if there are overlaps. My suggestion is to add new behavior or modify the existing one in such a way that separates the overlapping intervals into separate keys, and that handles the values as illustrated in my previous comment. This is in line with existing behavior that does not preserve left-constness (keys), but it would remove arbitrariness of the current behavior. It would be, I think, valuable functionality which is attractive for probability-related calculations.

from portion.

Please have a look at the "combine" method. It handles the example your provided.

from portion.

Indeed it does. Thanks.

from portion.

Perfect :-)

from portion.