パラメータに対して行列を要求する多くの LinearAlgebra ルーチンがあります。データ型の強制を導入する前に、これらのルーチンは Arrays または lists の場合はエラーを発生します。データ型の強制では、これらのルーチンはより多くの入力を受け取ることができます。

Maple のライブラリのその他の多くのルーチンは、強制の使用のために更新されています。新機能の利用のためにプログラミングの知識は必要ありません。同じコマンドを使用するだけでより多くのデータ型で作業することができます。  

上記の例で チルダ (~) を M::~Matrix パラメータに追加すると、Maple は Matrix と同じものを受け取ります。ベクトル形式で渡すことができます。その裏側では -要素の列ベクトルは x1 行列に変換されますこの場合、実行中の変換やデータのコピーはなく、エイリアスまたは同一データへの異なるビューが適用されます。「強制」はデータ構造が適切な形式に変換されることです。

この例では、渡される 2x2 配列の下限が 2 および 6 です。プロシージャ 'p' の呼び出し中にエイリアスが作成され、Bには新規のデータビューがあります。プロシージャの内部で B は通常の 1 ベースの配列として使用されます。

1 ベースでない配列を使用する場合も考えられます。たとえば、C のような別の言語で作成されたコードを変換する場合は、0 ベースの配列を使用するとより簡単です。つぎの例では、M[0,0] はプロシージャ内部の最初の配列で、プロシージャの外では呼び出し側が Maple の配列および行列のデフォルトを使用しています。強制はデータをコピーせずに最も効率的な方法で行われます。 

以下の例では、モジュール内でのプライベート強制ルーチンの宣言方法を説明します。"ModuleApply" を使用すると、モジュールはプロシージャと同様に動作しますが、モジュールの場合は他のメソッドとデータが関連しています。赤色で強調表示されたメソッドは、浮動小数を有理数に変換する方法を宣言しています。青色で強調表示されたメソッドはパラメータ r を使用し、強制型 ~rational として宣言しています、このプロシージャが浮動小数引数で呼び出されると、プロシージャのボディは有理数に強制された部分のみを表示します。

例:

名前または文字列をプロシージャの最初の引数として使用するための簡単な方法ですが、文字列形式を扱う必要があります。

このプロシージャは単一引数を受け取り変更せずに返します。このプロシージャが s を string として呼び出される場合は、最初の強制 (緑色) と一致します。これは文字列と一致する型です。リターン値は文字列です。引数は変更されずに渡されます。

同じプロシージャで s が name である場合は、2 番目の強制 s->convert(s,string) が適用されます。これはインラインコードとして実行され、渡された引数を文字列に変換します。リターン値は文字列です。パラメータはプロシージャのボディのすべてのコードの実行前に変更されています。

渡される引数の種類 (整数など) によっては、強制のプロシージャが一致しないことがあります。's' は予想されるパラメータなので、予想したデータ型と一致せずエラーが発生します。

詳細は、以下のヘルプトピックを参照してください。