まず，パッケージをロードする：

Triangleの式のインスタンスを作成する：

使用する点と線分を設定する：

Triangleのインスタンス内の点とファセットを設定する：

実体範囲内の点だけでなく，領域属性，および領域の制約条件を指定する変数を設定する：

実体の変数は，Triangleのインスタンス内で設定される：

三角形分割を行い，新しいTriangleのインスタンスを返す：

三角形分割から点と要素を抽出する：

以下のサポート関数を使って，三角形を可視化することができる：

それぞれの要素が実体の属性を持つようになる：