U
    ZÊ¹j/  ã                   @  s¦   d Z ddlmZ ddlmZ ddlmZ ddlmZ ddl	m
Z
 ddlmZmZ 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d„ de
ƒZd%d!d"„Zd#d$„ Zd S )&zÅ
Javascript code printer

The JavascriptCodePrinter converts single SymPy expressions into single
Javascript expressions, using the functions defined in the Javascript
Math object where possible.

é    )Úannotations)ÚAny)ÚS)Úequal_valued)ÚCodePrinter)Ú
precedenceÚ
PRECEDENCEzMath.absz	Math.acosz
Math.acoshz	Math.asinz
Math.asinhz	Math.atanz
Math.atan2z
Math.atanhz	Math.ceilzMath.cosz	Math.coshzMath.expz
Math.floorzMath.logzMath.maxzMath.minz	Math.signzMath.sinz	Math.sinhzMath.tanz	Math.tanh)ZAbsÚacosÚacoshÚasinÚasinhÚatanÚatan2ÚatanhZceilingÚcosÚcoshÚexpÚfloorÚlogZMaxZMinÚsignÚsinÚsinhÚtanÚtanhc                   @  sä   e Zd ZU dZdZdZeejfdi ddœŽZde	d< 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)d*„ Zd+d,„ Zd-d.„ Zd/d0„ Zd1d2„ Zd3S )4ÚJavascriptCodePrinterzK"A Printer to convert Python expressions to strings of JavaScript code
    Z_javascriptÚ
JavaScripté   T)Ú	precisionÚuser_functionsZcontractzdict[str, Any]Ú_default_settingsc                 C  s2   t  | |¡ ttƒ| _| di ¡}| j |¡ d S )Nr   )r   Ú__init__ÚdictÚknown_functionsÚgetÚupdate)ÚselfÚsettingsZ	userfuncs© r'   úT/var/www/html/bwave/python/venv/lib/python3.8/site-packages/sympy/printing/jscode.pyr    :   s    
zJavascriptCodePrinter.__init__c                 C  s   |d S )Né   r'   )r%   Úpr'   r'   r(   Ú_rate_index_position@   s    z*JavascriptCodePrinter._rate_index_positionc                 C  s   d| S )Nz%s;r'   )r%   Z
codestringr'   r'   r(   Ú_get_statementC   s    z$JavascriptCodePrinter._get_statementc                 C  s
   d  |¡S )Nz// {})Úformat)r%   Útextr'   r'   r(   Ú_get_commentF   s    z"JavascriptCodePrinter._get_commentc                 C  s   d  || | jd ¡¡S )Nzvar {} = {};r   )r-   ZevalfZ	_settings)r%   ÚnameÚvaluer'   r'   r(   Ú_declare_number_constI   s    z+JavascriptCodePrinter._declare_number_constc                 C  s
   |   |¡S ©N)Úindent_code)r%   Úlinesr'   r'   r(   Ú_format_codeL   s    z"JavascriptCodePrinter._format_codec                   s    |j \}‰ ‡ fdd„t|ƒD ƒS )Nc                 3  s$   | ]}t ˆ ƒD ]}||fV  qqd S r3   )Úrange)Ú.0ÚiÚj©Úcolsr'   r(   Ú	<genexpr>Q   s     
  zAJavascriptCodePrinter._traverse_matrix_indices.<locals>.<genexpr>)Úshaper7   )r%   ZmatÚrowsr'   r;   r(   Ú_traverse_matrix_indicesO   s    
z.JavascriptCodePrinter._traverse_matrix_indicesc              
   C  sZ   g }g }d}|D ]@}|  ||  |j¡|  |j¡|  |jd ¡dœ ¡ |  d¡ q||fS )NzAfor (var %(varble)s=%(start)s; %(varble)s<%(end)s; %(varble)s++){é   )ZvarbleÚstartÚendÚ})ÚappendÚ_printÚlabelÚlowerÚupper)r%   ÚindicesZ
open_linesZclose_linesZ	loopstartr9   r'   r'   r(   Ú_get_loop_opening_endingS   s    

ý
z.JavascriptCodePrinter._get_loop_opening_endingc                 C  s‚   t |ƒ}t|jdƒr&d|  |j|¡ S t|jdƒrBd|  |j¡ S |jtjd krbd|  |j¡ S d|  |j¡|  |j¡f S d S )Néÿÿÿÿz1/%sg      à?zMath.sqrt(%s)é   zMath.cbrt(%s)zMath.pow(%s, %s))r   r   r   ÚparenthesizeÚbaserF   r   ÚOne)r%   ÚexprÚPRECr'   r'   r(   Ú
_print_Pow`   s    
ÿz JavascriptCodePrinter._print_Powc                 C  s"   t |jƒt |jƒ }}d||f S )Nz%d/%d)Úintr*   Úq)r%   rQ   r*   rU   r'   r'   r(   Ú_print_Rationall   s    z%JavascriptCodePrinter._print_Rationalc                   sn   |j \}}t|ƒ‰ ‡ ‡fdd„|j D ƒ\}}|jr8|jsD|jrR|jrR|› d|› �S d|› d|› d|› d|› �S )Nc                   s   g | ]}ˆ  |ˆ ¡‘qS r'   )rN   )r8   Úarg©rR   r%   r'   r(   Ú
<listcomp>s   s     z4JavascriptCodePrinter._print_Mod.<locals>.<listcomp>z % z((z) + z) % )Úargsr   Zis_nonnegativeZis_nonpositive)r%   rQ   ÚnumZdenZsnumZsdenr'   rX   r(   Ú
_print_Modp   s    
ÿÿz JavascriptCodePrinter._print_Modc                 C  s,   |   |j¡}|   |j¡}|j}d |||¡S )Nz{} {} {})rF   ÚlhsÚrhsZrel_opr-   )r%   rQ   Zlhs_codeZrhs_codeÚopr'   r'   r(   Ú_print_Relational|   s    z'JavascriptCodePrinter._print_Relationalc                 C  s`   |j }tj}tj}tt|jƒƒD ]"}||j| | 7 }||| 9 }q d|  |j	j
¡|  |¡f S )Nz%s[%s])r>   r   ZZerorP   Úreversedr7   ZrankrJ   rF   rO   rG   )r%   rQ   ZdimsÚelemÚoffsetr9   r'   r'   r(   Ú_print_Indexed‚   s    z$JavascriptCodePrinter._print_Indexedc                 C  s   |   |j¡S r3   )rF   rG   ©r%   rQ   r'   r'   r(   Ú
_print_IdxŒ   s    z JavascriptCodePrinter._print_Idxc                 C  s   dS )NzMath.Er'   re   r'   r'   r(   Ú_print_Exp1�   s    z!JavascriptCodePrinter._print_Exp1c                 C  s   dS )NzMath.PIr'   re   r'   r'   r(   Ú	_print_Pi’   s    zJavascriptCodePrinter._print_Pic                 C  s   dS )NzNumber.POSITIVE_INFINITYr'   re   r'   r'   r(   Ú_print_Infinity•   s    z%JavascriptCodePrinter._print_Infinityc                 C  s   dS )NzNumber.NEGATIVE_INFINITYr'   re   r'   r'   r(   Ú_print_NegativeInfinity˜   s    z-JavascriptCodePrinter._print_NegativeInfinityc           
        s"  ddl m} |jd jdkr$tdƒ‚g }| |¡rÊt|jƒD ]‚\}\}}|dkrf| dˆ  |¡ ¡ n:|t	|jƒd krŒ|dkrŒ| d¡ n| d	ˆ  |¡ ¡ ˆ  |¡}| |¡ | d
¡ q<d 
|¡S ‡ fdd„|jd d… D ƒ}dˆ  |jd j¡ }	d 
|¡|	 d 
dt	|ƒ g¡ S d S )Nr   )Ú
AssignmentrL   Tz¼All 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.z	if (%s) {rA   zelse {zelse if (%s) {rD   Ú
c                   s(   g | ] \}}d ˆ   |¡ˆ   |¡f ‘qS )z((%s) ? (
%s
)
)rF   )r8   ÚeÚc©r%   r'   r(   rY   ·   s   ÿz:JavascriptCodePrinter._print_Piecewise.<locals>.<listcomp>z: (
%s
)z: ú ú))Zsympy.codegen.astrk   rZ   ZcondÚ
ValueErrorÚhasÚ	enumeraterE   rF   ÚlenÚjoinrQ   )
r%   rQ   rk   r5   r9   rm   rn   Zcode0ZecpairsÚ	last_liner'   ro   r(   Ú_print_Piecewise›   s(    




ÿz&JavascriptCodePrinter._print_Piecewisec                 C  s2   d  | j|jtd dd�|j|j|jjd   ¡S )Nz{}[{}]ZAtomT)ÚstrictrA   )r-   rN   Úparentr   r:   r9   r>   re   r'   r'   r(   Ú_print_MatrixElement¼   s     ÿþz*JavascriptCodePrinter._print_MatrixElementc           
        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krŽ| |	¡ qr||| 8 }| d|| |	f ¡ ||| 7 }qr|S )z0Accepts a string of code or a list of code linesTÚ z   )Ú{ú(z{
z(
)rD   rq   c                 S  s   g | ]}|  d ¡‘qS )z 	)Úlstrip©r8   Úliner'   r'   r(   rY   Ì   s     z5JavascriptCodePrinter.indent_code.<locals>.<listcomp>c                   s    g | ]}t tt|jˆ ƒƒƒ‘qS r'   )rT   ÚanyÚmapÚendswithr€   )Ú	inc_tokenr'   r(   rY   Î   s     c                   s    g | ]}t tt|jˆ ƒƒƒ‘qS r'   )rT   r‚   rƒ   Ú
startswithr€   )Ú	dec_tokenr'   r(   rY   Ï   s   ÿr   )r|   rl   z%s%s)Ú
isinstanceÚstrr4   Ú
splitlinesrv   rt   rE   )
r%   ÚcodeZ
code_linesÚtabZincreaseZdecreaseÚprettyÚlevelÚnr�   r'   )r‡   r…   r(   r4   Á   s*    


ÿ
z!JavascriptCodePrinter.indent_codeN)Ú__name__Ú
__module__Ú__qualname__Ú__doc__ZprintmethodÚlanguager!   r   r   Ú__annotations__r    r+   r,   r/   r2   r6   r@   rK   rS   rV   r\   r`   rd   rf   rg   rh   ri   rj   rx   r{   r4   r'   r'   r'   r(   r   .   s:   
ý
!r   Nc                 K  s   t |ƒ | |¡S )aÈ  Converts an expr to a string of javascript 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 keys are ``FunctionClass`` instances and values are
        their string representations. Alternatively, the dictionary value can
        be a list of tuples i.e. [(argument_test, js_function_string)]. 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 jscode, symbols, Rational, sin, ceiling, Abs
    >>> x, tau = symbols("x, tau")
    >>> jscode((2*tau)**Rational(7, 2))
    '8*Math.sqrt(2)*Math.pow(tau, 7/2)'
    >>> jscode(sin(x), assign_to="s")
    's = Math.sin(x);'

    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,
    js_function_string)].

    >>> custom_functions = {
    ...   "ceiling": "CEIL",
    ...   "Abs": [(lambda x: not x.is_integer, "fabs"),
    ...           (lambda x: x.is_integer, "ABS")]
    ... }
    >>> jscode(Abs(x) + ceiling(x), user_functions=custom_functions)
    'fabs(x) + CEIL(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(jscode(expr, tau))
    if (x > 0) {
       tau = x + 1;
    }
    else {
       tau = 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]))
    >>> jscode(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(jscode(mat, A))
    A[0] = Math.pow(x, 2);
    if (x > 0) {
       A[1] = x + 1;
    }
    else {
       A[1] = x;
    }
    A[2] = Math.sin(x);
    )r   Zdoprint)rQ   Z	assign_tor&   r'   r'   r(   ÚjscodeÞ   s    ir–   c                 K  s   t t| f|Žƒ dS )z€Prints the Javascript representation of the given expression.

       See jscode for the meaning of the optional arguments.
    N)Úprintr–   )rQ   r&   r'   r'   r(   Úprint_jscodeJ  s    r˜   )N)r“   Ú
__future__r   Útypingr   Z
sympy.corer   Zsympy.core.numbersr   Zsympy.printing.codeprinterr   Zsympy.printing.precedencer   r   r"   r   r–   r˜   r'   r'   r'   r(   Ú<module>   s@   	ë 1
l