diff --git a/dev-gap/crisp/Manifest b/dev-gap/crisp/Manifest new file mode 100644 index 0000000000000..3d2fa38ed4e86 --- /dev/null +++ b/dev-gap/crisp/Manifest @@ -0,0 +1 @@ +DIST crisp-1.4.6.tar.bz2 312722 BLAKE2B 5277c69e884332c9e8afe6ab1ce44131176fc08abf48f7ca3092250b883ed4551ec1f179084877b089724ddc68f921a7c8134899725e07db4a4f027042e07615 SHA512 ef14417cc4fdaf1cc24fe946d3c8d699857aefb932f9c6502a735020233cc259feef0770bd259bdf1b2caca93291ccc578fe3814c0295d5b46a5ead6df297893 diff --git a/dev-gap/crisp/crisp-1.4.6.ebuild b/dev-gap/crisp/crisp-1.4.6.ebuild new file mode 100644 index 0000000000000..837c57827b3f8 --- /dev/null +++ b/dev-gap/crisp/crisp-1.4.6.ebuild @@ -0,0 +1,16 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit gap-pkg + +DESCRIPTION="GAP algorithms for subgroups of finite soluble groups" +SLOT="0" +SRC_URI="https://github.com/bh11/${PN}/releases/download/${P^^}/${P}.tar.bz2" + +LICENSE="BSD-2" +KEYWORDS="~amd64" + +GAP_PKG_HTML_DOCDIR="htm" +gap-pkg_enable_tests diff --git a/dev-gap/crisp/metadata.xml b/dev-gap/crisp/metadata.xml new file mode 100644 index 0000000000000..e762ea686146d --- /dev/null +++ b/dev-gap/crisp/metadata.xml @@ -0,0 +1,36 @@ + + + + + mjo@gentoo.org + + + frp.bissey@gmail.com + François Bissey + + + proxy-maint@gentoo.org + Proxy Maintainers + + + sci-mathematics@gentoo.org + Gentoo Mathematics Project + + + CRISP provides algorithms for computing subgroups of finite soluble + groups related to a group class C. In particular, it allows to + compute C-radicals and C-injectors for Fitting classes (and Fitting + sets) C, C-residuals for formations C, and C-projectors for Schunck + classes C. In order to carry out these computations, the group class + C must be represented by an algorithm which can decide membership in + the group class. Moreover, CRISP contains algorithms for the + computation of normal subgroups invariant under a prescribed set of + automorphisms and belonging to a given group class. This includes + an improved method to compute the set of all normal subgroups of a + finite soluble group, its characteristic subgroups, minimal normal + subgroups and the socle and p-socles for given primes p. + + + bh11/crisp + +