The great min-frame rotatope conjecture

[PWrong]

H_q S^a1 x S^a2 x ... x S^ak = the number of subsets of {a1,a2,...,ak} that sum to give q.

[Keiji]

...where S^a is an a-net-space hypersphere (i.e. a=1 identifies the circle)?

[PWrong]

Yep, otherwise we'd have to take one from everything.

[Keiji]

Any idea how you'd go about proving this?

I'd guess it's right and will implement it in my Python program, but it still deserves a proof

[PWrong]

I'd love to be able to prove it, if I knew where to start. I think it will take something stronger than Mayer-Vietoris. I'll ask my topology lecturer about it. He's marking my honours thesis, but I get the marks back on sunday so I'll talk to him after that.