computational section in progress

I'm trimming out some of my earlier conjectures about factorization of
Phi_N(z, c), because once I understand the whole picture and various
details better (thanks to torturing myself by checking every detail),
they look less interesting than before.

I will preserve them in comment form in a separate `trimmed` branch, and
remove them from master.
really trimming out