o
    *ήc7                     @   s   d Z ddlmZmZ ddlmZ ddlmZm	Z	 ddl
mZ i ddddd	d	d
d
ddddddddddddddddddddddddddddddddddd d!d"d#Zg d$ZG d%d& d&eZd,d(d)Zd*d+ Zd'S )-z
R code printer

The RCodePrinter converts single SymPy expressions into single R expressions,
using the functions defined in math.h where possible.



    )AnyDict)CodePrinter)
precedence
PRECEDENCE)RangeAbsabssincostanasinacosatanatan2explogerfsinhcoshtanhasinhacoshatanhfloorceilingsignmaxmin	factorialgammadigammatrigammabetasqrt)r   r   r   MaxMinr   r    r!   r"   r#   r$   )ifelserepeatwhilefunctionforinnextbreakTRUEFALSENULLInfNaNNANA_integer_NA_real_NA_complex_NA_character_volatilec                
       s  e Zd ZdZdZdZdddi dde dd	d
	ZddddZi Z	i fddZ
dd Zdd Zdd Zdd Zdd Zdd Zdd Zdd  Zd!d" Zd#d$ Zd%d& Zd'd( Zd)d* Zd+d, Zd-d. Zd/d0 Zd1d2 Zd3d4 Zd5d6 Z fd7d8Zd9d: Zd;d< Z d=d> Z!d?d@ Z"  Z#S )ARCodePrinterz;A printer to convert SymPy expressions to strings of R code_rcodeRNauto   TF_)	order	full_prec	precisionuser_functionshumancontractdereferenceerror_on_reservedreserved_word_suffix&|!)andornotc                 C   sN   t | | tt| _|di }| j| t|dg | _tt| _d S )NrD   rG   )	r   __init__dictknown_functionsgetupdateset_dereferencereserved_words)selfsettings	userfuncs r[   ;/tmp/pip-target-vg8gfxp4/lib/python/sympy/printing/rcode.pyrP   e   s   
zRCodePrinter.__init__c                 C   s   |d S )N   r[   )rX   pr[   r[   r\   _rate_index_positionm      z!RCodePrinter._rate_index_positionc                 C   s   d| S )Nz%s;r[   )rX   
codestringr[   r[   r\   _get_statementp   r`   zRCodePrinter._get_statementc                 C   s
   d |S )Nz// {}format)rX   textr[   r[   r\   _get_comments      
zRCodePrinter._get_commentc                 C   s   d ||S )Nz{} = {};rc   )rX   namevaluer[   r[   r\   _declare_number_constv      z"RCodePrinter._declare_number_constc                 C   s
   |  |S N)indent_code)rX   linesr[   r[   r\   _format_codey   rg   zRCodePrinter._format_codec                    s    |j \}  fddt|D S )Nc                 3   s&    | ]}t  D ]}||fV  qqd S rl   )range).0ijcolsr[   r\   	<genexpr>~   s   $ z8RCodePrinter._traverse_matrix_indices.<locals>.<genexpr>)shaperp   )rX   matrowsr[   rt   r\   _traverse_matrix_indices|   s   
z%RCodePrinter._traverse_matrix_indicesc              
   C   s^   g }g }d}|D ]"}| || |j| |jd | |jd d  | d q||fS )zPReturns a tuple (open_lines, close_lines) containing lists of codelines
        z#for (%(var)s in %(start)s:%(end)s){   )varstartend})append_printlabellowerupper)rX   indices
open_linesclose_lines	loopstartrr   r[   r[   r\   _get_loop_opening_ending   s   

z%RCodePrinter._get_loop_opening_endingc                 C   sr   d| j v r
| |S t|}|jdkrd| |j| S |jdkr)d| |j S d| |j|| |j|f S )NPowz1.0/%sg      ?zsqrt(%s)z%s^%s)rR   _print_Functionr   r   parenthesizebaser   )rX   exprPRECr[   r[   r\   
_print_Pow   s   



zRCodePrinter._print_Powc                 C   s"   t |jt |j}}d||f S )Nz	%d.0/%d.0)intr^   q)rX   r   r^   r   r[   r[   r\   _print_Rational   s   zRCodePrinter._print_Rationalc                    s0    fdd|j D }d |jjd|f S )Nc                    s   g | ]}  |qS r[   )r   )rq   rr   rX   r[   r\   
<listcomp>       z/RCodePrinter._print_Indexed.<locals>.<listcomp>z%s[%s]z, )r   r   r   r   join)rX   r   indsr[   r   r\   _print_Indexed   s   zRCodePrinter._print_Indexedc                 C   s   |  |jS rl   )r   r   rX   r   r[   r[   r\   
_print_Idx   rk   zRCodePrinter._print_Idxc                 C      dS )Nzexp(1)r[   r   r[   r[   r\   _print_Exp1      zRCodePrinter._print_Exp1c                 C   r   )Npir[   r   r[   r[   r\   	_print_Pi   r   zRCodePrinter._print_Pic                 C   r   )Nr3   r[   r   r[   r[   r\   _print_Infinity   r   zRCodePrinter._print_Infinityc                 C   r   )Nz-Infr[   r   r[   r[   r\   _print_NegativeInfinity   r   z$RCodePrinter._print_NegativeInfinityc                 C   s   ddl m} ddlm} ddlm} |j}|j}t||rEg }| 	|D ]\}}	||||	f |||	f }
| 
|
}|| q$d|S | jd rZ||sT||rZ| ||S | 
|}| 
|}| d||f S )Nr   )
Assignment)MatrixSymbol)IndexedBase
rF   z%s = %s)sympy.codegen.astr   "sympy.matrices.expressions.matexprr   sympy.tensor.indexedr   lhsrhs
isinstancerz   r   r   r   	_settingshas_doprint_loopsrb   )rX   r   r   r   r   r   r   rn   rr   rs   tempcode0lhs_coderhs_coder[   r[   r\   _print_Assignment   s&   




zRCodePrinter._print_Assignmentc                 C   s   |j d jdkrd| |j d j }nd| |j d j| |j d jf }|}t|j d d D ]\}}d| || |f | d }q3|S )Nr   Tz%szifelse(%s,%s,NA)zifelse(%s,%s,))argscondr   r   reversed)rX   r   	last_linecodeecr[   r[   r\   _print_Piecewise   s   ("zRCodePrinter._print_Piecewisec                 C   s   ddl m} | ||S )Nr   )	Piecewise)sympy.functionsr   r   rewrite)rX   r   r   r[   r[   r\   
_print_ITE   s   zRCodePrinter._print_ITEc                 C   s2   d | j|jtd dd|j|j|jjd   S )Nz{}[{}]AtomT)strictr{   )rd   r   parentr   rs   rr   rw   r   r[   r[   r\   _print_MatrixElement   s
   z!RCodePrinter._print_MatrixElementc                    s$   t  |}|| jv rd|S |S )Nz(*{}))super_print_SymbolrV   rd   )rX   r   rh   	__class__r[   r\   r      s   

zRCodePrinter._print_Symbolc                 C   s,   |  |j}|  |j}|j}d|||S )Nz{} {} {})r   r   r   rel_oprd   )rX   r   r   r   opr[   r[   r\   _print_Relational   s   zRCodePrinter._print_Relationalc                 C   s,   |  |j}|j}|  |j}d|||S )Nz	{} {} {};)r   r   r   r   rd   )rX   r   r   r   r   r[   r[   r\   _print_AugmentedAssignment   s   z'RCodePrinter._print_AugmentedAssignmentc                 C   sP   |  |j}t|jtr|jj\}}}ntd|  |j}dj|||||dS )Nz*Only iterable currently supported is RangezLfor ({target} = {start}; {target} < {stop}; {target} += {step}) {{
{body}
}})targetr}   stopstepbody)	r   r   r   iterabler   r   NotImplementedErrorr   rd   )rX   r   r   r}   r   r   r   r[   r[   r\   
_print_For  s   zRCodePrinter._print_Forc           
         s   t |tr| |d}d|S d}dd dd |D }fdd|D } fd	d|D }g }d
}t|D ]%\}}	|	dv rG||	 q9||| 8 }|d|| |	f  ||| 7 }q9|S )z0Accepts a string of code or a list of code linesT z   ){(z{
z(
)r   r   c                 S   s   g | ]}| d qS )z 	)lstriprq   liner[   r[   r\   r     r   z,RCodePrinter.indent_code.<locals>.<listcomp>c                        g | ]}t tt|j qS r[   )r   anymapendswithr   )	inc_tokenr[   r\   r     s     c                    r   r[   )r   r   r   
startswithr   )	dec_tokenr[   r\   r     s    r   )r   r   z%s%s)r   strrm   
splitlinesr   	enumerater   )
rX   r   
code_linestabincreasedecreaseprettylevelnr   r[   )r   r   r\   rm     s*   



zRCodePrinter.indent_code)$__name__
__module____qualname____doc__printmethodlanguagerU   _default_settings
_operators_relationalsrP   r_   rb   rf   rj   ro   rz   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   rm   __classcell__r[   r[   r   r\   r;   L   sX    'r;   Nc                 K   s   t || |S )a  Converts an expr to a string of r code

    Parameters
    ==========

    expr : Expr
        A SymPy expression to be converted.
    assign_to : optional
        When given, the argument is used as the name of the variable to which
        the expression is assigned. Can be a string, ``Symbol``,
        ``MatrixSymbol``, or ``Indexed`` type. This is helpful in case of
        line-wrapping, or for expressions that generate multi-line statements.
    precision : integer, optional
        The precision for numbers such as pi [default=15].
    user_functions : dict, optional
        A dictionary where the keys are string representations of either
        ``FunctionClass`` or ``UndefinedFunction`` instances and the values
        are their desired R string representations. Alternatively, the
        dictionary value can be a list of tuples i.e. [(argument_test,
        rfunction_string)] or [(argument_test, rfunction_formater)]. See below
        for examples.
    human : bool, optional
        If True, the result is a single string that may contain some constant
        declarations for the number symbols. If False, the same information is
        returned in a tuple of (symbols_to_declare, not_supported_functions,
        code_text). [default=True].
    contract: bool, optional
        If True, ``Indexed`` instances are assumed to obey tensor contraction
        rules and the corresponding nested loops over indices are generated.
        Setting contract=False will not generate loops, instead the user is
        responsible to provide values for the indices in the code.
        [default=True].

    Examples
    ========

    >>> from sympy import rcode, symbols, Rational, sin, ceiling, Abs, Function
    >>> x, tau = symbols("x, tau")
    >>> rcode((2*tau)**Rational(7, 2))
    '8*sqrt(2)*tau^(7.0/2.0)'
    >>> rcode(sin(x), assign_to="s")
    's = sin(x);'

    Simple custom printing can be defined for certain types by passing a
    dictionary of {"type" : "function"} to the ``user_functions`` kwarg.
    Alternatively, the dictionary value can be a list of tuples i.e.
    [(argument_test, cfunction_string)].

    >>> custom_functions = {
    ...   "ceiling": "CEIL",
    ...   "Abs": [(lambda x: not x.is_integer, "fabs"),
    ...           (lambda x: x.is_integer, "ABS")],
    ...   "func": "f"
    ... }
    >>> func = Function('func')
    >>> rcode(func(Abs(x) + ceiling(x)), user_functions=custom_functions)
    'f(fabs(x) + CEIL(x))'

    or if the R-function takes a subset of the original arguments:

    >>> rcode(2**x + 3**x, user_functions={'Pow': [
    ...   (lambda b, e: b == 2, lambda b, e: 'exp2(%s)' % e),
    ...   (lambda b, e: b != 2, 'pow')]})
    'exp2(x) + pow(3, x)'

    ``Piecewise`` expressions are converted into conditionals. If an
    ``assign_to`` variable is provided an if statement is created, otherwise
    the ternary operator is used. Note that if the ``Piecewise`` lacks a
    default term, represented by ``(expr, True)`` then an error will be thrown.
    This is to prevent generating an expression that may not evaluate to
    anything.

    >>> from sympy import Piecewise
    >>> expr = Piecewise((x + 1, x > 0), (x, True))
    >>> print(rcode(expr, assign_to=tau))
    tau = ifelse(x > 0,x + 1,x);

    Support for loops is provided through ``Indexed`` types. With
    ``contract=True`` these expressions will be turned into loops, whereas
    ``contract=False`` will just print the assignment expression that should be
    looped over:

    >>> from sympy import Eq, IndexedBase, Idx
    >>> len_y = 5
    >>> y = IndexedBase('y', shape=(len_y,))
    >>> t = IndexedBase('t', shape=(len_y,))
    >>> Dy = IndexedBase('Dy', shape=(len_y-1,))
    >>> i = Idx('i', len_y-1)
    >>> e=Eq(Dy[i], (y[i+1]-y[i])/(t[i+1]-t[i]))
    >>> rcode(e.rhs, assign_to=e.lhs, contract=False)
    'Dy[i] = (y[i + 1] - y[i])/(t[i + 1] - t[i]);'

    Matrices are also supported, but a ``MatrixSymbol`` of the same dimensions
    must be provided to ``assign_to``. Note that any expression that can be
    generated normally can also exist inside a Matrix:

    >>> from sympy import Matrix, MatrixSymbol
    >>> mat = Matrix([x**2, Piecewise((x + 1, x > 0), (x, True)), sin(x)])
    >>> A = MatrixSymbol('A', 3, 1)
    >>> print(rcode(mat, A))
    A[0] = x^2;
    A[1] = ifelse(x > 0,x + 1,x);
    A[2] = sin(x);

    )r;   doprint)r   	assign_torY   r[   r[   r\   rcode*  s   kr   c                 K   s   t t| fi | dS )z0Prints R representation of the given expression.N)printr   )r   rY   r[   r[   r\   print_rcode  s   r   rl   )r   typingr   r   tDictsympy.printing.codeprinterr   sympy.printing.precedencer   r   sympy.sets.fancysetsr   rR   rW   r;   r   r   r[   r[   r[   r\   <module>   sr    
	
# 
_n