parameters: (self)
return_statement: return Z3_get_ast_kind(self.ctx_ref(), self.as_ast()) == Z3_NUMERAL_AST
docstring: Return True if the numeral is rational.
  
          >>> Numeral(2).is_rational()
          True
          >>> Numeral("2/3").is_rational()
          True
          >>> Numeral(Sqrt(2)).is_rational()
          False
docstring_summary: Return True if the numeral is rational.
docstring_tokens: Return True if the numeral is rational .
function: def is_rational(self):
          """ Return True if the numeral is rational.
  
          >>> Numeral(2).is_rational()
          True
          >>> Numeral("2/3").is_rational()
          True
          >>> Numeral(Sqrt(2)).is_rational()
          False
  
          """
          return Z3_get_ast_kind(self.ctx_ref(), self.as_ast()) == Z3_NUMERAL_AST
function_tokens: def is_rational ( self ) : return Z3_get_ast_kind ( self . ctx_ref ( ) , self . as_ast ( ) ) == Z3_NUMERAL_AST