Hi [sage-devel], Burcin & PolyBori authors, thanks to Burcin Erocal -- a PhD student from Linz, Austria -- first steps are made to integrate the PolyBori framework into SAGE. PolyBori is a framework for computing in the Boolean Ring
F_2[x_1,....,x_n]/<x_1^2 + x_1, ...., x_n^2 + x_n> using BDDs. More details can be found in http://www.ricam.oeaw.ac.at/mega2007/electronic/26.pdf . Basically, it rocks! PolyBori depends on Scons http://www.scons.org/ as build system and Boost http://www.boost.org/ to link C++ and Python. Both are not required by or shipped with SAGE. My question: What should we do about it? Ship it? Patch PolyBori? Oh, in case you wonder: not integrating PolyBori is not an option for me :-) Any ideas? Thoughts? Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _www: http://www.informatik.uni-bremen.de/~malb _jab: [EMAIL PROTECTED] --~--~---------~--~----~------------~-------~--~----~ 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/ -~----------~----~----~----~------~----~------~--~---
