o 8Va_N@sdZddlZddlZddlmZmZddlZdaddZddl 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-<q dID] Z.e%e.e+e.<qdJdKe/dLDD]Z0e&e0e+e0<e)e0e,e0<q,dMD]Z1e'e1e+e1<e*e1e,e1<q>idNdOddPdQddRdSddTdUddVdWddXdYddZd[dd\d]dd^d_dd`daddbdcddddeddfdgddhdiddjdkddldmddndoddpddqddrZ2dsdZ3dtdZ4dudZ5dvdZ6dwdZ7dxdZ8dydZ9dzdZ:id{e6d{e3d{e7d{fd{fd|e6d|e3d|e7d|fd|fd}e6d}e4d}e8d}fd}fd~e6d~e4d~e8d~fd~fde6de3de7de5dfdfde6de3de7de5dfdfdeddedededfdfdedededfdfde6d}e6d}e8d}fedfde6d~e6d~e8d~fedfde6d}e4d}e6d}fedfde6d~e4d~e6d~fedfde6dededfed>fdeddededfedfdeddedededdZ;dddddddddddddddZddZ?edededdZ@ddZAeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAdeAddZBiddÓddēddœddedǃfddedɃfdded˃fdd͓ddϓddѓddӓddՓddדddedكfddedۃrled܃rledۃedۃed܃ndfddedރredރred܃redރedރed܃ndfddedfZCddZDideddeddeddedodeddeddeddeddedoededdeddeddeddeddeddeddeddeddedddiZEdddZFdddZGddZHeIJee/eKd eKd ee/eKd eKd ZLd dZMddZNddZOdS(z=Symbolic primitives + unicode/ASCII abstraction for pretty.pyN)ascii_lowercaseascii_uppercasecCs.zt|WStytd|7aYdSw)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 H/usr/lib/python3/dist-packages/sympy/printing/pretty/pretty_symbology.pyU s    r )split_super_sub)greeks)SymPyDeprecationWarning) greek_unicodesubsupxsymvobjhobj pretty_symbol annotatedFcCs.|durtS|rtrttdat}|a|S)z8Set whether pretty-printer should use unicode by defaultNr) _use_unicoderwarningswarn)flagZuse_unicode_prevr r r pretty_use_unicode)s rc Cs~ttjdd}|dur dSg}|t7}|t7}|D]}|dur&dSz||Wqty8YdSwtddS)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)Nz``xstr`` functionz``str``z1.7)ZfeatureZ useinsteadZdeprecated_since_version)rrstr)argsr r r xstrYsr*cCtd|S)NzGREEK SMALL LETTER %sr upperlr r r ar0cCr+)NzGREEK CAPITAL LETTER %sr,r.r r r r0br1ZlamdalambdacCi|]}|t|qSr g.0Lr r r ir9cc0|]}|d|ddt|fVqdSrNr-Gr6r r r j.r@ZLamdaZLambdauςZvarsigmacCr+NzMATHEMATICAL BOLD SMALL %sr,r.r r r r0rr1cCr+)NzMATHEMATICAL BOLD CAPITAL %sr,r.r r r r0sr1cCr3r )b)r7r/r r r r9ur:ccs|] }|t|fVqdSN)Br6r r r r@vscCr+rBr,r.r r r r0yr1cCr+)NzMATHEMATICAL BOLD CAPITAL %sr,r.r r r r0zr1cCr3r r4r6r r r r9r:ccr;r<r>r6r r r r@rAu𝛓ZZEROZONEZTWOZTHREEZFOURZFIVEZSIXZSEVENZEIGHTZNINE) 0123456789z PLUS SIGNMINUSz EQUALS SIGNzLEFT PARENTHESISzRIGHT PARENTHESISzLEFT SQUARE BRACKETzRIGHT SQUARE BRACKETzLEFT CURLY BRACKETzRIGHT CURLY BRACKETz CURLY BRACKETZ SUMMATIONZINTEGRAL) +-=()[]{}{}sumintcCr+)NzLATIN SUBSCRIPT SMALL LETTER %sr,letterr r r r0r1cCr+)NzGREEK SUBSCRIPT SMALL LETTER %sr,r]r r r r0r1cCtdt|SNz SUBSCRIPT %sr digit_2txtdigitr r r r0r1cCr_r`r symb_2txtsymbr r r r0r1cCr+)Nz!SUPERSCRIPT LATIN SMALL LETTER %sr,r]r r r r0r1cCr_NzSUPERSCRIPT %srarcr r r r0r1cCr_rirergr r r r0r1Zaeioruvxhklmnpstin)ZbetaZgammaZrhoZphiZchicCsg|]}t|qSr )r()r7ir r r rl z+-=()ZmathringcC t|dS)Nů center_accentr&r r r r0 ZddddotcCro)Nu⃜rprrr r r r0rsZdddotcCro)Nu⃛rprrr r r r0rsZddotcCro)Nürprrr r r r0rsdotcCro)Nu̇rprrr r r r0rscheckcCro)Nǔrprrr r r r0rsZbrevecCro)Nŭrprrr r r r0rsZacutecCro)Núrprrr r r r0rsZgravecCro)Ǹrprrr r r r0rstildecCro)Nũrprrr r r r0rsZhatcCro)Nûrprrr r r r0rsZbarcCro)Nu̅rprrr r r r0rsZveccCro)Nu⃗rprrr r r r0rsZprimecC|dSNu′r rrr r r r0ZprmcCrxryr rrr r r r0rzZnormcC d|dS)Nu‖r rrr r r r0 ZavgcCs d|dS)Nu⟨u⟩r rrr r r r0r|cCr{N|r rrr r r r0r|cCr{r}r rrr r r r0r|)absZmagcCr_)Nz %s UPPER HOOKrergr r r r0r1cCr_)Nz%s UPPER CORNERrergr r r r0r1cCr_)Nz%s MIDDLE PIECErergr r r r0r1cCr_)Nz %s EXTENSIONrergr r r r0r1cCr_)Nz %s LOWER HOOKrergr r r r0r1cCr_)Nz%s LOWER CORNERrergr r r r0r1cCr_)Nz%s TOPrergr r r r0r1cCr_)Nz %s BOTTOMrergr r r r0r1rTrUrVrWrXrZrYr~zBOX DRAWINGS LIGHT VERTICALZlfloorz LEFT FLOORZrfloorz RIGHT FLOORZlceilz LEFT CEILINGZrceilz RIGHT CEILINGr\zTOP HALF INTEGRALzBOTTOM HALF INTEGRALr[_ZOVERLINEzN-ARY SUMMATIONrRzBOX DRAWINGS LIGHT HORIZONTALzLOW LINE)/\)r~rrrT)r~rrrU))rVrVrVrV))rWrWrWrW))r~rrrrX))r~rrrrY)rr)rr)z | z /z/ rr)rTrUrVrWrXrYr~rrr\rRrrrc CsV|dkrtdtr t}nt}||}d}}}}t|ts#|}n.t|dtr3|d} |d}n|} | d}z| d}| d}| d}Wn tyPYnw|durW|}|dur]|}|durc|}|durr|ddkrq|d7}n|}|dkrz|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) rhlengthZ_xobjZvinfoZc1topZbotZmidextZvlongresnextZnmidr r r xobj9sV        rcCdt||S)zBConstruct vertical object of a given height see: xobj  joinr)rhZheightr r r r}rcCr)zCConstruct horizontal object of a given width see: xobj rr)rhwidthr r r rrrz SQUARE ROOTz CUBE ROOTz FOURTH ROOT)rrcCs td|S)NzVULGAR FRACTION %s)r )Ztxtr r r r0r|zONE 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)rz==)rSrS)rr)rrz<=zLESS-THAN OR EQUAL TOz>=zGREATER-THAN OR EQUAL TOz!=z NOT EQUAL TO:=)rr+=)rr-=)rr*=)rr/=)rr%=)rr*z DOT OPERATORz-->zEM DASHzBLACK RIGHT-POINTING TRIANGLEz==>zBOX DRAWINGS DOUBLE HORIZONTAL.z RING OPERATORcCst|}tr |dS|dS)zget symbology for a 'character'r=r)_xsymr)symopr r r rsrZExp1zSCRIPT SMALL EZPizGREEK SMALL LETTER PIZInfinityZINFINITYZNegativeInfinity ImaginaryUnitzDOUBLE-STRUCK ITALIC SMALL IZEmptySetz EMPTY SETZNaturalszDOUBLE-STRUCK CAPITAL NZ Naturals0zSUBSCRIPT ZEROZIntegerszDOUBLE-STRUCK CAPITAL ZZ RationalszDOUBLE-STRUCK CAPITAL QZRealszDOUBLE-STRUCK CAPITAL RZ ComplexeszDOUBLE-STRUCK CAPITAL CZUnionZUNIONZSymmetricDifferenceZ INCREMENTZ IntersectionZ INTERSECTIONZRingzModifier Letter Low RingZ EmptySequencecCsFtr|dur|dkr|jddkrtdSt|S|dur|Std)z'return pretty representation of an atomNrZimaginary_unitjzDOUBLE-STRUCK ITALIC SMALL Jz only unicode)rZ _settingsr r"r)Z atom_namedefaultZprinterr r r pretty_atomsrc sts|St|\}}}fdd|}dd}||t}|dur)||t}nd}|durW|rB|ddfdd|D7}|rU|d d fd d|D7}|Sd |}d |} d ||| gS) z(return pretty representation of a symbolcs|rt|}nt|}|dur|SttddddD]#}||rAt|t|krAt||dt| |Sq|rNd dd|DS|S)NcSst|SrDlen)kr r r r0rzz2pretty_symbol..translate..T)keyreversercSsg|]}t|qSr ) bold_unicoder7cr r r rlrmz4pretty_symbol..translate..) greek_bold_unicodegetrsorted modifier_dictkeyslowerendswithrr)r& bold_nameZgGr) translater r rs  $z pretty_symbol..translatec sfg}|D],}|}|dur+zdfdd|D}Wn ttfy*YdSw||q|S)Nrcsg|]}|qSr r rmappingr r rl rmz6pretty_symbol..pretty_list..)rr TypeErrorrappend)r/rresultr&Zprettyr rr pretty_lists  z"pretty_symbol..pretty_listNrcg|]}|qSr r r7r&rrr r rl/r:z!pretty_symbol..__crr r rrr r rl1r: r)rr rrr) Z symb_namerr ZsupsZsubsrZ pretty_supsZ pretty_subsZ sups_resultZ subs_resultr rr rs&    ""  rcCs(ddd}ddd}tr||S||S)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 __ /__ \_|)r)r^Z ucode_picsZ ascii_picsr r r r:s  rrvuͯu⃐u⃰cCs t|tvS)z,Check whether symbol is a unicode modifier. )ord_remove_combining)rr r r is_combiningXs rcCs4t|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 rq^s   rqcCst|tS)zwUnicode combining symbols (modifiers) are not ever displayed as separate symbols and thus shouldn't be counted )rrr)liner r r line_width{srrD)NN)F)P__doc__rrrrrrrr Zsympy.printing.conventionsr Zsympy.core.alphabetsrZsympy.utilities.exceptionsr__all__rrr'r*r5r?listZ greek_lettersindexrupdaterCrErZgbZGBZgreek_bold_lettersrrbrfZLSUBZGSUBZDSUBZSSUBZLSUPZDSUPZSSUPrrr/glrangedr&rZHUPZCUPZMIDZEXTZHLOZCLOZTOPZBOTrrrrrrootZVFZfracrrr"rrrdictfromkeysrrrrqrr r r r s|                    &- D                  =