On 17 November 2014 11:21, Harald Schilly wrote:
> On Mon, Nov 17, 2014 at 9:29 AM, Jeroen Demeyer
> wrote:
>> We should really *remove* the optional package stein-watkins-ecdb.
>
>
> I can do this, but it would break for older Sage installs, right?
> The bad one is in the "huge" directory, wher
We haven't formulated a policy yet. Obviously we'll have to delete old
tarballs at one point, but is disk space really an issue already?
On Monday, November 17, 2014 11:22:00 AM UTC, Harald Schilly wrote:
>
> On Mon, Nov 17, 2014 at 9:29 AM, Jeroen Demeyer > wrote:
> > We should really *remov
On Mon, Nov 17, 2014 at 9:29 AM, Jeroen Demeyer wrote:
> We should really *remove* the optional package stein-watkins-ecdb.
I can do this, but it would break for older Sage installs, right?
The bad one is in the "huge" directory, whereas the good one is in "upstream".
Besides that, there are th
On 2014-11-15 19:57, William Stein wrote:
I installed the huge stein-watkins-ecdb optional spkg,
sage -i stein-watkins-ecdb
The correct command is
sage -i database_stein_watkins
We should really *remove* the optional package stein-watkins-ecdb.
--
You received this message because you ar
On 15 November 2014 19:08, John Cremona wrote:
> On 15 November 2014 18:57, William Stein wrote:
>> I installed the huge stein-watkins-ecdb optional spkg,
>>
>> sage -i stein-watkins-ecdb
>>
>> but it is also broken when used:
>>
>> sage: p = SteinWatkinsPrimeData(10)
>> sage: p.next()
>>
On 15 November 2014 18:57, William Stein wrote:
> I installed the huge stein-watkins-ecdb optional spkg,
>
> sage -i stein-watkins-ecdb
>
> but it is also broken when used:
>
> sage: p = SteinWatkinsPrimeData(10)
> sage: p.next()
> ...
> IOError: The Stein-Watkins data file
> /usr/local/
I installed the huge stein-watkins-ecdb optional spkg,
sage -i stein-watkins-ecdb
but it is also broken when used:
sage: p = SteinWatkinsPrimeData(10)
sage: p.next()
...
IOError: The Stein-Watkins data file
/usr/local/sage/sage-6.4/local/share/stein_watkins/p.10.bz2 must be
installed.
