Mattias Forss wrote: > > > 2006/9/26, Thomas Beale <Thomas.Beale at oceaninformatics.biz > <mailto:Thomas.Beale at oceaninformatics.biz>>: > > I have improved the documentation in the class definitions, and added > the following invariant to History: > > period_consistency: is_periodic implies events.for_all (e: EVENT | > e.offset.to_seconds.mod(period.to_seconds) = > e.offset.to_seconds/period.to_seconds) > > > Hi Thomas, > > With the risk of making a fool of my self, shouldn't a consistent > period mean that all events should have an offset to the original time > of starting the observations which is periodic? In that case, doesn't > it mean that the offset modulo the period should be zero and not > offset/period? If the offset is evenly dividable with the period, then > it should mean that the event is periodic and if all events are > periodic then the period for the history is consistent. > > Correct me if I'm wrong. > no you are not wrong; I was messing around with div and mod functions trying to think of the easiest formulation, and accidentally left mod instead of div. mod(x) = 0 is probably the easiest actually. I must stop multi-tasking (they say males can't do it anyway;-)
- thomas _______________________________________________ openEHR-technical mailing list openEHR-technical at openehr.org http://www.chime.ucl.ac.uk/mailman/listinfo/openehr-technical
