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.
