U ;qLeN@sjdZddlZddlZddlmZmZddlZdaddZddl m Z ddl m Z dd l mZd d d d ddddgZdadddZddZddZddZddZee Zdeed<ddeDZed d!eDeded<ed"ed#<d$ed%<d&dZd'dZd(deDZed)d!eDd*dZd+dZee Z de e d<d,de DZ!e!d-d!e Dede!d<ed"e!d#<d.e!d%<d/d0d1d2d3d4d5d6d7d8d9 Z"d:d;dd?d@dAdBdCdDdEdF Z#dGdZ$dHdZ%dIdZ&dJdZ'dKdZ(dLdZ)dMdZ*iZ+iZ,dND]Z-e$e-e+e-<q dOD]Z-e(e-e,e-<q$dPD]Z.e%e.e+e.<qddZ?edededdZ@ddZAeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAddZBddddedfdedfdedfdddddddedfdedÃredăredÃedÃedăndfdedƃrVedƃrVedărVedƃ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؃ddڜZEddd܄ZFdddZGddZHeIJee/eKd߃eKdee/eKdeKdZLddZMddZNddZOdS)z=Symbolic primitives + unicode/ASCII abstraction for pretty.pyN)ascii_lowercaseascii_uppercasecCs4z t|WStk r.td|7aYdSXdS)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 }/home/p21-0144/sympy/latex2sympy2solve-back-end/sympyEq/lib/python3.8/site-packages/sympy/printing/pretty/pretty_symbology.pyU s   r )split_super_sub)greeks)sympy_deprecation_warning greek_unicodesubsupxsymvobjhobj pretty_symbol annotatedFcCs.|dkr 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}|dkrdSg}|t7}|t7}|D]:}|dkrLdSz||Wq:tk rrYdSXq:tddS)z>See if unicode output is available and leverage it if possibleencodingNT) getattrsysstdoutrvalues atoms_tableencodeUnicodeEncodeErrorr)rsymbolssr r r pretty_try_use_unicode:s   r'cGstddddt|S)Nzv The sympy.printing.pretty.pretty_symbology.xstr() function is deprecated. Use str() instead. z1.7z$deprecated-pretty-printing-functions)deprecated_since_versionactive_deprecations_target)rstr)argsr r r xstrYs r,cCstd|S)NzGREEK SMALL LETTER %sr upperlr r r er1cCstd|S)NzGREEK CAPITAL LETTER %sr-r/r r r r1fr2lamdalambdacCsi|]}|t|qSr g.0Lr r r msr:ccs.|]&}|d|ddt|fVqdSrNr.Gr7r r r nsr?ZLamdaLambdauςZvarsigmacCstd|SNzMATHEMATICAL BOLD SMALL %sr-r/r r r r1vr2cCstd|S)NzMATHEMATICAL BOLD CAPITAL %sr-r/r r r r1wr2cCsi|]}|t|qSr )b)r8r0r r r r:ysccs|]}|t|fVqdSN)Br7r r r r?zscCstd|SrAr-r/r r r r1}r2cCstd|S)NzMATHEMATICAL BOLD CAPITAL %sr-r/r r r r1~r2cCsi|]}|t|qSr r5r7r r r r:sccs.|]&}|d|ddt|fVqdSr;r=r7r r r r?su𝛓ZZEROONEZTWOZTHREEZFOURZFIVEZSIXZSEVENZEIGHTZNINE) 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`rbr r r r1r2cCstdt|Srhrdrfr r r r1r2Zaeioruvxhklmnpstin)betagammarhophichicCsg|] }t|qSr )r*)r8ir r r srp z+-=()cCs t|dS)Nů center_accentr&r r r r1r2cCs t|dS)Nu⃜rrrtr r r r1r2cCs t|dS)Nu⃛rrrtr r r r1r2cCs t|dS)Nürrrtr r r r1r2cCs t|dS)Nu̇rrrtr r r r1r2cCs t|dS)Nǔrrrtr r r r1r2cCs t|dS)Nŭrrrtr r r r1r2cCs t|dS)Núrrrtr r r r1r2cCs t|dS)Ǹrrrtr r r r1r2cCs t|dS)Nũrrrtr r r r1r2cCs t|dS)Nûrrrtr r r r1r2cCs t|dS)Nu̅rrrtr r r r1r2cCs t|dS)Nu⃗rrrtr r r r1r2cCs|dSNu′r rtr r r r1r2cCs|dSrvr rtr r r r1r2cCs d|dS)Nu‖r rtr r r r1r2cCs d|dS)Nu⟨u⟩r rtr r r r1r2cCs d|dSN|r rtr r r r1r2cCs d|dSrwr rtr r r r1r2)ZmathringZddddotZdddotZddotdotcheckZbreveZacuteZgravetildeZhatbarvecprimeZprmnormavgabsmagcCstdt|S)Nz %s UPPER HOOKrdrfr r r r1r2cCstdt|S)Nz%s UPPER CORNERrdrfr r r r1r2cCstdt|S)Nz%s MIDDLE PIECErdrfr r r r1r2cCstdt|S)Nz %s EXTENSIONrdrfr r r r1r2cCstdt|S)Nz %s LOWER HOOKrdrfr r r r1r2cCstdt|S)Nz%s LOWER CORNERrdrfr r r r1r2cCstdt|S)Nz%s TOPrdrfr r r r1r2cCstdt|S)Nz %s BOTTOMrdrfr r r r1r2rTrUrVrWrZrXrYzBOX DRAWINGS LIGHT VERTICALz5BOX DRAWINGS LIGHT DIAGONAL UPPER RIGHT TO LOWER LEFTz5BOX DRAWINGS LIGHT DIAGONAL UPPER LEFT TO LOWER RIGHT<>z LEFT FLOORz RIGHT FLOORz LEFT CEILINGz RIGHT CEILINGr\zTOP HALF INTEGRALzBOTTOM HALF INTEGRAL_ZOVERLINEzN-ARY SUMMATIONzBOX DRAWINGS LIGHT HORIZONTALzLOW LINE)rTrUrVrWrXrYrxrrlfloorrfloorlceilrceilr\r[rRr/\)rxrrrT)rxrrrU))rVrVrVrV))rWrWrWrW))rxrrrrX))rxrrrrYrx)rr)rr)z | z /z/ rRrr)rTrUrVrWrXrYrxrrr\rRrrrc CsX|dkrtdtrt}nt}||}d}}}}t|tsF|}n^t|dtrf|d} |d}n|} | d}z| d}| d}| d}Wntk rYnX|dkr|}|dkr|}|dkr|}|dk r|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) rglengthZ_xobjZvinfoc1topbotmidextZvlongresnextZnmidr r r xobj=sR        rcCsdt||S)zBConstruct vertical object of a given height see: xobj  joinr)rgheightr r r rscCsdt||S)zCConstruct horizontal object of a given width see: xobj rr)rgwidthr r r rsz SQUARE ROOTz CUBE ROOTz FOURTH ROOT)rrcCs td|S)NzVULGAR FRACTION %s)r )Ztxtr 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)rSrS)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 rszSCRIPT SMALL EzGREEK SMALL LETTER PIZINFINITYzDOUBLE-STRUCK ITALIC SMALL Iz EMPTY SETzDOUBLE-STRUCK CAPITAL NzSUBSCRIPT ZEROzDOUBLE-STRUCK CAPITAL ZzDOUBLE-STRUCK CAPITAL QzDOUBLE-STRUCK CAPITAL RzDOUBLE-STRUCK CAPITAL CZUNION INCREMENTZ INTERSECTIONModifier Letter Low Ring EmptySequence)Exp1PiInfinityNegativeInfinity ImaginaryUnitEmptySetNaturals Naturals0Integers RationalsReals ComplexesUnionSymmetricDifference IntersectionRingrrcCsLtr4|dk r*|dkr*|jddkr*tdSt|Sn|dk r@|StddS)z'return pretty representation of an atomNrimaginary_unitjzDOUBLE-STRUCK ITALIC SMALL Jz only unicode)r _settingsr r"r)Z atom_namedefaultprinterr r r pretty_atoms rc sts|St|\}}}fdd|}dd}||t}|dk rR||t}nd}|dkr|r|ddfdd|D7}|r|d d fd d|D7}|Sd |}d |} d ||| gS) z(return pretty representation of a symbolcs|rt|}n t|}|dk r&|SttddddD]F}||r.translate..T)keyreversercSsg|] }t|qSr ) bold_unicoder8cr r r rpsz4pretty_symbol..translate..) greek_bold_unicodegetrsorted modifier_dictkeyslowerendswithrr)r& bold_nameZgGr) translater r r s  &z pretty_symbol..translatec shg}|D]Z}|}|dkrXzdfdd|D}Wnttfk rVYdSX||q|S)Nrcsg|] }|qSr r rmappingr r rp$sz6pretty_symbol..pretty_list..)rr TypeErrorrappend)r0rresultr&prettyr rr pretty_lists   z"pretty_symbol..pretty_listNrcsg|]}|qSr r r8r&rrr r rp3sz!pretty_symbol..__csg|]}|qSr r rrr r rp5s r)rr rrr) Z symb_namerr ZsupssubsrZ pretty_supsZ pretty_subsZ sups_resultZ subs_resultr rr rs&    ""  cCs,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 r>s  ruuͯu⃐u⃰cCs t|tkS)z,Check whether symbol is a unicode modifier. )ord_remove_combining)rr r r is_combining\srcCs4t|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)stringaccentZmidpointZ firstpartZ secondpartr r r rsbs  rscCst|tS)zxUnicode combining symbols (modifiers) are not ever displayed as separate symbols and thus should not be counted )rrr)liner r r line_widthsr)N)NN)F)P__doc__rrrrrrrr sympy.printing.conventionsr Zsympy.core.alphabetsrsympy.utilities.exceptionsr__all__rrr'r,r6r>listZ greek_lettersindexrupdaterBrDrgbZGBZgreek_bold_lettersrrareZLSUBZGSUBZDSUBZSSUBZLSUPZDSUPZSSUPrrr0glrangedr&rZHUPZCUPZMIDZEXTZHLOZCLOZTOPZBOTrrrrrrootZVFfracrrr"rrrdictfromkeysrrrrsrr r r r s           - D          =