Sequential relation meets and overlaps have a fencepost error
Closed this issue · 1 comments
jakebeal commented
The sequential relation meets explanation in table 9 is explained in terms of real number locations, but sequences have space-filling integer locations. So [1..10] and [11..20] meet, while [1..10] and [10..20] overlap.
Make sure the constraints say this too.
Also, make sure it's clear that they only make sense when you're talking about the same Sequence.
jakebeal commented
It's not actually an error, just a lack of sufficient explanation about how to interpret.
The constraints are fine, because they refer to table 9.