グラフツールの基本的な使い方：グラフツールの頂点と関連するエッジを削除する方法は？

Question

私はグラフツールを初めて使い、グラフの基本操作を学びました。以下のコマンドは私をたくさん混乱させました。

Python 3.5.2 (default, Nov 17 2016, 17:05:23) 
[GCC 5.4.0 20160609] on linux 
Type "help", "copyright", "credits" or "license" for more information. 

>>> G=Graph(directed=False) 
>>> from graph_tool.all import *                                                    
Failed to connect to Mir: Failed to connect to server socket: No such file or directory 
Unable to init server: Could not connect: Connection refused 
Failed to connect to Mir: Failed to connect to server socket: No such file or directory 
Unable to init server: Could not connect: Connection refused 
>>> G=Graph(directed=False)                                                     
>>> G.add_vertex()                                                       
<Vertex object with index '0' at 0x7f70714a00f0> 
>>> G.add_vertex() 
<Vertex object with index '1' at 0x7f70714a0210> 
>>> G.add_vertex() 
<Vertex object with index '2' at 0x7f70714a00f0> 
>>> G.add_vertex() 
<Vertex object with index '3' at 0x7f70714a0210> 
>>> G.add_vertex() 
<Vertex object with index '4' at 0x7f70714a00f0> 
>>> G.add_vertex() 
<Vertex object with index '5' at 0x7f70714a0210> 
>>> G.add_vertex() 
<Vertex object with index '6' at 0x7f70714a00f0> 
>>> G.add_edge(1,2)                                                       
<Edge object with source '1' and target '2' at 0x7f7085fca9d0> 
>>> print(G) 
<Graph object, undirected, with 7 vertices and 1 edge at 0x7f70967c5400> 
>>> G.clear_vertex(1)                                                      
>>> print(G)                                                         
<Graph object, undirected, with 7 vertices and 1 edge at 0x7f70967c5400> 
>>> G.clear_vertex(2)                                                      
>>> print(G)                                                         
<Graph object, undirected, with 7 vertices and 1 edge at 0x7f70967c5400> 

clear_vertexは、頂点に関連するすべてのエッジをクリアすることがわかります。しかし、clear_vertexを実行すると、グラフには前に作成された1つのエッジが含まれているようです。コードを改訂する必要がありますか？

は、これは確かにバグですあなた

Answer 1

をありがとう、私はすでにgitの中でしばらく前に修正されました：

https://git.skewed.de/count0/graph-tool/commit/12fea4983ab98eae410a446f27ae5c0dd34cd90c

バグ、それは失敗で、単に金額として、主に無害です頂点をクリアするときにエッジカウントを更新します。実際にはエッジが削除されています。