[seqfan] Re: moving to wiki
Antti Karttunen
antti.karttunen at gmail.com
Thu Aug 27 22:52:45 CEST 2009
On Thu, 27 Aug 2009 15:10:59 +0000 (UTC?) "Joseph S. Myers" <
jsm at polyomino.org.uk> kirjoitti:
> Subject: [seqfan] Re: moving to wiki
> To: Sequence Fanatics Discussion list <seqfan at list.seqfan.eu>
> Message-ID:
> <Pine.LNX.4.64.0908271434310.16417 at digraph.polyomino.org.uk>
> Content-Type: TEXT/PLAIN; charset=US-ASCII
>
...
>
>
> - Declaration of relations between the terms of one sequence and those of
> another so that extending one sequence automatically extends the other and
> inconsistencies are flagged for investigation.
In my dream implementation we would have, not Maple, Mathematica, Pari,
Python nor Scheme,
but our own language/mathematical notation, call it "SeqFan" for a lack of a
better name,
that would
a) allow on-the-run generation of the terms (only the terms of
hard-to-compute sequences
were stored in b-files, or better, as a some kind of database field).
b) add also, not just "computing definition" (the most sensible/efficient
implementation
for computing it), but also alternative definitions, and connections to
other sequences.
I.e. with this notation, we could express a lots of the current program
code,
as well as the very heterogeneous notation currently used in %F and
%Y-lines.
In the case (b), after anybody added or modified the terms of a sequence,
the database could _automatically_ check that the given
connections/conditions
apply for all the terms.
This is just an idea. Probably this language "SeqFan" shouldn't compete with
the existing mathematical programming packages, but instead be a kind of
standardized meta-notation which could be easily compiled/converted
to some actual language (like Python, or Pari).
----------------
Dream off now. Instead a question to Neil:
How will all the non-b-file attachments (e.g. images, proof notes, etc.)
handled in the Wiki-version? Do they stay as external files, or could
it be possible to convert some of the proof notes into Wikipedia-style
pages, that could be edited on their own?
Yours,
A.
More information about the SeqFan
mailing list