On Thursday, November 19, 2015 at 9:30:06 AM UTC-5, John Cremona wrote:
> It is 16-6. This is not a joke. I once found a long description of
> how these things work (sorry I forgot where it was) and it is not
> quite as simple as the naive guess would suggest! i.e. the 3 parts to
> the so nu
On Thursday, 19 November 2015 14:30:06 UTC, John Cremona wrote:
>
> On 19 November 2015 at 09:05, 'Bill Hart' via sage-devel
> > wrote:
> > Hmm, actually, I have
> >
> > LIBGMP_LT_CURRENT = 16
> > LIBGMP_LT_REVISION = 1
> > LIBGMP_LT_AGE = 6
> >
> > I don't see where the 10 is coming from
On 19 November 2015 at 09:05, 'Bill Hart' via sage-devel
wrote:
> Hmm, actually, I have
>
> LIBGMP_LT_CURRENT = 16
> LIBGMP_LT_REVISION = 1
> LIBGMP_LT_AGE = 6
>
> I don't see where the 10 is coming from.
It is 16-6. This is not a joke. I once found a long description of
how these things work (
