On Mon, 23 Feb 2015, Dima Pasechnik wrote:
Is there easy way to get "variables group" of a polynomial, or a list of
interchangeable variables? I.e. from
a*b+c*d
either
[[a,b],[c,d]]
or a group isomorphic to D_4.
The corresponding GAP command for your 2nd example would be
gap> h:=Stabilizer(SymmetricGroup(4), [[1,2],[3,4]],OnSetsSets);
Group([ (1,2), (1,3)(2,4) ])
gap> Size(h);
8
You'd need to convert your polynomial into such a stricture, but this is
easy.
Eh, could you tell how to this easy conversion?
--
Jori Mäntysalo
