On 15 November 2014 19:08, John Cremona <john.crem...@gmail.com> wrote:
> On 15 November 2014 18:57, William Stein <wst...@gmail.com> 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/sage/sage-6.4/local/share/stein_watkins/p.10.bz2 must be
>> installed.
>>
>> The problem seems to be that it installs to stein-watkins-ecdb not to
>> stein_watkins.
>>
>> Obviously, I'll make a workaround by creating a symlink, but whoever
>> broke this could maybe fix it?
>>
>
> That could well have been me, though I'm sure I would have done some
> testing. Sorry if it was me, I will fix it.
Very odd: the spkg-install script definitely does install into
"${SAGE_SHARE}/stein_watkins"
Maybe there is a mixup of versions of the spkgs here, or the "sage -i"
is picking up an older version incompatible with the current source
code. Does your upstream file look like this?
-rw------- 1 jec jec 2784899708 Jan 7 2014
database_stein_watkins-20070827.tar.bz2
>
> John
>
>
>> William
>>
>> --
>> William Stein
>> Professor of Mathematics
>> University of Washington
>> http://wstein.org
>>
>> --
>> 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 sage-devel+unsubscr...@googlegroups.com.
>> To post to this group, send email to sage-devel@googlegroups.com.
>> Visit this group at http://groups.google.com/group/sage-devel.
>> For more options, visit https://groups.google.com/d/optout.
--
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 sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
