GAP包AClib

几乎结晶群-库和算法

这个AClib（AClib）该软件包包含一个几乎晶体学群的库和一些用这些群进行计算的算法。如果一个群是有限生成的幂零-有限子群并且没有非平凡的有限正规子群，则称之为几乎晶体学群。此外，如果一个几乎是晶体学的基团是无扭转的，则称其为几乎是Bieberbach。Hirsch长度为3的几乎晶体学基团和Hirsch宽度为4的几乎晶体学基团的一部分已被Dekimpe分类。这一分类包括赫希长度为3或4的几乎所有比伯巴赫群。AClib包允许访问此分类；也就是说，包以计算上有用的形式包含这个组库。这个库中的组有两种不同的表示形式。首先，Hirsch长度3或4的每一组分别具有维数4或5的有理矩阵表示，这些表示在这个包中可用。其次，这个库中的所有组都是（无限的）多环组，并且这个包还包含了它们的多环表示。多环表示可用于使用多环包的方法计算给定组。

[WWW主页]      [源代码存储库]      [问题跟踪程序]

作者

卡雷尔·德基姆佩，贝蒂娜·艾克

维护人员

贝蒂娜·艾克

带有GAP 4.13.0的版本

1.3.2（发布日期：2020年1月28日）

许可证

艺术-2.0

状态

已接受（Gerhard Hiss（亚琛）传达，2001年2月1日接受）

依赖关系

GAP版本：>=4.7
需要其他软件包：多环的(>=1.0)
建议的其他套餐：水晶猫(>=1.1)

文档

AClib（AClib）[HTML格式]     [PDF格式]

下载

aclib-1.3.2号机组  [.塔尔.gz]