計算の進行に伴う一時的な結果に依存するアサーションを含む関数を定義する：
アサーションが無効になっているので，以下ではアサーションのテストは行われない：
Onでアサーションが有効になるとメッセージが出される：
アサーション付きの関数を含むパッケージをロードすると，パッケージ名と行番号が記憶される：
これで，一旦アサーションがトリガされるとパッケージ名とアサーションの場所を示す行番号がメッセージで示されるようになる：
アサーションが失敗する場合には
$AssertFunctionに割当てを行って動作を変更することができる．この関数はアサーションが失敗すると例外を投げる：
以下ではアサーション関数が投げた例外がキャッチされている：
とすると Mathematica セッションでのアサーションが有効になり，アサーションが失敗するたびにメッセージが表示されるようになる．
に適用する関数を与える．
例題
例 
