PGA公理 :world_map_selector: 使用射影几何代数（PGA）探索Huzita-Hatori公理的折纸程序。 描述 Huzita-Hatori公理 Huzita-Hatori公理是一组7条规则，描述了人们可以折叠一张纸的方式。 每个折叠都可以用7个公理之一来描述。 公理本身在以下中进行了详细描述。 举例来说，公理1指出：“给定两个点p0和p1 ，有一个唯一的折痕穿过这两个点。” 在这种情况下，所需的折痕是穿过两个点的直线。 该软件尝试将每个公理转换为“交互式草图”，使点和线