Opened 7 years ago

Last modified 5 years ago

#13569 new defect

group multiplication seems to depend on order sometimes

Reported by: kcrisman Owned by: joyner
Priority: major Milestone: sage-6.4
Component: group theory Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

See this ask.sagemath.org question. This doesn't always happen, but usually happens pretty soon.

sage: G.random_element()*H.random_element()
(1,3,2)
sage: H.random_element()*G.random_element()
()
sage: H.random_element()*G.random_element()
(1,2,3)
sage: H.random_element()*G.random_element()
(1,2,3)
sage: H.random_element()*G.random_element()
(1,3,2)
sage: H.random_element()*G.random_element()
ERROR: An unexpected error occurred while tokenizing input

TypeError: unsupported operand parent(s) for '*': 'Alternating group of order 3!/2 as a permutation group' and 'Symmetric group of order 3! as a permutation group'

Change History (5)

comment:1 Changed 6 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:2 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:3 Changed 6 years ago by mmezzarobba

sage: G = SymmetricGroup(3)
sage: H = AlternatingGroup(3)
sage: for g in G:
    for h in H:
        try:
            print h, "*", g, "=", h*g
        except TypeError:
            print "???"
....:             
() * () = ()
(1,2,3) * () = (1,2,3)
(1,3,2) * () = (1,3,2)
() * (2,3) = ???
(1,2,3) * (2,3) = ???
(1,3,2) * (2,3) = ???
() * (1,2) = ???
(1,2,3) * (1,2) = ???
(1,3,2) * (1,2) = ???
() * (1,2,3) = (1,2,3)
(1,2,3) * (1,2,3) = (1,3,2)
(1,3,2) * (1,2,3) = ()
() * (1,3,2) = (1,3,2)
(1,2,3) * (1,3,2) = ()
(1,3,2) * (1,3,2) = (1,2,3)
() * (1,3) = ???
(1,2,3) * (1,3) = ???
(1,3,2) * (1,3) = ???

comment:4 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:5 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4
Note: See TracTickets for help on using tickets.