---------- Forwarded message ---------- From: <[EMAIL PROTECTED]> Date: Dec 8, 2007 6:52 PM Subject: Parallelism in Sage To: Willaim Stein <[EMAIL PROTECTED]>, Gilbert Baumslag <[EMAIL PROTECTED]> Cc: [EMAIL PROTECTED]
William, I'm listening to your talk at: <http://www.digitalwell.washington.edu/rcuwtvdownload/uw_cse07_sage_ipoda.mp3> You make the comment about needing (any and all) parallelism in Sage. Gilbert Baumslag is a distinguished professor at City College in New York and is the person behind the CAISS project. See <http://www.grouptheory.org> Gilbert has designed and built a program called Magnus, a specialized software package in Infinite Group Theory. I'm one of the developers at <http://sourceforge.net/projects/magnus>. Infinite Group Theory has the property that there are very few algorithms (which are guaranteed to terminate). Most of the known attacks on the groups are procedures (which may not terminate). Gilbert has invented a way to think about running these procedures in parallel which is a useful paradigm called a "zero-learning curve interface". Consider your browser as a lab desktop. Consider the problem you are trying to solve as a "rock" (an infinite group given by a finite presentation). Consider each of the procedures you might want to try as a "reagent" that you can apply to the "rock" which will give you some property. When computing a property that has multiple procedures available you can choose to run any or all of the procedures, give percentage of CPU to devote to each, and "poison" parallel procedures if and when an answer is found. The zero learning curve interface is an attempt to make it easy for anyone to attack infinite group theory problems with minimal training. I believe it would be worth your time to at least look at this paradigm as it exists in Magnus. I think it would help shape your thoughts on doing some kinds of parallel work in Sage. Tim Daly -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~---------~--~----~------------~-------~--~----~ 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/ -~----------~----~----~----~------~----~------~--~---
