home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / math / symbolic / 2999 < prev    next >
Encoding:
Text File  |  1992-11-17  |  2.0 KB  |  49 lines
  1. Newsgroups: sci.math.symbolic
  2. Path: sparky!uunet!charon.amdahl.com!pacbell.com!sgiblab!spool.mu.edu!yale.edu!ira.uka.de!chx400!news.unige.ch!ugsc2a!gaehler
  3. From: gaehler@sc2a.unige.ch
  4. Subject: Bug in MAPLE group theory package
  5. Message-ID: <1992Nov17.172150.1@sc2a.unige.ch>
  6. Lines: 38
  7. Sender: usenet@news.unige.ch
  8. Organization: University of Geneva, Switzerland
  9. Date: Tue, 17 Nov 1992 15:21:50 GMT
  10.  
  11. I have found a bug in the group theory package of MAPLE. I first define
  12. a group by a set of generators and relations - it's the icosahedral group
  13. of order 60 (just rotations). I then calculate the order of a subgroup
  14. generated by a word in the generators, with a strange result:
  15.  
  16.     |\^/|      MAPLE V
  17. ._|\|   |/|_.  Copyright (c) 1981-1990 by the University of Waterloo.
  18.  \  MAPLE  /   All rights reserved.  MAPLE is a registered trademark of
  19.  <____ ____>   Waterloo Maple Software.
  20.       |        Type ? for help.
  21. > with(group):
  22. > gr := grelgroup({a, b}, {[a, a, a, a, a], [b, b, b], [a, b, a, b]});
  23.  
  24.       gr := grelgroup({a, b}, {[a, a, a, a, a], [b, b, b], [a, b, a, b]})
  25.  
  26. > grouporder(pres(subgrel({x=[a, a]}, gr)));
  27.  
  28.                                        15 
  29.  
  30. And I thought the icosahedral group would have only elements of order
  31. 1, 2, 3 and 5! From the relations it clearly follows that a generates
  32. a cyclic subgroup of order 5. The element x=[a,a] should therefore
  33. generate the same subgroup. MAPLE, however, believes that x generates
  34. a cyclic subgroup of order 15:
  35.  
  36. > pres(subgrel({x=[a, a]}, gr));
  37.  
  38.         grelgroup({x}, {[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]})
  39.  
  40. MAPLE finds, by the way, also elements or order 6 :-)
  41. As I have only very little experience with MAPLE, it is not excluded 
  42. that I misunderstood something. Has anyone else made bad experience
  43. with the MAPLE group theory package?
  44.  
  45.                                           Franz Gaehler
  46.                                           Theoretical Physics
  47.                                           University of Geneva
  48.                                           gaehler@sc2a.unige.ch
  49.