Talk:Dejter graph

[Untitled]
I am trying to build this graph in Sage, by removing a Hamming code of length 7 from a 7-dimensions cube. The graph I get has girth 4, while this page claims that the girth is 6. I am browsing the references cited for this result, but I cannot find it in any of them. Can anybody help? — Preceding unsigned comment added by Nathann.cohen (talk • contribs) 09:44, June 24, 2015 (UTC)