指定したマグマが左交代則 X(XY) = (XX)Y を満たしている場合、IsLeftAlternative コマンドによって true が返されます。それ以外の場合、false が返されます。

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

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

with( Magma ):

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

IsLeftAlternative( m );

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

IsLeftAlternative( m );