rationalization algebraization rational rigorization coherentization equivariantization rational number conversion rational function reduction