python3Packages.low-index: init at 1.2.1

2025-06-05 20:56:55 -05:00
parent a2ae90d0c7
commit c7c30f47c2
2 changed files with 40 additions and 0 deletions
@@ -0,0 +1,38 @@
+{
+  lib,
+  python,
+  buildPythonPackage,
+  fetchFromGitHub,
+  setuptools,
+}:
+
+buildPythonPackage rec {
+  pname = "low-index";
+  version = "1.2.1";
+  pyproject = true;
+
+  src = fetchFromGitHub {
+    owner = "3-manifolds";
+    repo = "low_index";
+    tag = "v${version}_as_released";
+    hash = "sha256-T8hzC9ulikQ1pUdbXgjuKAX5oMJEycPvXWv74rCkQGY=";
+  };
+
+  build-system = [ setuptools ];
+
+  pythonImportsCheck = [ "low_index" ];
+
+  checkPhase = ''
+    runHook preCheck
+    ${python.interpreter} -m low_index.test
+    runHook postCheck
+  '';
+
+  meta = {
+    description = "Enumerates low index subgroups of a finitely presented group";
+    changelog = "https://github.com/3-manifolds/low_index/releases/tag/${src.tag}";
+    homepage = "https://github.com/3-manifolds/low_index";
+    license = lib.licenses.gpl2Plus;
+    maintainers = with lib.maintainers; [ noiioiu ];
+  };
+}
@@ -8463,6 +8463,8 @@ self: super: with self; {

  lottie = callPackage ../development/python-modules/lottie { };

+  low-index = callPackage ../development/python-modules/low-index { };
+
  lox = callPackage ../development/python-modules/lox { };

  lpc-checksum = callPackage ../development/python-modules/lpc-checksum { };