Finite cyclic graphs

Stream: Is there code for X?

[Oliver Nash]

Do we have a construction of the cyclic graph with $n : ℕ$ vertices?

[Yaël Dillies]

No, the closest we have is docs#simple_graph.path_graph

[Oliver Nash]

OK thanks.

[Kyle Miller]

I have a PR coming up for is_path and is_cycle predicates on graphs, but if anyone wants to add simple_graph.cyclic_graph that'd be great!

[Vincent Beffara]

There are also a few definitions of Cayley graphs around, which can be used for this.

[Rémi Bottinelli]

Would it make sense to have an instances file with a few typical examples (complete, cycle, path, infinite paths, etc) ?

[Bryan Gin-ge Chen]

I suspect that each of those examples could end up deserving their own file (or even folder).