function radical_inverse in module Aux