parameters: (self, other)
return_statement: return Z3_algebraic_ge(self.ctx_ref(), self.ast, _to_numeral(other, self.ctx).ast)
docstring: Return True if `self >= other`.
  
          >>> Numeral(Sqrt(2)) >= 2
          False
          >>> Numeral(Sqrt(3)) >= Numeral(Sqrt(2))
          True
          >>> Numeral(Sqrt(2)) >= Numeral(Sqrt(2))
          True
docstring_summary: Return True if `self >= other`.
docstring_tokens: Return True if self > = other .
function: def __ge__(self, other):
          """ Return True if `self >= other`.
  
          >>> Numeral(Sqrt(2)) >= 2
          False
          >>> Numeral(Sqrt(3)) >= Numeral(Sqrt(2))
          True
          >>> Numeral(Sqrt(2)) >= Numeral(Sqrt(2))
          True
          """
          return Z3_algebraic_ge(self.ctx_ref(), self.ast, _to_numeral(other, self.ctx).ast)
function_tokens: def __ge__ ( self , other ) : return Z3_algebraic_ge ( self . ctx_ref ( ) , self . ast , _to_numeral ( other , self . ctx ) . ast )