diff --git a/dev-gap/tomlib/Manifest b/dev-gap/tomlib/Manifest new file mode 100644 index 0000000000000..9df01fcf6f35f --- /dev/null +++ b/dev-gap/tomlib/Manifest @@ -0,0 +1 @@ +DIST tomlib-1.2.9.tar.gz 53258295 BLAKE2B 67c569c0ac041ebbe2c0a1d47ada85685e01e5acfed7739d22e57f773c7c56d850bc7474c589ec9b50e78c6c2f94777252a0791c2fad0157998375863116b37d SHA512 01c1d451600c6d598a5400f9c7cb3cfce056907842a95ccbef09a149d10762068fd03931b5b0ed677ee2fdc52e4be9ac4e81bf17f2b3c104cb50c4987df30cbc diff --git a/dev-gap/tomlib/metadata.xml b/dev-gap/tomlib/metadata.xml new file mode 100644 index 0000000000000..9ed3999e9ec1d --- /dev/null +++ b/dev-gap/tomlib/metadata.xml @@ -0,0 +1,43 @@ + + + + + mjo@gentoo.org + + + frp.bissey@gmail.com + François Bissey + + + proxy-maint@gentoo.org + Proxy Maintainers + + + sci-mathematics@gentoo.org + Gentoo Mathematics Project + + + The concept of a table of marks was introduced by W. Burnside in his + 1955 book Theory of Groups of Finite Order. Therefore a table of + marks is sometimes called a Burnside matrix. + + The table of marks of a finite group G is a matrix whose rows and + columns are labelled by the conjugacy classes of subgroups of G and + where for two subgroups H and K the (H, K)-entry is the number of + fixed points of K in the transitive action of G on the cosets of H + in G. So the table of marks characterizes the set of all permutation + representations of G. Moreover, the table of marks gives a compact + description of the subgroup lattice of G, since from the numbers of + fixed points the numbers of conjugates of a subgroup K contained in + a subgroup H can be derived. + + For small groups the table of marks of G can be constructed directly + in GAP by first computing the entire subgroup lattice of G. However, + for larger groups this method is unfeasible. The GAP Table of Marks + library provides access to several hundred tables of marks and their + maximal subgroups. + + + gap-packages/tomlib + + diff --git a/dev-gap/tomlib/tomlib-1.2.9.ebuild b/dev-gap/tomlib/tomlib-1.2.9.ebuild new file mode 100644 index 0000000000000..f7a18f9624df3 --- /dev/null +++ b/dev-gap/tomlib/tomlib-1.2.9.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit gap-pkg + +DESCRIPTION="The GAP library of Tables of Marks" +SLOT="0" +SRC_URI="https://github.com/gap-packages/${PN}/releases/download/v${PV}/${P}.tar.gz" + +LICENSE="GPL-2+" +KEYWORDS="~amd64" + +RDEPEND="dev-gap/atlasrep" + +# The are "extra" docs and not the HTML produced by GAPDoc. The glob +# gets expanded if we use a plain variable but not if we use a bash +# array. +HTML_DOCS="htm/*" + +GAP_PKG_EXTRA_INSTALL=( data )