Hi! 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.
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). 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/ -~----------~----~----~----~------~----~------~--~---
