A094913 extension

[David W. Wilson]

> -----Original Message-----
> From: Maximilian Hasler [mailto:maximilian.hasler at gmail.com]
> Sent: Monday, December 17, 2007 2:43 PM
> To: David W. Wilson
> Cc: seqfan at ext.jussieu.fr
> Subject: Re: A094913 extension
> 
> PS: sorry for the typo, should read "min" (in the text)
> 
> Also, I wanted to comment on your suggestion :
> even if I agree that the empty substring should have been included (as
> I wrote earlier), I think we should not change this >6 year old
> sequence

Sequence age is not an excuse for inaccuracy. Indeed, it is all the more
important that older sequences be accurate.

> (insofar more as the "new" sequence already exists - I'm
> confident that we'll soon have a proof for a(n)+1 = A006697(n));

It doesn't seem as obvious to me, I may look into this.

> maybe just add "nonempty" in the definition and if needed, write a
> comment

In this case, I agree a name change is preferable to an elements change,
since the comments make the intent fairly clear.