On Apr 30, 7:43 pm, "David Joyner" <[EMAIL PROTECTED]> wrote: > On Wed, Apr 30, 2008 at 2:35 PM, root <[EMAIL PROTECTED]> wrote:
Hi, > > (disclaimer: I'm the person who set up the Magnus sourceforge site > > and I worked for Gilbert Baumslag at City College) Once I saw Magnus mentioned I figured Tim would be the person to clue us in. > > I know that there is an existing Python wrapper around Magnus. Yes, and last time I looked at Magnus I also got the impression that from a technical standpoint everything should work well with Sage. One thing I saw that nobody seems to work actively on it at the moment. Another thing I noticed was that some of the hooks into other CAS systems seemed incomplete/unfinished. It would be interesting to see how much functionality is in the "core" library and how much more Magnus can do when combined with other systems. Compile time wasn't short, but no one from the Sage world [at least not me] has made any attempt to get this down by building only the essential bits. > Can you email the tarball or give me the url where it is posted? > Also, can you define "around Magnus" more precisely? One one > end of the spectrum, the full functionality of Magnus can be accessed > via Python commands. On the other end, there exists one function which > can be accessed from a Python command. > > > > > I know that Magnus has a large number of C++ routines for group > > theory that exist nowhere else. > > > I know that Magnus can be used without the frontend (we used it > > as a password mechanism for logging into linux using groups theory). > > I'm wonderirng how much of the backend is accessible. Gilbert gave me the > impression that it would be very difficult to integrate Magnus into SAGE. > (We discussed this issue specifically in person about a month ago.) Of > course, my impression could be mistaken. > Well, it would be nice if upstream had an interest to cooperate with Sage. Otherwise I would see little benefit from working on Magnus. > > I know that Magnus is designed to run procedures in parallel. > > (not algorithms since they may not terminate; in general, > > there are very few algorithms for this kind of work) > > Using the procedures in parallel enable you to try various > > approaches until one succeeds and then poison the others. > > > I know that Magnus is GPL. > > > I know that there are a large number of people who have collaborated > > with Gilbert Baumslag over the years. Gilbert is definitely in the > > superstar category (distinguished prof, 7 books, 150 papers, etc). > > Agreed. So is Myasnikov, IMHO. Yeah, as other people already mentioned: Tarski! I have heard Myasnikov speak a bunch of times in Dortmund a couple time and I cannot but be very impressed. > > > Tim Daly 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://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
