Post #1643741

Is this even decidable in general? Does this run into "undecidability of spheres"-style problems? I guess it's trivially decidable when restricted to a particular n, because then the question is finite...