
    *-h                     h    S SK 7  S SK7  S SK7  S
S jrS
S jrS
S jrSS jrS
S jr " S S	5      rg)   )*Nc                 F    [        U [        5      (       a  U $ [        X5      $ N)
isinstanceRCFNum)numctxs     B/home/james-whalen/.local/lib/python3.13/site-packages/z3/z3rcf.py
_to_rcfnumr      s    #v
c    c                 r    [         R                  U 5      n [        [        U R	                  5       5      U 5      $ r   )z3get_ctxr   Z3_rcf_mk_pirefr	   s    r
   Pir      s'    
**S/C,swwy)3//r   c                 r    [         R                  U 5      n [        [        U R	                  5       5      U 5      $ r   )r   r   r   Z3_rcf_mk_er   r   s    r
   Er      s'    
**S/C+cggi(#..r   c                 r    [         R                  U5      n[        [        UR	                  5       5      U5      $ r   )r   r   r   Z3_rcf_mk_infinitesimalr   )namer	   s     r
   MkInfinitesimalr   "   s*     **S/C)#'')4c::r   c                    [         R                  U5      n[        U 5      n/ n[        U-  " 5       n[        U-  " 5       n[	        U5       H0  n[        X   U5      nUR                  U5        UR                  XF'   M2     [        UR                  5       X$U5      n/ n	[	        U5       H   nU	R                  [        XV   U5      5        M"     U	$ r   )r   r   len	RCFNumObjranger   appendr   Z3_rcf_mk_rootsr   r   )
pr	   r   _tmp_as_rsi_anrrs
             r
   MkRootsr)   )   s    
**S/C
a&CDs?
Cs?
C3Zc"B  
Cc	2B
A2Y	$% Hr   c                       \ rS rSrS S jrS rS rS rS rS r	S	 r
S
 rS rS rS rS rS rS rS rS rS!S jrS rS rS rS rS rS rS rS rS rS rS rSr g)"r   :   Nc                     [        U[        5      (       a!  Xl        [        R	                  U5      U l        g [        R	                  U5      U l        [        U R                  5       [        U5      5      U l        g r   )	r   r   r   r   r   r	   Z3_rcf_mk_rationalctx_refstr)selfr   r	   s      r
   __init__RCFNum.__init__;   sJ    c9%%Hzz#DHzz#DH)$,,.#c(CDHr   c                 L    [        U R                  5       U R                  5        g r   )
Z3_rcf_delr.   r   r0   s    r
   __del__RCFNum.__del__D   s    4<<>488,r   c                 6    U R                   R                  5       $ r   )r	   r   r5   s    r
   r.   RCFNum.ctx_refG   s    xx||~r   c                 ^    [        U R                  5       U R                  S[        5       5      $ )NFZ3_rcf_num_to_stringr.   r   in_html_moder5   s    r
   __repr__RCFNum.__repr__J   s    #DLLNDHHe\^TTr   c                 ^    [        U R                  5       U R                  S[        5       5      $ )NTr;   r5   s    r
   compact_strRCFNum.compact_strM   s    #DLLNDHHdLNSSr   c                     [        XR                  5      n[        [        U R	                  5       U R
                  UR
                  5      U R                  5      $ r   r   r	   r   
Z3_rcf_addr.   r   r0   othervs      r
   __add__RCFNum.__add__P   8    uhh'j155A488LLr   c                     [        XR                  5      n[        [        U R	                  5       UR
                  U R
                  5      U R                  5      $ r   rD   rF   s      r
   __radd__RCFNum.__radd__T   8    uhh'jA488LLr   c                     [        XR                  5      n[        [        U R	                  5       U R
                  UR
                  5      U R                  5      $ r   r   r	   r   
Z3_rcf_mulr.   r   rF   s      r
   __mul__RCFNum.__mul__X   rK   r   c                     [        XR                  5      n[        [        U R	                  5       UR
                  U R
                  5      U R                  5      $ r   rQ   rF   s      r
   __rmul__RCFNum.__rmul__\   rO   r   c                     [        XR                  5      n[        [        U R	                  5       U R
                  UR
                  5      U R                  5      $ r   r   r	   r   
Z3_rcf_subr.   r   rF   s      r
   __sub__RCFNum.__sub__`   rK   r   c                     [        XR                  5      n[        [        U R	                  5       UR
                  U R
                  5      U R                  5      $ r   rY   rF   s      r
   __rsub__RCFNum.__rsub__d   rO   r   c                     [        XR                  5      n[        [        U R	                  5       U R
                  UR
                  5      U R                  5      $ r   r   r	   r   
Z3_rcf_divr.   r   rF   s      r
   __div__RCFNum.__div__h   rK   r   c                     [        XR                  5      n[        [        U R	                  5       UR
                  U R
                  5      U R                  5      $ r   ra   rF   s      r
   __rdiv__RCFNum.__rdiv__l   rO   r   c                 $    U R                  S5      $ )N    )r^   r5   s    r
   __neg__RCFNum.__neg__p   s    }}Qr   c                 t    [        [        U R                  5       U R                  U5      U R                  5      $ r   )r   Z3_rcf_powerr.   r   r	   r0   ks     r
   powerRCFNum.powers   s&    l4<<>488Q?JJr   c                 $    U R                  U5      $ r   )rp   rn   s     r
   __pow__RCFNum.__pow__v   s    zz!}r   c                 L    [        U R                  5       U R                  U5      $ r   )Z3_rcf_num_to_decimal_stringr.   r   )r0   precs     r
   decimalRCFNum.decimaly   s    +DLLNDHHdKKr   c                     [        XR                  5      n[        U R                  5       U R                  UR                  5      $ r   r   r	   	Z3_rcf_ltr.   r   rF   s      r
   __lt__RCFNum.__lt__|   -    uhh'15599r   c                     [        XR                  5      n[        U R                  5       UR                  U R                  5      $ r   r{   rF   s      r
   __rlt__RCFNum.__rlt__   -    uhh'99r   c                     [        XR                  5      n[        U R                  5       U R                  UR                  5      $ r   r   r	   	Z3_rcf_gtr.   r   rF   s      r
   __gt__RCFNum.__gt__   r   r   c                     [        XR                  5      n[        U R                  5       UR                  U R                  5      $ r   r   rF   s      r
   __rgt__RCFNum.__rgt__   r   r   c                     [        XR                  5      n[        U R                  5       U R                  UR                  5      $ r   r   r	   	Z3_rcf_ler.   r   rF   s      r
   __le__RCFNum.__le__   r   r   c                     [        XR                  5      n[        U R                  5       UR                  U R                  5      $ r   r   rF   s      r
   __rle__RCFNum.__rle__   r   r   c                     [        XR                  5      n[        U R                  5       U R                  UR                  5      $ r   r   r	   	Z3_rcf_ger.   r   rF   s      r
   __ge__RCFNum.__ge__   r   r   c                     [        XR                  5      n[        U R                  5       UR                  U R                  5      $ r   r   rF   s      r
   __rge__RCFNum.__rge__   r   r   c                     [        XR                  5      n[        U R                  5       U R                  UR                  5      $ r   )r   r	   	Z3_rcf_eqr.   r   rF   s      r
   __eq__RCFNum.__eq__   r   r   c                     [        XR                  5      n[        U R                  5       U R                  UR                  5      $ r   )r   r	   
Z3_rcf_neqr.   r   rF   s      r
   __ne__RCFNum.__ne__   s-    uhh'$,,.$((AEE::r   c                     [         S-  " 5       n[         S-  " 5       n[        U R                  5       U R                  X5        [	        US   U R
                  5      [	        US   U R
                  5      4$ )Nr   ri   )r    Z3_rcf_get_numerator_denominatorr.   r   r   r	   )r0   nds      r
   splitRCFNum.split   sY    ]](1HqtTXX&qtTXX(>??r   )r	   r   r   )   )!__name__
__module____qualname____firstlineno__r1   r6   r.   r>   rA   rI   rM   rS   rV   r[   r^   rc   rf   rj   rp   rs   rx   r}   r   r   r   r   r   r   r   r   r   r   __static_attributes__ r   r
   r   r   :   s    D-UTMMMMMMMM KL:::::::::;@r   r   r   )epsN)	r   z3core	z3printerr   r   r   r   r)   r   r   r   r
   <module>r      s7       0
/
;"n@ n@r   