Hi,

concerning database_sloane_oeis, this is not only about the missing
SPKG.txt, here is how i understand the current situation:

The spkg database_sloane_oeis-2005-12.spkg contains sloane-oeis.bz2
which corresponds to (an old version of)
http://oeis.org/classic/stripped.gz that contains the first terms of
each sequence, up to A095795. This is useful to do a lot of
automatically off-line searches, therefore not flooding the OEIS server.

When you do:

    sage: SloaneEncyclopedia.install()

you get both http://oeis.org/classic/stripped.gz AND
http://oeis.org/classic/names.gz that contains the names of each
sequence.

If you first installed database_sloane_oeis-2005-12.spkg, you will get:

    sage: SloaneEncyclopedia.install()
    IOError: Sloane encyclopedia is already installed

But there is only "half" of the data: the association sequence:number
provided by sloane-oeis.bz2, but not the association number:name
provided by names.gz. Indeed:

    sage: SloaneEncyclopedia.sequence_name(6540)
    IOError: The Sloane OEIS names file is not installed.  
    Try reinstalling, e.g. SloaneEncyclopedia.install(overwrite=True).

The first advantage of stripped.gz over sloane-oeis.bz2 shipped with the
spkg it that it contains sequences up to A233540, that is more than
twice as much as sloane-oeis.bz2

The second advantage is that there have been licensing clarifications
meanwhile. In particular, stripped.gz contains a header that explicitely
refers to "OEIS End-User License: http://oeis.org/LICENSE";, which is
"Creative Commons Attribution Non-Commercial 3.0 license".

The advantage of database_sloane_oeis over SloaneEncyclopedia.install()
are:
 - you can automatically include it in a Sage binary with "sage -i".
 - this ressource remains available when oeis.org server is down.


To sum up, i am not opposed in removing the undocumented and incomplete
database_sloane_oeis spkg if this eases git transition (as proposed in
#14962), but i i do not agree with removing it for good. Instead, we
should:
 - update it with BOTH http://oeis.org/classic/stripped.gz and
   http://oeis.org/classic/names.gz 
 - add the new CC-by-nc license to the spkg doc.
 - rename it database_oeis (according to the new website oeis.org, and
   the new OEIS class in Sage that will eventually provide
   SloaneEncyclopedia).

I can take care about such a spkg. But i guess i should wait the git
workflow to avoid useless migration.

By the way, here is a possible SPKG.txt:

---------------------------------------------------------------------
= database_oeis =

== Description ==

This package provides sequences and names of the On-Line Encyclopedia of
Integer Sequences (OEIS) for off-line searches using the
SloaneEncyclopedia class. You should use it instead of on-line searches
(provided by Sage oeis module) if you plan to do a lot of automatic
queries, therefore not flooding the OEIS server. 

== License ==

The OEIS is made available under the Creative Commons Attribution
Non-Commercial 3.0 license.

To satisfy the attribution requirements of that license (section 4(c)),
attributions should credit The Online Encyclopedia of Integer Sequences
and provide a URL to the main page http://oeis.org/ or to a specific
sequence (e.g. http://oeis.org/A000108).

Commercial uses may be licensed by special arrangement with the OEIS
Foundation Inc..

== SPKG Maintainers ==

* Thierry Monteil

== Upstream Contact ==

* http://oeis.org/
* http://oeis.org/wiki/Editorial_Board 

== Dependencies ==

None

== Special Update/Build Instructions ==

Download the files

* http://oeis.org/classic/stripped.gz 
* http://oeis.org/classic/names.gz

into the ???/ directory (???/ to be updated with the git workflow).

--------------------------------------------------------------------

Ciao,
Thierry

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to