On Tuesday, October 18, 2016 at 8:52:23 AM UTC+2, François wrote:
> > On 18/10/2016, at 19:42, Jean-Pierre Flori <jpf...@gmail.com 
> <javascript:>> 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

Usually I just post on the google group libsingular-devel and Hans read it 
and fixes the issue.
The singular trac server uses a high port and I can not reach it from some 
of my computers. 

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.

Reply via email to