Combinatorica`
Combinatorica`

OrbitRepresentatives

OrbitRepresentatives[pg,x]

群 pg の x に対するアクションにより導出された x の各軌道の代表を返す．

詳細とオプション

  • OrbitRepresentativesを使うためには，まず Combinatorica パッケージをロードしなくてはならない．それにはNeeds["Combinatorica`"]を実行する必要がある．
  • pg は最初の 個の自然数に対する置換の集合であり， は領域が最初の 個の自然数であるような関数の集合と仮定する． の各関数は タプルとして指定される．