de_rham_cyclic/ramification.soc