face-lattice

面阵 基于Loechner＆Wilde，1997年描述的算法的简单python脚本，用于枚举k面集： ：//link.springer.com/article/10.1023/A：1025117523902 用途 islpy- //pypi.org/project/islpy/ Polylib- 设定步骤 从上面的链接安装PolyLib库 编译polylib / test.c文件以生成constraints2rays二进制文件（只需使用polylib / Makefile） 将polylib / constraints2rays和polylib / constraints2rays_wrapper.sh放在您的环境PATH中 安装islpy python软件包（使用requirements.txt可选地创建虚拟环境） 例子 如果一切设置正确，那么您应该可以在python会话中执行