1{
2 lib,
3 python,
4 buildPythonPackage,
5 fetchFromGitHub,
6 setuptools,
7}:
8
9buildPythonPackage rec {
10 pname = "low-index";
11 version = "1.2.1";
12 pyproject = true;
13
14 src = fetchFromGitHub {
15 owner = "3-manifolds";
16 repo = "low_index";
17 tag = "v${version}_as_released";
18 hash = "sha256-T8hzC9ulikQ1pUdbXgjuKAX5oMJEycPvXWv74rCkQGY=";
19 };
20
21 build-system = [ setuptools ];
22
23 pythonImportsCheck = [ "low_index" ];
24
25 checkPhase = ''
26 runHook preCheck
27 ${python.interpreter} -m low_index.test
28 runHook postCheck
29 '';
30
31 meta = {
32 description = "Enumerates low index subgroups of a finitely presented group";
33 changelog = "https://github.com/3-manifolds/low_index/releases/tag/${src.tag}";
34 homepage = "https://github.com/3-manifolds/low_index";
35 license = lib.licenses.gpl2Plus;
36 maintainers = with lib.maintainers; [ noiioiu ];
37 };
38}