可以，但不尽然，cyc表示循环群，四个变量是四阶，默认情况是（1234）或者说(abcd换行bcda)，(ab)→(bc)→(cd)→(da)。（cyc求和的三元情况只有一种，sym3仅一个三阶循环子群，可sym4不止一个，生成元为(1234换行2413)也可，所以非默认情况大概要标生成元)