U Zʹj) @sdZddlmZddlmZmZmZddlmZddl m Z m Z ddl Z dZ dd d d d d ddddddddddddddddddd d!d"d#d$d%d&d'Ze D] Zeee<qejd(ejd)ejd*ejd+ejd,iZd-d.d/ZejgZGd0d1d1eZd6d2d3Zd4d5ZdS)7a  Maple code printer The MapleCodePrinter converts single SymPy expressions into single Maple expressions, using the functions defined in the Maple objects where possible. FIXME: This module is still under actively developed. Some functions may be not completed. )S)IntegerIntegerConstant equal_valued) CodePrinter) precedence PRECEDENCEN) sincostansecZcscZcotsinhcoshtanhZsechZcschZcothexpfloor factorialZ bernoulliZeulerZ fibonaccigcdZlcm conjugateZCiChiZEiZLiZSiZShierferfcZharmonicZLambertWsqrtabslnZarcsinZarccosZarctanZarcsecZarccscZarccotZarcsinhZarccoshZarctanhZarcsechZarccschZarccothceilmaxminZdoublefactorialZ pochhammerZBesselIZBesselJZBesselKZBesselYZHankelH1ZHankelH2ZAiryAiZAiryBiZAppellF1ZFresnelCZFresnelSZLerchPhi)ZAbslogasinacosatanZasecZacscZacotasinhacoshatanhZasechZacschZacothZceilingZMaxZMinZ factorial2ZRisingFactorialZbesseliZbesseljZbesselkZbesselyZhankelh1Zhankelh2ZairyaiZairybiZappellf1ZfresnelcZfresnelsZlerchphiPizexp(1)Catalangammaz(1/2 + (1/2)*sqrt(5))=z<>)z==z!=cs,eZdZdZdZdZddddZeej fddd Z dFfd d Z d dZ ddZ ddZ ddZddZddZddZddZddZdd Zd!d"Zd#d$Zd%d&Zd'd(Zd)d*Zd+d,Zd-d.Zd/d0Zd1d2ZdGd4d5Zd6d7Zd8d9Z d:d;Z!dd?Z#d@dAZ$dBdCZ%dDdEZ&Z'S)HMapleCodePrinterzF Printer which converts a SymPy expression into a maple code. Z_mapleZmapleandorznot )r*r+notT)inlineZallow_unknown_functionsNcs>|dkr i}t|tt|_|di}|j|dS)NZuser_functions)super__init__dictknown_functionsgetupdate)selfsettingsZ userfuncs __class__S/var/www/html/bwave/python/venv/lib/python3.8/site-packages/sympy/printing/maple.pyr/fs    zMapleCodePrinter.__init__cCsd|S)Nz%s;r8)r4Z codestringr8r8r9_get_statementnszMapleCodePrinter._get_statementcCs d|S)Nz# {})format)r4textr8r8r9 _get_commentqszMapleCodePrinter._get_commentcCsd|||jdS)Nz {} := {}; precision)r;ZevalfZ _settings)r4namevaluer8r8r9_declare_number_consttsz&MapleCodePrinter._declare_number_constcCs|SNr8)r4linesr8r8r9 _format_codexszMapleCodePrinter._format_codecCs|t|SrB_printlistr4exprr8r8r9 _print_tuple{szMapleCodePrinter._print_tuplecCs|t|SrBrErHr8r8r9 _print_Tuple~szMapleCodePrinter._print_TuplecCs&||j}||j}dj||dS)Nz{lhs} := {rhs})lhsrhs)rFrLrMr;)r4rIrLrMr8r8r9_print_Assignments  z"MapleCodePrinter._print_AssignmentcKst|}t|jdr&d||j|St|jdrBd||jSt|jdr^d||jSdj||j|||j|dSdS) Nz1/%sg?zsqrt(%s)gz 1/sqrt(%s)z {base}^{exp})baser)rrr parenthesizerPrFr;)r4rIkwargsPRECr8r8r9 _print_Pows     zMapleCodePrinter._print_PowcsT|jdjdk r*|jdjtjkr*tdfdd|jD}d|}dj|dS) NrOTzAll 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.csNg|]F\}}|dk r8|tjk r8dj||dndj|dqS)Tz{c}, {e})cez{e})rV)r BooleanTruer;rF).0rVrUr4r8r9 sz5MapleCodePrinter._print_Piecewise..z, zpiecewise({_inbrace}))_inbrace)argsZcondrrW ValueErrorjoinr;)r4rIZ _coup_listr[r8rYr9_print_Piecewises"  z!MapleCodePrinter._print_PiecewisecCs,t|jt|j}}djt|t|dS)Nz{p}/{q})pq)intr`rar;str)r4rIr`rar8r8r9_print_Rationalsz MapleCodePrinter._print_RationalcCsJt|}||j|}||j|}|j}|tkr:t|}dj|||dS)Nz{lhs} {rel_op} {rhs})rLrel_oprM)rrQrLrMrespec_relational_opsr;)r4rIrSZlhs_codeZrhs_codeopr8r8r9_print_Relationalsz"MapleCodePrinter._print_RelationalcCst|SrB)number_symbolsrHr8r8r9_print_NumberSymbolsz$MapleCodePrinter._print_NumberSymbolcCsdS)Nz -infinityr8rHr8r8r9_print_NegativeInfinitysz(MapleCodePrinter._print_NegativeInfinitycCsdS)Ninfinityr8rHr8r8r9_print_Infinitysz MapleCodePrinter._print_InfinitycCs ||jSrB)rFlabelrHr8r8r9 _print_IdxszMapleCodePrinter._print_IdxcCsdS)Ntruer8rHr8r8r9_print_BooleanTruesz#MapleCodePrinter._print_BooleanTruecCsdS)Nfalser8rHr8r8r9_print_BooleanFalsesz$MapleCodePrinter._print_BooleanFalsecCs |rdSdS)Nrprrr8rHr8r8r9 _print_boolszMapleCodePrinter._print_boolcCsdS)NZ undefinedr8rHr8r8r9 _print_NaNszMapleCodePrinter._print_NaNFcCsFtj|jkr"dj|rdndd}n dj|||r:dndd}|S)NzMatrix([], storage = {storage})sparseZ rectangular)storagez#Matrix({list}, storage = {storage}))rGrw)rZZeroshaper;rFtolist)r4rIrvZ_strMr8r8r9 _get_matrixs    zMapleCodePrinter._get_matrixcCs:dj|j|jtddd||jd||jddS)Nz{parent}[{i_maple}, {j_maple}]ZAtomT)strict)parentZi_mapleZj_maple)r;rQr}rrFijrHr8r8r9_print_MatrixElements z%MapleCodePrinter._print_MatrixElementcCs|j|ddS)NFrvrzrHr8r8r9_print_MatrixBasesz"MapleCodePrinter._print_MatrixBasecCs|j|ddS)NTrrrHr8r8r9_print_SparseRepMatrixsz'MapleCodePrinter._print_SparseRepMatrixcCs8t|jttfr |t|Sdj||jdSdS)Nz$Matrix({var_size}, shape = identity))Zvar_size) isinstancerowsrrrFsympyZ SparseMatrixr;rHr8r8r9_print_Identitysz MapleCodePrinter._print_Identitycst|t|j}d}t|dtjtjtjtjfsJ|d|dd}}|dksZ|dkrtd fdd|DSdj |d fdd|DdSdS) Nrr|.c3s|]}|VqdSrBrQrX_mrSr4r8r9 sz1MapleCodePrinter._print_MatMul..z{c}*{m}c3s|]}|VqdSrBrrrr8r9rs)rUm) rrGr\rrZ MatrixBaseZ MatrixExprZ MatrixSliceZ MatrixSymbolr^r;)r4rI _fact_listZ_constr8rr9 _print_MatMuls zMapleCodePrinter._print_MatMulcCsdj||j||jdS)NzMatrixPower({A}, {n}))An)r;rFrPrrHr8r8r9 _print_MatPowszMapleCodePrinter._print_MatPowcs,t|t|j}dfdd|DS)N*c3s|]}|VqdSrBrrrr8r9rsz:MapleCodePrinter._print_HadamardProduct..)rrGr\r^)r4rIrr8rr9_print_HadamardProducts z'MapleCodePrinter._print_HadamardProductcCsX|j\}\}}|dkr2dj||||d}ndj||d}dj|||dS)Nr|z {var}${order})varorderz{var})rzdiff({func_expr}, {sec_arg}))Z func_exprZsec_arg)r\r;rF)r4rI_fZ_var_orderZ _second_argr8r8r9_print_Derivatives z"MapleCodePrinter._print_Derivative)N)F)(__name__ __module__ __qualname____doc__Z printmethodlanguage _operatorsr0rZ_default_settingsr/r:r=rArDrJrKrNrTr_rdrhrjrkrmrorqrsrtrurzrrrrrrrr __classcell__r8r8r6r9r)TsP    r)cKst|||S)aUConverts ``expr`` to a string of Maple 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 can be helpful for expressions that generate multi-line statements. precision : integer, optional The precision for numbers such as pi [default=16]. 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, cfunction_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]. inline: bool, optional If True, we try to create single-statement code instead of multiple statements. [default=True]. )r)Zdoprint)rIZ assign_tor5r8r8r9 maple_codes$rcKstt|f|dS)a&Prints the Maple representation of the given expression. See :func:`maple_code` for the meaning of the optional arguments. Examples ======== >>> from sympy import print_maple_code, symbols >>> x, y = symbols('x y') >>> print_maple_code(x, assign_to=y) y := x N)printr)rIr5r8r8r9print_maple_code-s r)N)rZ sympy.corerZsympy.core.numbersrrrZsympy.printing.codeprinterrZsympy.printing.precedencerrrZ_known_func_same_namer1Z_funcr%ZExp1r&Z EulerGammaZ GoldenRatiorirfZComplexInfinityZnot_supported_symbolr)rrr8r8r8r9sx   $  3 '