a
    RG5dAS                     @   s   d Z ddlmZmZ ddlmZmZmZm	Z	 ddl
mZ ddddd	d
 ddfdd
 ddfdd
 ddfdd
 ddfdd
 ddfdd
 ddfdd
 ddfgdd
 ddfgdddd d!d"d#d$d%d&d'd(d)d*d+d,dd-Zg d.ZG d/d0 d0eZd6d2d3Zd4d5 Zd1S )7a  
Rust code printer

The `RustCodePrinter` converts SymPy expressions into Rust expressions.

A complete code generator, which uses `rust_code` extensively, can be found
in `sympy.utilities.codegen`. The `codegen` module can be used to generate
complete source code files.

    )AnyDict)SRationalFloatLambda)CodePrinterfloorceilabssignumc                 C   s   |t j kS Nr   Onebaseexp r   O/var/www/html/django/DPS/env/lib/python3.9/site-packages/sympy/printing/rust.py<lambda>G       r   recip   c                 C   s
   |t jkS r   r   Halfr   r   r   r   r   H   r   sqrtc                 C   s   |t j kS r   r   r   r   r   r   r   I   r   zsqrt().recipc                 C   s   |t ddkS )N      )r   r   r   r   r   r   J   r   cbrtc                 C   s   | t jd kS )Nr   r   r   r   r   r   r   K   r   exp2r   c                 C   s   |j S r   
is_integerr   r   r   r   r   L   r   Zpowir   c                 C   s   |j  S r   r    r   r   r   r   r   M   r   Zpowfc                 C   s   dS )NTr   )r   r   r   r   r   N   r   r   lnmaxminsincostanasinacosatanatan2sinhcoshtanhasinhacoshatanh)r	   ceilingAbssignPowr   logMaxMinr%   r&   r'   r(   r)   r*   r+   r,   r-   r.   r/   r0   r1   r   )4abstractZalignofasZbecomeboxbreakconstcontinueZcratedoelseenumexternfalsefinalfnforifimplinZletloopZmacromatchmodmoveZmutZoffsetofoverrideZprivprocZpubpurerefreturnZSelfselfsizeofstaticstructsuperZtraittruetypeZtypeofunsafeZunsizedusevirtualwherewhileyieldc                       sl  e Zd ZdZdZdZdddi dde dd	dd

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dO fd!d"	ZdP fd#d$	Zd%d& Zd'd( Zd)d* Zd+d, Zd-d. ZdQd/d0ZdRd1d2ZdSd3d4ZdTd5d6ZdUd7d8ZdVd9d:ZdWd;d<Z dXd=d>Z!d?d@ Z"dAdB Z#dCdD Z$dEdF Z%dGdH Z& fdIdJZ'dKdL Z(dMdN Z)  Z*S )YRustCodePrinterz>A printer to convert SymPy expressions to strings of Rust codeZ
_rust_codeRustNauto   TF_)
order	full_prec	precisionuser_functionshumancontractdereferenceerror_on_reservedreserved_word_suffixinlinec                 C   sN   t | | tt| _|di }| j| t|dg | _tt| _d S )Nrh   rk   )	r   __init__dictknown_functionsgetupdateset_dereferencereserved_words)rS   settings	userfuncsr   r   r   ro      s    
zRustCodePrinter.__init__c                 C   s   |d S )N   r   )rS   pr   r   r   _rate_index_position   s    z$RustCodePrinter._rate_index_positionc                 C   s   d| S )Nz%s;r   )rS   
codestringr   r   r   _get_statement   s    zRustCodePrinter._get_statementc                 C   s   d| S )Nz// %sr   )rS   textr   r   r   _get_comment   s    zRustCodePrinter._get_commentc                 C   s   d||f S )Nzconst %s: f64 = %s;r   )rS   namevaluer   r   r   _declare_number_const   s    z%RustCodePrinter._declare_number_constc                 C   s
   |  |S r   )indent_code)rS   linesr   r   r   _format_code   s    zRustCodePrinter._format_codec                    s    |j \}  fddt|D S )Nc                 3   s$   | ]}t  D ]}||fV  qqd S r   )range).0ijcolsr   r   	<genexpr>  r   z;RustCodePrinter._traverse_matrix_indices.<locals>.<genexpr>)shaper   )rS   matrowsr   r   r   _traverse_matrix_indices  s    
z(RustCodePrinter._traverse_matrix_indicesc              
   C   sX   g }g }d}|D ]>}| || || |j| |jd d  | d q||fS )Nz#for %(var)s in %(start)s..%(end)s {r   )varstartend})append_printlowerupper)rS   indices
open_linesclose_lines	loopstartr   r   r   r   _get_loop_opening_ending  s    

z(RustCodePrinter._get_loop_opening_endingc                 C   sB   t |jdkr d| | d S |jr4| j|ddS | |S d S )Nr   ()T)_type)lenargsr   	is_numberrS   exprr   r   r   _print_caller_var  s
    z!RustCodePrinter._print_caller_varc           	         s  |j j jv r j|j j }d}d}t|tr6|}n|D ]\}}}||j r: qTq:|dur|dkrd |jd |t|jdkr |jdd dndd }n`|dkrd	 |jd |d
 }n<|dkrd	 |jd |d
 }nd| |jdd }|S nt	|dr:t|j
tr: |j
|j S |j j jv r j|j j \}} |rt fdd|D r ||S n
 |S dS )a<  
        basic function for printing `Function`

        Function Style :

        1. args[0].func(args[1:]), method with arguments
        2. args[0].func(), method without arguments
        3. args[1].func(), method without arguments (e.g. (e, x) => x.exp())
        4. func(args), function with arguments
        Nr   z%(var)s.%(method)s(%(args)s)r   ,  )r   methodr   r   z%(var)s.%(method)s())r   r   r   z%(func)s(%(args)s))funcr   _imp_c                 3   s   | ]}  |V  qd S r   )
_can_print)r   frS   r   r   r   Q  r   z2RustCodePrinter._print_Function.<locals>.<genexpr>)r   __name__rq   
isinstancestrr   r   r   	stringifyhasattrr   r   r   _rewriteable_functionsr   allrewrite_print_not_supported)	rS   r   	cond_funcr   stylecondrettarget_frequired_fsr   r   r   _print_Function  sL    


&


$zRustCodePrinter._print_Functionc                 C   s:   |j jr0|jjs0t|t|j |j}| |S | |S r   )r   r!   r   rY   r   r   r   r   r   r   r   
_print_PowV  s    
zRustCodePrinter._print_Powc                    s    t  |}|r|d S |S d S )NZ_f64)rW   _print_FloatrS   r   r   r   	__class__r   r   r   \  s    zRustCodePrinter._print_Floatc                    s    t  |}|r|d S |S d S )NZ_i32)rW   _print_Integerr   r   r   r   r   c  s    zRustCodePrinter._print_Integerc                 C   s"   t |jt |j }}d||f S )Nz%d_f64/%d.0)intrz   q)rS   r   rz   r   r   r   r   _print_Rationalj  s    zRustCodePrinter._print_Rationalc                 C   s,   |  |j}|  |j}|j}d|||S )Nz{} {} {})r   lhsrhsrel_opformat)rS   r   lhs_coderhs_codeopr   r   r   _print_Relationaln  s    z!RustCodePrinter._print_Relationalc                 C   s`   |j }tj}tj}tt|jD ]"}||j| | 7 }||| 9 }q d| |j	j
| |f S )N%s[%s])r   r   Zeror   reversedr   rankr   r   r   label)rS   r   dimselemoffsetr   r   r   r   _print_Indexedt  s    zRustCodePrinter._print_Indexedc                 C   s   |j jS r   )r   r   r   r   r   r   
_print_Idx~  s    zRustCodePrinter._print_Idxc                 C   s   |j S r   )r   r   r   r   r   _print_Dummy  s    zRustCodePrinter._print_Dummyc                 C   s   dS )NEr   rS   r   r   r   r   r   _print_Exp1  s    zRustCodePrinter._print_Exp1c                 C   s   dS )NPIr   r   r   r   r   	_print_Pi  s    zRustCodePrinter._print_Pic                 C   s   dS )NINFINITYr   r   r   r   r   _print_Infinity  s    zRustCodePrinter._print_Infinityc                 C   s   dS )NZNEG_INFINITYr   r   r   r   r   _print_NegativeInfinity  s    z'RustCodePrinter._print_NegativeInfinityc                 C   s   dS )NrX   r   r   r   r   r   _print_BooleanTrue  s    z"RustCodePrinter._print_BooleanTruec                 C   s   dS )NrC   r   r   r   r   r   _print_BooleanFalse  s    z#RustCodePrinter._print_BooleanFalsec                 C   s   t | S r   )r   r   r   r   r   r   _print_bool  s    zRustCodePrinter._print_boolc                 C   s   dS )NNANr   r   r   r   r   
_print_NaN  s    zRustCodePrinter._print_NaNc                 C   s   |j d jdkrtdg }t|j D ]\}\}}|dkrP|d| |  nF|t|j d kr||dkr||d  d7  < n|d  d| | 7  < | |}|| |d	 q&| jd
 rd|S d|S d S )NTzAll Piecewise expressions must contain an (expr, True) statement to be used as a default condition. Without one, the generated expression may not evaluate to anything under some condition.r   z	if (%s) {r   z else {z else if (%s) {r   rn    
)	r   r   
ValueError	enumerater   r   r   	_settingsjoin)rS   r   r   r   eccode0r   r   r   _print_Piecewise  s    



z RustCodePrinter._print_Piecewisec                 C   s    ddl m} | |j|ddS )Nr   )	PiecewiseF)deep)sympy.functionsr   r   r   )rS   r   r   r   r   r   
_print_ITE  s    zRustCodePrinter._print_ITEc                    s2   |j dkr&dd fdd|D  S tdd S )Nr   z[%s]r   c                 3   s   | ]}  |V  qd S r   )r   )r   ar   r   r   r     r   z4RustCodePrinter._print_MatrixBase.<locals>.<genexpr>zLFull Matrix Support in Rust need Crates (https://crates.io/keywords/matrix).)r   r   r   )rS   Ar   r   r   _print_MatrixBase  s    
z!RustCodePrinter._print_MatrixBasec                 C   s
   |  |S r   )r   )rS   r   r   r   r   _print_SparseRepMatrix  s    z&RustCodePrinter._print_SparseRepMatrixc                 C   s"   d|j |j|j|j jd   f S )Nr   r   )parentr   r   r   r   r   r   r   _print_MatrixElement  s    z$RustCodePrinter._print_MatrixElementc                    s&   t  |}|| jv rd| S |S d S )Nz(*%s))rW   _print_Symbolru   )rS   r   r   r   r   r   r     s    
zRustCodePrinter._print_Symbolc                 C   sl   ddl m} |j}|j}| jd rB||s6||rB| ||S | |}| |}| d||f S d S )Nr   )IndexedBaserj   z%s = %s)	sympy.tensor.indexedr   r   r   r   has_doprint_loopsr   r}   )rS   r   r   r   r   r   r   r   r   r   _print_Assignment  s    

z!RustCodePrinter._print_Assignmentc           
         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 ]J\}}	|	dv r||	 qr||| 8 }|d|| |	f  ||| 7 }qr|S )z0Accepts a string of code or a list of code linesTr   z    ){r   z{
z(
)r   r   c                 S   s   g | ]}| d qS )z 	)lstripr   liner   r   r   
<listcomp>  r   z/RustCodePrinter.indent_code.<locals>.<listcomp>c                    s    g | ]}t tt|j qS r   )r   anymapendswithr  )	inc_tokenr   r   r    r   c                    s    g | ]}t tt|j qS r   )r   r  r	  
startswithr  )	dec_tokenr   r   r    s   r   )r   r   z%s%s)r   r   r   
splitlinesr   r   r   )
rS   code
code_linestabincreasedecreaseprettylevelnr  r   )r  r  r   r     s*    



zRustCodePrinter.indent_code)F)F)F)F)F)F)F)F)F)F)+r   
__module____qualname____doc__printmethodlanguagert   _default_settingsro   r{   r}   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r  r   __classcell__r   r   r   r   r`      s`   8








	r`   Nc                 K   s   t || |S )a  Converts an expr to a string of Rust 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 C string representations. Alternatively, the
        dictionary value can be a list of tuples i.e. [(argument_test,
        cfunction_string)].  See below for examples.
    dereference : iterable, optional
        An iterable of symbols that should be dereferenced in the printed code
        expression. These would be values passed by address to the function.
        For example, if ``dereference=[a]``, the resulting code would print
        ``(*a)`` instead of ``a``.
    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 rust_code, symbols, Rational, sin, ceiling, Abs, Function
    >>> x, tau = symbols("x, tau")
    >>> rust_code((2*tau)**Rational(7, 2))
    '8*1.4142135623731*tau.powf(7_f64/2.0)'
    >>> rust_code(sin(x), assign_to="s")
    's = x.sin();'

    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", 4),
    ...           (lambda x: x.is_integer, "ABS", 4)],
    ...   "func": "f"
    ... }
    >>> func = Function('func')
    >>> rust_code(func(Abs(x) + ceiling(x)), user_functions=custom_functions)
    '(fabs(x) + x.CEIL()).f()'

    ``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(rust_code(expr, tau))
    tau = if (x > 0) {
        x + 1
    } else {
        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]))
    >>> rust_code(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(rust_code(mat, A))
    A = [x.powi(2), if (x > 0) {
        x + 1
    } else {
        x
    }, x.sin()];
    )r`   doprint)r   	assign_torw   r   r   r   	rust_code  s    mr   c                 K   s   t t| fi | dS )z3Prints Rust representation of the given expression.N)printr   )r   rw   r   r   r   print_rust_codem  s    r"  )N)r  typingr   r   tDict
sympy.corer   r   r   r   Zsympy.printing.codeprinterr   rq   rv   r`   r   r"  r   r   r   r   <module>   sP   !l6  &
p