> use
> S4(S4.subgroups()[19][1]) * S4[1]
>
Thank you. That makes perfect sense.
This does not bother me anymore since I found that pre-casting all
subgroup-elements to S4 accelerates my work a lot.
(i.e. S4subgroups=[ [S4(h) for h in H] for H in S4.subgroups()] )
But it is still
I'm not sure if Sage can always tell, if you multiply an element of a
subgroup by an element of the larger group, that the result should make
sense and lie in the larger group. You should be able to fix this by
forcing Sage to consider the subgroup element as lying in the larger group:
rather
The following code
sage: S4=SymmetricGroup(*4*)
sage: S4.subgroups()[*19*][*1*]*S4[*1*]
raises an error
TypeError: unsupported operand parent(s) for *: 'Subgroup of (Symmetric
group of order 4! as a permutation group) generated by [(1,3)(2,4),
(1,4,3,2)]' and 'Symmetric group of order 4! as
Great news, Nicolas!
In trying this, I would only point out that the "Activate" button was not
at all obvious, and that it's not obvious when a cell has, in fact, been
evaluated. That was a nice feature it would be worth emulating.
--
You received this message because you are subscribed to
