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.
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.
