[EMAIL PROTECTED] wrote: > > Hi! > Hello Michael,
> I just want to mention, that the size of the compiled PolyBoRi > libraries is dependend on build settings. > On our 64-BIT compute server, it is less than 6 MB. > Can you elaborate when and how much of boost is needed for the build? I would also be curious about a tentative release date to the public. Last time at MEGA you mentioned a date around the end of this year. Can you give us another gues? > To the arithmetic: we can solve the famous pigeon hole problem series > in a time comparable to minisat (sat-solver) > just by multiplying polynomials (the intermediate results are in the > size of 2^32 terms, depending on the example). > Impressive. > Michael > Cheers, Michael > > > > > --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
