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

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

使用する点とファセットを設定する：

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

もう一度線分を抽出する：