pga axioms:用于折纸的Huzita Hatori公理使用2D射影几何代数实现 源码

PGA公理 :world_map_selector: 使用射影几何代数(PGA)探索Huzita-Hatori公理的折纸程序。 描述 Huzita-Hatori公理 Huzita-Hatori公理是一组7条规则,描述了人们可以折叠一张纸的方式。 每个折叠都可以用7个公理之一来描述。 公理本身在以下中进行了详细描述。 举例来说,公理1指出:“给定两个点p0和p1 ,有一个唯一的折痕穿过这两个点。” 在这种情况下,所需的折痕是穿过两个点的直线。 该软件尝试将每个公理转换为“交互式草图”,使点和线可以在画布(“纸”)上自由移动。 射影几何代数 介绍 该项目的主要目的是探索一个新兴的数学领域,即射