FunctionDomainは定義域を表す新たなパラメータを導入することがある：

GeneratedParametersを使ってパラメータの生成方法を制御する：

デフォルトで，一変数実関数の定義域は約した形で与えられる：

他の関数の領域は約されていない：

Methodを使って，定義域を約した形で与えるべきかどうかを指定する：

デフォルトで，FunctionDomainは厳密計算を使う：

以下は，桁精度の計算を使う：

の実領域を計算する：

関数の虚部は実領域では0である：

の実領域を計算する：

この領域の補集合は，を中心とする半径3の開円板である：

実領域の外では，関数は複素関数あるいは特異関数かもしれず，定義されないかもしれない：

実領域の外では，この関数は複素数値である：

負の整数は の領域内にはない：

この関数は，負の整数で極の特異点を持つ：

は実領域の外では定義されない：

の複素領域を計算する：

は領域に属さない点で極の特異点を持つ：

の複素領域を計算する：

は0に真性特異点を持つ：

の複素領域を計算する：

は領域外では定義されない：

実数場でを解く：

解は の実領域に属さなければならない：

のプロットは解が1つであることを示している：

Solveは領域情報を自動的に使って解を求める：

の最小値を求める：

最小値は の実領域に属さなければならない：

の根を実領域の内側で求める：

の値が最小になる根を選ぶ：

における の値が領域の端点における の値よりも小さいことを確認する：

結果を可視化する：

Minimizeは領域情報を自動的に使って最小値を求める：

実領域からの点に対する関数の極限が存在するなら，それは実数または実無限でなければならない：

Limitを使って，実方向に沿ったにおける の極限が実無限であることを確認する：

実領域の部分集合上の積分が存在するなら，それは実数または実無限でなければならない：

Integrateを使って の積分を計算する：

この積分が実際に実数であることを確認する：

実領域上の点における関数の導関数が存在するなら，それは実数値である：

導関数を計算する：

導関数は，実際に， の領域場で実数値である：

の実解析性を調べる：

関数が実解析的であるためには，その関数は定義されていて実数値でなければならない：

はその実領域上で実解析的である：

の複素解析性を調べる：

関数が複素解析的であるためには，その関数は定義されていなければならない：

はその領域上で複素解析的である：