Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revisionBoth sides next revision | ||
user_guide:tutorials:aut_of_graphs [2019/01/25 09:38] – ↷ Page moved from user_guide:aut_of_graphs to user_guide:tutorials:aut_of_graphs oroehrig | user_guide:tutorials:aut_of_graphs [2019/01/28 17:40] – ↷ Links adapted because of a move operation oroehrig | ||
---|---|---|---|
Line 11: | Line 11: | ||
{{user_guide: | {{user_guide: | ||
- | To study the automorphisms of this graph, we create a '' | + | To study the automorphisms of this graph, we create a '' |
< | < | ||
polytope > $g=new props:: | polytope > $g=new props:: |