parameters: (p, max_denom: int = 1024)
return_statement: return 1/p, (p, 1-p)
docstring: Return (t,1,x) power tuple
  
          x <= t^(1/p) 1^(1-1/p)
  
          user wants the epigraph variable t
docstring_summary: Return (t,1,x) power tuple
docstring_tokens: Return ( t 1 x ) power tuple
function: def pow_high(p, max_denom: int = 1024):
      """ Return (t,1,x) power tuple
  
          x <= t^(1/p) 1^(1-1/p)
  
          user wants the epigraph variable t
      """
      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)
function_tokens: def pow_high ( p , max_denom : int = 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 )