User:Silly rabbit/Sandbox/Spectral geometry