correction computation generalized in the lift step.
 On branch devel
	modified:   padicLift.m2