the inverse of p as a map from the regular values of p
to the configuration space of unordered 4-tuples in C