Skip to content

For visual analysis of cmp(x²+y²+z²,n) with cmp∈{≤,=}

License

Notifications You must be signed in to change notification settings

Hermann-SW/lattice_sphere_cmp

Repository files navigation

The Makefile in this repo was used to publisch .html pages with redirect to https://jscad.app of the JSCAD applications discussed below.

That is not needed anymore, the (raw) .js file JSCAD models of this repo can directly be used by appending the raw file URL to https://jscad.app/#. Below are the three JSCAD apps from this repo with those URLs to execute directly in your browser:

lattice_sphere_cmp

$hull(p\in\mathbb{Z}^3, norml2(p)==n)$ for $n\neq 4^a(8b+7)$ is a lattice polyhedron. By Legendre's three-square theorem, such $n$ have representation(s) as the sum of $3$ squares.

After updating lattice_sphere_cmp.js, run make and then open index.html in browser.

You can use last pushed version on github.io:
https://Hermann-sw.github.io/lattice_sphere_cmp

Related question:
https://math.stackexchange.com/questions/4917740/which-faces-does-sphere-lattice-polyhedron-operatornamehullp-in-mathbbz

Analysis output added (#faces/#edges/#vertices) in 3rd last logged line.
In case of cmp="= pq" output of r3(pq) as well (should be same as #vertices).
res/analysis_r3.png

res/frames+edges+vertices.png

res/Peek_2024-05-29_21-50.gif

res/new_text.png

Dual of lattice sphere (dual vertices determined with small system of 3 linear equations solver for each face):
res/dual_of_lattice_sphere.png

Experimental:
https://hermann-sw.github.io/lattice_sphere_cmp/tangential_faces.html

res/tangential_faces.recording.mp4.gif

About

For visual analysis of cmp(x²+y²+z²,n) with cmp∈{≤,=}

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages