[seqfan] Re: Suggested keyword: veri
Alonso Del Arte
alonso.delarte at gmail.com
Tue Apr 14 19:24:39 CEST 2009
I agree a hundred percent with Hugo that we need to get in the habit
of taking advantage of the existing mechanism to record info about
verification: how it was done, for what values, with what tool, etc.
Even if none of us verify sequences systematically, I bet a lot of us
wind up doing some sort of verification of existing sequences when we
submit new sequences or comments.
It occurs to me today that when it comes to multiplicative sequences
(keyword:mult) the verifier could also say something like "Verified
sequence is [fully] multiplicative for the values shown here."
On Tue, Apr 14, 2009 at 10:02 AM, Hugo van der Sanden <human at google.com> wrote:
> 2009/4/12 <franktaw at netscape.net>
>> Yes, but there are 150,000 sequences there, and only a handful have any
>> such entry. The vast majority of them are machine-calculated, and
>> checking them is mostly a waste of time. [snip]
> I disagree that verifying machine-calculated values is a waste of time:
> there may be bugs in the programs we write to calculate; there may be bugs
> in the maths packages we take advantage of; there may be bugs at the
> firmware or hardware level (the well-publicised Intel division bug is by no
> means the only example).
> Of course, verification is by no means the only priority for OEIS, and most
> people would find it quite boring; however, of the things so far discussed
> in this thread, most useful to me seems to be something that indicates a)
> that some specified person has verified the values; b) which values they
> verified (and please don't say "all", since that becomes a lie as soon as
> someone adds another value); c) how they did it (in particular, whether they
> re-ran the existing programme or wrote a new one).
> Since we have an existing mechanism to record this that's capable of
> capturing all this information, all we need to do is get in the habit of
> using it. :)
> Seqfan Mailing list - http://list.seqfan.eu/
More information about the SeqFan