x*y = x または x*y = y のとき、M に含まれるすべての x と y に対して、マグマ M は準自明です。

指定したマグマが­準自明の場合、IsQuasitrivial コマンドによって true が返されます。それ以外の場合は false が返されます。

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

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

with( Magma ):

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

IsQuasitrivial( m );

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

IsQuasitrivial( m );