kdrag.theories.real.arb
=======================

.. automodule:: kdrag.theories.real.arb

   
   
   .. rubric:: Module Attributes

   .. autosummary::
   
      tan_bnd
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
   
      arb_bnd
      arb_ge
      arb_gt
      arb_le_ax
      arb_lt_ax
      arb_over_of_mid_rad
      bound_ax
      bounds
      cos_bnd
      exp_bnd
      flint_bnd
      flint_eq_ax_unsafe
      interp_flint
      sin_bnd
      tan_bnd
      z3_mid_rad_of_arb
      z3_of_exact_arb
   
   

   
   
   

   
   
   





.. literalinclude:: ../../kdrag/theories/real/arb.py
   :language: python