a kh0^0@s~dZddlZddlZddlmZmZddlZdaddZddl m Z ddl m Z dd l mZgd Zd add d ZddZddZddZddZee Zdeed<ddeDZeddeDeded<eded<ded<ddZd dZd!deDZed"deDd#dZd$dZee Z de e d<d%de DZ!e!d&de Dede!d<ede!d<d'e!d<d(d)d*d+d,d-d.d/d0d1d2 Z"d3d4d5d6d7d8d9d:d;dd? Z#d@dZ$dAdZ%dBdZ&dCdZ'dDdZ(dEdZ)dFdZ*iZ+iZ,dGD]Z-e$e-e+e-<qdHD]Z-e(e-e,e-<qdID]Z.e%e.e+e.<q2dJdKe/dLDD]Z0e&e0e+e0<e)e0e,e0<qXdMD]Z1e'e1e+e1<e*e1e,e1<q|dNddOddPddQddRddSddTddUddVddWddXddYddZdd[dd\dd]dd^dd_dd`ddaZ2dbdZ3dcdZ4dddZ5dedZ6dfdZ7dgdZ8dhdZ9didZ:e6dje3dje7djfdjfe6dke3dke7dkfdkfe6dle4dle8dlfdlfe6dme4dme8dmfdmfe6dne3doe7doe5dofdofe6dne3dpe7dpe5dpfdpfedqedredsedteduedvedwedxedyedqedzed{fd|fedqed{edzfd}fe6dle6dle8dlfed~fe6dme6dme8dmfedfe6dle4dle6dlfedfe6dme4dme6dmfedfe6dededfed>fed{dededzfedfedededzed{dZ;dddddddddddddddZddZ?edededdZ@ddZAeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAddZBddddedfdedfdedfdddddddedăfdedƃr@edǃr@edƃedƃedǃndfdedɃr|edɃr|edǃr|edɃedɃedǃndfdedʃfd˜ZCdd̈́ZDed΃edσedЃedЃodedЃedуed҃edӃedӃoedӃedԃedՃedփed׃ed؃edكedڃedۃed܃ed݃edރed߃ededededʃededededdededededededededededededededededededredsd/ZEdddZFdddZGddZHeIJee/eKdeKdee/eKdeKdZLddZMddZNddZOdd ZPdd d ZQdd dZRdS(z=Symbolic primitives + unicode/ASCII abstraction for pretty.pyN)ascii_lowercaseascii_uppercasecCs2z t|WSty,td|7aYdS0dS)z Get a unicode character by name or, None if not found. This exists because older versions of Python use older unicode databases. zNo '%s' in unicodedata N) unicodedatalookupKeyErrorunicode_warnings)namer T/var/www/auris/lib/python3.9/site-packages/sympy/printing/pretty/pretty_symbology.pyU s    r )split_super_sub)greeks)sympy_deprecation_warning) greek_unicodesubsupxsymvobjhobj pretty_symbol annotated center_padcenterFcCs.|dur tS|r"tr"ttdat}|a|S)z8Set whether pretty-printer should use unicode by defaultNr) _use_unicoderwarningswarn)flagZuse_unicode_prevr r r pretty_use_unicode)s rc Csttjdd}|durdSg}|t7}|t7}|D]8}|durLdSz||Wq:typYdS0q:tddS)z>See if unicode output is available and leverage it if possibleencodingNT) getattrsysstdoutrvalues atoms_tableencodeUnicodeEncodeErrorr)rsymbolssr r r pretty_try_use_unicode9s    r)cGstddddt|S)Nzv The sympy.printing.pretty.pretty_symbology.xstr() function is deprecated. Use str() instead. z1.7z$deprecated-pretty-printing-functions)Zdeprecated_since_versionZactive_deprecations_target)rstr)argsr r r xstrXs r,cCstd|S)NzGREEK SMALL LETTER %sr upperlr r r dr1cCstd|S)NzGREEK CAPITAL LETTER %sr-r/r r r r1er2ZlamdalambdacCsi|]}|t|qSr g.0Lr r r lr2r9ccs.|]&}|d|ddt|fVqdSrNr.Gr6r r r mr2r>ZLamdaLambdauςZvarsigmacCstd|SNzMATHEMATICAL BOLD SMALL %sr-r/r r r r1ur2cCstd|S)NzMATHEMATICAL BOLD CAPITAL %sr-r/r r r r1vr2cCsi|]}|t|qSr )b)r7r0r r r r9xr2ccs|]}|t|fVqdSN)Br6r r r r>yr2cCstd|Sr@r-r/r r r r1|r2cCstd|S)NzMATHEMATICAL BOLD CAPITAL %sr-r/r r r r1}r2cCsi|]}|t|qSr r4r6r r r r9r2ccs.|]&}|d|ddt|fVqdSr:r<r6r r r r>r2u𝛓ZZEROZONEZTWOZTHREEZFOURZFIVEZSIXZSEVENZEIGHTZNINE) 0123456789z PLUS SIGNMINUSz EQUALS SIGNzLEFT PARENTHESISzRIGHT PARENTHESISzLEFT SQUARE BRACKETzRIGHT SQUARE BRACKETzLEFT CURLY BRACKETzRIGHT CURLY BRACKETz CURLY BRACKETZ SUMMATIONZINTEGRAL) +-=()[]{}{}sumintcCstd|S)NzLATIN SUBSCRIPT SMALL LETTER %sr-letterr r r r1r2cCstd|S)NzGREEK SUBSCRIPT SMALL LETTER %sr-r[r r r r1r2cCstdt|SNz SUBSCRIPT %sr digit_2txtdigitr r r r1r2cCstdt|Sr]r symb_2txtsymbr r r r1r2cCstd|S)Nz!SUPERSCRIPT LATIN SMALL LETTER %sr-r[r r r r1r2cCstdt|SNzSUPERSCRIPT %sr^r`r r r r1r2cCstdt|Srfrbrdr r r r1r2Zaeioruvxhklmnpstin)betagammarhophichicCsg|] }t|qSr )r*)r7ir r r r2rn z+-=()cCs t|dS)Nů center_accentr(r r r r1r2cCs t|dS)Nu⃜rprrr r r r1r2cCs t|dS)Nu⃛rprrr r r r1r2cCs t|dS)Nürprrr r r r1r2cCs t|dS)Nu̇rprrr r r r1r2cCs t|dS)Nǔrprrr r r r1r2cCs t|dS)Nŭrprrr r r r1r2cCs t|dS)Núrprrr r r r1r2cCs t|dS)Ǹrprrr r r r1r2cCs t|dS)Nũrprrr r r r1r2cCs t|dS)Nûrprrr r r r1r2cCs t|dS)Nu̅rprrr r r r1r2cCs t|dS)Nu⃗rprrr r r r1r2cCs|dSNu′r rrr r r r1r2cCs|dSrtr rrr r r r1r2cCs d|dS)Nu‖r rrr r r r1r2cCs d|dS)Nu⟨u⟩r rrr r r r1r2cCs d|dSN|r rrr r r r1r2cCs d|dSrur rrr r r r1r2)ZmathringZddddotZdddotZddotdotcheckZbreveacuteZgravetildeZhatbarZvecprimeZprmZnormavgabsZmagcCstdt|S)Nz %s UPPER HOOKrbrdr r r r1r2cCstdt|S)Nz%s UPPER CORNERrbrdr r r r1r2cCstdt|S)Nz%s MIDDLE PIECErbrdr r r r1r2cCstdt|S)Nz %s EXTENSIONrbrdr r r r1r2cCstdt|S)Nz %s LOWER HOOKrbrdr r r r1r2cCstdt|S)Nz%s LOWER CORNERrbrdr r r r1r2cCstdt|S)Nz%s TOPrbrdr r r r1r2cCstdt|S)Nz %s BOTTOMrbrdr r r r1r2rRrSrTrUrXrVrWzBOX DRAWINGS LIGHT VERTICALz$BOX DRAWINGS LIGHT UP AND HORIZONTALz&BOX DRAWINGS LIGHT DOWN AND HORIZONTALzLEFT PARENTHESIS EXTENSIONzRIGHT PARENTHESIS EXTENSIONzLEFT PARENTHESIS LOWER HOOKzRIGHT PARENTHESIS LOWER HOOKzLEFT PARENTHESIS UPPER HOOKzRIGHT PARENTHESIS UPPER HOOKz5BOX DRAWINGS LIGHT DIAGONAL UPPER RIGHT TO LOWER LEFTz5BOX DRAWINGS LIGHT DIAGONAL UPPER LEFT TO LOWER RIGHT<>z LEFT FLOORz RIGHT FLOORz LEFT CEILINGz RIGHT CEILINGrZzTOP HALF INTEGRALzBOTTOM HALF INTEGRAL_ZOVERLINEzN-ARY SUMMATIONzBOX DRAWINGS LIGHT HORIZONTALzLOW LINE)rRrSrTrUrVrWrvZTeeZUpTackzcorner_up_centre(_extz)_extz (_lower_hookz )_lower_hookz (_upper_hookz )_upper_hookrrlfloorrfloorlceilrceilrZrYrPr/\)rvrrrR)rvrrrS))rTrTrTrT))rUrUrUrU))rvrrrrV))rvrrrrWrv)rr)rr)z | z /z/ rPrr)rRrSrTrUrVrWrvrrrZrPrrrc CsV|dkrtdtrt}nt}||}d}}}}t|tsF|}n\t|dtrf|d} |d}n|} | d}z| d}| d}| d}WntyYn0|dur|}|dur|}|dur|}|dur|ddkr|d7}n|}|dkr|Sg} |dd} |d| d} | |g7} | |g| 7} | |g| 7} | |g| 7} | |g7} | S)zVConstruct spatial object of given length. return: [] of equal-length strings rzLength should be greater than 0Nr;) ValueErrorr _xobj_unicode _xobj_ascii isinstancetuple IndexError) relengthZ_xobjZvinfoZc1topZbotZmidextZvlongresnextZnmidr r r xobjDsR         rcCsdt||S)zBConstruct vertical object of a given height see: xobj  joinr)reheightr r r rsrcCsdt||S)zCConstruct horizontal object of a given width see: xobj rr)rewidthr r r rsrz SQUARE ROOTz CUBE ROOTz FOURTH ROOT)rrcCs td|S)NzVULGAR FRACTION %s)r )txtr r r r1r2zONE HALFz ONE THIRDz TWO THIRDSz ONE QUARTERzTHREE QUARTERSz ONE FIFTHz TWO FIFTHSz THREE FIFTHSz FOUR FIFTHSz ONE SIXTHz FIVE SIXTHSz ONE EIGHTHz THREE EIGHTHSz FIVE EIGHTHSz SEVEN EIGHTHS))r;r)r;r)rr)r;r)rr)r;)rr)rr)rr)r;)rr)r;)rr)rr)r)rQrQ)rr)rr<=zLESS-THAN OR EQUAL TO>=zGREATER-THAN OR EQUAL TO!=z NOT EQUAL TO):=r)+=r)-=r)*=r)/=r)%=r*z DOT OPERATOR-->zEM DASHzBLACK RIGHT-POINTING TRIANGLE==>zBOX DRAWINGS DOUBLE HORIZONTALz RING OPERATOR)z==rrrrrrrrrrrrrr.cCs t|}tr|dS|dSdS)zget symbology for a 'character'r;rN)_xsymr)symopr r r rsrzSCRIPT SMALL EzGREEK SMALL LETTER PIINFINITYzDOUBLE-STRUCK ITALIC SMALL Iz EMPTY SETzDOUBLE-STRUCK CAPITAL NzSUBSCRIPT ZEROzDOUBLE-STRUCK CAPITAL ZzDOUBLE-STRUCK CAPITAL QzDOUBLE-STRUCK CAPITAL RzDOUBLE-STRUCK CAPITAL Cz$MATHEMATICAL DOUBLE-STRUCK CAPITAL Uz$MATHEMATICAL DOUBLE-STRUCK CAPITAL Iz%MATHEMATICAL DOUBLE-STRUCK DIGIT ZEROz$MATHEMATICAL DOUBLE-STRUCK DIGIT ONEzDOUBLE-STRUCK ITALIC SMALL DZUNIONz ELEMENT OFzSMALL ELEMENT OFZ INCREMENTZ INTERSECTIONzMULTIPLICATION SIGNzN-ARY CIRCLED TIMES OPERATORzHORIZONTAL ELLIPSISModifier Letter Low Ring EmptySequencezSUPERSCRIPT PLUS SIGNzSUPERSCRIPT MINUSZDAGGERz DEGREE SIGNz LOGICAL ANDz LOGICAL ORzNOT SIGNZNORZNANDZXORzLEFT RIGHT DOUBLE ARROWz#LEFT RIGHT DOUBLE ARROW WITH STROKEzRIGHTWARDS ARROWzRIGHTWARDS ARROW FROM BARzRIGHTWARDS ARROW WITH STROKE)/ZExp1PiInfinityNegativeInfinity ImaginaryUnitZEmptySetZNaturalsZ Naturals0ZIntegersZ RationalsZRealsZ ComplexesZUniverseZIdentityMatrixZ ZeroMatrixZ OneMatrixZ DifferentialUnionZ ElementOfZSmallElementOfZSymmetricDifferenceZ IntersectionZRingZMultiplicationZ TensorProductZDotsrrZSuperscriptPlusZSuperscriptMinusDaggerZDegreeAndOrNotZNorZNandZXorZEquivZNotEquivZImpliesZ NotImpliesZArrowZ ArrowFromBarZNotArrowZ TautologyZ ContradictioncCsLtr4|dur*|dkr*|jddkr*tdSt|Sn|dur@|StddS)z'return pretty representation of an atomNrZimaginary_unitjzDOUBLE-STRUCK ITALIC SMALL Jz only unicode)rZ _settingsr r$r)Z atom_namedefaultprinterr r r pretty_atoms rc sts|St|\}}}fdd|}dd}||t}|durR||t}nd}|dur|r|ddfdd|D7}|r|d d fd d|D7}|Sd |}d |} d ||| gS) z(return pretty representation of a symbolcs|rt|}n t|}|dur&|SttddddD]F}||r.translate..T)keyreversercSsg|] }t|qSr ) bold_unicoder7cr r r rn<r2z4pretty_symbol..translate..) greek_bold_unicodegetrsorted modifier_dictkeyslowerendswithrr)r( bold_nameZgGr) translater r r1s  &z pretty_symbol..translatec sfg}|D]X}|}|durVzdfdd|D}WnttfyTYdS0||q|S)Nrcsg|] }|qSr r rmappingr r rnIr2z6pretty_symbol..pretty_list..)rr TypeErrorrappend)r0rresultr(prettyr rr pretty_listCs   z"pretty_symbol..pretty_listNrcsg|]}|qSr r r7r(rrr r rnXr2z!pretty_symbol..__csg|]}|qSr r rrr r rnZr2 r)rr rrr) Z symb_namerr ZsupssubsrZ pretty_supsZ pretty_subsZ sups_resultZ subs_resultr rr r&s&    ""  rcCs,ddd}ddd}tr ||S||SdS)a Return a stylised drawing of the letter ``letter``, together with information on how to put annotations (super- and subscripts to the left and to the right) on it. See pretty.py functions _print_meijerg, _print_hyper on how to use this information. )rrrru┌─ ├─ ╵)rrrr;u╭─╮ │╶┐ ╰─╯)Fr=)rrrrz _ |_ | )rrrr;z __ /__ \_|N)r)r\Z ucode_picsZ ascii_picsr r r rcs  rrsuͯu⃐u⃰cCs t|tvS)z,Check whether symbol is a unicode modifier. )ord_remove_combining)rr r r is_combiningsrcCs4t|dd}|d|}||d}|||S)a Returns a string with accent inserted on the middle character. Useful to put combining accents on symbol names, including multi-character names. Parameters ========== string : string The string to place the accent in. accent : string The combining accent to insert References ========== .. [1] https://en.wikipedia.org/wiki/Combining_character .. [2] https://en.wikipedia.org/wiki/Combining_Diacritical_Marks rr;Nr)stringZaccentZmidpointZ firstpartZ secondpartr r r rqs  rqcCst|tS)zxUnicode combining symbols (modifiers) are not ever displayed as separate symbols and thus should not be counted )rrr)liner r r line_widthsrcCstdd|DS)av Checks whether a string is subscriptable in unicode or not. Parameters ========== subscript: the string which needs to be checked Examples ======== >>> from sympy.printing.pretty.pretty_symbology import is_subscriptable_in_unicode >>> is_subscriptable_in_unicode('abc') False >>> is_subscriptable_in_unicode('123') True css|]}|tvVqdSrB)r)r7 characterr r r r>r2z.is_subscriptable_in_unicode..)all)Z subscriptr r r is_subscriptable_in_unicodesrrcCs@||krtd||}|d}||}||}||}||fS)z Return the padding strings necessary to center a string of wstring characters wide in a wtarget wide space. The line_width wstring should always be less or equal to wtarget or else a ValueError will be raised. znot enough space for stringr)r)ZwstringZwtargetfillcharZwdeltaZwleftZwrightleftrightr r r rsrcCs$tt|||\}}d|||gS)zhReturn a centered string of length determined by `line_width` that uses `fillchar` for padding. r)rrr)rrrrrr r r rsr)N)NN)F)r)r)S__doc__r!rrrrrrr Zsympy.printing.conventionsr Zsympy.core.alphabetsrZsympy.utilities.exceptionsr__all__rrr)r,r5r=listZ greek_lettersindexrupdaterArCrgbZGBZgreek_bold_lettersrr_rcZLSUBZGSUBZDSUBZSSUBZLSUPZDSUPZSSUPrrr0glrangedr(rZHUPZCUPZMIDZEXTZHLOZCLOZTOPZBOTrrrrrrootZVFfracrrr$rrrdictfromkeysrrrrqrrrrr r r r s>           5 D        9  =