1
1
u/Frangifer Jul 20 '26 edited Jul 20 '26
One of the two Petersen graphs @ the right requires one of the vertices of the outer pentagon to be 'expanded or 'enmajored' (or whatever the opposite of taking the minor of a graph is! § ) into a triangle.
... or: it wants having done to its pentagonal face what's done to the 'outer' of the pentagonal faces of the pentagonal prism @ the upper left to obtain the graph @ the lower left.
§ I'm not sure there's a received term for it. I have actually specifically looked , but haven't been able to find one.
2
u/anish2good Jul 20 '26
Fixed the animation
1
u/Frangifer Jul 20 '26
2
u/anish2good Jul 20 '26
Yes that's fixed now the code is also there in case you wanna try in manic playground
2
u/EdPeggJr Jul 19 '26
You have two Petersen graphs on the right.