文件名称:permutalib:排列组库
文件大小:196KB
文件格式:ZIP
更新时间:2024-04-18 09:32:46
GAP
排列组库 该代码包含改编自GAP的置换组代码。 目标是拥有置换组和分区回溯。 基本原理 GAP中的代码是使用置换组进行计算的一个很好的基础,并且作者对其速度和功能非常满意(只有一种情况与Leech格的最短向量有关,从而产生了问题)。 但是,GAP本身存在一些问题: 虽然排列代码非常好,但是GAP本身很慢 我们希望将置换组的代码作为库进行访问。 我们想要使用组的并行代码。 C ++的好处(速度,模板)对于这种代码非常有吸引力。 permlib代码( )提供了解决此问题的方法。 这是算法的重新实现,并且通常非常令人满意。 但是,在某些情况下,与GAP代码相比非常慢。 这使其在许多情况下无法使用。 因此,其思想是简单地将GAP代码重新编码为C ++,以实现此目的。 真正的想法是不要试图变得太聪明并相应地修改代码。 我们使用gap-4.7.8作为参考gap源代码实现。 该库是单线程
【文件预览】:
permutalib-master
----gap_4.7.8_modif()
--------stbc.gi(71KB)
--------partitio.gi(16KB)
--------stbcrand.gi(64KB)
--------stbcbckt.gi(125KB)
--------grp.gi(148KB)
----.gitmodules(116B)
----README.md(3KB)
----COPYING.LGPL(26KB)
----script()
--------Process_CPP_GAP_log(7KB)
----systematic_test()
--------TestManyPermGroups.g(9KB)
----src_gap()
--------Group.h(2KB)
--------exception.h(145B)
--------stbcbckt.h(60KB)
--------StabChain.h(52KB)
--------GapRepresentativeActionOnSet.cpp(2KB)
--------Makefile(2KB)
--------nsi.h(24KB)
--------TestRepresentativeActionOnSet.cpp(2KB)
--------stbcrand.h(30KB)
--------pseudorandom.h(2KB)
--------GapEquivalenceOnSet.cpp(2KB)
--------GapCanonicalImage.cpp(2KB)
--------Face_basic.h(1KB)
--------partition.h(15KB)
--------GraphicFunctionality.h(5KB)
--------Combinatorics.h(645B)
--------plus_infinity.h(3KB)
--------Makefile_spec(1KB)
--------BlockSystem.h(6KB)
--------list.h(2KB)
--------GapStabilizerOnSet.cpp(2KB)
--------TestStabilizerOnSet.cpp(2KB)
--------PermGroup.h(5KB)
--------Permutation.h(8KB)
--------GapPrint.h(4KB)
--------TestSymmetricGroup.cpp(1KB)
--------COMB_Vectors.h(3KB)
--------StabChainMain.h(4KB)
----COPYING.GPL(18KB)
----gap_4.11.0_modif()
--------nsi.g(37KB)
----test()
--------GapCanonicalImage(28B)
--------GenerateCanonicExample.g(3KB)
--------TestSym5.g(194B)
--------TestSymmetricGroup.g(143B)
--------GenerateEquivExample.g(2KB)
--------TestStabilizerOnSet(30B)
--------GenerateStabExample.g(3KB)