港口

PORTA版本。1.3.2：来源、示例、手册（tar-file）

PORT版本。1.4.1
（win32二进制文件和Linux SuSE 8.1 rpm软件包可用）

PORTA是一个分析多胞体和多面体。多面体要么作为集合的凸壳给出点加上（可能）一组向量的凸锥，或作为线性方程组和不等式组。

PORTA是POlyhedron Representation的缩写变换算法并指向基本函数“traf”。这个函数执行两个函数之一的转换表示到另一个表示。为此，“traf”使用投影线性的Fourier-Motzkin消除算法子空间上的系统xi=0。给定系统的投影线性不等式可以通过使用函数单独实现“fmel”。

有时，了解包含在由线性方程组和不平等。对于这个，有函数“vint”，它枚举给定边界内的所有有效积分点。作为一个特别的此上下文中的函数“fctp”检查凸壳+多面体的线性不等式组凸锥。函数“fctp”使用函数“dim”，该函数计算凸壳加上凸锥。最后，“portsort”有助于生成数据文件可读。portsort对给定系统进行排序和格式化。

所有函数都从文件中读取和写入数据。此类文件用户可以使用默认的文本编辑器进行操作。港口保证正确的数值结果，因为只有整数运算执行。如果系统发生算术溢出整数运算，然后可以用double重新开始计算精度整数运算。

这个程序是自由软件；您可以重新发布和/或修改它根据由自由软件基金会；许可证的版本2，或（由您选择）任何更高版本。分发此程序是为了希望它会有用，但无任何保证；甚至没有适销性或特定用途的适用性。请参阅GNU公众许可证了解更多详细信息。

托马斯·克里斯托夫
T.Christof@deutschepost.de（T.Christof@deutschepost.de）

塞巴斯蒂安·申克
Konrad-Zuse-Zentrum fuer公司
信息技术（ZIB）
塔库斯特。7
D-14195柏林达勒姆
schenker@zib.de

PORTA版本。1.3.2：来源、示例、手册（tar-file）

PORT版本。1.4.1（win32二进制文件和Linux SuSE 8.1 rpm软件包可用）

PORT版本。1.4.1
（win32二进制文件和Linux SuSE 8.1 rpm软件包可用）