Graphics`InequalityGraphics`

このパッケージは，2Dと3Dの実数における不等式の論理結合を可視化する関数を提供する．また，複素数領域の可視化機能も提供する．

不等式の可視化

パッケージをロードする．

In[1]:= <<Graphics`InequalityGraphics`

領域をプロットする．

In[2]:=

この場合は，領域を表す不等式の論理結合が存在する．

In[3]:=

以下は2つの領域との対称差をプロットする．領域には限界があるので範囲指定で追加的な限界を与える必要はない．

In[4]:=

次は領域のプロットを与える．領域全体で無限大xの形になる．

In[5]:=

次はさまざまなノルムに関連した領域の配列である．中央の対角線はそれぞれ，，，に対応する．あるいはの場合は領域に対応する．

In[6]:=

Out[6]=

次は2つの円錐と1つの球の共通部分のプロットである．

In[7]:=

次は楕円体が半空間によって2分されたものをプロットしている．

In[8]:=

次はもう少し複雑な図形である．

In[9]:=

Out[9]=

不等式を用いて複素平面上の領域を指定することもできる．不等式を用いて領域を指定する前に，実質数量を含むことがすべての複素数の操作において最終的には必要になる．この典型的な例として，複素数の算術式は最終的にはAbs，Re，Imのような実数値の関数でラップされることが挙げられる．

複素領域の可視化

次は最も単純な複素領域である．

In[10]:=

次は領域である．

In[11]:=

双1次変換すなわちメービウス変換で与えられる領域セットのアニメーションを作成する．

In[12]:=