我只是在Visual Studio C++中花了几个小时来尝试理解网格是如何工作的。我想要的是访问顶点和三角形的列表( double3形式的顶点,int3形式的三角形)。下面是我正在编写的脚本:
C2t3.顶点(从0到N),以及c2t3.三角形(从0到M),其值为三个整数。我得到的是顶点列表,面列表,单元格列表,边列表...除了在未排序的顶点列表中查
.), Sum(..)) -- exists n. length elements= [True, False]
-- The type "Either a b" is finite when both "a" and "b" are finite.instance (Finite a, Finite b) => <
Coq的Finite_sets库具有归纳类型,指定某些集合是有限的:| Empty_is_finite : Finite(Empty_set U) forall A:Ensemble U,
Finite A -> forall x:U, ~ In U A x -> Finite我试图证明有限集合中的成员是可决定的,如下