o o h:^@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 z/var/www/html/construction_image-detection-poc/venv/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)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)r symbolssr 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 er5cCr0)NzGREEK CAPITAL LETTER %sr1r3r r r r5fr6lamdalambdacCi|]}|t|qSr g.0Lr r r mr?cc0|]}|d|ddt|fVqdSrNr2Gr<r r r n.rFLamdaLambdauςvarsigmacCr0NzMATHEMATICAL BOLD SMALL %sr1r3r r r r5vr6cCr0)NzMATHEMATICAL BOLD CAPITAL %sr1r3r r r r5wr6cCr9r )b)r=r4r r r r?yr@ccs|] }|t|fVqdSN)Br<r r r rFzscCr0rKr1r3r r r r5}r6cCr0)NzMATHEMATICAL BOLD CAPITAL %sr1r3r r r r5~r6cCr9r r:r<r r r r?r@ccrArBrDr<r r r rFrGu𝛓ZEROONETWOTHREEFOURFIVESIXSEVENEIGHTNINE) 0123456789z PLUS SIGNMINUSz EQUALS SIGNzLEFT PARENTHESISzRIGHT PARENTHESISzLEFT SQUARE BRACKETzRIGHT SQUARE BRACKETzLEFT CURLY BRACKETzRIGHT CURLY BRACKETz CURLY BRACKET SUMMATIONINTEGRAL) +-=()[]{}{}sumintcCr0)NzLATIN SUBSCRIPT SMALL LETTER %sr1letterr r r r5r6cCr0)NzGREEK SUBSCRIPT SMALL LETTER %sr1rrr r r r5r6cCtdt|SNz SUBSCRIPT %sr digit_2txtdigitr r r r5r6cCrtrur symb_2txtsymbr r r r5r6cCr0)Nz!SUPERSCRIPT LATIN SMALL LETTER %sr1rrr r r r5r6cCrtNzSUPERSCRIPT %srvrxr r r r5r6cCrtr~rzr|r r r r5r6aeioruvxhklmnpstin)betagammarhophichicCsg|]}t|qSr )r-)r=ir r r r z+-=()mathringcC t|dS)Nů center_accentr)r r r r5 ddddotcCr)Nu⃜rrr r r r5rdddotcCr)Nu⃛rrr r r r5rddotcCr)Nürrr r r r5rdotcCr)Nu̇rrr r r r5rcheckcCr)Nǔrrr r r r5rbrevecCr)Nŭrrr r r r5racutecCr)Núrrr r r r5rgravecCr)Ǹrrr r r r5rtildecCr)Nũrrr r r r5rhatcCr)Nûrrr r r r5rbarcCr)Nu̅rrr r r r5rveccCr)Nu⃗rrr r r r5rprimecC|dSNu′r rr r r r5prmcCrrr rr r r r5rnormcC d|dS)Nu‖r rr r r r5 avgcCs d|dS)Nu⟨u⟩r rr r r r5rcCrN|r rr r r r5rcCrrr rr r r r5r)absmagcCrt)Nz %s UPPER HOOKrzr|r r r r5r6cCrt)Nz%s UPPER CORNERrzr|r r r r5r6cCrt)Nz%s MIDDLE PIECErzr|r r r r5r6cCrt)Nz %s EXTENSIONrzr|r r r r5r6cCrt)Nz %s LOWER HOOKrzr|r r r r5r6cCrt)Nz%s LOWER CORNERrzr|r r r r5r6cCrt)Nz%s TOPrzr|r r r r5r6cCrt)Nz %s BOTTOMrzr|r r r r5r6rirjrkrlrmrornrzBOX DRAWINGS LIGHT VERTICALTeez$BOX DRAWINGS LIGHT UP AND HORIZONTALUpTackz&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 CEILINGrqzTOP HALF INTEGRALzBOTTOM HALF INTEGRAL_OVERLINEzN-ARY SUMMATIONzBOX DRAWINGS LIGHT HORIZONTALzLOW LINE) lfloorrfloorlceilrceilrqrprgr/\)rrrri)rrrrj))rkrkrkrk))rlrlrlrl))rrrrrm))rrrrrn)rr)rr)z | z /z/ rgrr)rirjrkrlrmrnrrrrqrgrrrc 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 0NrC) ValueErrorr _xobj_unicode _xobj_ascii isinstancetuple IndexError) r}length_xobjvinfoc1topbotmidextvlongresnextnmidr r r xobjEsV        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 r5rzONE 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))rCr)rCr)rr)rCr)rr)rC)rr)rr)rr)rC)rr)rC)rr)rr)rz==)rhrh)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'rCr)_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 CUniversez$MATHEMATICAL DOUBLE-STRUCK CAPITAL UIdentityMatrixz$MATHEMATICAL DOUBLE-STRUCK CAPITAL I ZeroMatrixz%MATHEMATICAL DOUBLE-STRUCK DIGIT ZERO OneMatrixz$MATHEMATICAL DOUBLE-STRUCK DIGIT ONE DifferentialzDOUBLE-STRUCK ITALIC SMALL DUnionUNION ElementOfz ELEMENT OFSmallElementOfzSMALL ELEMENT OFSymmetricDifference INCREMENT Intersection INTERSECTIONRingMultiplicationzMULTIPLICATION SIGN TensorProductzN-ARY CIRCLED TIMES OPERATORDotszHORIZONTAL ELLIPSISzModifier Letter Low Ring EmptySequenceSuperscriptPluszSUPERSCRIPT PLUS SIGNSuperscriptMinuszSUPERSCRIPT MINUSDaggerDAGGERDegreez DEGREE SIGNAndz LOGICAL ANDOrz LOGICAL ORzNOT SIGNNORNANDXORzLEFT RIGHT DOUBLE ARROWz#LEFT RIGHT DOUBLE ARROW WITH STROKEzRIGHTWARDS ARROWzRIGHTWARDS ARROW FROM BARzRIGHTWARDS ARROW WITH STROKE) NotNorNandXorEquivNotEquivImplies NotImpliesArrow ArrowFromBarNotArrow Tautology ContradictioncCsFtr|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_atomsr!c 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|SrMlen)kr r r r59rz2pretty_symbol..translate..T)keyreversercSsg|]}t|qSr ) bold_unicoder=cr r r r=rz4pretty_symbol..translate..) greek_bold_unicodegetrsorted modifier_dictkeyslowerendswithr#r)r) bold_namegGr%) translater r r32s  $z pretty_symbol..translatec sfg}|D],}|}|dur+zdfdd|D}Wn ttfy*YdSw||q|S)Nrcsg|]}|qSr r r(mappingr r rJrz6pretty_symbol..pretty_list..)r+r TypeErrorrappend)r4r5resultr)prettyr r4r pretty_listDs  z"pretty_symbol..pretty_listNrcg|]}|qSr r r=r)r1r3r r rYr@z!pretty_symbol..__cr;r r r<r=r r r[r@ r)rr rrr) symb_namer1r supssubsr: pretty_sups pretty_subs sups_result subs_resultr r=r 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┌─ ├─ ╵)rrrrCu╭─╮ │╶┐ ╰─╯)FrE)rrrrz _ |_ | )rrrrCz __ /__ \_|)r)rs ucode_pics ascii_picsr r r rds  rruͯu⃐u⃰cCs t|tvS)z,Check whether symbol is a unicode modifier. )ord_remove_combining)rr r r is_combinings rLcCs4t|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 rrCNr")stringaccentmidpoint firstpart secondpartr r r rs   rcCst|tS)zxUnicode combining symbols (modifiers) are not ever displayed as separate symbols and thus should not be counted )r#r3rK)liner r r line_widthsrScCstdd|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|]}|tvVqdSrM)r)r= characterr r r rFsz.is_subscriptable_in_unicode..)all) subscriptr r r is_subscriptable_in_unicodesrWr?cCs@||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)wstringwtargetfillcharwdeltawleftwrightleftrightr r r rsrcCs$tt|||\}}d|||gS)zhReturn a centered string of length determined by `line_width` that uses `fillchar` for padding. r)rrSr)rMrrZr^r_r r r rsrrM)NN)F)r?)S__doc__r"rrMrrrrr sympy.printing.conventionsr sympy.core.alphabetsrsympy.utilities.exceptionsr__all__rrr*r/r;rElist greek_lettersindexrupdaterLrNr'gbGBgreek_bold_lettersr*rwr{LSUBGSUBDSUBSSUBLSUPDSUPSSUPrrr4glrangedr)r-HUPCUPMIDEXTHLOCLOTOPBOTrrrrrrootVFfracrrr%r!rrdictfromkeysrJrKrLrrSrWrrr r r r s                      5 D                                 ! " # $ % ' () 9 =