Partially revert "Added division"

Conflicts:
	MumfordCurves/pAdic.m2