Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

In Python's graph_tool library, what is the process for mapping the index of an unfiltered graph to the index of a filtered graph?