o 8Va 9 @sdZddlmZmZddlmZddlmZmZddl m Z iddddd d d d d d d d d d ddddddddddddddddddddddddddddd d!d" Z gd#Z Gd$d%d%eZ d+d'd(Zd)d*Zd&S),z R code printer The RCodePrinter converts single sympy expressions into single R expressions, using the functions defined in math.h where possible. )AnyDict) CodePrinter) precedence PRECEDENCE)RangeZAbsabssinZcosZtanZasinZacosZatanZatan2explogZerfZsinhZcoshZtanhZasinhZacoshZatanhfloorceilingsignmaxmin factorialgammadigammatrigammabeta) r r rZMaxZMinrrrrr)ifelserepeatwhilefunctionforinnextbreakZTRUEZFALSEZNULLInfZNaNZNAZ NA_integer_ZNA_real_Z NA_complex_Z NA_character_Zvolatilec seZdZdZdZdZdddiddedd d Zd d d dZiZ ifddZ ddZ ddZ ddZ ddZddZddZddZdd Zd!d"Zd#d$Zd%d&Zd'd(Zd)d*Zd+d,Zd-d.Zd/d0Zd1d2Zd3d4Zd5d6Zfd7d8Zd9d:Zd;d<Z d=d>Z!d?d@Z"dAdBZ#Z$S)C RCodePrinterz}s$z8RCodePrinter._traverse_matrix_indices..)shaperL)r6ZmatZrowsr8rPr9_traverse_matrix_indices{s z%RCodePrinter._traverse_matrix_indicesc Cs^g}g}d}|D]"}||||j||jd||jdd|dq||fS)zPReturns a tuple (open_lines, close_lines) containing lists of codelines z#for (%(var)s in %(start)s:%(end)s){)varstartend})append_printlabellowerupper)r6indicesZ open_linesZ close_linesZ loopstartrNr8r8r9_get_loop_opening_endings  z%RCodePrinter._get_loop_opening_endingcCsrd|jvr ||St|}|jdkrd||j|S|jdkr)d||jSd||j|||j|fS)NZPowz1.0/%sg?zsqrt(%s)z%s^%s)r0Z_print_Functionrr parenthesizebaserZ)r6exprZPRECr8r8r9 _print_Pows     zRCodePrinter._print_PowcCs"t|jt|j}}d||fS)Nz %d.0/%d.0)intr;q)r6rcr;rfr8r8r9_print_Rationals zRCodePrinter._print_Rationalcs0fdd|jD}d|jjd|fS)Ncsg|]}|qSr8)rZ)rMrNr6r8r9 z/RCodePrinter._print_Indexed..z%s[%s]z, )r^rZrbr[join)r6rcZindsr8rhr9_print_IndexedszRCodePrinter._print_IndexedcCs ||jSrH)rZr[r6rcr8r8r9 _print_IdxrGzRCodePrinter._print_IdxcCdS)Nzexp(1)r8rmr8r8r9 _print_Exp1zRCodePrinter._print_Exp1cCro)NZpir8rmr8r8r9 _print_PirqzRCodePrinter._print_PicCro)Nrr8rmr8r8r9_print_InfinityrqzRCodePrinter._print_InfinitycCro)Nz-Infr8rmr8r8r9_print_NegativeInfinityrqz$RCodePrinter._print_NegativeInfinitycCsddlm}ddlm}ddlm}|j}|j}t||rEg}| |D]\}} |||| f||| f} | | } | | q$d |S|j drZ||sT||rZ|||S| |} | |} |d| | fS)Nr) Assignment) MatrixSymbol) IndexedBase r&z%s = %s)Zsympy.codegen.astruZ"sympy.matrices.expressions.matexprrvZsympy.tensor.indexedrwlhsrhs isinstancerSrZrYrkZ _settingsZhasZ_doprint_loopsr>)r6rcrurvrwryrzrJrNrOZtempZcode0lhs_coderhs_coder8r8r9_print_Assignments&          zRCodePrinter._print_AssignmentcCs|jdjdkrd||jdj}nd||jdj||jdjf}|}t|jddD]\}}d||||f|d}q3|S)Nr`Tz%szifelse(%s,%s,NA)z ifelse(%s,%s,))argsZcondrZrcreversed)r6rc last_linecodeecr8r8r9_print_Piecewises("zRCodePrinter._print_PiecewisecCs:ddlm}||jd|jdf|jddf}||S)Nr PiecewiserTT)sympy.functionsrrrZ)r6rcr _piecewiser8r8r9 _print_ITEs $ zRCodePrinter._print_ITEcCs2d|j|jtddd|j|j|jjdS)Nz{}[{}]ZAtomT)strictrT)r@raparentrrOrNrRrmr8r8r9_print_MatrixElements z!RCodePrinter._print_MatrixElementcs$t|}||jvrd|S|S)Nz(*{}))super _print_Symbolr4r@)r6rcrD __class__r8r9rs   zRCodePrinter._print_SymbolcCs,||j}||j}|j}d|||S)Nz{} {} {})rZryrzZrel_opr@)r6rcr|r}opr8r8r9_print_Relationals  zRCodePrinter._print_RelationalcCs\ddlm}ddlm}ddlm}|||jd|jd||jddfd}||S)Nr)r )Ner)rTT)Z(sympy.functions.elementary.trigonometricr Zsympy.core.relationalrrrrrZ)r6rcr rrrr8r8r9 _print_sincs   ( zRCodePrinter._print_sinccCs,||j}|j}||j}d|||S)Nz {} {} {};)rZryrrzr@)r6rcr|rr}r8r8r9_print_AugmentedAssignments  z'RCodePrinter._print_AugmentedAssignmentcCsP||j}t|jtr|jj\}}}ntd||j}dj|||||dS)Nz*Only iterable currently supported is RangezLfor ({target} = {start}; {target} < {stop}; {target} += {step}) {{ {body} }})targetrVstopstepbody) rZrr{iterablerrNotImplementedErrorrr@)r6rcrrVrrrr8r8r9 _print_For s   zRCodePrinter._print_Forc st|tr||d}d|Sd}dddd|D}fdd|D}fd d|D}g}d }t|D])\}} | dksE| d krK|| q9|||8}|d ||| f|||7}q9|S) z0Accepts a string of code or a list of code linesTz ){(z{ z( )rXrcSsg|]}|dqS)z )lstriprMliner8r8r9ri rjz,RCodePrinter.indent_code..c g|] }ttt|jqSr8)reanymapendswithr) inc_tokenr8r9ri"s crr8)rerr startswithr) dec_tokenr8r9ri#srrxz%s%s)r{strrI splitlinesrk enumeraterY) r6rZ code_linesZtabZincreaseZdecreaseZprettylevelnrr8)rrr9rIs*     zRCodePrinter.indent_code)%__name__ __module__ __qualname____doc__Z printmethodlanguager3Z_default_settingsZ _operatorsZ _relationalsr.r<r>rBrFrKrSr_rdrgrlrnrprrrsrtr~rrrrrrrrrI __classcell__r8r8rr9r KsZ   '   r NcKst|||S)aConverts 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 Zdoprint)rcZ assign_tor7r8r8r9rcode2skrcKstt|fi|dS)z0Prints R representation of the given expression.N)printr)rcr7r8r8r9 print_rcodesrrH)rtypingrrZsympy.printing.codeprinterrZsympy.printing.precedencerrZsympy.sets.fancysetsrr0r5r rrr8r8r8r9sp       " h n