クロス集合はカンドル Q です (Q のすべての x および y に対し、y * x = y の時かつその時に限り x * y = x)。

指定されたマグマがクロス集合の場合 IsCrossedSet コマンドによって true が返されます。それ以外の場合は false が返されます。

マグマ m がカンドルであることを仮定していないため、最初にそのチェックが適用されます。

Magma[IsCrossedSet] コマンドは Maple 16 で導入されました。

Maple 16 における変更点についての詳細は、Maple 16 の新機能 を参照してください。

with( Magma ):

m := << 1, 3, 2 ; 3, 2, 1 ; 2, 1, 3 >>;

IsCrossedSet( m );

m := << 1, 1, 1 ; 3, 2, 2 ; 2, 3, 3 >>;

IsCrossedSet( m );