IsomorphicCopy( 'src', 'p' ) コマンドは、順列 p が src を同型にコピーした、同型写像になる方法で、順列 p を使用して元のマグマ src の同型コピーを生成します。同型コピーが返されます。

このコマンド操作は TransportStructure を呼び出すことで実行されます。

マグマ (または複数のマグマ) の同型コピーを多数作成したい場合は、代わりに TransportStructure コマンドを使用します。このコマンドではコマンドに渡す配列を再利用できます。

順列 p を指定しない場合は、ランダムに生成された順列が使用されます。

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

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

with( Magma ):

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

p := [ 2, 1, 3 ];

m2 := IsomorphicCopy( m, p );

AreIsomorphic( m, m2 );