o *ήcN@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 M/tmp/pip-target-vg8gfxp4/lib/python/sympy/printing/pretty/pretty_symbology.pyU s    r )split_super_sub)greeks)sympy_deprecation_warning) greek_unicodesubsupxsymvobjhobj pretty_symbol annotatedFcCs.|durtS|rtrttdat}|a|S)z8Set whether pretty-printer should use unicode by defaultNr) _use_unicoderwarningswarn)flaguse_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)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-cCtd|S)NzGREEK SMALL LETTER %sr upperlr r r er3cCr.)NzGREEK CAPITAL LETTER %sr/r1r r r r3fr4lamdalambdacCi|]}|t|qSr g.0Lr r r mr=cc0|]}|d|ddt|fVqdSrNr0Gr:r r r n.rDLamdaLambdauςvarsigmacCr.NzMATHEMATICAL BOLD SMALL %sr/r1r r r r3vr4cCr.)NzMATHEMATICAL BOLD CAPITAL %sr/r1r r r r3wr4cCr7r )b)r;r2r r r r=yr>ccs|] }|t|fVqdSN)Br:r r r rDzscCr.rIr/r1r r r r3}r4cCr.)NzMATHEMATICAL BOLD CAPITAL %sr/r1r r r r3~r4cCr7r r8r:r r r r=r>ccr?r@rBr:r r r rDrEu𝛓ZEROONETWOTHREEFOURFIVESIXSEVENEIGHTNINE) 0123456789z PLUS SIGNMINUSz EQUALS SIGNzLEFT PARENTHESISzRIGHT PARENTHESISzLEFT SQUARE BRACKETzRIGHT SQUARE BRACKETzLEFT CURLY BRACKETzRIGHT CURLY BRACKETz CURLY BRACKET SUMMATIONINTEGRAL) +-=()[]{}{}sumintcCr.)NzLATIN SUBSCRIPT SMALL LETTER %sr/letterr r r r3r4cCr.)NzGREEK SUBSCRIPT SMALL LETTER %sr/rpr r r r3r4cCtdt|SNz SUBSCRIPT %sr digit_2txtdigitr r r r3r4cCrrrsr symb_2txtsymbr r r r3r4cCr.)Nz!SUPERSCRIPT LATIN SMALL LETTER %sr/rpr r r r3r4cCrrNzSUPERSCRIPT %srtrvr r r r3r4cCrrr|rxrzr r r r3r4aeioruvxhklmnpstin)betagammarhophichicCsg|]}t|qSr )r+)r;ir r r r z+-=()mathringcC t|dS)Nů center_accentr'r r r r3 ddddotcCr)Nu⃜rrr r r r3rdddotcCr)Nu⃛rrr r r r3rddotcCr)Nürrr r r r3rdotcCr)Nu̇rrr r r r3rcheckcCr)Nǔrrr r r r3rbrevecCr)Nŭrrr r r r3racutecCr)Núrrr r r r3rgravecCr)Ǹrrr r r r3rtildecCr)Nũrrr r r r3rhatcCr)Nûrrr r r r3rbarcCr)Nu̅rrr r r r3rveccCr)Nu⃗rrr r r r3rprimecC|dSNu′r rr r r r3prmcCrrr rr r r r3rnormcC d|dS)Nu‖r rr r r r3 avgcCs d|dS)Nu⟨u⟩r rr r r r3rcCrN|r rr r r r3rcCrrr rr r r r3r)absmagcCrr)Nz %s UPPER HOOKrxrzr r r r3r4cCrr)Nz%s UPPER CORNERrxrzr r r r3r4cCrr)Nz%s MIDDLE PIECErxrzr r r r3r4cCrr)Nz %s EXTENSIONrxrzr r r r3r4cCrr)Nz %s LOWER HOOKrxrzr r r r3r4cCrr)Nz%s LOWER CORNERrxrzr r r r3r4cCrr)Nz%s TOPrxrzr r r r3r4cCrr)Nz %s BOTTOMrxrzr r r r3r4rgrhrirjrkrmrlrzBOX DRAWINGS LIGHT VERTICALlfloorz LEFT FLOORrfloorz RIGHT FLOORlceilz LEFT CEILINGrceilz RIGHT CEILINGrozTOP HALF INTEGRALzBOTTOM HALF INTEGRALrn_OVERLINEzN-ARY SUMMATIONrezBOX DRAWINGS LIGHT HORIZONTALzLOW LINE)/\)rrrrg)rrrrh))riririri))rjrjrjrj))rrrrrk))rrrrrl)rr)rr)z | z /z/ rr)rgrhrirjrkrlrrrrorerrrc 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 0NrA) ValueErrorr _xobj_unicode _xobj_ascii isinstancetuple IndexError) r{length_xobjvinfoc1topbotmidextvlongresnextnmidr r r xobj=sV        rcCdt||S)zBConstruct vertical object of a given height see: xobj  joinr)r{heightr r r rrcCr)zCConstruct horizontal object of a given width see: xobj rr)r{widthr r r rrrz SQUARE ROOTz CUBE ROOTz FOURTH ROOT)rrcCs td|S)NzVULGAR FRACTION %s)r )txtr r r r3rzONE 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))rAr)rAr)rr)rAr)rr)rA)rr)rr)rr)rA)rr)rA)rr)rr)rz==)rfrf)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'rAr)_xsymr)symopr r r rsrExp1zSCRIPT SMALL EPizGREEK SMALL LETTER PIInfinityINFINITYNegativeInfinity ImaginaryUnitzDOUBLE-STRUCK ITALIC SMALL IEmptySetz EMPTY SETNaturalszDOUBLE-STRUCK CAPITAL N Naturals0zSUBSCRIPT ZEROIntegerszDOUBLE-STRUCK CAPITAL Z RationalszDOUBLE-STRUCK CAPITAL QRealszDOUBLE-STRUCK CAPITAL R ComplexeszDOUBLE-STRUCK CAPITAL CUnionUNIONSymmetricDifference INCREMENT Intersection INTERSECTIONRingzModifier Letter Low Ring EmptySequencecCsFtr|dur|dkr|jddkrtdSt|S|dur|Std)z'return pretty representation of an atomNrimaginary_unitjzDOUBLE-STRUCK ITALIC SMALL Jz only unicode)r _settingsr r#r) atom_namedefaultprinterr 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|SrKlen)kr r r r3rz2pretty_symbol..translate..T)keyreversercSsg|]}t|qSr ) bold_unicoder;cr r r rrz4pretty_symbol..translate..) greek_bold_unicodegetrsorted modifier_dictkeyslowerendswithrr)r' bold_namegGr) translater r r s  $z pretty_symbol..translatec sfg}|D],}|}|dur+zdfdd|D}Wn ttfy*YdSw||q|S)Nrcsg|]}|qSr r rmappingr r r$rz6pretty_symbol..pretty_list..)rr TypeErrorrappend)r2rresultr'prettyr rr pretty_lists  z"pretty_symbol..pretty_listNrcg|]}|qSr r r;r'r rr r r3r>z!pretty_symbol..__crr r rrr r r5r> r)rr rrr) symb_namer r supssubsr pretty_sups pretty_subs sups_result 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┌─ ├─ ╵)rrrrAu╭─╮ │╶┐ ╰─╯)FrC)rrrrz _ |_ | )rrrrAz __ /__ \_|)r)rq ucode_pics ascii_picsr r r r>s  rruͯu⃐u⃰cCs t|tvS)z,Check whether symbol is a unicode modifier. )ord_remove_combining)rr r r is_combining\s r'cCs4t|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 rrANr)stringaccentmidpoint firstpart secondpartr r r rbs   rcCst|tS)zxUnicode combining symbols (modifiers) are not ever displayed as separate symbols and thus should not be counted )rrr&)liner r r line_widthsr.rK)NN)F)P__doc__r rr(rrrrr sympy.printing.conventionsr sympy.core.alphabetsrsympy.utilities.exceptionsr__all__rrr(r-r9rClist greek_lettersindexrupdaterJrLrgbGBgreek_bold_lettersrruryLSUBGSUBDSUBSSUBLSUPDSUPSSUPrrr2glrangedr'rHUPCUPMIDEXTHLOCLOTOPBOTrrrrrrootVFfracrrr#rrrdictfromkeysr%r&r'rr.r r r r s|                     &- D                  =