I probably assumed too much. But it felt wrong to say
“there is a problem building ntl but ntl upstream is happy
to talk to you about your needs” (and doing that anonymously
feels like a prank call).
I prefer the mailing list option and I am actually subscribed.
Still have to get to it.

Advertising

François
> On 18/10/2016, at 22:27, 'Bill Hart' via sage-devel
> <sage-devel@googlegroups.com> wrote:
>
> Are you sure you need an account on the trac to report it? The http version
> at least seems to accept essentially anonymous input.
>
> Alternatively, I guess JP's suggestion should work fine. It might be even
> better if some discussion is needed about what interface NTL should provide.
>
> Bill.
>
> On Tuesday, 18 October 2016 08:52:23 UTC+2, François wrote:
>
> > On 18/10/2016, at 19:42, Jean-Pierre Flori <jpf...@gmail.com> wrote:
> >
> >
> >
> > On Tuesday, October 18, 2016 at 6:37:49 AM UTC+2, Victor Shoup wrote:
> > Good! But it should be determined if there is an interface that ntl could
> > provide so that this problem goes away
> >
> > I think that what you suggested: extracting gmp bignums from NTL's ZZ (and
> > the other way around) would be great.
>
> Who is doing the reporting to singular upstream? Preferably someone
> who already has an account on singular’s trac.
>
> François
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.