[r-t] Extension

[Alan Reading]

|It has been shown that the extension of LS6 -> LS8 has no PB lead-ends at
least as far as 60!

I've no doubt it's possible to write program to check considerably higher
than 60 but that's not the same as a proof that holds for every one of the
infinitely many cases ofcourse.
Somewhat hypothetical ofcourse (who is going to ring London on >60 ) but is
there not now a rule stating than an extension must go work on an infinite
number of stages. If London S Major were named today would it be allowed to
be called London? And if not how would could it be proven that the
extension doesn't go on an infinite number of stages?

Cheers,
Alan

On 22 March 2017 at 10:33, Robin Woolley <robin at robinw.org.uk> wrote:

> Quick reply to Alan.
>
> It has been shown that the extension of LS6 -> LS8 has no PB lead-ends at
> least as far as 60! There are four extensions in toto from 6->8 with PB
> lead ends all with this 'quality' - if that's the right word.
>
> 5-5.6.5.2.5.36.4-4.3.6-6.5,2
>
> 5-5.4.5.2.5.36.4-4.5.6-6.5,2
>
> 3-3.4-2-3.4-4.5.6-6.5,2
>
> 3-3.4-2-36.4-4.3.6-6.3,2 (8)
> R.
>
> _______________________________________________
> ringing-theory mailing list
> ringing-theory at bellringers.net
> http://lists.ringingworld.co.uk/listinfo/ringing-theory
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ringingworld.co.uk/pipermail/ringing-theory/attachments/20170322/0c2fb471/attachment.html>