home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / symbolic / 2322 < prev    next >
Encoding:
Internet Message Format  |  1992-09-04  |  1.1 KB
  1. Path: sparky!uunet!ogicse!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!andrew.cmu.edu!ma1q+
  2. From: ma1q+@andrew.cmu.edu (Michael Albert)
  3. Newsgroups: sci.math.symbolic
  4. Subject: Re: Todd-Coxeter algorithm
  5. Message-ID: <YedqMtq00iUxQ1xF5h@andrew.cmu.edu>
  6. Date: 4 Sep 92 05:35:53 GMT
  7. Article-I.D.: andrew.YedqMtq00iUxQ1xF5h
  8. Organization: Mathematics, Carnegie Mellon, Pittsburgh, PA
  9. Lines: 23
  10. In-Reply-To: <ARA.92Sep3135511@camelot.ai.mit.edu>
  11.  
  12. Thanks to all who replied to my query about public domain software 
  13. incorporating the Todd-Coxeter algorithm. The universal recommendation
  14. was a system called
  15.  
  16. GAP (groups, algorithms, and programming)
  17.  
  18. which is available from a number of sites:
  19.  
  20. dimacs.rutgers.edu
  21. math.ucla.edu
  22. samson.math.rwth-aachen.de
  23.  
  24. From the last three days of experimentation with the system I am very
  25. impressed. It includes comprehensive (overwhelming?) documentation,
  26. including many examples and easily handled the problems which were 
  27. choking up Maple.
  28.  
  29. Once again, thanks to all who took the time to reply.
  30.  
  31. Michael Albert
  32.  
  33. PS: I must confess to having heard about GAP before, I don't know
  34. how it slipped my mind.
  35.