o e7 @sdZddlmZddlmZddlmZddlmZddl m Z m Z ddl m Z idd d d d d d d d d ddddddddddddddddddddddddddddddd d!d"d#d$d% Zgd&ZGd'd(d(eZd.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. ) annotations)Any) equal_valued) CodePrinter) precedence PRECEDENCE)RangeZAbsabssincostanasinacosatanatan2explogerfsinhcoshtanhasinhacoshatanhfloorceilingsignmaxmin factorialgammadigammatrigammabetasqrt) rrrZMaxZMinrr r!r"r#r$)ifelserepeatwhilefunctionforinnextbreakTRUEFALSENULLInfNaNZNAZ NA_integer_ZNA_real_Z NA_complex_Z NA_character_Zvolatilec s(eZdZUdZdZdZdddiddedd d Zd ed <d dddZ iZ ded<ifddZ ddZ ddZ ddZddZddZdd Zd!d"Zd#d$Zd%d&Zd'd(Zd)d*Zd+d,Zd-d.Zd/d0Zd1d2Zd3d4Zd5d6Zd7d8Zd9d:Zfd;d<Zd=d>Z d?d@Z!dAdBZ"dCdDZ#Z$S)E RCodePrinterz;A printer to convert SymPy expressions to strings of R codeZ_rcodeRNautoTF_) orderZ full_prec precisionuser_functionsZhumancontract dereferenceZerror_on_reservedZreserved_word_suffixzdict[str, Any]_default_settings&|!)andornotzdict[str, str] _relationalscCsNt||tt|_|di}|j|t|dg|_tt|_dS)Nr:r<) r__init__dictknown_functionsgetupdateset _dereferencereserved_words)selfsettingsZ userfuncsrODD:\Projects\ConvertPro\env\Lib\site-packages\sympy/printing/rcode.pyrEfs    zRCodePrinter.__init__cCs|dS)NrO)rMprOrOrP_rate_index_positionnz!RCodePrinter._rate_index_positioncCsd|S)Nz%s;rO)rMZ codestringrOrOrP_get_statementqrTzRCodePrinter._get_statementcCs d|S)Nz// {}format)rMtextrOrOrP _get_commentt zRCodePrinter._get_commentcCs d||S)Nz{} = {};rV)rMnamevaluerOrOrP_declare_number_constw z"RCodePrinter._declare_number_constcCs ||SN) indent_code)rMlinesrOrOrP _format_codezrZzRCodePrinter._format_codecs |j\}fddt|DS)Nc3s&|]}tD]}||fVqqdSr_)range).0ijcolsrOrP s$z8RCodePrinter._traverse_matrix_indices..)shaperc)rMmatrowsrOrgrP_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)rMindicesZ open_linesZ close_linesZ loopstartrerOrOrP_get_loop_opening_endings  z%RCodePrinter._get_loop_opening_endingcCsvd|jvr ||St|}t|jdrd||j|St|jdr+d||jSd||j|||j|fS)NPowz1.0/%sg?zsqrt(%s)z%s^%s)rGZ_print_Functionrrr parenthesizebasert)rMexprZPRECrOrOrP _print_Pows     zRCodePrinter._print_PowcCs"t|jt|j}}d||fS)Nz %d.0/%d.0)intrRq)rMr~rRrrOrOrP_print_Rationals zRCodePrinter._print_Rationalcs0fdd|jD}d|jjd|fS)Ncsg|]}|qSrO)rt)rdrerMrOrP z/RCodePrinter._print_Indexed..z%s[%s]z, )rxrtr}rujoin)rMr~ZindsrOrrP_print_IndexedszRCodePrinter._print_IndexedcCs ||jSr_)rtrurMr~rOrOrP _print_Idxr^zRCodePrinter._print_IdxcCdS)Nzexp(1)rOrrOrOrP _print_Exp1zRCodePrinter._print_Exp1cCr)NpirOrrOrOrP _print_PirzRCodePrinter._print_PicCr)Nr1rOrrOrOrP_print_InfinityrzRCodePrinter._print_InfinitycCr)Nz-InfrOrrOrOrP_print_NegativeInfinityrz$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.astrZ"sympy.matrices.expressions.matexprrZsympy.tensor.indexedrlhsrhs isinstancermrtrsrZ _settingshasZ_doprint_loopsrU)rMr~rrrrrrarerftempZcode0lhs_coderhs_coderOrOrP_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,))argsZcondrtr~reversed)rMr~ last_linecodeecrOrOrP_print_Piecewises("zRCodePrinter._print_PiecewisecCsddlm}|||S)Nr) Piecewise)Zsympy.functionsrrtZrewrite)rMr~rrOrOrP _print_ITEs zRCodePrinter._print_ITEcCs2d|j|jtddd|j|j|jjdS)Nz{}[{}]ZAtomT)strictrn)rWr|parentrrfrerjrrOrOrP_print_MatrixElements z!RCodePrinter._print_MatrixElementcs$t|}||jvrd|S|S)Nz(*{}))super _print_SymbolrKrW)rMr~r[ __class__rOrPrs   zRCodePrinter._print_SymbolcCs,||j}||j}|j}d|||S)Nz{} {} {})rtrrZrel_oprW)rMr~rroprOrOrP_print_Relationals  zRCodePrinter._print_RelationalcCs,||j}|j}||j}d|||S)Nz {} {} {};)rtrrrrW)rMr~rrrrOrOrP_print_AugmentedAssignments  z'RCodePrinter._print_AugmentedAssignmentcCsT||j}t|jtr|jj\}}}ntd||j}dj|||d||dS)Nz*Only iterable currently supported is RangezCfor({target} in seq(from={start}, to={stop}, by={step}){{ {body} }}rn)targetrpstopstepbody) rtrriterablerrNotImplementedErrorrrW)rMr~rrprrrrOrOrP _print_Fors    zRCodePrinter._print_Forc st|tr||d}d|Sd}dddd|D}fdd|D}fd d|D}g}d }t|D]%\}} | d vrG|| q9|||8}|d ||| f|||7}q9|S) z0Accepts a string of code or a list of code linesTz ){(z{ z( )rrrcSsg|]}|dqS)z )lstriprdlinerOrOrPrrz,RCodePrinter.indent_code..c g|] }ttt|jqSrO)ranymapendswithr) inc_tokenrOrPrs crrO)rrr startswithr) dec_tokenrOrPrsr)rrz%s%s)rstrr` splitlinesr enumeraters) rMrZ code_linestabZincreaseZdecreaseprettylevelnrrO)rrrPr` s*     zRCodePrinter.indent_code)%__name__ __module__ __qualname____doc__Z printmethodlanguagerJr=__annotations__ _operatorsrDrErSrUrYr]rbrmryrrrrrrrrrrrrrrrrr` __classcell__rOrOrrPr3NsX     '   r3NcKst|||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); )r3Zdoprint)r~Z assign_torNrOrOrPrcode*skrcKstt|fi|dS)z0Prints R representation of the given expression.N)printr)r~rNrOrOrP print_rcodesrr_)r __future__rtypingrZsympy.core.numbersrZsympy.printing.codeprinterrZsympy.printing.precedencerrZsympy.sets.fancysetsrrGrLr3rrrOrOrOrPsv         # ] n