parameters: (self, k)
return_statement: return Numeral(Z3_algebraic_root(self.ctx_ref(), self.ast, k), self.ctx)
docstring: Return the numeral `self^(1/k)`.
  
          >>> sqrt2 = Numeral(2).root(2)
          >>> sqrt2
          1.4142135623?
          >>> sqrt2 * sqrt2
          2
          >>> sqrt2 * 2 + 1
          3.8284271247?
          >>> (sqrt2 * 2 + 1).sexpr()
          '(root-obj (+ (^ x 2) (* (- 2) x) (- 7)) 2)'
docstring_summary: Return the numeral `self^(1/k)`.
docstring_tokens: Return the numeral self^ ( 1 / k ) .
function: def root(self, k):
          """ Return the numeral `self^(1/k)`.
  
          >>> sqrt2 = Numeral(2).root(2)
          >>> sqrt2
          1.4142135623?
          >>> sqrt2 * sqrt2
          2
          >>> sqrt2 * 2 + 1
          3.8284271247?
          >>> (sqrt2 * 2 + 1).sexpr()
          '(root-obj (+ (^ x 2) (* (- 2) x) (- 7)) 2)'
          """
          return Numeral(Z3_algebraic_root(self.ctx_ref(), self.ast, k), self.ctx)
function_tokens: def root ( self , k ) : return Numeral ( Z3_algebraic_root ( self . ctx_ref ( ) , self . ast , k ) , self . ctx )