Skip to content

Commit 9a627fd

Browse files
committed
Add genposetg to nauty feature
1 parent b2cb8bc commit 9a627fd

File tree

1 file changed

+25
-7
lines changed

1 file changed

+25
-7
lines changed

src/sage/features/nauty.py

Lines changed: 25 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,7 @@ class NautyExecutable(Executable):
2828
sage: NautyExecutable('converseg').is_present() # needs nauty
2929
FeatureTestResult('nauty_converseg', True)
3030
"""
31+
3132
def __init__(self, name):
3233
r"""
3334
TESTS::
@@ -36,10 +37,13 @@ def __init__(self, name):
3637
sage: isinstance(NautyExecutable('geng'), NautyExecutable)
3738
True
3839
"""
39-
Executable.__init__(self, name=f"nauty_{name}",
40-
executable=f"{SAGE_NAUTY_BINS_PREFIX}{name}",
41-
spkg='nauty',
42-
type='standard')
40+
Executable.__init__(
41+
self,
42+
name=f"nauty_{name}",
43+
executable=f"{SAGE_NAUTY_BINS_PREFIX}{name}",
44+
spkg="nauty",
45+
type="standard",
46+
)
4347

4448

4549
class Nauty(JoinFeature):
@@ -53,6 +57,7 @@ class Nauty(JoinFeature):
5357
sage: Nauty().is_present() # needs nauty
5458
FeatureTestResult('nauty', True)
5559
"""
60+
5661
def __init__(self):
5762
r"""
5863
TESTS::
@@ -61,9 +66,22 @@ def __init__(self):
6166
sage: isinstance(Nauty(), Nauty)
6267
True
6368
"""
64-
JoinFeature.__init__(self, "nauty",
65-
[NautyExecutable(name)
66-
for name in ('directg', 'gentourng', 'geng', 'genbg', 'gentreeg', 'genktreeg')])
69+
JoinFeature.__init__(
70+
self,
71+
"nauty",
72+
[
73+
NautyExecutable(name)
74+
for name in (
75+
"directg",
76+
"gentourng",
77+
"geng",
78+
"genbg",
79+
"gentreeg",
80+
"genktreeg",
81+
"genposetg",
82+
)
83+
],
84+
)
6785

6886

6987
def all_features():

0 commit comments

Comments
 (0)