頂点を入れ替えると、無向エッジグラフツールからエッジを取り除くことができない

Question

グラフツールのPythonライブラリが初めてで、基本的なことを試しています。 remove_edgeコマンドに問題があります。 のコードを取得してみましょう：

import graph_tool.all as gt 
g=gt.Graph(directed=False) 
v1=g.add_vertex() 
v2=g.add_vertex() 
g.add_edge(v1,v2) 

g.remove_edge(g.edge(v1,v2)) 

今では正常に動作しますが、私は最後の行を変更した場合：

g.remove_edge(g.edge(v2,v1)) 

エッジは削除されません。 私のグラフは無向であるので、同じエッジとして認識されるべきではありませんか？ もしそうでなければ、非マルチグラフ無向グラフの2つの頂点の間のエッジを削除したかどうかを確認する良い方法を見つけるにはどうすればよいですか？

Answer 1

これは本当にバグです！バージョン2.24では修正されました。