@d_feldman OK, not a "popular website," but I immediately had to check if https://t.co/ShxQmztjCw was still going and still looks the same, and I'm delighted that it is and does
@robinhouston@johncarlosbaez You might have to work with spherical polyhedra instead of Euclidean ones, but then seems like intersecting with small sphere around the vertex is reasonably sane (assuming vertices are isolated)
@robinhouston@johncarlosbaez Maybe say something like "a polyhedron is convex if all its vertex figures are convex" and then use induction to prove your claim (as dihedral angle is just taking the vertex figure d-2 times)? Then your assumptions need to ensure vertex figure is well defined
You didnβt-- care about
The breakfast Iβd been-- planning out
Now the iceboxβs out of bounds
Now youβre not allowed
Anywhere near where Iβm saving my next meal
How does it feel?
Once upon a time you dined so fine
Ate some plums of mine, a shocking crime
Atrocious, yeah?
Then you call, say sorry doll,
So sweet and cold, you thought they were all
Delicious, yeah?
Your scientists were so preoccupied with whether or not they *could* make a giant couch that could nonetheless fit around a tight corner, they didnβt stop to think if they *should.*
@robinhouston The cross-section of the cubic Z4 lattices along w+x+y+z=0 is the A3 lattice, so the cross section of the former's Voronoi cell should be the latter's? (unless Voronoi cells centered on off-section lattice points also intersect the section plane)
@everestpipkin I have drawn
the tools
that would be made
by a cow
and which
would probably
lack something
in sophistication
Forgive me
it didn't make sense
so silly
and so incomprehensible
@AustenLamacraft@johncarlosbaez@stevenstrogatz@jugander For thermalized hard cylinders below close-packing, there are various phase transitions where orientational and translational order emerge separately or together depending on aspect ratio