计算有向拟阵：在一个自然框架内的矩阵等价类

让我们来考虑一个示例。拿一条具有1，2两个端点的线段和一个具有顶点3，4．5的三角形。这条线段是否与这个三角形相交？这个问题在计算机图形学、自动机工程学和许多几何问题中是基本的和决定性的问题。为了回答这个问题，许多人计算由这条线段给出的直线和由这个三角形给出的平面之间的交点，然后决定这个交点是否位于这个三角形和这条线段之内。在实际应用中具有许多这种类型的判定，这是很典型的。根据有向拟阵理论，我们了解到答案只是取决于5个符号，即由4个点的有序子集合构成的四面体的方向。