This package provides functions for visualizing logical combinations of inequalities over the reals in 2D and 3D. It also provides functionality for visualizing regions over the complexes.
Visualization of inequalities.
This loads the package.
This plots the region .
In this case there is a logical combination of inequalities to describe the region .
This plots the symmetric difference between the two regions and . Since the region is bounded, you will not need to give additional bounds in the range specification.
This plots the region . The full region is an infinite x shaped figure.
This is an array of various norm-related regions. The center diagonal corresponds to the unit balls in , , and respectively or the regions for and .
This plots the intersection of a double cone with a ball.
This plots the ellipsoid intersected by the halfspace .
This is a slightly more complex figure.
You can also specify regions in the complex plane using inequalities. All operations on complex numbers need eventually to involve real quantities before using inequalities to specify these regions. Typically this means that complex arithmetic expressions are eventually wrapped in real-valued functions such as Abs, Re, and Im.
Visualizing complex regions.
Here is the simplest complex region.
This is the region .
This constructs an animation of a set of regions given by a bilinear or Möbius transformation.