GroupOrbits

GroupOrbits[group,{p1,}]
group の元の作用による点 の軌道を返す.

GroupOrbits[group,{p1,},f]
関数 f によって与えられる群の作用による軌道を求める.

詳細詳細

  • group に元 g の1点の像が他の点であるような元 g があるとき,その2点は group のもとで同じ軌道に属している.
  • pgroup 内のすべての元で固定されているとき,それは軌道{p}を形成する.
  • GroupOrbits[group]group 作用の自然領域内のすべての軌道を与える.
  • 軌道はソートされたリストとして与えられる.
  • 指定された group の作用関数 f,点 p,置換 g についての評価 は,別の点 p'を返すと考えられる.
  • 置換群については,デフォルトの群作用はPermutationReplaceであるとみなされる.
2010年に導入
(8.0)