def pow_high(p, max_denom=1024):
 assert (p > 1)
 p = Fraction((1 / Fraction(p))).limit_denominator(max_denom)
 if ((1 / p) == int((1 / p))):
  return (int((1 / p)), (p, (1 - p)))
 return ((1 / p), (p, (1 - p)))

def pow_high ( p , max_denom = 1024 ) : assert ( p > 1 ) p = Fraction ( ( 1 / Fraction ( p ) ) ) . limit_denominator ( max_denom ) if ( ( 1 / p ) == int ( ( 1 / p ) ) ) : return ( int ( ( 1 / p ) ) , ( p , ( 1 - p ) ) ) return ( ( 1 / p ) , ( p , ( 1 - p ) ) )
return power tuple x <= t^ 1^ user wants the epigraph variable t .