自身と単一マグマ以外の準同形画像を持たないマグマは単純です。

関数 IsSimple( m ) はマグマ m が単純な場合 true を返し、それ以外の場合は false を返します。

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

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

with( Magma ):

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

IsSimple( m );

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

IsSimple( m );