RightCosetRepresentative

RightCosetRepresentative[group,g]
group の元の積の右剰余類の最小元を g で表す.

詳細とオプション詳細とオプション

  • 代表元はLessで与えられる順番で決まるように剰余類の最小元として選ばれる.
2010年に導入
(8.0)