add sage.features.ecm

Author: dimpase

src/sage/features/ecm.py

@@ -0,0 +1,42 @@
+# -*- coding: utf-8 -*-
+r"""
+Feature for testing the presence of ``ecm`` or ``gmp-ecm``
+"""
+# ****************************************************************************
+#       Copyright (C) 2032 Dima Pasechnik <[email protected]>
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
+#                  https://www.gnu.org/licenses/
+# ****************************************************************************
+
+from . import Executable
+from sage.env import SAGE_ECMBIN
+
+
+class Ecm(Executable):
+    r"""
+    A :class:`~sage.features.Feature` describing the presence of :ref:`GMP-ECM <spkg_ecm>`.
+
+    EXAMPLES::
+
+        sage: from sage.features.ecm import Ecm
+        sage: Ecm().is_present()
+        FeatureTestResult('ecm', True)
+    """
+    def __init__(self):
+        r"""
+        TESTS::
+
+            sage: from sage.features.ecm import Ecm
+            sage: isinstance(Ecm(), Ecm)
+            True
+        """
+        Executable.__init__(self, name="ecm", executable=SAGE_ECMBIN,
+                            spkg="ecm", type="standard")
+
+
+def all_features():
+    return [Ecm()]