o GZh0^@sd dZddlZddlZddlmZmZddlZdaddZddl m Z ddl m Z dd l mZgd Zd adOd 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~fde6de3de7de5dfdfde6de3de7de5dfdfdeddeddeddeddeddeddeddeddeddedededfdfdedededfdfe6d}e6d}e8d}fedfe6d~e6d~e8d~fedfe6d}e4d}e6d}fedfe6d~e4d~e6d~fedfe6dededfed>feddededfedfededededd Z;dddddddddddddddZddZ?edededdZ@ddZAeAdeAdeAdeAdeAdeAdƒeAdÃeAdăeAdŃeAdƃeAdǃeAdȃeAdɃeAdʃeAd˃d̜ZBiddΓddϓddГdded҃fddedԃfddedփfddؓddړddܓddޓddddddedfddedredredededndfddedredredredededndfddedfZCddZDideddeddeddedodeddeddeddeddedoededdeddeddeddeddeddedd ed d ed d edideddeddeddeddeddeddeddeddedd ed d!d!d"ed#d$ed%d&ed'd(ed)d*ed+d,ed-ed.ed/ed0ed1ed2ed3ed2ed3ed4ed5ed6ededd7 ZEdPd8d9ZFdQd:d;ZGd<d=ZHeIJee/eKd>eKd?ee/eKd@eKdAZLdBdCZMdDdEZNdFdGZOdHdIZPdRdKdLZQdRdMdNZRdS(Sz=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 U/var/www/auris/lib/python3.10/site-packages/sympy/printing/pretty/pretty_symbology.pyU s    r )split_super_sub)greeks)sympy_deprecation_warning) greek_unicodesubsupxsymvobjhobj pretty_symbol annotated center_padcenterFcCs.|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_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,cCtd|S)NzGREEK SMALL LETTER %sr upperlr r r dr2cCr-)NzGREEK CAPITAL LETTER %sr.r0r r r r2er3ZlamdalambdacCi|]}|t|qSr g.0Lr r r lr;cc0|]}|d|ddt|fVqdSrNr/Gr8r r r m.rBZLamdaLambdauςZvarsigmacCr-NzMATHEMATICAL BOLD SMALL %sr.r0r r r r2ur3cCr-)NzMATHEMATICAL BOLD CAPITAL %sr.r0r r r r2vr3cCr5r )b)r9r1r r r r;xr<ccs|] }|t|fVqdSN)Br8r r r rByscCr-rEr.r0r r r r2|r3cCr-)NzMATHEMATICAL BOLD CAPITAL %sr.r0r r r r2}r3cCr5r r6r8r r r r;r<ccr=r>r@r8r r r rBrCu𝛓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 r2r3cCr-)NzGREEK SUBSCRIPT SMALL LETTER %sr.r`r r r r2r3cCtdt|SNz SUBSCRIPT %sr digit_2txtdigitr r r r2r3cCrbrcr symb_2txtsymbr r r r2r3cCr-)Nz!SUPERSCRIPT LATIN SMALL LETTER %sr.r`r r r r2r3cCrbNzSUPERSCRIPT %srdrfr r r r2r3cCrbrlrhrjr r r r2r3Zaeioruvxhklmnpstin)betagammarhophichicCsg|]}t|qSr )r*)r9ir r r rt z+-=()ZmathringcC t|dS)Nů center_accentr(r r r r2 ZddddotcCrw)Nu⃜rxrzr r r r2r{ZdddotcCrw)Nu⃛rxrzr r r r2r{ZddotcCrw)Nürxrzr r r r2r{dotcCrw)Nu̇rxrzr r r r2r{checkcCrw)Nǔrxrzr r r r2r{ZbrevecCrw)Nŭrxrzr r r r2r{acutecCrw)Núrxrzr r r r2r{ZgravecCrw)Ǹrxrzr r r r2r{tildecCrw)Nũrxrzr r r r2r{ZhatcCrw)Nûrxrzr r r r2r{barcCrw)Nu̅rxrzr r r r2r{ZveccCrw)Nu⃗rxrzr r r r2r{primecC|dSNu′r rzr r r r2ZprmcCrrr rzr r r r2rZnormcC d|dS)Nu‖r rzr r r r2 ZavgcCs d|dS)Nu⟨u⟩r rzr r r r2rcCrN|r rzr r r r2rcCrrr rzr r r r2r)absmagcCrb)Nz %s UPPER HOOKrhrjr r r r2r3cCrb)Nz%s UPPER CORNERrhrjr r r r2r3cCrb)Nz%s MIDDLE PIECErhrjr r r r2r3cCrb)Nz %s EXTENSIONrhrjr r r r2r3cCrb)Nz %s LOWER HOOKrhrjr r r r2r3cCrb)Nz%s LOWER CORNERrhrjr r r r2r3cCrb)Nz%s TOPrhrjr r r r2r3cCrb)Nz %s BOTTOMrhrjr r r r2r3rWrXrYrZr[r]r\rzBOX DRAWINGS LIGHT VERTICALZTeez$BOX DRAWINGS LIGHT UP AND HORIZONTALZUpTackz&BOX DRAWINGS LIGHT DOWN AND HORIZONTALzcorner_up_centre(_extzLEFT PARENTHESIS EXTENSIONz)_extzRIGHT PARENTHESIS EXTENSIONz (_lower_hookzLEFT PARENTHESIS LOWER HOOKz )_lower_hookzRIGHT PARENTHESIS LOWER HOOKz (_upper_hookzLEFT PARENTHESIS UPPER HOOKz )_upper_hookzRIGHT PARENTHESIS UPPER HOOKz LEFT FLOORz RIGHT FLOORz LEFT CEILINGz RIGHT CEILINGr_zTOP HALF INTEGRALzBOTTOM HALF INTEGRAL_ZOVERLINEzN-ARY SUMMATIONzBOX DRAWINGS LIGHT HORIZONTALzLOW LINE) lfloorrfloorlceilrceilr_r^rUr/\)rrrrW)rrrrX))rYrYrYrY))rZrZrZrZ))rrrrr[))rrrrr\)rr)rr)z | z /z/ rUrr)rWrXrYrZr[r\rrrr_rUrrrc 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) rklengthZ_xobjZvinfoc1topZbotmidextZvlongresnextZnmidr r r xobjDsV        rcCdt||S)zBConstruct vertical object of a given height see: xobj  joinr)rkheightr r r rrcCr)zCConstruct horizontal object of a given width see: xobj rr)rkwidthr r r rrrz SQUARE ROOTz CUBE ROOTz FOURTH ROOT)rrcCs td|S)NzVULGAR FRACTION %s)r )txtr r r r2rzONE 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==)rVrV)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 EPizGREEK SMALL LETTER PIInfinityINFINITYNegativeInfinity 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 CZUniversez$MATHEMATICAL DOUBLE-STRUCK CAPITAL UZIdentityMatrixz$MATHEMATICAL DOUBLE-STRUCK CAPITAL IZ ZeroMatrixz%MATHEMATICAL DOUBLE-STRUCK DIGIT ZEROZ OneMatrixz$MATHEMATICAL DOUBLE-STRUCK DIGIT ONEZ DifferentialzDOUBLE-STRUCK ITALIC SMALL DUnionZUNIONZ ElementOfz ELEMENT OFZSmallElementOfzSMALL ELEMENT OFZSymmetricDifferenceZ INCREMENTZ IntersectionZ INTERSECTIONZRingZMultiplicationzMULTIPLICATION SIGNZ TensorProductzN-ARY CIRCLED TIMES OPERATORZDotszHORIZONTAL ELLIPSISzModifier Letter Low RingZ EmptySequenceZSuperscriptPluszSUPERSCRIPT PLUS SIGNZSuperscriptMinuszSUPERSCRIPT MINUSDaggerZDAGGERZDegreez DEGREE SIGNAndz LOGICAL ANDOrz LOGICAL ORzNOT SIGNZNORZNANDZXORzLEFT RIGHT DOUBLE ARROWz#LEFT RIGHT DOUBLE ARROW WITH STROKEzRIGHTWARDS ARROWzRIGHTWARDS ARROW FROM BARzRIGHTWARDS ARROW WITH STROKE) NotZNorZNandZXorZEquivZNotEquivZImpliesZ NotImpliesArrowZ ArrowFromBarZNotArrowZ TautologyZ ContradictioncCsFtr|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_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|SrGlen)kr r r r28rz2pretty_symbol..translate..T)keyreversercSsg|]}t|qSr ) bold_unicoder9cr r r rt<ruz4pretty_symbol..translate..) greek_bold_unicodegetrsorted modifier_dictkeyslowerendswithrr)r( bold_nameZgGr) translater r r1s  $z pretty_symbol..translatec sfg}|D],}|}|dur+zdfdd|D}Wn ttfy*YdSw||q|S)Nrcsg|]}|qSr r rmappingr r rtIruz6pretty_symbol..pretty_list..)rr TypeErrorrappend)r1rresultr(prettyr rr pretty_listCs  z"pretty_symbol..pretty_listNrcg|]}|qSr r r9r(rrr r rtXr<z!pretty_symbol..__crr r rrr r rtZr< r)rr rrr) Z symb_namerr ZsupssubsrZ pretty_supsZ pretty_subsZ sups_resultZ subs_resultr rr r&s&    ""  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╭─╮ │╶┐ ╰─╯)FrA)rrrrz _ |_ | )rrrr?z __ /__ \_|)r)raZ ucode_picsZ ascii_picsr r r rcs  rruͯu⃐u⃰cCs t|tvS)z,Check whether symbol is a unicode modifier. )ord_remove_combining)rr r r is_combinings 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 rys   rycCst|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|]}|tvVqdSrG)r)r9 characterr r r rBsz.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 rsrrG)NN)F)r)S__doc__r!rrrrrrr Zsympy.printing.conventionsr Zsympy.core.alphabetsrZsympy.utilities.exceptionsr__all__rrr)r,r7rAlistZ greek_lettersindexrupdaterFrHrgbGBZgreek_bold_lettersrreriZLSUBZGSUBZDSUBZSSUBZLSUPZDSUPZSSUPrrr1glrangedr(rZHUPZCUPZMIDZEXTZHLOZCLOZTOPZBOTrrrrrrootZVFfracrrr$rrrdictfromkeysrrrryrrrrr r r r s                      5 D                                 ! " # $ % ' () 9 =