[r-t] Foundational definitions (was Lead-based methods [was: Poll on consecutive blows in the same position])

[Don Morrison]

Sorry, Mark.

On Tue, Dec 30, 2014 at 10:50 AM, Don Morrison <dfm at ringing.org> wrote:
> What other implicit properties of well behaved methods have we
> neglected to think about explicitly?

Oops. Thought of another one. I think all the sequences generated by a
method (that's a general "method", no Greek letters required) need to
be non-empty. That is, every sequence generated by a method needs
to contain at least one change. This, of course, comes for free if
we eventually adopt the suggestion that every sequence must contain
at least one non-null change.




-- 
Don Morrison <dfm at ringing.org>
"Might does not make right, but it makes law."
       -- Will and Ariel Durant, _The Age of Reason Begins_