You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm not sure what the conclusion was what to call it, but there should be some version of arclength for an interval.
It could be called lebesguemeasure, though that's a bit confusing for intervals embedded in the complex plane, as the measure with respect to dx*dy would be zero....
The text was updated successfully, but these errors were encountered:
I'm fine with arclength, but the cases you mention can also be distinguished. Any Interval{T} where T <: Real has non-zero Lebesgue measure, and the current way to embed an interval in the complex plane is to explicitly use an embedding: i = embedding_map(Float64, Complex128) * interval(). (Nicer syntax would be welcome.) One could probably make it so that the lebesgue measure of i is zero in this case, since the embedding map knows the difference in dimension of the spaces.
I'm not sure what the conclusion was what to call it, but there should be some version of
arclength
for an interval.It could be called
lebesguemeasure
, though that's a bit confusing for intervals embedded in the complex plane, as the measure with respect todx*dy
would be zero....The text was updated successfully, but these errors were encountered: