AreConcurrent コマンド

AreConcurrent( <直線>, <直線>, <直線> ): ３つの直線が一点で交わるかどうかを判定する．直線が平行である場合，それらは無限遠に共通点を持つとみなされ，このコマンドは真を返す．

通常，このコマンドは結果を数値で計算する．この動作は Proveコマンドで変更できる．

AreConcurrent(Line((1, 2), (3, 4)), Line((1, 2), (3, 5)), Line((1, 2), (3, 6))) 出力： true ，３つの直線は (1,2)で交わる．