On Wednesday, March 14, 2018 at 11:03:36 AM UTC, Andrew wrote: > > Is this me or is it a bug? > > sage: S3 = SymmetricGroup(3) > sage: A3 = S3.subgroup([(1,2,3)]) > ....: for x in S3: > ....: print('{:>7}: left coset = {}'.format(x, [x*h for h in A3])) > ....: print(' : right coset = {}'.format([h*x for h in A3])) > ....: > > (): left coset = [(), (1,2,3), (1,3,2)] > : right coset = [(), (1,2,3), (1,3,2)] > (1,2): left coset = [(1,2), (1,3), (2,3)] > --------------------------------------------------------------------------- > TypeError Traceback (most recent call last > ) > ... > TypeError: unsupported operand parent(s) for *: 'Subgroup of (Symmetric > group of order 3! as a permutation group) generated by [(1,2,3)]' and > 'Symmetric > group of order 3! as a permutation group' > > /Users/andrew/Downloads/sage/structure/coerce.pyx(1168)sage.structure. > coerce.CoercionModel_cache_maps.bin_op (build/cythonized/sage/structure/ > coerce.c:10861)() > > I threw this into a sage notebook with the view to showing my students the > virtues of normal subgroups... > > In case, the following (yes, a bit ugly) works:
sage: S3 = libgap.SymmetricGroup(3) sage: A3 = S3.Subgroup([libgap.eval("(1,2,3)")]) sage: for x in S3.Elements(): ....: print('{:>7}: left coset = {}'.format(x, [x*h for h in A3.Elements()] ....: )) ....: print(' : right coset = {}'.format([h*x for h in A3.Elements()]) ....: ) ....: (): left coset = [(), (1,2,3), (1,3,2)] : right coset = [(), (1,2,3), (1,3,2)] (2,3): left coset = [(2,3), (1,2), (1,3)] : right coset = [(2,3), (1,3), (1,2)] (1,2): left coset = [(1,2), (1,3), (2,3)] : right coset = [(1,2), (2,3), (1,3)] (1,2,3): left coset = [(1,2,3), (1,3,2), ()] : right coset = [(1,2,3), (1,3,2), ()] (1,3,2): left coset = [(1,3,2), (), (1,2,3)] : right coset = [(1,3,2), (), (1,2,3)] (1,3): left coset = [(1,3), (2,3), (1,2)] : right coset = [(1,3), (1,2), (2,3)] This is basically GAP called with Python syntax :-) > Andrew > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.