Flavio wrote: > > > > note: this won't "bound" an unbounded recurrence immediately. > > This means that as_list() and iterate() are disabled. > > > > This kind of intersection could be implemented in Set::Infinite as a > > low-level method. Reinhold May wrote: > I'm not quite sure if I understand what you mean. Is the > problem that Set::Infinite describes only starts and ends of an > infinite span of elements rather than listing each element?
What you need is a function like "span_intersection()" - the current intersection method is actually "datetime_intersection". The problem is conceptual: Spans are not set elements - the set elements are "datetime" objects. Spans are just a bunch of datetimes that are closely packed together. All 'normal' set operations use this concept: intersection(), union(), complement() However, some set operations are "special" and do operate on spans. (see "SPECIAL SET FUNCTIONS" in S::I docs). > If that's the case, the i transition from continuous elements to > discrete elements could be called > > discretize (I guess you want american spelling) That's Set::Infinite->quantize() - but I don't think it will help with this problem. - Flavio S. Glock
