Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit b6674c9

Browse files
author
Matthias Koeppe
committedNov 16, 2021
src/sage/features/sagemath.py: Add feature for sage.groups
1 parent 873aaf8 commit b6674c9

File tree

1 file changed

+23
-0
lines changed

1 file changed

+23
-0
lines changed
 

‎src/sage/features/sagemath.py

+23
Original file line numberDiff line numberDiff line change
@@ -74,6 +74,28 @@ def __init__(self):
7474
[PythonModule('sage.graphs.graph')])
7575

7676

77+
class sage__groups(JoinFeature):
78+
r"""
79+
A :class:`sage.features.Feature` describing the presence of ``sage.groups``.
80+
81+
EXAMPLES::
82+
83+
sage: from sage.features.sagemath import sage__groups
84+
sage: sage__groups().is_present() # optional - sage.groups
85+
FeatureTestResult('sage.groups', True)
86+
"""
87+
def __init__(self):
88+
r"""
89+
TESTS::
90+
91+
sage: from sage.features.sagemath import sage__groups
92+
sage: isinstance(sage__groups(), sage__groups)
93+
True
94+
"""
95+
JoinFeature.__init__(self, 'sage.groups',
96+
[PythonModule('sage.groups.perm_gps.permgroup')])
97+
98+
7799
class sage__plot(JoinFeature):
78100
r"""
79101
A :class:`sage.features.Feature` describing the presence of ``sage.plot``.
@@ -186,6 +208,7 @@ def all_features():
186208
return [sage__combinat(),
187209
sage__geometry__polyhedron(),
188210
sage__graphs(),
211+
sage__groups(),
189212
sage__plot(),
190213
sage__rings__number_field(),
191214
sage__rings__real_double(),

0 commit comments

Comments
 (0)
This repository has been archived.