-
-
Notifications
You must be signed in to change notification settings - Fork 654
Closed
Description
Why does Graph.vertices()
need to sort the list of vertices? If the user wants a sorted list, they can always call sorted()
anyway. The same for Graph.edges()
.
Sorting is broken badly now that #22029 is merged.
CC: @sagetrac-Stefan @jm58660 @jhpalmieri
Component: graph theory
Keywords: richcmp
Author: John Palmieri, David Coudert
Branch/Commit: fe93716
Reviewer: David Coudert, John Palmieri
Issue created by migration from https://trac.sagemath.org/ticket/22349