I have written a few people (including Gilbert) about the possibility of interfacing with MAGNUS. The problem appears to be that MAGNUS is a gui interface and a command-line back-end, but the gui is not as modular as one would like. I hope I'm wrong and would be very happy to be corrected, but it appears that more work is needed to get a nice command-line version of MAGNUS. Once that is finished, it would be straight-forward to interface with SAGE.
On Dec 9, 2007 2:49 AM, William Stein <[EMAIL PROTECTED]> wrote: > > ---------- 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/ -~----------~----~----~----~------~----~------~--~---
