2 つの要素によって生成されたマグマ m のそれぞれのサブマグマが結合的な場合、IsDiassociative コマンドによって true が返されます。それ以外の場合は false が返されます。

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

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

with( Magma ):

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

IsDiassociative( m );

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

IsDiassociative( m );