In the code below g1 and g2 are the same group, where g2 is produced as a
subgroup of g1, and c is the principal character of g1. Still, when it
comes to scalar products, somehow g1 is not considered as a subgroup of
itself:
sage: g1 = SymmetricGroup(2)
....: g2 = g1.conjugacy_classes_subgroups()[-1]
....: c = g1.trivial_character()
....:
....: def test(h):
....: try:
....: x = c.restrict(h)
....: y = h.trivial_character()
....: print('x == y?:', x == y)
....: return x.scalar_product(y)
....: except:
....: return 'GAPError'
....: g1 == g2
....: [test(g2), test(g1)]
....:
True
x == y?: True
x == y?: True
[1, 'GAPError']
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/8beea2d1-3a62-4c7e-83d1-286244e1dca1o%40googlegroups.com.
