On Wed, 26 Aug 2015, Nathann Cohen wrote:
In the case of designs, we have some objects (the old ones) available in the global namespace, and some others (the more recent ones) which are not.
Is this the reason we have for example KleinFourGroup() in global namespace, but not PentagonPoset?
(If we have Posets.PentagonPoset(), why not Graphs.PetersenGraph() but graphs.PetersenGraph()? And actually, why not just Posets.Pentagon() and Graphs.Petersen()?)
-- Jori Mäntysalo
