
    \hD                    
   S SK Jr  S SKJr  S SKJr  S SKJr  S SKJ	r	J
r
  S SKJrJrJrJr  S SKJr  S SKJrJrJr  S S	KJrJrJrJr  S S
KJr  S SKJrJrJ r J!r!J"r"J#r#  S SK$J%r%  S SK&J'r'J(r(  S SK)J*r*  S SK+J,r,  S SK-J.r.J/r/J0r0J1r1  S SK2J3r3  S SK4J5r5J6r6  S SK7J8r8  S SK9J:r:  S SK;J<r<J=r=  S SK>J?r?  S SK@JArAJBrBJCrCJDrDJErEJFrFJGrGJHrHJIrI  S SKJJKrKJLrL  S SKMJNrN  S SKOJPrP  S SKQJRrR  S SKSJTrT  S SKUJVrV  S SKWJXrX  S SKYJZrZJ[r[  S S K\J]r]  S S!K^J_r_J`r`  S S"KaJbrb  S S#KcJdrd  S S$KeJfrf  S S%KgJhrh  S S&KiJjrjJkrkJlrlJmrm  S S'KnJoro  S S(KpJqrq  S S)KrJsrsJtrtJuruJvrvJwrw  S S*KxJyryJzrzJ{r{J|r|J}r}J~r~  S S+KJr  S S,KJr  S S-KJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJr  S S.KJrJrJrJrJrJrJrJr  S S/KJr  S S0KJr  S S1KJrJrJrJrJrJrJrJrJr  S S2KJrJr  S S3KJrJr  S S4KJrJrJr  S S5KJr  S S6KJrJr  S S7KJr  S S8KJr  S S9KJrJrJrJr  S S:KJrJrJrJrJr  S S;KJr  S S<KJrJrJrJrJr  S S=KJrJrJr  S S>KJrJrJrJrJrJrJr  S S?Kr " S@ SA\GR                  5      r\(" SB5      u  rGr GrGrGrGrGrGrGrGrGr	\" SC5      Gr
\'" SD5      Gr\'" SE5      Gr SSF jrSSG jGrSH GrSI GrSJ GrSK GrSL GrSM GrSN GrSO GrSP GrSQ GrSR GrSS GrST GrSU GrSV GrSW GrSX GrSY GrSZ Gr S[ Gr!S\ Gr"S] Gr#\S^ 5       Gr$S_ Gr%S` Gr&Sa Gr'Sb Gr(Sc Gr)Sd Gr*Se Gr+Sf Gr,Sg Gr-Sh Gr.Si Gr/Sj Gr0Sk Gr1Sl Gr2Sm Gr3Sn Gr4So Gr5Sp Gr6Sq Gr7Sr Gr8Ss Gr9St Gr:Su Gr;Sv Gr<Sw Gr=Sx Gr>Sy Gr?Sz Gr@S{ GrAS| GrBS} GrCS~ GrDS GrES GrFS GrGS GrHS GrIS GrJS GrKS GrLS GrMS GrNS GrOS GrPS GrQS GrRS GrSS GrTS GrUS GrVS GrWS GrXS GrYS GrZS Gr[S Gr\S Gr]S Gr^S Gr_S Gr`S GraS GrbS GrcS GrdS GreS GrfS GrgS GrhS GriS GrjS GrkS GrlS GrmS GrnS GroS GrpS GrqS GrrS GrsS GrtS GruS GrvS GrwS GrxS GryS GrzS Gr{S Gr|S Gr}S Gr~S GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS GrS Grg?)    )Product)Sum)Add)Basic)DictTuple)
DerivativeFunctionLambdaSubs)Mul)
EulerGammaGoldenRatioCatalan)IRationaloopi)Pow)EqGeGtLeLtNe)S)Symbolsymbols)	conjugate)LambertW)airyaiairyaiprimeairybiairybiprime)	Heaviside)fresnelcfresnels)SingularityFunction)dirichlet_eta)RaySegment)Integral)	And
EquivalentITEImpliesNandNorNotOrXor)Matrixdiag)MatrixSlice)Trace)FF)ZZ)QQ)RR)grlexilex)groebner)RootSumrootof)fps)fourier_series)Limit)O)SeqAdd
SeqFormulaSeqMulSeqPer)Contains)Range)
Complement	FiniteSetIntersectionIntervalUnion)
AssignmentAddAugmentedAssignmentSubAugmentedAssignmentMulAugmentedAssignmentDivAugmentedAssignmentModAugmentedAssignment)UnevaluatedExpr)Tr).AbsChiCiEiKroneckerDelta	PiecewiseShiSiatan2betabinomialcatalanceilingcoseulerexpexpint	factorial
factorial2floorgammahyperlogmeijergsinsqrtsubfactorialtan
uppergammalerchphipolylog
elliptic_k
elliptic_f
elliptic_eelliptic_pi
DiracDeltabell	bernoulli	fibonacci
tribonaccilucas	stieltjesmathieucmathieusmathieusprimemathieucprime)AdjointInverseMatrixSymbol	TransposeKroneckerProductBlockMatrix	OneMatrix
ZeroMatrix)hadamard_power)	mechanics)	TransferFunctionFeedbackTransferFunctionMatrixSeriesParallel
MIMOSeriesMIMOParallelMIMOFeedback
StateSpace)jouledegree)pprintpretty)center_accentis_combiningcenter)ConditionSet)ImageSet
ProductSet)SetExpr)Normal)
CovarianceExpectationProbabilityVariance)ImmutableDenseNDimArrayImmutableSparseNDimArrayMutableDenseNDimArrayMutableSparseNDimArraytensorproduct)TensorProduct)TensorIndexTypetensor_indices
TensorHeadTensorElementtensor_heads)raises_both_exp_powwarns_deprecated_sympy)
CoordSys3DGradientCurl
DivergenceDotCross	LaplacianNc                       \ rS rSrSrg)
lowergammaV    N__name__
__module____qualname____firstlineno____static_attributes__r       _/var/www/auris/envauris/lib/python3.13/site-packages/sympy/printing/pretty/tests/test_pretty.pyr   r   V   s    r   r   za,b,c,d,x,y,z,k,n,s,pfthetaphic                     [        XSSS9$ )zASCII pretty-printingForderuse_unicode	wrap_linexprettyexprr   s     r   r   r   
  s    4%5IIr   c                     [        XSSS9$ )zUnicode pretty-printingTFr   r   r   s     r   uprettyr     s    4$%HHr   c                  X   [        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   eg Nxxxzxxx'xxxzxxx"xxxzxxx"xxx'xxxzxxx
xxxr   r   r   r   test_pretty_ascii_strr         5?e###5?e###::---9*,,,::---9*,,,::---::---?$666::---r   c                  X   [        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   eg r   r   r   r   r   test_pretty_unicode_strr   !  r   r   c                      [        [        5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   eg )N   ∞z	alpha^+_1u   α⁺₁rc      βlambdau   λ)r   r   r   r   r   r   test_upretty_greekr   .  s[    B=E!!!F;')Z777F6N$,,,6(#$,,,r   c                      [        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   eg )Nbeta12u   β₁₂Y00u   Y₀₀Y_00zF^+-u   F⁺⁻r   r   r   r   r   test_upretty_multiindexr   5  s_    F8$&*444F5M#y000F6N$	111F6N$	111r   c                     [        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S	5      5      S
:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   eg )Nbeta_1_2u	   β₁ ₂zbeta^1^2u   β¹ ²zbeta_1^2u   β²₁
beta_10_20u   β₁₀ ₂₀zbeta_ax_gamma^iu   βⁱₐₓ ᵧz	F^1^2_3_4u   F¹ ²₃ ₄z	F_1_2^3^4u   F³ ⁴₁ ₂	F_1_2_3_4u   F₁ ₂ ₃ ₄z	F^1^2^3^4u   F¹ ² ³ ⁴r   r   r   r   test_upretty_sub_superr   <  s    F:&(K777F:&(I555F:&(I555F<(*.????F,-/3DDDDF;')_<<<F;')-====F;')-????F;')_<<<r   c                     [        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S	5      5      S
:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   eg )NF_betau   FᵦF_gammau   FᵧF_rhou   FᵨF_phiu   FᵩF_chiu   FᵪF_au   FₐF_eu   FₑF_iu   FᵢF_ou   FₒF_uu   FᵤF_ru   FᵣF_vu   FᵥF_xu   Fₓr   r   r   r   test_upretty_subs_missing_in_24r   H  s/   F8$&&000F9%'6111F7O%///F7O%///F7O%///F5M#v---F5M#v---F5M#v---F5M#v---F5M#v---F5M#v---F5M#v---F5M#v---r   c                     [        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S	5      5      S
:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   eg )NF_hu   FₕF_ku   FₖF_lu   FₗF_mu   FₘF_nu   FₙF_pu   FₚF_su   FₛF_tu   Fₜr   r   r   r   test_missing_in_2X_issue_9047r
  Y  s    F5M#v---F5M#v---F5M#v---F5M#v---F5M#v---F5M#v---F5M#v---F5M#v---r   c                  P   [        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S	5      5      S
:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S 5      5      S :X  d   e[        [        S!5      5      S!:X  d   e[        [        S"5      5      S":X  d   e[        [        S#5      5      S$:X  d   e[        [        S%5      5      S&:X  d   e[        [        S'5      5      S(:X  d   e[        [        S)5      5      S(:X  d   e[        [        S*5      5      S+:X  d   e[        [        S,5      5      S-:X  d   e[        [        S.5      5      S/:X  d   e[        [        S05      5      S1:X  d   e[        [        S25      5      S3:X  d   e[        [        S45      5      S4:X  d   e[        [        S55      5      S5:X  d   eg )6N	Fmathringu   F̊Fddddotu   F⃜Fdddotu   F⃛Fddotu   F̈Fdotu   ḞFchecku   F̌Fbreveu   F̆Facuteu   F́Fgraveu   F̀Ftildeu   F̃Fhatu   F̂Fbaru   F̅Fvecu   F⃗Fprimeu   F′FprmFboldFbmFcalFscrFfrakFnormu   ‖F‖Favgu   ⟨F⟩Fabsz|F|Fmagxvecdotu   x⃗̇xDotVecu   ẋ⃗xHATNormu	   ‖x̂‖xMathring_yCheckPRM__zbreveAbsu   x̊_y̌′__|z̆| alphadothat_nVECDOT__tTildePrimeu   α̇̂_n⃗̇__t̃′x_dotx__dotr   r   r   r   test_upretty_modifiersr+  d  s   F;')U222F9%'6111F8$&&000F7O%...F6N$---F8$&%///F8$&%///F8$&%///F8$&%///F8$&%///F6N$---F6N$---F6N$...F8$&&000F6N$...F7O%000F5M#u,,,F6N$...F6N$...F7O%000F7O%222F6N$	111F6N$---F6N$---F9%'8333F9%'8333F:&(K777F;<>BUUUUF=>@D[[[[F7O%000F8$&(222r   c                      SSK Jn   [        U " SS5      5      S:X  d   e[        U " S5      5      S:X  d   e[        U " SS5      " SS	5      5      S
:X  d   e[        U " 5       5      S:X  d   eg )Nr   Cycle      z(1 2)z(2)         z
(1 3)(4 5)()) sympy.combinatorics.permutationsr.  r   r-  s    r   test_pretty_Cycler6    si    6%1+')))%(u$$$%1+a#$444%'?d"""r   c                  r   SSK Jn   U " SS5      " SS5      n[        USSS9S	:X  d   e[        USS
S9S	:X  d   e[        US
SS9S:X  d   e[        US
S
S9S:X  d   e[        5          U R                  nS
U l        [        USS9S:X  d   e[        US
S9S:X  d   eX l        S S S 5        g ! , (       d  f       g = f)Nr   )Permutationr/  r0  r1  r2  T)perm_cyclicr   z
(1 2)(3 4)Fu   ⎛0 1 2 3 4⎞
⎝0 2 1 4 3⎠z/0 1 2 3 4\
\0 2 1 4 3/r   )r5  r8  r   r   print_cyclic)r8  p1old_print_cyclics      r   test_pretty_Permutationr>    s    <	Q	1a	 B24T:lJJJ24U;|KKK25d;   25e<   
 	!&33#( rt,	 	  ru-	 	  $4  
"	!	!s   %:B((
B6c                  2
   [        [        S5      * S-  5      S:X  d   e[        [        S5      * S-  5      S:X  d   e[        n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        S-  n S	nS	n[        U 5      U:X  d   e[        U 5      U:X  d   eS[        -  n S
nSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        S-  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        S5      SSS9n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        S-  -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        SS5      -  n SnSn[        U SSSS9U:X  d   e[        U SSSS9U:X  d   e[        [        SS5      -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eS[        -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        SSSS9n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        S-  [        -   S-   n SnSnSnSnSnSn[        U 5      X4U4;   d   e[        U 5      XgU4;   d   eS[        -
  n S nS!nS nS!n[        U 5      X44;   d   e[        U 5      Xg4;   d   eSS[        -  -
  n S"nS#nS$nS%n[        U 5      X44;   d   e[        U 5      Xg4;   d   e[        [        -  n S&nS'n[        U 5      U:X  d   e[        U 5      U:X  d   e[        * [        -  n S(nS)n[        U 5      U:X  d   e[        U 5      U:X  d   e[        S-   [        -  n S*nS+nS,nS-n[        U 5      X44;   d   e[        U 5      Xg4;   d   eS[        -   [        -  n S.nS/nS0nS1nS2nS3n[        U 5      X4U4;   d   e[        U 5      XgU4;   d   eS[        -  [        S4-   -  n S5nS6nS7nS8n[        U 5      X44;   d   e[        U 5      Xg4;   d   e[        R                  * S[        -  -
  n S9nS:n[        U 5      U:X  d   e[        U 5      U:X  d   e[        R                  S[        -  -
  n S;nS<n[        U 5      U:X  d   e[        U 5      U:X  d   e[        R                  * S[        -  S-  -
  n S=nS>n[        U 5      U:X  d   e[        U 5      U:X  d   e[        R                  S[        -  S-  -
  n S?nS@n[        U 5      U:X  d   e[        U 5      U:X  d   eg )ANr/  r0  z-1/2      z-13 
----
 22 r   r   z 2
x z1
-
x   1
─
xg      z -1.0
x    Fevaluatez -1.0
2    y 
--
 2
x    y 
──
 2
x r1  z	 1/3
x   )r   r   root_notationTz 1  
----
 5/2
x   u    1  
────
 5/2
x   z    x
(-2) z 1
3          2
1 + x + x  2        
x  + x + 1z 2        
x  + 1 + x1 - x-x + 11 - 2*x-2*x + 1u	   1 - 2⋅xu
   -2⋅x + 1zx
-
yu   x
─
y-x 
---
 y    -x 
───
 y z2 + x
-----
  y  zx + 2
-----
  y  u   2 + x
─────
  y  u   x + 2
─────
  y  z	y*(1 + x)z	(1 + x)*yz	y*(x + 1)u   y⋅(1 + x)u   (1 + x)⋅yu   y⋅(x + 1)
   z-5*x  
------
10 + xz-5*x  
------
x + 10u"   -5⋅x  
──────
10 + xu"   -5⋅x  
──────
x + 10z
-3*x - 1/2u   -3⋅x - 1/2z	1/2 - 3*xu   1/2 - 3⋅xz  3*x   1
- --- - -
   2    2u'     3⋅x   1
- ─── - ─
   2    2z1   3*x
- - ---
2    2 u!   1   3⋅x
─ - ───
2    2 )
r   r   r   r   xr   r   yr   Half)	r   	ascii_str	ucode_strascii_str_1ascii_str_2ascii_str_3ucode_str_1ucode_str_2ucode_str_3s	            r   test_pretty_basicr^    sj   HQK<>#v---HRL=#%   D 
  $<9$$$4=I%%%qDD  
 $<9$$$4=I%%%Q3D   $<9$$$4=I%%% d7D  
 $<9$$$4=I%%% qtTE*D  
 $<9$$$4=I%%%QU7D   $<9$$$4=I%%% hq!nD  
 4Ue'( ( (4TU'( ( ( hr1oD   $<9$$$4=I%%%7D  
 $<9$$$4=I%%% q!e$D  
 $<9$$$4=I%%%qD1HqLD      
 $<KkBBBB4=[{CCCCq5D 
 
 
  $<K55554=[6666qs7D 
 
 
  $<K55554=[6666Q3D   $<9$$$4=I%%%2a4D   $<9$$$4=I%%%E19D     $<K55554=[6666E19D 
 
 
 
 
  $<KkBBBB4=[{CCCC a4R=D     $<K55554=[6666FF7QqS=D 
  $<9$$$4=I%%%66AaC<D 
  $<9$$$4=I%%%FF7QqSU?D   $<9$$$4=I%%%66AaCE>D   $<9$$$4=I%%%r   c                  B   [         * [        -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[         * [        -  [        -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[         S-  [        -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[         S-  * [        -  n SnS	n[        U 5      U:X  d   e[        U 5      U:X  d   e[         * [        [        -  -  n S
nSn[        U 5      U:X  d   e[        U 5      U:X  d   e[
        * [        S-  -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [
        * [        -  -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eS[        S-  -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eS[        S-  -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        SS5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eg )NrP  rQ  z-x*z 
-----
  y  u   -x⋅z 
─────
  y  r0  z 2
x 
--
y u    2
x 
──
y z  2 
-x  
----
 y  u     2 
-x  
────
 y  z-x 
---
y*zu   -x 
───
y⋅zz-a 
---
 2 
y  u   -a 
───
 2 
y  z -a 
 ---
  b 
y   u    -a 
 ───
  b 
y   z-1 
---
 2 
y  u   -1 
───
 2 
y  iz-10 
----
  2 
 b  u   -10 
────
  2 
 b  i8%   z-200 
-----
 37  u   -200 
─────
 37  )rS  rT  r   r   zabr   r   rV  rW  s      r   test_negative_fractionsrf  D  s   2a4D   $<9$$$4=I%%%2a46D   $<9$$$4=I%%%a46D   $<9$$$4=I%%%qD57D   $<9$$$4=I%%%2qs8D   $<9$$$4=I%%%2ad7D   $<9$$$4=I%%%r!t9D   $<9$$$4=I%%%ad7D   $<9$$$4=I%%%q!t8D   $<9$$$4=I%%%D"D   $<9$$$4=I%%%r   c                  
   [        SSSS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        SSSS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        SSSS9n [        U 5      S	:X  d   e[        U 5      S
:X  d   e[        SSSSS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        SSSS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        SSSS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        SSSSS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        SSSSS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        SSSS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        S[        SS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        SSSS[        SS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        SSSS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        SSSSS[
        [        SS9n [        U 5      S :X  d   e[        U 5      S!:X  d   e[        SSSS[        -   S[
        [        SS9n [        U 5      S":X  d   e[        U 5      S#:X  d   e[        [        SS5      [        S$S%5      SS9n [        U 5      S&:X  d   e[        U 5      S':X  d   e[        [        [
        -   [        SS5      SS9n [        U 5      S(:X  d   e[        U 5      S):X  d   e[        [        SS5      [        [
        -   SS9n [        U 5      S*:X  d   e[        U 5      S+:X  d   e[        [        R                  [        [
        -   SS9n [        U 5      S,:X  d   e[        U 5      S-:X  d   e[        [        [
        -
  [        R                  SS9n [        U 5      S.:X  d   e[        U 5      S/:X  d   e[        [        SS5      [        [
        -
  [        R                  [        [
        -   SS9n [        U 5      S0:X  d   e[        U 5      S1:X  d   e[        [        [
        -   [        SS5      [        R                  [
        [        -
  SS9n [        U 5      S2:X  d   e[        U 5      S3:X  d   e[        [        [
        -   [        SS5      [        SS5      [        S$S45      SS9n [        U 5      S5:X  d   e[        U 5      S6:X  d   e[        [        SS5      [        [
        -   [        R                  [
        [        -
  SS9n [        U 5      S7:X  d   e[        U 5      S8:X  d   eg )9Nr   r/  FrC  z0*1u   0⋅1z1*0u   1⋅0z1*1u   1⋅1z1*1*1u	   1⋅1⋅1r0  z1*2u   1⋅2z0 + 1z1*1*2u	   1⋅1⋅2z	0 + 0 + 1r`  z1*-1u   1⋅-1g      ?z1.0*xu   1.0⋅xr1  z	1*1*2*3*xu   1⋅1⋅2⋅3⋅xz-1*1u   -1⋅1r2  z4*3*2*1*0*y*xu   4⋅3⋅2⋅1⋅0⋅y⋅xz4*3*2*(z + 1)*0*y*xu   4⋅3⋅2⋅(z + 1)⋅0⋅y⋅xr3     z2/3*5/7u	   2/3⋅5/7z(x + y)*1/2u   (x + y)⋅1/2zx + y
-----
  2  u   x + y
─────
  2  z	1*(x + y)u   1⋅(x + y)z	(x - y)*1u   (x - y)⋅1z1/2*(x - y)*1*(x + y)u   1/2⋅(x - y)⋅1⋅(x + y)z(x + y)*3/4*1*(y - z)u   (x + y)⋅3/4⋅1⋅(y - z)   z(x + y)*1*3/4*5/6u   (x + y)⋅1⋅3/4⋅5/6z3/4*(x + y)*1*(y - z)u   3/4⋅(x + y)⋅1⋅(y - z))
r   r   r   r   rS  rT  rb  r   r   Oner   s    r   test_Mulrl    s>   q!e$D$<5   4=G###q!e$D$<5   4=G###q!e$D$<5   4=G###q!Q'D$<7"""4=K'''q!e$D$<5   4=G###q!e$D$<7"""4=G###q!Q'D$<7"""4=K'''q!Q'D$<;&&&4=K'''q"u%D$<6!!!4=H$$$sA&D$<7"""4=I%%%q!Q1u-D$<;&&&4=////r1u%D$<6!!!4=H$$$q!Q1aU3D$<?***4=7777q!Q!Q1u5D$<00004=====x1~x1~>D$<9$$$4=K'''q1uhq!nu5D$<=(((4=O+++x1~q1uu5D$<00004=;;;;quua!ee,D$<;&&&4=M)))q1uaeee,D$<;&&&4=M)))x1~q1uaeeQUUCD$<22224=9999q1uhq!naeeQUUCD$<22224=9999q1uhq!nhq!nhq!neTD$<....4=5555x1~q1uaeeQUUCD$<22224=9999r   c                  ,   [        [        * S-   * [        * S[        S5      -  -
  S-   -  [        * S-   [        * S-   -  -
  5      S:X  d   e[	        [        * S-   * [        * S[        S5      -  -
  S-   -  [        * S-   [        * S-   -  -
  5      S:X  d   eg )Nr3  r0  zO         2           /         ___    \
- (5 - y)  + (x - 5)*\-x - 2*\/ 2  + 5/uO            2                          
- (5 - y)  + (x - 5)⋅(-x - 2⋅√2 + 5))r   rS  rs   rT  r   r   r   r   test_issue_5524rn  1  s    QBF)aR!DG)^a/0QBFaR!V3DDE   aR!V9qb1T!W9nq01aR!Vqb1f4EEF  r   c                  .   [        [        S-  [        -   S-   SS9S:X  d   e[        [        S-  [        -   S-   SS9S:X  d   e[        S[        -
  SS9S:X  d   e[        S[        -
  SS9S	:X  d   e[        SS[        -  -
  SS9S
:X  d   e[        SS[        -  -
  SS9S:X  d   eS[        S-  -  [        S-  -   [        S-  -
  [        S-  -   n [        U S S9S:X  d   e[        U SS9S:X  d   e[        U SS9S:X  d   e[        [        S-  S-  -
  [        S-  S-  -   [        [        S-  5      -   nSnSn[        US S9U:X  d   e[	        US S9U:X  d   e[        USS9U:X  d   e[	        USS9U:X  d   e[        USS9U:X  d   e[	        USS9U:X  d   eg )Nr0  r/  lexr   rK  zrev-lexrJ  rM  rL  rO  rN  r2  r1  z'   4    2    3    2
2*x  - x  + y  + y z' 2    3    2      4
y  + y  - x  + 2*x ri  r3  x   zS     3    5         
    x    x      / 6\
x - -- + --- + O\x /
    6    120        ue        3    5         
    x    x      ⎛ 6⎞
x - ── + ─── + O⎝x ⎠
    6    120        )r   rS  rT  rF   r   )r   r   rV  rW  s       r   test_pretty_orderingrs  ?  s   !Q$(Q,e,  
 !Q$(Q,i0  
 !a%u%111!a%y)W444!ac'':555!ac'+y888	!Q$A1q!t#A!4   
 !5!  
 !9%   q!tAv:1S 1QT7*D   $d#y0004t$	111$e$	1114u%222$i(I5554y)Y666r   c                      [        [        5      [        [        5      s=:X  a  S:X  d   e   e[        [        5      S:X  d   eg )Nr      γ)r   r   strr   r   r   r   test_EulerGammarw  z  s7    *Z@L@@@@@:$&&&r   c                      [        [        5      [        [        5      s=:X  a  S:X  d   e   e[        [        5      S:X  d   eg )Nr   u   φ)r   r   rv  r   r   r   r   test_GoldenRatiory    s8    +#k"2CmCCCCC;4'''r   c                  \    [        [        5      [        [        5      s=:X  a  S:X  d   e   eg )NG)r   r   r   r   r   r   test_Catalanr|    s$    '?gg.5#55555r   c                     [        [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        S-   -  [        S	-  5      n S
nSnSnSn[        U 5      X44;   d   e[	        U 5      XV4;   d   eg )Nzx = yzx < yzx > yzx <= yu   x ≤ yzx >= yu   x ≥ yr/  r0  z#  x       2
----- != y 
1 + y      z#  x       2
----- != y 
y + 1      u,     x      2
───── ≠ y 
1 + y     u,     x      2
───── ≠ y 
y + 1     )
r   rS  rT  r   r   r   r   r   r   r   )r   rV  rW  rX  rY  r[  r\  s          r   test_pretty_relationalr~    s   a8D 
  $<9$$$4=I%%%a8D 
  $<9$$$4=I%%%a8D 
  $<9$$$4=I%%%a8D 
  $<9$$$4=I%%%a8D 
  $<9$$$4=I%%%aQiAD     $<K55554=[6666r   c                  x    [        [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   eg )Nzx := y)rR   rS  rT  r   r   re  s      r   test_Assignmentr    sH    aD 
  $<9$$$4=I%%%r   c                  H   [        [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   eg )Nzx += yzx -= yzx *= yzx /= yzx %= y)	rS   rS  rT  r   r   rT   rU   rV   rW   re  s      r   test_AugmentedAssignmentr    s`   !!Q'D 
  $<9$$$4=I%%%!!Q'D 
  $<9$$$4=I%%%!!Q'D 
  $<9$$$4=I%%%!!Q'D 
  $<9$$$4=I%%%!!Q'D 
  $<9$$$4=I%%%r   c                     [         [        S-  -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[         [	        SS5      -  [        [	        SS5      -  -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        5      S-  [        [        5      S-  -  n S	nS
n[        U 5      U:X  d   e[        U 5      U:X  d   eg )NrE  rF  rG  r1  r0  rI  z 3/2
y   
----
 5/2
x   u     3/2
y   
────
 5/2
x   z'   3   
sin (x)
-------
   2   
tan (x)u5      3   
sin (x)
───────
   2   
tan (x))rT  rS  r   r   r   rr   ru   re  s      r   test_pretty_rationalr  .  s    QU7D   $<9$$$4=I%%%hq!nq(2q/11D   $<9$$$4=I%%%q619SVQYD   $<9$$$4=I%%%r   c            
         S[         -  [        [         5      -   n SnSnSnSnSn[        U 5      X4;   d   e[        U 5      X4U4;   d   e[	        [         5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[	        [         [         S-  S	-   -  5      n S
nSnSnSn[        U 5      X4;   d   e[        U 5      X44;   d   e[	        S	[
        [	        [         5      -
  -  5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        SSS9n[        U5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        SU-  5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        U5      5      5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        US	-   5      n SnSnSnSn[        U 5      X4;   d   e[        U 5      X44;   d   e[        U5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        SU-  5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        SSS9n[        U5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        SU-  5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        U5      5      5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        US	-   5      n S nS!nS nS!n[        U 5      X4;   d   e[        U 5      X44;   d   eS[        U[        5      -  n S"nS#n[        U 5      U:X  d   e[        U 5      U:X  d   eS[        SU-  [        5      -  n S$nS%n[        U 5      U:X  d   e[        U 5      U:X  d   eS[        US-  [        5      -  n S&nS'n[        U 5      U:X  d   e[        U 5      U:X  d   e[        U5      n S(nS(n[        U 5      U:X  d   e[        U 5      U:X  d   e[        U5      n S(nS(n[        U 5      U:X  d   e[        U 5      U:X  d   e[        U5      n S)nS)n[        U 5      U:X  d   e[        U 5      U:X  d   e[        U5      n S)nS)n[        U 5      U:X  d   e[        U 5      U:X  d   e[        U[         5      n S*nS*n[        U 5      U:X  d   e[        U 5      U:X  d   e[        U5      n S+nS+n[        U 5      U:X  d   e[        U 5      U:X  d   e[!        U5      n S,nS,n[        U 5      U:X  d   e[        U 5      U:X  d   e[#        U5      n S-nS-n[        U 5      U:X  d   e[        U 5      U:X  d   e[%        U5      n S.nS/n[        U 5      U:X  d   e[        U 5      U:X  d   e[%        U[         5      n S0nS1n[        U 5      U:X  d   e[        U 5      U:X  d   e['        [         [
        [(        5      n S2nS2n[        U 5      U:X  d   e[        U 5      U:X  d   e[+        [         [
        [(        5      n S3nS3n[        U 5      U:X  d   e[        U 5      U:X  d   e[-        [         [
        [(        5      n S4nS4n[        U 5      U:X  d   e[        U 5      U:X  d   e[/        [         [
        [(        5      n S5nS5n[        U 5      U:X  d   e[        U 5      U:X  d   e[1        [         5      n S6nS6n[        U 5      U:X  d   e[        U 5      U:X  d   e[3        S75      n	[1        U	" [         S	-   5      5      n S8nS9nS8nS9n[        U 5      X4;   d   e[        U 5      X44;   d   eU	" [         5      n S:nS:n[        U 5      U:X  d   e[        U 5      U:X  d   eU	" [         [
        5      n S;nS;n[        U 5      U:X  d   e[        U 5      U:X  d   eU	" [         [
        S	-   -  [
        5      n S<nS=nS>nS?n[        U 5      X4;   d   e[        U 5      X44;   d   eU	" [         [         [         [         [         [         -  -  -  -  -  5      n S@nSAn[        U 5      U:X  d   e[        U 5      U:X  d   e[5        [         5      S-  n SBnSBn[        U 5      U:X  d   e[        U 5      U:X  d   e[1        [6        [8        [:        -  -   5      n SCnSDn[        U 5      U:X  d   e[        U 5      U:X  d   e[1        [        [6        [8        [:        -  -   5      5      n SEnSFn[        U 5      U:X  d   e[        U 5      U:X  d   e[1        U	" S	[1        U	" [         5      5      -   5      5      n SGnSHnSInSJn[        U 5      X4;   d   e[        U 5      X44;   d   eU	" [         [
        S	-   -  [
        5      n S<nS=nS>nS?n[        U 5      X4;   d   e[        U 5      X44;   d   e[=        S	[
        [=        [         5      -
  -  5      n SKnSLn[        U 5      U:X  d   e[        U 5      U:X  d   e[?        S	[
        [?        [         5      -
  -  5      n SMnSNn[        U 5      U:X  d   e[        U 5      U:X  d   e[A        U5      n SOnSOn[        U 5      U:X  d   e[        U 5      U:X  d   e[A        S	S	S	S	S	U-  -   -  -   -  5      n SPnSQn[        U 5      U:X  d   e[        U 5      U:X  d   e[A        U[         5      n SRnSRn[        U 5      U:X  d   e[        U 5      U:X  d   e[A        U[         S-  5      n SSnSTn[        U 5      U:X  d   e[        U 5      U:X  d   egU)Vz>Tests for Abs, conjugate, exp, function braces, and factorial.r0  z       x
2*x + e z x      
e  + 2*xu          x
2⋅x + ℯ u    x     
ℯ + 2⋅xu    x      
ℯ  + 2⋅xz|x|u   │x│r/  z#|  x   |
|------|
|     2|
|1 + x |z#|  x   |
|------|
| 2    |
|x  + 1|u?   │  x   │
│──────│
│     2│
│1 + x │u?   │  x   │
│──────│
│ 2    │
│x  + 1│z    1    
---------
|y - |x||u7       1    
─────────
│y - │x││nTintegerzn!z(2*n)!u   (2⋅n)!z((n!)!)!z(1 + n)!z(n + 1)!z!nz!(2*n)u   !(2⋅n)zn!!z(2*n)!!u	   (2⋅n)!!z((n!!)!!)!!z	(1 + n)!!z	(n + 1)!!z  /n\
2*| |
  \k/u     ⎛n⎞
2⋅⎜ ⎟
  ⎝k⎠z  /2*n\
2*|   |
  \ k /u'     ⎛2⋅n⎞
2⋅⎜   ⎟
  ⎝ k ⎠z  / 2\
  |n |
2*|  |
  \k /u-     ⎛ 2⎞
  ⎜n ⎟
2⋅⎜  ⎟
  ⎝k ⎠zC 
 nzB 
 nzB (x)
 n   zF 
 nzL 
 nzT 
 nzstieltjes 
         nu   γ 
 nzstieltjes (x)
         n   u   γ (x)
 n   z
C(x, y, z)z
S(x, y, z)zC'(x, y, z)zS'(x, y, z)z_
xr   z________
f(1 + x)z________
f(x + 1)zf(x)zf(x, y)z# /  x     \
f|-----, y|
 \1 + y   /z# /  x     \
f|-----, y|
 \y + 1   /u9    ⎛  x     ⎞
f⎜─────, y⎟
 ⎝1 + y   ⎠u9    ⎛  x     ⎞
f⎜─────, y⎟
 ⎝y + 1   ⎠zk / / / / / x\\\\\
 | | | | \x /||||
 | | | \x    /|||
 | | \x       /||
 | \x          /|
f\x             /u    ⎛ ⎛ ⎛ ⎛ ⎛ x⎞⎞⎞⎞⎞
 ⎜ ⎜ ⎜ ⎜ ⎝x ⎠⎟⎟⎟⎟
 ⎜ ⎜ ⎜ ⎝x    ⎠⎟⎟⎟
 ⎜ ⎜ ⎝x       ⎠⎟⎟
 ⎜ ⎝x          ⎠⎟
f⎝x             ⎠z   2   
sin (x)z_     _
a - I*bu   _     _
a - ⅈ⋅bz _     _
 a - I*b
e       u     _     _
 a - ⅈ⋅b
ℯ       z#___________
 /    ____\
f\1 + f(x)/z#___________
 /____    \
f\f(x) + 1/u+   ___________
 ⎛    ____⎞
f⎝1 + f(x)⎠u+   ___________
 ⎛____    ⎞
f⎝f(x) + 1⎠z;     /     1      \
floor|------------|
     \y - floor(x)/u;   ⎢   1   ⎥
⎢───────⎥
⎣y - ⌊x⌋⎦zG       /      1       \
ceiling|--------------|
       \y - ceiling(x)/u;   ⎡   1   ⎤
⎢───────⎥
⎢y - ⌈x⌉⎥zE 
 nzWE         
     1    
 ---------
       1  
 1 + -----
         1
     1 + -
         nuu   E         
     1    
 ─────────
       1  
 1 + ─────
         1
     1 + ─
         nzE (x)
 n   z  /x\
E |-|
 n\2/u     ⎛x⎞
E ⎜─⎟
 n⎝2⎠N)!rS  ri   r   r   rZ   rT  r   rk   rt   rl   rd   kre   r~   r   r   r   r   r   r   rb  r   r   r   r   r
   rr   rc  rd  r   rm   rf   rh   )
r   rX  rY  r[  r\  r]  rV  rW  r  r   s
             r   test_pretty_functionsr  j  s    aC#a&LD     
 $<K55554=[{CCCCq6D 
  $<9$$$4=I%%%q!Q$(|D     $<K55554=[6666qAAJ D   $<9$$$4=I%%%sD!AQ<D 
  $<9$$$4=I%%%QqS>D 
  $<9$$$4=I%%%Yy|,-D 
  $<9$$$4=I%%%QUD 
 
 
 
 $<K55554=[6666?D 
  $<9$$$4=I%%%!D 
  $<9$$$4=I%%%sD!Aa=D 
  $<9$$$4=I%%%ac?D 
  $<9$$$4=I%%%jA/0D 
  $<9$$$4=I%%%a!eD 
 
 
 
 $<K55554=[6666Xa^D   $<9$$$4=I%%%Xac1D   $<9$$$4=I%%%XadAD   $<9$$$4=I%%%1:D  
 $<9$$$4=I%%%1:D  
 $<9$$$4=I%%%7D  
 $<9$$$4=I%%%Q<D  
 $<9$$$4=I%%%Q?D  
 $<9$$$4=I%%%Q<D  
 $<9$$$4=I%%%8D  
 $<9$$$4=I%%%a=D  
 $<9$$$4=I%%%Q<D  
 $<9$$$4=I%%%Q?D  
 $<9$$$4=I%%%Aq!DII$<9$$$4=I%%%Aq!DII$<9$$$4=I%%%Aq!DII$<9$$$4=I%%%Aq!DII$<9$$$4=I%%%Q<D  
 $<9$$$4=I%%%AQq1uXD    
 $<K55554=[6666Q4D 
  $<9$$$4=I%%%Q7D 
  $<9$$$4=I%%%QAY?D     $<K55554=[6666Q1aAg:D   $<9$$$4=I%%%q619D  
 $<9$$$4=I%%%Q1WD  
 $<9$$$4=I%%%SQqS\"D   $<9$$$4=I%%%aIadO+,.D     $<K55554=[6666QAY?D     $<K55554=[6666a%(l#$D   $<9$$$4=I%%%1GAJ'(D   $<9$$$4=I%%%8D  
 $<9$$$4=I%%%A1qs7O$%D	 	  $<9$$$4=I%%%A;D  
 $<9$$$4=I%%%AaC=D   $<9$$$4=I%%%r   c                     [        S5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eS[        SS5      -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eS[        SS5      -  n S	nS
n[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        S-  S-   5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eS[        S5      -   [        SS5      -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eSS[        -  -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        S[
        -   5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eSS[        S-  -   S[        -   -  -   [        SS5      -  S[        [        SS5      -  -   [        S[        S-  -   5      -  -   n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eg )Nr0  z  ___
\/ 2    √2r/  r1  z3 ___
\/ 2 u   3 ___
╲╱ 2 i  z1000___
  \/ 2 u   1000___
  ╲╱ 2 z#   ________
  /  2     
\/  x  + 1 u)      ________
  ╱  2     
╲╱  x  + 1 r3  z,   ___________
3 /       ___ 
\/  1 + \/ 5  u   3 ________
╲╱ 1 + √5 zx ___
\/ 2 u   x ___
╲╱ 2 z  ________
\/ 2 + pi u     _______
╲╱ 2 + π r2  z     ____________              
    /      2        1000___    
   /      x  + 1      \/ x  + 1
4 /   2 + ------  + -----------
\/        x + 2        ________
                      /  2     
                    \/  x  + 3 u       ____________              
    ╱      2        1000___    
   ╱      x  + 1      ╲╱ x  + 1
4 ╱   2 + ──────  + ───────────
╲╱        x + 2        ________
                      ╱  2     
                    ╲╱  x  + 3 )rs   r   r   r   rS  r   re  s      r   test_pretty_sqrtr  h  s   7D   $<9$$$4=I%%%hq!nD  
 $<9$$$4=I%%%hq$D  
 $<9$$$4=I%%%1q>D   $<9$$$4=I%%%QK(1a.(D  
 $<9$$$4=I%%%qs8D  
 $<9$$$4=I%%%B<D  
 $<9$$$4=I%%%	AqD1q5 $QN+./!Xa5F2F.FQQRTUQUX-VWD   $<9$$$4=I%%%r   c                  f    [        S5      n SnSn[        U SSS9U:X  d   e[        U SSS9U:X  d   eg )Nr0  u     ___
╲╱ 2 r  TF)r   use_unicode_sqrt_char)rs   r   )r   
ucode_str1
ucode_str2s      r   test_pretty_sqrt_char_knobr    sa    7D   4T).03=> > >4T)-/2<= = =r   c                  R    [        [        S5      5      n Sn[        U 5      U:X  d   eg )NC1u     ____
╲╱ C₁ )rs   r   r   )r   rW  s     r   (test_pretty_sqrt_longsymbol_no_sqrt_charr    s.    tD 
 4=I%%%r   c                      [        S5      u  p[        X5      nSnSn[        U5      U:X  d   e[        U5      U:X  d   eg )Nzx, yz	d   
 x,yu
   δ   
 x,y)r   r^   r   r   rS  rT  r   rV  rW  s        r   test_pretty_KroneckerDeltar   	  sQ    6?DA!D  
 $<9$$$4=I%%%r   c                     [        S5      u  pp#[        S[        S9n[        U" U S-  S-  5      XS-  U45      nSnSn[        U" U S-  S-  5      XS-  U4USU45      nS	nS
n[        U5      U:X  d   e[	        U5      U:X  d   eg )Nzn m k lr   clsr1  r0  u       l           
─┬──────┬─      
 │      │   ⎛ 2⎞
 │      │   ⎜n ⎟
 │      │  f⎜──⎟
 │      │   ⎝9 ⎠
 │      │       
       2        
  n = k         z    l           
__________      
 |      |   / 2\
 |      |   |n |
 |      |  f|--|
 |      |   \9 /
 |      |       
       2        
  n = k         r/  u_      m          l           
─┬──────┬─ ─┬──────┬─      
 │      │   │      │   ⎛ 2⎞
 │      │   │      │   ⎜n ⎟
 │      │   │      │  f⎜──⎟
 │      │   │      │   ⎝9 ⎠
 │      │   │      │       
  l = 1           2        
             n = k         z    m          l           
__________ __________      
 |      |   |      |   / 2\
 |      |   |      |   |n |
 |      |   |      |  f|--|
 |      |   |      |   \9 /
 |      |   |      |       
  l = 1           2        
             n = k         )r   r
   r   r   r   )r  mr  lr   r   unicode_strrV  s           r   test_pretty_productr  	  s    #JA!"A1acAX;qD!-D	 	  1acAX;qD!q!Qi8D	 	  $<9$$$4=K'''r   c                  j   [        [        [        5      n [        U 5      S:X  d   e[        U 5      S:X  d   e[        [        [        S-   5      n [        U 5      S:X  d   e[        U 5      S:X  d   e[        [        [        S-  5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        S-  5      S-  n S	nS
n[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        4[        5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        4[        S-  5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        44[        S-  5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eg )Nzx -> xu   x ↦ xr/  z
x -> x + 1u   x ↦ x + 1r0  z      2
x -> x u        2
x ↦ x z          2
/      2\ 
\x -> x / u'           2
⎛     2⎞ 
⎝x ↦ x ⎠ z(x, y) -> xu   (x, y) ↦ xz           2
(x, y) -> x u             2
(x, y) ↦ x z              2
((x, y),) -> x u                2
((x, y),) ↦ x )r   rT  r   r   rS  re  s      r   test_pretty_Lambdar  J	  s   !Q<D$<8###4=I%%%!QqS>D$<<'''4=M)))!QT?D  
 $<9$$$4=I%%%!QT?AD   $<9$$$4=I%%%1a&!DII$<9$$$4=I%%%1a&!Q$D  
 $<9$$$4=I%%%Aq6)QT"D  
 $<9$$$4=I%%%r   c                  $   [        [        S-
  [        S-   [        5      n [        U 5      S:X  d   e[        S[        -  S-   S[        -
  [        5      n[        U5      S:X  d   e[        [        [        S-   [        5      n[        U5      S:X  d   eg )Nr/  u   s - 1
─────
s + 1r0  r1  u'   2⋅s + 1
───────
 3 - p u     p  
─────
p + 1)r   sr   p)tf1tf2tf3s      r   test_pretty_TransferFunctionr  	  s}    
1q5!a%
+C3<::::
1Q37AE1
-C3<FFFF
1a!eQ
'C3<::::r   c            
         [        [        [        -   [        S[        -  -
  [        5      n [        [        [        -
  [        [        -   [        5      n[        [        S-  [        -   [        [        -
  [        5      n[        SS[        5      n[        X/X#//5      n[        U/U* //5      n[        X* U* /X#* U//5      n[        X/X#* /U* U * //5      n[        U* U * /X2* /X//5      nSn	Sn
SnSnSnSn[	        [        X5      5      U	:X  d   e[	        [        U* U * 5      5      U
:X  d   e[	        [        X [        U * U5      5      5      U:X  d   e[	        [        [        X5      [        X5      5      5      U:X  d   e[	        [        XT5      5      U:X  d   e[	        [        [        Xx* 5      Xd5      5      U:X  d   eg )	Nr0  r1  u             ⎛ 2    ⎞
⎛ x + y ⎞ ⎜x  + y⎟
⎜───────⎟⋅⎜──────⎟
⎝x - 2⋅y⎠ ⎝-x + y⎠un   ⎛-x + y⎞ ⎛-x - y ⎞
⎜──────⎟⋅⎜───────⎟
⎝x + y ⎠ ⎝x - 2⋅y⎠u   ⎛ 2    ⎞                            
⎜x  + y⎟ ⎛ x + y ⎞ ⎛-x - y    x - y⎞
⎜──────⎟⋅⎜───────⎟⋅⎜─────── + ─────⎟
⎝-x + y⎠ ⎝x - 2⋅y⎠ ⎝x - 2⋅y   x + y⎠u                     ⎛         2    ⎞
⎛ x + y    x - y⎞ ⎜x - y   x  + y⎟
⎜─────── + ─────⎟⋅⎜───── + ──────⎟
⎝x - 2⋅y   x + y⎠ ⎝x + y   -x + y⎠u]  ⎡ x + y   x - y⎤  ⎡ 2    ⎤ 
⎢───────  ─────⎥  ⎢x  + y⎥ 
⎢x - 2⋅y  x + y⎥  ⎢──────⎥ 
⎢              ⎥  ⎢-x + y⎥ 
⎢ 2            ⎥ ⋅⎢      ⎥ 
⎢x  + y     2  ⎥  ⎢ -2   ⎥ 
⎢──────     ─  ⎥  ⎢ ───  ⎥ 
⎣-x + y     3  ⎦τ ⎣  3   ⎦τu                                                 ⎛⎡ x + y    x - y ⎤    ⎡ x - y    x + y ⎤ ⎞
                                               ⎜⎢───────   ───── ⎥    ⎢ ─────   ───────⎥ ⎟
⎡ x + y   x - y⎤  ⎡                    2    ⎤  ⎜⎢x - 2⋅y   x + y ⎥    ⎢ x + y   x - 2⋅y⎥ ⎟
⎢───────  ─────⎥  ⎢ x + y   -x + y  - x  - y⎥  ⎜⎢                ⎥    ⎢                ⎥ ⎟
⎢x - 2⋅y  x + y⎥  ⎢───────  ──────  ────────⎥  ⎜⎢ 2              ⎥    ⎢          2     ⎥ ⎟
⎢              ⎥  ⎢x - 2⋅y  x + y    -x + y ⎥  ⎜⎢x  + y     -2   ⎥    ⎢  -2     x  + y ⎥ ⎟
⎢ 2            ⎥ ⋅⎢                         ⎥ ⋅⎜⎢──────     ───  ⎥  + ⎢  ───    ────── ⎥ ⎟
⎢x  + y     2  ⎥  ⎢ 2                       ⎥  ⎜⎢-x + y      3   ⎥    ⎢   3     -x + y ⎥ ⎟
⎢──────     ─  ⎥  ⎢x  + y    -2      x - y  ⎥  ⎜⎢                ⎥    ⎢                ⎥ ⎟
⎣-x + y     3  ⎦τ ⎢──────    ───     ─────  ⎥  ⎜⎢-x + y   -x - y ⎥    ⎢-x - y   -x + y ⎥ ⎟
                  ⎣-x + y     3      x + y  ⎦τ ⎜⎢──────   ───────⎥    ⎢───────  ────── ⎥ ⎟
                                               ⎝⎣x + y    x - 2⋅y⎦τ   ⎣x - 2⋅y  x + y  ⎦τ⎠)	r   rS  rT  r   r   r   r   r   r   )r  r  r  tf4tfm1tfm2tfm3tfm4tfm5	expected1	expected2	expected3	expected4	expected5	expected6s                  r   test_pretty_Seriesr  	  s   
1q5!ac'1
-C
1q5!a%
+C
1a4!8QUA
.C
1a
#C!C:z":;D!C5C4&/2D!Ct#4sD#6F"GHD!C:T{cTC4L"IJD!SD3$<#tsj"IJD    	    6##$	11163$%&)3336#HcT3$789YFFF6(3,hs.@ABiOOO:d)*i777:l47DERRRr   c            
         [        [        [        -   [        S[        -  -
  [        5      n [        [        [        -
  [        [        -   [        5      n[        [        S-  [        -   [        [        -
  [        5      n[        [        S-  [        -
  [        S-  [        -   [        5      n[        X/X#* /U* U * //5      n[        U* U * /X2* /X//5      n[        U * U/U* U/X//5      n[        U * U* /U* U* //5      nSnSn	Sn
SnSnSn[	        [        X5      5      U:X  d   e[	        [        U* U * 5      5      U	:X  d   e[	        [        X [        U * U5      5      5      U
:X  d   e[	        [        [        X5      [        X5      5      5      U:X  d   e[	        [        U* U* U5      5      U:X  d   e[	        [        [        Xu* 5      U5      5      U:X  d   eg )	Nr0  r1  uI    x + y    x - y
─────── + ─────
x - 2⋅y   x + yuN   -x + y   -x - y 
────── + ───────
x + y    x - 2⋅yu    2                                  
x  + y    x + y    ⎛-x - y ⎞ ⎛x - y⎞
────── + ─────── + ⎜───────⎟⋅⎜─────⎟
-x + y   x - 2⋅y   ⎝x - 2⋅y⎠ ⎝x + y⎠u                               ⎛ 2    ⎞
⎛ x + y ⎞ ⎛x - y⎞   ⎛x - y⎞ ⎜x  + y⎟
⎜───────⎟⋅⎜─────⎟ + ⎜─────⎟⋅⎜──────⎟
⎝x - 2⋅y⎠ ⎝x + y⎠   ⎝x + y⎠ ⎝-x + y⎠u  ⎡ x + y   -x + y ⎤    ⎡ x - y    x + y ⎤    ⎡ x + y    x - y ⎤ 
⎢───────  ────── ⎥    ⎢ ─────   ───────⎥    ⎢───────   ───── ⎥ 
⎢x - 2⋅y  x + y  ⎥    ⎢ x + y   x - 2⋅y⎥    ⎢x - 2⋅y   x + y ⎥ 
⎢                ⎥    ⎢                ⎥    ⎢                ⎥ 
⎢ 2            2 ⎥    ⎢     2    2     ⎥    ⎢ 2            2 ⎥ 
⎢x  + y   x - y  ⎥    ⎢x - y    x  + y ⎥    ⎢x  + y   x - y  ⎥ 
⎢──────   ────── ⎥  + ⎢──────   ────── ⎥  + ⎢──────   ────── ⎥ 
⎢-x + y    3     ⎥    ⎢ 3       -x + y ⎥    ⎢-x + y    3     ⎥ 
⎢         x  + x ⎥    ⎢x  + x          ⎥    ⎢         x  + x ⎥ 
⎢                ⎥    ⎢                ⎥    ⎢                ⎥ 
⎢-x + y   -x - y ⎥    ⎢-x - y   -x + y ⎥    ⎢-x + y   -x - y ⎥ 
⎢──────   ───────⎥    ⎢───────  ────── ⎥    ⎢──────   ───────⎥ 
⎣x + y    x - 2⋅y⎦τ   ⎣x - 2⋅y  x + y  ⎦τ   ⎣x + y    x - 2⋅y⎦τu  ⎡ x - y    x + y ⎤                        ⎡-x + y   -x - y  ⎤ 
⎢ ─────   ───────⎥                        ⎢──────   ─────── ⎥ 
⎢ x + y   x - 2⋅y⎥  ⎡-x - y    -x + y⎤    ⎢x + y    x - 2⋅y ⎥ 
⎢                ⎥  ⎢───────   ──────⎥    ⎢                 ⎥ 
⎢     2    2     ⎥  ⎢x - 2⋅y   x + y ⎥    ⎢      2     2    ⎥ 
⎢x - y    x  + y ⎥  ⎢                ⎥    ⎢-x + y   - x  - y⎥ 
⎢──────   ────── ⎥ ⋅⎢   2           2⎥  + ⎢───────  ────────⎥ 
⎢ 3       -x + y ⎥  ⎢- x  - y  x - y ⎥    ⎢ 3        -x + y ⎥ 
⎢x  + x          ⎥  ⎢────────  ──────⎥    ⎢x  + x           ⎥ 
⎢                ⎥  ⎢ -x + y    3    ⎥    ⎢                 ⎥ 
⎢-x - y   -x + y ⎥  ⎣          x  + x⎦τ   ⎢ x + y    x - y  ⎥ 
⎢───────  ────── ⎥                        ⎢───────   ─────  ⎥ 
⎣x - 2⋅y  x + y  ⎦τ                       ⎣x - 2⋅y   x + y  ⎦τ)	r   rS  rT  r   r   r   r   r   r   )r  r  r  r  r  r  r  r  r  r  r  r  r  r  s                 r   test_pretty_Parallelr  	  s   
1q5!ac'1
-C
1q5!a%
+C
1a4!8QUA
.C
1a4!8QTAXq
1C!C:T{cTC4L"IJD!SD3$<#tsj"IJD!SD#;#scZ"HID!SD3$<3$">?D     "   8C%&)3338SD3$'(I5558CfcT3&789YFFF8F3,fS.>?@IMMM<ud34	AAA<
4 7>?9LLLr   c                  J   [        SS[        5      n [        [        [        -   [        S[        -  -
  [        5      n[        [        [        -
  [        [        -   [        5      n[        [        S-  S[        -  -
  S-   [        S-   [        5      n[        [        S[        S-  -  -
  [        [        -   [        5      n[        S[        -
  [        [        -
  [        5      n[        SS[        5      nSnSnSn	Sn
S	nS
nSnSnSnSn[        [	        X5      5      U:X  d   e[        [	        XU-  U-  5      5      U:X  d   e[        [	        XU-  U-  5      5      U	:X  d   e[        [	        X-  U 5      5      U
:X  d   e[        [	        X-  U5      5      U:X  d   e[        [	        X5-  X!-  5      5      U:X  d   e[        [	        XF5      5      U:X  d   e[        [	        XP5      5      U:X  d   e[        [	        X-  US5      5      U:X  d   e[        [	        XPS5      5      U:X  d   eg )Nr/  r0  r3  r1  u        ⎛1⎞     
     ⎜─⎟     
     ⎝1⎠     
─────────────
1   ⎛ x + y ⎞
─ + ⎜───────⎟
1   ⎝x - 2⋅y⎠u                  ⎛1⎞                 
                ⎜─⎟                 
                ⎝1⎠                 
────────────────────────────────────
                      ⎛ 2          ⎞
1   ⎛x - y⎞ ⎛ x + y ⎞ ⎜y  - 2⋅y + 1⎟
─ + ⎜─────⎟⋅⎜───────⎟⋅⎜────────────⎟
1   ⎝x + y⎠ ⎝x - 2⋅y⎠ ⎝   y + 5    ⎠uU                   ⎛ x + y ⎞                  
                 ⎜───────⎟                  
                 ⎝x - 2⋅y⎠                  
────────────────────────────────────────────
                      ⎛ 2          ⎞        
1   ⎛ x + y ⎞ ⎛x - y⎞ ⎜y  - 2⋅y + 1⎟ ⎛1 - x⎞
─ + ⎜───────⎟⋅⎜─────⎟⋅⎜────────────⎟⋅⎜─────⎟
1   ⎝x - 2⋅y⎠ ⎝x + y⎠ ⎝   y + 5    ⎠ ⎝x - y⎠u-    ⎛ x + y ⎞ ⎛x - y⎞  
  ⎜───────⎟⋅⎜─────⎟  
  ⎝x - 2⋅y⎠ ⎝x + y⎠  
─────────────────────
1   ⎛ x + y ⎞ ⎛x - y⎞
─ + ⎜───────⎟⋅⎜─────⎟
1   ⎝x - 2⋅y⎠ ⎝x + y⎠u        ⎛ x + y ⎞ ⎛x - y⎞      
      ⎜───────⎟⋅⎜─────⎟      
      ⎝x - 2⋅y⎠ ⎝x + y⎠      
─────────────────────────────
1   ⎛ x + y ⎞ ⎛x - y⎞ ⎛1 - x⎞
─ + ⎜───────⎟⋅⎜─────⎟⋅⎜─────⎟
1   ⎝x - 2⋅y⎠ ⎝x + y⎠ ⎝x - y⎠u             ⎛ 2          ⎞                   
           ⎜y  - 2⋅y + 1⎟ ⎛1 - x⎞           
           ⎜────────────⎟⋅⎜─────⎟           
           ⎝   y + 5    ⎠ ⎝x - y⎠           
────────────────────────────────────────────
    ⎛ 2          ⎞                          
1   ⎜y  - 2⋅y + 1⎟ ⎛1 - x⎞ ⎛x - y⎞ ⎛ x + y ⎞
─ + ⎜────────────⎟⋅⎜─────⎟⋅⎜─────⎟⋅⎜───────⎟
1   ⎝   y + 5    ⎠ ⎝x - y⎠ ⎝x + y⎠ ⎝x - 2⋅y⎠u$      ⎛       3⎞    
    ⎜x - 2⋅y ⎟    
    ⎜────────⎟    
    ⎝ x + y  ⎠    
──────────────────
    ⎛       3⎞    
1   ⎜x - 2⋅y ⎟ ⎛2⎞
─ + ⎜────────⎟⋅⎜─⎟
1   ⎝ x + y  ⎠ ⎝2⎠u     ⎛1 - x⎞  
  ⎜─────⎟  
  ⎝x - y⎠  
───────────
1   ⎛1 - x⎞
─ + ⎜─────⎟
1   ⎝x - y⎠u        ⎛ x + y ⎞ ⎛x - y⎞      
      ⎜───────⎟⋅⎜─────⎟      
      ⎝x - 2⋅y⎠ ⎝x + y⎠      
─────────────────────────────
1   ⎛ x + y ⎞ ⎛x - y⎞ ⎛1 - x⎞
─ - ⎜───────⎟⋅⎜─────⎟⋅⎜─────⎟
1   ⎝x - 2⋅y⎠ ⎝x + y⎠ ⎝x - y⎠u     ⎛1 - x⎞  
  ⎜─────⎟  
  ⎝x - y⎠  
───────────
1   ⎛1 - x⎞
─ - ⎜─────⎟
1   ⎝x - y⎠)r   rT  rS  r   r   )tfr  r  r  r  tf5tf6r  r  r  r  r  r  	expected7	expected8	expected9
expected10s                    r   test_pretty_Feedbackr  6
  s    	!Q	"B
1q5!ac'1
-C
1q5!a%
+C
1a4!A#:>1q5!
4C
1qAv:q1ua
0C
1q5!a%
+C
1a
#C 	 	   
 
     8B$%2228BC,-:::8CS-.);;;8CGR()Y6668CGS)*i7778CGSW-.);;;8C%&)3338C$%2228CGS!,-:::8CQ'(J666r   c                  x   [        [        [        -   [        S[        -  -
  [        5      n [        [        [        -
  [        [        -   [        5      n[        X/X//5      n[        X/X//5      n[        X /X//5      nSnSn[	        [        X#S5      5      U:X  d   e[	        [        X#-  U5      5      U:X  d   eg )Nr0  u  ⎛    ⎡ x + y    x - y ⎤  ⎡ x - y    x + y ⎤ ⎞-1   ⎡ x + y    x - y ⎤ 
⎜    ⎢───────   ───── ⎥  ⎢ ─────   ───────⎥ ⎟     ⎢───────   ───── ⎥ 
⎜    ⎢x - 2⋅y   x + y ⎥  ⎢ x + y   x - 2⋅y⎥ ⎟     ⎢x - 2⋅y   x + y ⎥ 
⎜I - ⎢                ⎥ ⋅⎢                ⎥ ⎟   ⋅ ⎢                ⎥ 
⎜    ⎢ x - y    x + y ⎥  ⎢ x + y    x - y ⎥ ⎟     ⎢ x - y    x + y ⎥ 
⎜    ⎢ ─────   ───────⎥  ⎢───────   ───── ⎥ ⎟     ⎢ ─────   ───────⎥ 
⎝    ⎣ x + y   x - 2⋅y⎦τ ⎣x - 2⋅y   x + y ⎦τ⎠     ⎣ x + y   x - 2⋅y⎦τu  ⎛    ⎡ x + y    x - y ⎤  ⎡ x - y    x + y ⎤  ⎡ x + y    x + y ⎤ ⎞-1   ⎡ x + y    x - y ⎤  ⎡ x - y    x + y ⎤ 
⎜    ⎢───────   ───── ⎥  ⎢ ─────   ───────⎥  ⎢───────  ───────⎥ ⎟     ⎢───────   ───── ⎥  ⎢ ─────   ───────⎥ 
⎜    ⎢x - 2⋅y   x + y ⎥  ⎢ x + y   x - 2⋅y⎥  ⎢x - 2⋅y  x - 2⋅y⎥ ⎟     ⎢x - 2⋅y   x + y ⎥  ⎢ x + y   x - 2⋅y⎥ 
⎜I + ⎢                ⎥ ⋅⎢                ⎥ ⋅⎢                ⎥ ⎟   ⋅ ⎢                ⎥ ⋅⎢                ⎥ 
⎜    ⎢ x - y    x + y ⎥  ⎢ x + y    x - y ⎥  ⎢ x - y    x - y ⎥ ⎟     ⎢ x - y    x + y ⎥  ⎢ x + y    x - y ⎥ 
⎜    ⎢ ─────   ───────⎥  ⎢───────   ───── ⎥  ⎢ ─────    ───── ⎥ ⎟     ⎢ ─────   ───────⎥  ⎢───────   ───── ⎥ 
⎝    ⎣ x + y   x - 2⋅y⎦τ ⎣x - 2⋅y   x + y ⎦τ ⎣ x + y    x + y ⎦τ⎠     ⎣ x + y   x - 2⋅y⎦τ ⎣x - 2⋅y   x + y ⎦τr/  )r   rS  rT  r   r   r   )r  r  tfm_1tfm_2tfm_3r  r  s          r   test_pretty_MIMOFeedbackr  
  s    
1q5!ac'1
-C
1q5!a%
+C"SJ
#;<E"SJ
#;<E"SJ
#;<E   <a01  <U34  r   c            	      2   [        [        [        -   [        S[        -  -
  [        5      n [        [        [        -
  [        [        -   [        5      n[        [        S-  S[        -  -
  S-   [        S-   [        5      n[        [        [        S-  [        -   S-   [        5      n[        S[        -
  [        [        -
  [        5      n[        SS[        5      nSnSnSnSn	Sn
[        [	        U /U//5      5      U:X  d   e[        [	        U /U/U* //5      5      U:X  d   e[        [	        X/X#/XE//5      5      U:X  d   e[        [	        XU/U* U* U* //5      5      U	:X  d   e[        [	        [        X5      X/[        XT5      X* //5      5      U
:X  d   eg )	Nr0  r/  r3  u   ⎡ x + y ⎤ 
⎢───────⎥ 
⎢x - 2⋅y⎥ 
⎢       ⎥ 
⎢ x - y ⎥ 
⎢ ───── ⎥ 
⎣ x + y ⎦τu@  ⎡    x + y     ⎤ 
⎢   ───────    ⎥ 
⎢   x - 2⋅y    ⎥ 
⎢              ⎥ 
⎢    x - y     ⎥ 
⎢    ─────     ⎥ 
⎢    x + y     ⎥ 
⎢              ⎥ 
⎢   2          ⎥ 
⎢- y  + 2⋅y - 1⎥ 
⎢──────────────⎥ 
⎣    y + 5     ⎦τu  ⎡   x + y        x - y   ⎤ 
⎢  ───────       ─────   ⎥ 
⎢  x - 2⋅y       x + y   ⎥ 
⎢                        ⎥ 
⎢ 2                      ⎥ 
⎢y  - 2⋅y + 1      y     ⎥ 
⎢────────────  ──────────⎥ 
⎢   y + 5       2        ⎥ 
⎢              x  + x + 1⎥ 
⎢                        ⎥ 
⎢   1 - x          2     ⎥ 
⎢   ─────          ─     ⎥ 
⎣   x - y          2     ⎦τu  ⎡    x - y        x + y       y     ⎤ 
⎢    ─────       ───────  ──────────⎥ 
⎢    x + y       x - 2⋅y   2        ⎥ 
⎢                         x  + x + 1⎥ 
⎢                                   ⎥ 
⎢   2                               ⎥ 
⎢- y  + 2⋅y - 1   x - 1      -2     ⎥ 
⎢──────────────   ─────      ───    ⎥ 
⎣    y + 5        x - y       2     ⎦τu  ⎡ x + y  x - y   x + y       y     ⎤ 
⎢───────⋅─────  ───────  ──────────⎥ 
⎢x - 2⋅y x + y  x - 2⋅y   2        ⎥ 
⎢                        x  + x + 1⎥ 
⎢                                  ⎥ 
⎢  1 - x   2     x + y      -2     ⎥ 
⎢  ───── + ─    ───────     ───    ⎥ 
⎣  x - y   2    x - 2⋅y      2     ⎦τ)r   rS  rT  r   r   r   r   )r  r  r  r  r  r  r  r  r  r  r  s              r   "test_pretty_TransferFunctionMatrixr  
  s   
1q5!ac'1
-C
1q5!a%
+C
1a4!A#:>1q5!
4C
1adQhlA
.C
1q5!a%
+C
1a
#C    "
 	  )C53%.9:iGGG)C53%3$*@ABiOOO)C:zC:*NOPT]]]])Cc?cTC4#<N*OPQU^^^^)F3,<c+G(SVJ\^acgIh*ijk  r   c            
         [        [        [        /5      [        [        /5      [        [        /5      [        [
        /5      5      n [        SS/SS//5      n[        SS/5      n[        SS//5      n[        S/5      n[        XX45      n[        [        SS/SS//5      [        SS/SS//5      [        SS/SS//5      [        SS/SS//5      5      nSnSnS	n	[        U 5      U:X  d   e[        U5      U:X  d   e[        U5      U	:X  d   eg )
Nr   r/  g      rE        ?r0  u,   ⎡[a]  [b]⎤
⎢        ⎥
⎣[c]  [d]⎦uq   ⎡⎡0  1⎤  ⎡1⎤⎤
⎢⎢    ⎥  ⎢ ⎥⎥
⎢⎣1  0⎦  ⎣0⎦⎥
⎢           ⎥
⎣[0  1]  [0]⎦u   ⎡⎡-1.5  -2⎤  ⎡0.5  0⎤⎤
⎢⎢        ⎥  ⎢      ⎥⎥
⎢⎣ 1    0 ⎦  ⎣ 0   1⎦⎥
⎢                    ⎥
⎢  ⎡0  1⎤     ⎡2  2⎤ ⎥
⎢  ⎢    ⎥     ⎢    ⎥ ⎥
⎣  ⎣0  2⎦     ⎣1  1⎦ ⎦)r   r6   rc  rd  cdr   )
ss1ABCDss2ss3r  r  r  s
             r   test_pretty_StateSpacer  '  s(   
VQC[&!+vqc{FA3K
HCAA A1vAAxAsA
Q1
 C
VdBZ!Q01S!Hq!f-.QFQF+,QFQF+,.C    3<9$$$3<9$$$3<9$$$r   c                     [        S5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        S[        -  5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        S-  [        S-  -   5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        S[        [
        45      n SnS	n[        U 5      U:X  d   e[        U 5      U:X  d   e[        S[        -  [        [
        45      n S
nSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        S-  [        S-  -   [        [
        4[        [
        45      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eg )Nr/  zO(1)z /1\
O|-|
 \x/u    ⎛1⎞
O⎜─⎟
 ⎝x⎠r0  z9 / 2    2                  \
O\x  + y ; (x, y) -> (0, 0)/uA    ⎛ 2    2                 ⎞
O⎝x  + y ; (x, y) → (0, 0)⎠zO(1; x -> oo)u   O(1; x → ∞)z) /1         \
O|-; x -> oo|
 \x         /u5    ⎛1       ⎞
O⎜─; x → ∞⎟
 ⎝x       ⎠z= / 2    2                    \
O\x  + y ; (x, y) -> (oo, oo)/uE    ⎛ 2    2                 ⎞
O⎝x  + y ; (x, y) → (∞, ∞)⎠)rF   r   r   rS  rT  r   re  s      r   test_pretty_orderr  P  s   Q4D 
  $<9$$$4=I%%%QqS6D   $<9$$$4=I%%%QTAqD[>D  
 $<9$$$4=I%%%QB=D 
  $<9$$$4=I%%%QqS1b'?D   $<9$$$4=I%%%QTAqD[1b'Ar7+D  
 $<9$$$4=I%%%r   c                  Z   [        [        [        5      [        SS9n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      [        SS9[        -   n SnSnSnSn[        U 5      X44;   d   e[	        U 5      XV4;   d   e[        [        [        [
        -   5      [        -   [        5      n S	nS
nSnSn[        U 5      X44;   d   e[	        U 5      XV4;   d   [	        U 5      5       e[        [        [        5      [        S-  -   [        [
        5      n SnSnSnSnSnSn[        U 5      X4U4;   d   e[	        U 5      XVU4;   d   e[        S[        -  [
        -  [
        [        5      [        S-  -   n SnSnSnSnSnSn[        U 5      X4U4;   d   e[	        U 5      XVU4;   d   e[        S[        -  [
        -  [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        S[        -  [
        -  [        S5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        S[        -  [
        -  [        [        [
        5      n SnS n[        U 5      U:X  d   e[	        U 5      U:X  d   e[        S!5      n	[        S"5      n
U
" U	5      R                  U	5      n S#nS$n[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      [        [        45      n S%nS&n[        U 5      U:X  d   e[	        U 5      U:X  d   eg )'NFrC  z d         
--(log(x))
dx        u$   d         
──(log(x))
dx        z,    d         
x + --(log(x))
    dx        z,d             
--(log(x)) + x
dx            u0       d         
x + ──(log(x))
    dx        u0   d             
──(log(x)) + x
dx            z8d                 
--(log(x + y) + x)
dx                z8d                 
--(x + log(x + y))
dx                u@   ∂                 
──(log(x + y) + x)
∂x                u@   ∂                 
──(x + log(x + y))
∂x                r0  zK   2              
  d  /          2\
-----\log(x) + x /
dy dx             zK   2              
  d  / 2         \
-----\x  + log(x)/
dy dx             zK  2               
 d   / 2         \
-----\x  + log(x)/
dy dx             u]      2              
  d  ⎛          2⎞
─────⎝log(x) + x ⎠
dy dx             u]      2              
  d  ⎛ 2         ⎞
─────⎝x  + log(x)⎠
dy dx             u]     2               
 d   ⎛ 2         ⎞
─────⎝x  + log(x)⎠
dy dx             zG   2             
  d             2
-----(2*x*y) + x 
dx dy            zG        2        
 2     d         
x  + -----(2*x*y)
     dx dy       zG       2         
 2    d          
x  + -----(2*x*y)
     dx dy       u[      2             
  ∂             2
─────(2⋅x⋅y) + x 
∂x ∂y            u[           2        
 2     ∂         
x  + ─────(2⋅x⋅y)
     ∂x ∂y       u[          2         
 2    ∂          
x  + ─────(2⋅x⋅y)
     ∂x ∂y       z6 2        
d         
---(2*x*y)
  2       
dx        uD    2        
∂         
───(2⋅x⋅y)
  2       
∂x           z; 17        
d          
----(2*x*y)
  17       
dx         uK    17        
∂          
────(2⋅x⋅y)
  17       
∂x         zE   3         
  d          
------(2*x*y)
     2       
dy dx        u[      3         
  ∂          
──────(2⋅x⋅y)
     2       
∂y ∂x        alpharc   z;  d                
------(beta(alpha))
dalpha             u!   d       
──(β(α))
dα      z1 n       
d        
---(f(x))
  n      
dx       u7    n       
d        
───(f(x))
  n      
dx       )r	   rp   rS  r   r   rT  r   r
   diffr   r  )r   rV  rW  rX  rY  r[  r\  rZ  r]  r  rc   s              r   test_pretty_derivativesr    s   c!fa%0D   $<9$$$4=I%%%c!fa%014D     $<K55554=[6666 c!a%j1na(D     $<K55554=[66EE6 c!fq!tmQ*D       $<KkBBBB4=[{CCCCac!eQ"QT)D       $<KkBBBB4=[{CCCCac!eQ"D   $<9$$$4=I%%%ac!eQ#D   $<9$$$4=I%%%ac!eQ1%D   $<9$$$4=I%%% 7OEFD;E"D   $<9$$$4=I%%%adQF#D   $<9$$$4=I%%%r   c                     [        [        [        5      [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        S-  [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      S-  [        [        5      S-  -  5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        S[        -  -  [        5      n SnS	n[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        S-  [        S
S45      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        S-  [        [        S
S5      S45      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        S-  [        S-  -  [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      [        [        5      -  [        S[        4[        SS[        -  45      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   eg )Nz@  /         
 |          
 | log(x) dx
 |          
/           u)   ⌠          
⎮ log(x) dx
⌡          r0  z5  /     
 |      
 |  2   
 | x  dx
 |      
/       u'   ⌠      
⎮  2   
⎮ x  dx
⌡      z}  /          
 |           
 |    2      
 | sin (x)   
 | ------- dx
 |    2      
 | tan (x)   
 |           
/            uv   ⌠           
⎮    2      
⎮ sin (x)   
⎮ ─────── dx
⎮    2      
⎮ tan (x)   
⌡           zS  /        
 |         
 |  / x\   
 |  \2 /   
 | x     dx
 |         
/          uH   ⌠         
⎮  ⎛ x⎞   
⎮  ⎝2 ⎠   
⎮ x     dx
⌡         r/  zO  2      
  /      
 |       
 |   2   
 |  x  dx
 |       
/        
1        u7   2      
⌠      
⎮  2   
⎮ x  dx
⌡      
1      rR  zO 10      
  /      
 |       
 |   2   
 |  x  dx
 |       
/        
1/2      uC   10       
⌠        
⎮    2   
⎮   x  dx
⌡        
1/2      zk  /  /           
 |  |            
 |  |  2  2      
 |  | x *y  dx dy
 |  |            
/  /             uQ   ⌠ ⌠            
⎮ ⎮  2  2      
⎮ ⎮ x ⋅y  dx dy
⌡ ⌡            r   aC   2*pi pi                           
   /   /                           
  |   |                            
  |   |  sin(theta)                
  |   |  ---------- d(theta) d(phi)
  |   |   cos(phi)                 
  |   |                            
 /   /                             
0    0                             u   2⋅π π             
 ⌠  ⌠             
 ⎮  ⎮ sin(θ)      
 ⎮  ⎮ ────── dθ dφ
 ⎮  ⎮ cos(φ)      
 ⌡  ⌡             
 0  0             )r,   rp   rS  r   r   rr   ru   r   rT  thrg   phr   re  s      r   test_pretty_integralsr    s   CFAD   $<9$$$4=I%%%AqD!D   $<9$$$4=I%%%SVaK3q6A+-.D
   $<9$$$4=I%%%A1Iq!D   $<9$$$4=I%%%AqD1a)$D	   $<9$$$4=I%%%AqD1hq!nb12D	   $<9$$$4=I%%%AqDAIq!$D   $<9$$$4=I%%%CGCGOb!R[2q!B$-@D
   $<9$$$4=I%%%r   c                     [        5       n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        SSS 5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        SSS 5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        S-  S-   S/[        [        [        -   //5      n SnSnS	nS
n[        U 5      X44;   d   e[        U 5      XV4;   d   e[        [        [        -  [        [
        /S[        [        [        -  [        -  5      S//5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eSn[        [        SSS5      6 n [        U 5      U:X  d   eg )N[]r0  r   c                     gNr   r   ijs     r   <lambda>$test_pretty_matrix.<locals>.<lambda>p      Qr   c                     gr  r   r  s     r   r  r  u  r  r   r/  z?[     2       ]
[1 + x     1  ]
[             ]
[  y     x + y]z?[ 2           ]
[x  + 1    1  ]
[             ]
[  y     x + y]uO   ⎡     2       ⎤
⎢1 + x     1  ⎥
⎢             ⎥
⎣  y     x + y⎦uO   ⎡ 2           ⎤
⎢x  + 1    1  ⎥
⎢             ⎥
⎣  y     x + y⎦z}[x                 ]
[-     y      theta]
[y                 ]
[                  ]
[    I*k*phi       ]
[0  e           1  ]u}   ⎡x           ⎤
⎢─    y     θ⎥
⎢y           ⎥
⎢            ⎥
⎢    ⅈ⋅k⋅φ   ⎥
⎣0  ℯ       1⎦u   ⎡v̇_msc_00     0         0    ⎤
⎢                            ⎥
⎢   0      v̇_msc_01     0    ⎥
⎢                            ⎥
⎣   0         0      v̇_msc_02⎦vdot_mscr1  )r6   r   r   rS  rT  r  ri   r   r  r  r7   r   )r   rV  r  rX  rY  r[  r\  rW  s           r   test_pretty_matrixr  i  s   8DIK$<9$$$4=K'''!Q'DIK$<9$$$4=K'''!Q'DIK$<9$$$4=K'''AqD1Ha=1a!e*-.D     $<K55554=[6666AaCB<!S1R[!!456D   $<9$$$4=I%%%  j1-.D4=K'''r   c                     [        S5      u  pp#[        [        [        [        4 GH  nU" U 5      n[        U5      S:X  d   e[        U5      S:X  d   eU" SU -  U/X#//5      nU" SU -  X/5      n[        Xe5      n[        XU5      nSn	Sn
[        U5      U	:X  d   e[        U5      U
:X  d   eSn	Sn
[        U5      U	:X  d   e[        U5      U
:X  d   eSn	S	n
[        U5      U	:X  d   e[        U5      U
:X  d   eS
n	Sn
[        U5      U	:X  d   e[        U5      U
:X  d   eU" XSU-  //5      nU" U /U/SU-  //5      nU" UR                  5       /5      nSn	Sn
[        U5      U	:X  d   e[        U5      U
:X  d   eSn	Sn
[        U5      U	:X  d   e[        U5      U
:X  d   eSn	Sn
[        U5      U	:X  d   e[        U5      U
:X  a  GM   e   g )Nzx y z wrS  r/  z"[1   ]
[-  y]
[x   ]
[    ]
[z  w]u8   ⎡1   ⎤
⎢─  y⎥
⎢x   ⎥
⎢    ⎥
⎣z  w⎦z[1      ]
[-  y  z]
[x      ]u+   ⎡1      ⎤
⎢─  y  z⎥
⎣x      ⎦a  [[1   y]                       ]
[[--  -]              [z      ]]
[[ 2  x]  [ y    2 ]  [-   y*z]]
[[x    ]  [ -   y  ]  [x      ]]
[[     ]  [ x      ]  [       ]]
[[z   w]  [        ]  [ 2     ]]
[[-   -]  [y*z  w*y]  [z   w*z]]
[[x   x]                       ]u  ⎡⎡1   y⎤                       ⎤
⎢⎢──  ─⎥              ⎡z      ⎤⎥
⎢⎢ 2  x⎥  ⎡ y    2 ⎤  ⎢─   y⋅z⎥⎥
⎢⎢x    ⎥  ⎢ ─   y  ⎥  ⎢x      ⎥⎥
⎢⎢     ⎥  ⎢ x      ⎥  ⎢       ⎥⎥
⎢⎢z   w⎥  ⎢        ⎥  ⎢ 2     ⎥⎥
⎢⎢─   ─⎥  ⎣y⋅z  w⋅y⎦  ⎣z   w⋅z⎦⎥
⎣⎣x   x⎦                       ⎦ag  [ [1   y]             ]
[ [--  -]             ]
[ [ 2  x]   [ y    2 ]]
[ [x    ]   [ -   y  ]]
[ [     ]   [ x      ]]
[ [z   w]   [        ]]
[ [-   -]   [y*z  w*y]]
[ [x   x]             ]
[                     ]
[[z      ]  [ w      ]]
[[-   y*z]  [ -   w*y]]
[[x      ]  [ x      ]]
[[       ]  [        ]]
[[ 2     ]  [      2 ]]
[[z   w*z]  [w*z  w  ]]u#  ⎡ ⎡1   y⎤             ⎤
⎢ ⎢──  ─⎥             ⎥
⎢ ⎢ 2  x⎥   ⎡ y    2 ⎤⎥
⎢ ⎢x    ⎥   ⎢ ─   y  ⎥⎥
⎢ ⎢     ⎥   ⎢ x      ⎥⎥
⎢ ⎢z   w⎥   ⎢        ⎥⎥
⎢ ⎢─   ─⎥   ⎣y⋅z  w⋅y⎦⎥
⎢ ⎣x   x⎦             ⎥
⎢                     ⎥
⎢⎡z      ⎤  ⎡ w      ⎤⎥
⎢⎢─   y⋅z⎥  ⎢ ─   w⋅y⎥⎥
⎢⎢x      ⎥  ⎢ x      ⎥⎥
⎢⎢       ⎥  ⎢        ⎥⎥
⎢⎢ 2     ⎥  ⎢      2 ⎥⎥
⎣⎣z   w⋅z⎦  ⎣w⋅z  w  ⎦⎦z#[[      1]]
[[x  y  -]]
[[      z]]u=   ⎡⎡      1⎤⎤
⎢⎢x  y  ─⎥⎥
⎣⎣      z⎦⎦z[x]
[ ]
[y]
[ ]
[1]
[-]
[z]u9   ⎡x⎤
⎢ ⎥
⎢y⎥
⎢ ⎥
⎢1⎥
⎢─⎥
⎣z⎦z)[[x]]
[[ ]]
[[y]]
[[ ]]
[[1]]
[[-]]
[[z]]uc   ⎡⎡x⎤⎤
⎢⎢ ⎥⎥
⎢⎢y⎥⎥
⎢⎢ ⎥⎥
⎢⎢1⎥⎥
⎢⎢─⎥⎥
⎣⎣z⎦⎦)	r   r   r   r   r   r   r   r   tolist)rS  rT  rb  w	ArrayTypeMM1M2M3rV  rW  MrowMcolumnMcol2s                 r   test_pretty_ndim_arraysr    sn   #JA!-/GI^`vw	aLayCqzS   !Qx!()!Q{#2!1  	 	 ayI%%%qzY&&& 	 	 bzY&&&r{i'''	 		 	 bzY&&&r{i''' 	& 	$ bzY&&&r{i'''1Q-)aS1#Aw/07>>+,- 	 	 d|y(((t}	))) 	 	 g)+++w9,,, 	 	 e}	)))u~***] xr   c                      [        SSS5      n [        SSS5      n[        [        X5      5      S:X  d   e[        [        XU 5      5      S:X  d   eg )Nr  r1  r  u   A⊗Bu	   A⊗B⊗A)r   r   r   )r  r  s     r   test_tensor_TensorProductr  q  sQ    S!QAS!QA=&':555=q)*.????r   c                      SSK Jn   SSKJn  U" U R                  U R
                  5      n[        U5      S:X  d   e[        U5      S:X  d   eg )Nr   )R2)WedgeProductu   ⅆ x∧ⅆ yzd x/\d y)sympy.diffgeom.rnr  sympy.diffgeomr  dxdyr   r   )r  r  wps      r    test_diffgeom_print_WedgeProductr  x  s@    $+	beeRUU	#B2;/)))":$$$r   c                     [        SSS5      n [        SSS5      n[        [        U 5      5      S:X  d   e[        [        X-   5      5      S:X  d   e[        [        U 5      [        U5      -   5      S:X  d   e[        [        X-  5      5      S:X  d   e[        [        U5      [        U 5      -  5      S:X  d   e[        [        U S-  5      5      S	:X  d   e[        [        U 5      S-  5      S
:X  d   e[        [        [        U 5      5      5      S:X  d   e[        [        [        U 5      5      5      S:X  d   e[        [        [	        U 5      5      5      S:X  d   e[        [	        [        U 5      5      5      S:X  d   e[        [        U 5      5      S:X  d   e[        [        X-   5      5      S:X  d   e[        [        U 5      [        U5      -   5      S:X  d   e[        [        X-  5      5      S:X  d   e[        [        U5      [        U 5      -  5      S:X  d   e[        [        U S-  5      5      S:X  d   e[        [        U 5      S-  5      S:X  d   e[        [        [        U 5      5      5      S:X  d   e[        [        [        U 5      5      5      S:X  d   e[        [        [	        U 5      5      5      S:X  d   e[        [	        [        U 5      5      5      S:X  d   e[        S5      n[        [        U5      5      S:X  d   e[        [        X -   5      5      S:X  d   e[        [        [        [        SS5      U 4U[        SS5      445      5      5      S:X  d   eg )NXr0  Yz +
X z       +
(X + Y) z +    +
X  + Y z     +
(X*Y) z +  +
Y *X z    +
/ 2\ 
\X / z    2
/ +\ 
\X / z     +
/ -1\ 
\X  / z    -1
/ +\  
\X /  z    +
/ T\ 
\X / z    T
/ +\ 
\X / u    †
X u          †
(X + Y) u    †    †
X  + Y u        †
(X⋅Y) u    †  †
Y ⋅X u       †
⎛ 2⎞ 
⎝X ⎠ u       2
⎛ †⎞ 
⎝X ⎠ u        †
⎛ -1⎞ 
⎝X  ⎠ u       -1
⎛ †⎞  
⎝X ⎠  u       †
⎛ T⎞ 
⎝X ⎠ u       T
⎛ †⎞ 
⎝X ⎠ r/  r0  )r1  r2  u-         †
⎡1  2⎤ 
⎢    ⎥ 
⎣3  4⎦ uQ               †
⎛⎡1  2⎤    ⎞ 
⎜⎢    ⎥ + X⎟ 
⎝⎣3  4⎦    ⎠ uu              †
⎡  𝟙     X⎤ 
⎢         ⎥ 
⎢⎡1  2⎤   ⎥ 
⎢⎢    ⎥  𝟘⎥ 
⎣⎣3  4⎦   ⎦ )
r   r   r   r   r   r   r6   r   r   r   r  r  r  s      r   test_Adjointr
    sR   S!QAS!QA'!*)))'!%.!%9999'!*wqz)*.@@@@'!#,#3333'!*WQZ'(N:::'!Q$- $;;;;'!*a- $;;;;''!*%&*DDDD''!*%&*DDDD')A,'(,CCCC)GAJ'(,CCCC71:*,,,715>"&<<<<71:
*+/EEEE713< $888871:gaj()-AAAA71a4=!'( ( (71:q=!'( ( (771:&'*+ + +771:&'*+ + +79Q<()'( ( (9WQZ()'( ( ( A71:	  
 713< 	      
 7;1a!(<)*Jq!,<(=(? @ A B	  r   c                     [        SSS5      n [        SSS5      n[        [        U 5      5      S:X  d   e[        [        X-   5      5      S:X  d   e[        [        U 5      [        U5      -   5      S:X  d   e[        [        X-  5      5      S:X  d   e[        [        U5      [        U 5      -  5      S:X  d   e[        [        U S-  5      5      S	:X  d   e[        [        U 5      S-  5      S
:X  d   e[        [        [        U 5      5      5      S:X  d   e[        [        [        U 5      5      5      S:X  d   e[	        [        U 5      5      S:X  d   e[	        [        X-   5      5      S:X  d   e[	        [        U 5      [        U5      -   5      S:X  d   e[	        [        X-  5      5      S:X  d   e[	        [        U5      [        U 5      -  5      S:X  d   e[	        [        U S-  5      5      S:X  d   e[	        [        U 5      S-  5      S:X  d   e[	        [        [        U 5      5      5      S:X  d   e[	        [        [        U 5      5      5      S:X  d   e[        S5      n[	        [        U5      5      S:X  d   e[	        [        X -   5      5      S:X  d   e[	        [        [        [        SS5      U 4U[        SS5      445      5      5      S:X  d   eg )Nr  r0  r  z T
X z       T
(X + Y) z T    T
X  + Y z     T
(X*Y) z T  T
Y *X z    T
/ 2\ 
\X / z    2
/ T\ 
\X / z     T
/ -1\ 
\X  / z    -1
/ T\  
\X /  u        T
(X⋅Y) u    T  T
Y ⋅X u       T
⎛ 2⎞ 
⎝X ⎠ u       2
⎛ T⎞ 
⎝X ⎠ u        T
⎛ -1⎞ 
⎝X  ⎠ u       -1
⎛ T⎞  
⎝X ⎠  r  u+         T
⎡1  2⎤ 
⎢    ⎥ 
⎣3  4⎦ uO               T
⎛⎡1  2⎤    ⎞ 
⎜⎢    ⎥ + X⎟ 
⎝⎣3  4⎦    ⎠ us              T
⎡  𝟙     X⎤ 
⎢         ⎥ 
⎢⎡1  2⎤   ⎥ 
⎢⎢    ⎥  𝟘⎥ 
⎣⎣3  4⎦   ⎦ )	r   r   r   r   r   r6   r   r   r   r	  s      r   test_Transposer    s   S!QAS!QA)A,8+++)AE"#';;;;)A,1-.2DDDD)AC.!%5555)A,y|+,>>>)AqD/"&====)A,/"&====)GAJ'(,FFFF')A,'(,FFFF9Q< H,,,9QU#$(<<<<9Q<)A,./3EEEE9QS>"&88889Q<	!,-1AAAA9QT?#%& & &9Q<?#%& & &9WQZ()() ) )79Q<()() ) ) A9Q< 	  
 9QS>"	      
 9[9Q?A*>+,jA.>*?*A B C D	  r   c                  X   [        SS/SS//5      n [        SS/SS//5      nSnSnS	nS
n[        [        U 5      5      U:X  d   e[        [        U 5      5      U:X  d   e[        [        U 5      [        U5      -   5      U:X  d   e[        [        U 5      [        U5      -   5      U:X  d   eg )Nr/  r0  r1  r2  ri     z   /[1  2]\
tr|[    ]|
  \[3  4]/u8     ⎛⎡1  2⎤⎞
tr⎜⎢    ⎥⎟
  ⎝⎣3  4⎦⎠zG  /[1  2]\     /[2  4]\
tr|[    ]| + tr|[    ]|
  \[3  4]/     \[6  8]/uw     ⎛⎡1  2⎤⎞     ⎛⎡2  4⎤⎞
tr⎜⎢    ⎥⎟ + tr⎜⎢    ⎥⎟
  ⎝⎣3  4⎦⎠     ⎝⎣6  8⎦⎠)r6   r   r9   r   )r  r  rX  r[  rY  r\  s         r   test_pretty_Trace_issue_9044r    s    AA AAA A     %({***58+++%(U1X%&+55558eAh&';666r   c                  	   [        SSS9n [        S5      u  pp4n[        SX 5      n[        SSS5      n[        SSS5      n[        US	S	5      n	[	        U	5      [        U	5      s=:X  a  S
:X  d   e   eXaUS-   2X"S-   24   n	[	        U	5      [        U	5      s=:X  a  S:X  d   e   eXaUS-   S2X"S-   S24   n	[	        U	5      [        U	5      s=:X  a  S:X  d   e   eUS U2US 24   n	[	        U	5      [        U	5      s=:X  a  S:X  d   e   eUS U2US 24   n	[	        U	5      [        U	5      s=:X  a  S:X  d   e   eXaS 2S U24   n	[	        U	5      [        U	5      s=:X  a  S:X  d   e   eXaU2X424   n	[	        U	5      [        U	5      s=:X  a  S:X  d   e   eXaX%2XEU24   n	[	        U	5      [        U	5      s=:X  a  S:X  d   e   eXaS U2US U24   n	[	        U	5      [        U	5      s=:X  a  S:X  d   e   eUS X2S XT24   n	[	        U	5      [        U	5      s=:X  a  S:X  d   e   eUS S U2S S U24   n	[	        U	5      [        U	5      s=:X  a  S:X  d   e   e[        USS5      n	[	        U	5      [        U	5      s=:X  a  S
:X  d   e   e[        US U S 4S U S 45      n	[	        U	5      [        U	5      s=:X  a  S
:X  d   e   e[        USU S 4SU S 45      n	[	        U	5      [        U	5      s=:X  a  S
:X  d   e   e[        USU S4SU S45      n	[	        U	5      [        U	5      s=:X  a  S:X  d   e   eUSSS2SSS24   n	[	        U	5      [        U	5      s=:X  a  S:X  d   e   eUSSS2SSS24   n	[	        U	5      [        U	5      s=:X  a  S:X  d   e   eUSSS2   n	[	        U	5      [        U	5      s=:X  a  S :X  d   e   eUS S2SS!S24   n	[	        U	5      [        U	5      s=:X  a  S":X  d   e   eUS S2SSS24   n	[	        U	5      [        U	5      s=:X  a  S#:X  d   e   eUSS SS24   n	[	        U	5      [        U	5      s=:X  a  S$:X  d   e   eUSS2SS24   n	[	        U	5      [        U	5      s=:X  a  S%:X  d   e   eUSSS2SSS24   n	[	        U	5      [        U	5      s=:X  a  S&:X  d   e   eXx-   SS 2SS 24   n	[	        U	5      [        U	5      s=:X  a  S':X  d   e   eg )(Nr  Tr  z	x y z w tr  r  rR  Z)NNNzX[:, :]r/  zX[x:x + 1, y:y + 1]r0  zX[x:x + 1:2, y:y + 1:2]z	X[:x, y:]z	X[x:, :y]zX[x:y, z:w]zX[x:y:t, w:t:x]zX[x::y, t::w]zX[:x:y, :t:w]zX[::x, ::y])r   NNr   zX[::2, ::2]r1  r2  r3  ri  zX[1:2:3, 4:5:6]r  zX[1:3:5, 4:6:8]zX[1:10:2, :]	   zY[:5, 1:9:2]zY[:5, 1::2]zY[5:6, :5:2]z	X[:1, :1]zX[:1:2, :1:2]z(Y + Z)[2:, 2:])r   r   r   r8   r   r   )
r  rS  rT  rb  r  tr  r  r  r   s
             r   test_MatrixSlicer    si   sD!A[)NA!S!AS"b!AS"b!Aq,.@AD$<74=5I55555q1uWaAgD$<74=A,AAAAAAq1uQYa%	!"D$<74=E,EEEEEERaRV9D$<74=7K77777RaRV9D$<74=7K77777R!V9D$<74=7K77777qS!#X;D$<74=9M99999qUAE\?D$<74==,======TT14a4Z=D$<74=;O;;;;;TaT4A4Z=D$<74=;O;;;;;SqS#A#X;D$<74=9M99999q/?;D$<74=5I55555q4D/D!T?;D$<74=5I55555q1a,At5D$<74=5I55555q1a)aAY/D$<74=9M99999QqUAaE\?D$<74==,======QqUAaE\?D$<74==,======Qr!V9D$<74=:N:::::RaR1QY<D$<74=:N:::::RaR2aZ=D$<74=9M99999Q1W:D$<74=:N:::::QqS!A#X;D$<74=7K77777QqUAaE\?D$<74=;O;;;;;E12qr6?D$<74==,======r   c                     [        SSS9n [        SX 5      n[        U5      [        U5      s=:X  a  S:X  d   e   eUR                  U-  R                  [        5      nSnSn[        U5      U:X  d   e[        U5      U:X  d   e[        [        S[        -  5      nX-  R                  U5      nSnS	n[        U5      U:X  d   e[        U5      U:X  d   eg )
Nr  Tr  r  z)              / T  \
(d -> sin(d)).\X *X/u4                ⎛ T  ⎞
(d ↦ sin(d))˳⎝X ⋅X⎠r/  z,/     1\      
|x -> -|.(n*X)
\     x/      u<   ⎛    1⎞      
⎜x ↦ ─⎟˳(n⋅X)
⎝    x⎠      )	r   r   r   r   T	applyfuncrr   r   rS  )r  r  r   rV  rW  lamdas         r   test_MatrixExpressionsr  =  s    sD!AS!A!9
)c))))) CCES!DII $<9$$$4=I%%%1acNEC??5!DI
I
 $<9$$$4=I%%%r   c                  L   SSK Jn   [        SSS9n[        SUS5      n[        SUS5      n[	        SS	/ S
Q5      n[	        SS	/ SQ5      n[        U " X#5      5      S:X  d   e[        U " XE5      5      S:X  d   e[        U " X#5      5      S:X  d   e[        U " XE5      5      S:X  d   eg )Nr   )
DotProductr  Tr  r  r/  r  r1  r/  r0  r1  )r/  r1  r2  zA*Bz[1  2  3]*[1  3  4]u   A⋅Bu   [1  2  3]⋅[1  3  4])%sympy.matrices.expressions.dotproductr  r   r   r6   r   r   )r  r  r  r  r  r  s         r   test_pretty_dotproductr  b  s    @T"AS!QAS!QAq!YAq!YA*Q"#u,,,*Q"#'<<<<:a#$///:a#$(????r   c                  x   SSK Jn JnJnJnJn  [        S5      n[        U " U5      5      S:X  d   e[        U " U" U5      5      5      S:X  d   e[        SSS5      n[        U " U5      5      S:X  d   e[        U " Xe-   5      5      S	:X  d   e[        U " U" U" SS5      U4XT" SS5      445      5      5      S
:X  d   eg )Nr   )Determinantr   r   r   r   r  u    │1  2│
│    │
│3  4│uG   │      -1│
│⎡1  2⎤  │
│⎢    ⎥  │
│⎣3  4⎦  │r  r0  u   │X│u>   │⎡1  2⎤    │
│⎢    ⎥ + X│
│⎣3  4⎦    │ua   │  𝟙     X│
│         │
│⎡1  2⎤   │
│⎢    ⎥  𝟘│
│⎣3  4⎦   │)	sympy.matricesr   r   r   r   r   r6   r   r   )r   r   r   r   r   r  r  s          r   test_pretty_Determinantr"  p  s    WW A;q>"&JJJJ;wqz*+	  
 	S!QA;q>"i///;qu%&	   ;{Yq!_a,@-.
1a0@,A,C  D E F	  r   c                  &   [        [        [        S:  4[        S-  S45      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        S:  4[        S-  S45      * n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        [        S:  4[        S45      -   [        [        [        -  [        S:  4[        S-  [        S:  4S	5      -   S-   n S
nSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        [        S:  4[        S45      -
  [        [        [        -  [        S:  4[        S-  [        S:  4S	5      -   S-   n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        [        S:  4[        S45      -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        S:  4[        S45      [        [        [        -  [        S:  4[        S-  [        S:  4S	5      -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        S:  4[        S45      * [        [        [        -  [        S:  4[        S-  [        S:  4S	5      -  n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        S[        S[        -  5      S:  4S[        [        5      S:  4[        [        SSS[        -  5      -  S45      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        [        S:  4[        S45      SSS9n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eg )Nr/  r0  TzJ/x   for x < 1
|             
< 2           
|x   otherwise
\             uT   ⎧x   for x < 1
⎪             
⎨ 2           
⎪x   otherwise
⎩             zY //x   for x < 1\
 ||             |
-|< 2           |
 ||x   otherwise|
 \\             /uw    ⎛⎧x   for x < 1⎞
 ⎜⎪             ⎟
-⎜⎨ 2           ⎟
 ⎜⎪x   otherwise⎟
 ⎝⎩             ⎠r   )r/  Ta                        //x            \    
                      ||-   for x < 2|    
                      ||y            |    
    //x  for x > 0\   ||             |    
x + |<            | + |< 2           | + 1
    \\y  otherwise/   ||y   for x > 2|    
                      ||             |    
                      ||1   otherwise|    
                      \\             /    u                        ⎛⎧x            ⎞    
                      ⎜⎪─   for x < 2⎟    
                      ⎜⎪y            ⎟    
    ⎛⎧x  for x > 0⎞   ⎜⎪             ⎟    
x + ⎜⎨            ⎟ + ⎜⎨ 2           ⎟ + 1
    ⎝⎩y  otherwise⎠   ⎜⎪y   for x > 2⎟    
                      ⎜⎪             ⎟    
                      ⎜⎪1   otherwise⎟    
                      ⎝⎩             ⎠    a                        //x            \    
                      ||-   for x < 2|    
                      ||y            |    
    //x  for x > 0\   ||             |    
x - |<            | + |< 2           | + 1
    \\y  otherwise/   ||y   for x > 2|    
                      ||             |    
                      ||1   otherwise|    
                      \\             /    u                        ⎛⎧x            ⎞    
                      ⎜⎪─   for x < 2⎟    
                      ⎜⎪y            ⎟    
    ⎛⎧x  for x > 0⎞   ⎜⎪             ⎟    
x - ⎜⎨            ⎟ + ⎜⎨ 2           ⎟ + 1
    ⎝⎩y  otherwise⎠   ⎜⎪y   for x > 2⎟    
                      ⎜⎪             ⎟    
                      ⎜⎪1   otherwise⎟    
                      ⎝⎩             ⎠    z5  //x  for x > 0\
x*|<            |
  \\y  otherwise/uI     ⎛⎧x  for x > 0⎞
x⋅⎜⎨            ⎟
  ⎝⎩y  otherwise⎠a(                  //x            \
                ||-   for x < 2|
                ||y            |
//x  for x > 0\ ||             |
|<            |*|< 2           |
\\y  otherwise/ ||y   for x > 2|
                ||             |
                ||1   otherwise|
                \\             /ut                  ⎛⎧x            ⎞
                ⎜⎪─   for x < 2⎟
                ⎜⎪y            ⎟
⎛⎧x  for x > 0⎞ ⎜⎪             ⎟
⎜⎨            ⎟⋅⎜⎨ 2           ⎟
⎝⎩y  otherwise⎠ ⎜⎪y   for x > 2⎟
                ⎜⎪             ⎟
                ⎜⎪1   otherwise⎟
                ⎝⎩             ⎠a1                   //x            \
                 ||-   for x < 2|
                 ||y            |
 //x  for x > 0\ ||             |
-|<            |*|< 2           |
 \\y  otherwise/ ||y   for x > 2|
                 ||             |
                 ||1   otherwise|
                 \\             /u}                   ⎛⎧x            ⎞
                 ⎜⎪─   for x < 2⎟
                 ⎜⎪y            ⎟
 ⎛⎧x  for x > 0⎞ ⎜⎪             ⎟
-⎜⎨            ⎟⋅⎜⎨ 2           ⎟
 ⎝⎩y  otherwise⎠ ⎜⎪y   for x > 2⎟
                 ⎜⎪             ⎟
                 ⎜⎪1   otherwise⎟
                 ⎝⎩             ⎠))r0  r/  r   )r   )r/  r   ap  /                                 1     
|            0               for --- < 1
|                                |y|    
|                                       
<            1               for |y| < 1
|                                       
|   __0, 2 /1, 2       | 1\             
|y*/__     |           | -|   otherwise 
\  \_|2, 2 \      0, 1 | y/             u  ⎧                                 1     
⎪            0               for ─── < 1
⎪                                │y│    
⎪                                       
⎨            1               for │y│ < 1
⎪                                       
⎪  ╭─╮0, 2 ⎛1, 2       │ 1⎞             
⎪y⋅│╶┐     ⎜           │ ─⎟   otherwise 
⎩  ╰─╯2, 2 ⎝      0, 1 │ y⎠             FrC  zC               2
//x  for x > 0\ 
|<            | 
\\y  otherwise/ uU                  2
⎛⎧x  for x > 0⎞ 
⎜⎨            ⎟ 
⎝⎩y  otherwise⎠ )r_   rS  r   r   rT  rZ   rq   r   re  s      r   test_pretty_piecewiser$    s   aQZ!Q$.D   $<9$$$4=I%%%q!a%j1a4,//D   $<9$$$4=I%%%y!QUaY//)QqS!a%LT1q5M93  !"D
 
  $<9$$$4=I%%%y!QUaY//)QqS!a%LT1q5M93  !"D
 
  $<9$$$4=I%%%Y1q5zAt9--D   $<9$$$4=I%%%aQZ!T+IqsAElQT1L E- D
 
  $<9$$$4=I%%%q!a%j1d),,Y!QU|adA
M F. D
 
  $<9$$$4=I%%%aQqSA&CFQJ!G E1Q3=  ; !%:' (D
 
  $<9$$$4=I%%% y!QUaY/UCD   $<9$$$4=I%%%r   c                  z    [        [        [        [        5      n [	        U 5      S:X  d   e[        U 5      S:X  d   eg )Nz)/y    for x  
<            
\z  otherwiseu/   ⎧y    for x  
⎨            
⎩z  otherwise)r/   rS  rT  rb  r   r   rk  s    r   test_pretty_ITEr&  g  sG    q!Q<D$<	
 
 

 4=    r   c            
      F   Sn SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e/ n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e0 n 0 nSnSn[        U 5      U:X  d   e[        U5      U:X  d   e[        U 5      U:X  d   e[        U5      U:X  d   eS[        -  4n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        S-  S[        -  [        [        [	        [
        5      S-  [        [        5      S-  -  /n S	nS
n[        U 5      U:X  d   e[        U 5      U:X  d   e[        S-  S[        -  [        [        [	        [
        5      S-  [        [        5      S-  -  4n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        S-  S[        -  [        [        [	        [
        5      S-  [        [        5      S-  -  5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [	        [        5      0n [        [        [	        [        5      05      nSnSn[        U 5      U:X  d   e[        U5      U:X  d   e[        U 5      U:X  d   e[        U5      U:X  d   eS[        -  S[        -  [        [	        [        5      S-  0n [        S[        -  S[        -  [        [	        [        5      S-  05      nSnSn[        U 5      U:X  d   e[        U5      U:X  d   e[        U 5      U:X  d   e[        U5      U:X  d   e[        S-  /n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        S-  4n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        S-  5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        S-  S0n [        [        S-  S05      nSnSn[        U 5      U:X  d   e[        U5      U:X  d   e[        U 5      U:X  d   e[        U5      U:X  d   eg )Nr   r4  r  z{}r/  z 1  
(-,)
 x  u   ⎛1 ⎞
⎜─,⎟
⎝x ⎠r0  z                 2        
  2  1        sin (theta) 
[x , -, x, y, -----------]
     x            2       
               cos (phi)  u   ⎡                2   ⎤
⎢ 2  1        sin (θ)⎥
⎢x , ─, x, y, ───────⎥
⎢    x           2   ⎥
⎣             cos (φ)⎦z                 2        
  2  1        sin (theta) 
(x , -, x, y, -----------)
     x            2       
               cos (phi)  u   ⎛                2   ⎞
⎜ 2  1        sin (θ)⎟
⎜x , ─, x, y, ───────⎟
⎜    x           2   ⎟
⎝             cos (φ)⎠z{x: sin(x)}z8 1  1        2    
{-: -, x: sin (x)}
 x  y             uH   ⎧1  1        2   ⎫
⎨─: ─, x: sin (x)⎬
⎩x  y            ⎭z	  2 
[x ]u   ⎡ 2⎤
⎣x ⎦z  2  
(x ,)u   ⎛ 2 ⎞
⎝x ,⎠z  2    
{x : 1}u#   ⎧ 2   ⎫
⎨x : 1⎬
⎩     ⎭)
r   r   rS  rT  rr   r  rg   r  r   r   )r   rV  rW  expr_2s       r   test_pretty_seqr)  u  s   D 
  $<9$$$4=I%%%D 
  $<9$$$4=I%%%DF 
  $<9$$$&>Y&&&4=I%%%6?i'''aC6D   $<9$$$4=I%%%qD!A#q!SWaZB
23D   $<9$$$4=I%%%qD!A#q!SWaZB
23D   $<9$$$4=I%%%AqsAq#b'1*SWaZ"78D   $<9$$$4=I%%%s1v;D1c!f+F 
  $<9$$$&>Y&&&4=I%%%6?i'''aC1aQ#D1Q3!QA	*+F   $<9$$$&>Y&&&4=I%%%6?i''' qD6D  
 $<9$$$4=I%%%qD7D  
 $<9$$$4=I%%%A;D  
 $<9$$$4=I%%%qD!9D1a4)_F   $<9$$$&>Y&&&4=I%%%6?i'''r   c                  |   [        5       n [        [        5       5      nX/n[        U5      S:X  d   e[        U5      S:X  d   eX1n[        U5      S:X  d   e[        U5      S:X  d   eXX0n[        XX05      n[        U5      S:X  d   e[        U5      S:X  d   e[        U5      S:X  d   e[        U5      S:X  d   eg )Nz[Basic(Basic()), Basic()]z{Basic(), Basic(Basic())}z2{Basic(): Basic(Basic()), Basic(Basic()): Basic()})r   r   r   r   )b1b2r   expr2s       r   test_any_object_in_sequencer.  I  s    	B	uwB8D$<66664=77778D$<66664=7777BD""!"E$<OOOOFG G GEF F FFG G Gr   c                     [        [        5       5      S:X  d   e[        [        5       5      S:X  d   e[        [        5       5      S:X  d   e[        [        5       5      S:X  d   eS[        -  [        1n [        U 5      n[        U 5      S:X  d   e[        U 5      S:X  d   e[        U5      S:X  d   e[        U5      S:X  d   eg )Nzset()zfrozenset()r/  z 1    
{-, x}
 x    u"   ⎧1   ⎫
⎨─, x⎬
⎩x   ⎭z5           1     
frozenset({-, x})
           x     uO            ⎛⎧1   ⎫⎞
frozenset⎜⎨─, x⎬⎟
         ⎝⎩x   ⎭⎠)r   setr   	frozensetrS  )s1s2s     r   test_print_builtin_setr4  a  s    #%=G###35>W$$$)+-///9;=000
A#qB	2B":   2;   ":   2;  r   c                  b   [         n [        U " [        [        -  [        S-  /6 5      S:X  d   e[        U " [	        SS5      6 5      S:X  d   e[        U " [	        SS5      6 5      S:X  d   e[        [        [        -  [        S-  15      S:X  d   e[        [        [	        SS5      5      5      S:X  d   e[        [        [	        SS5      5      5      S:X  d   e[        [        [        [        -  [        S-  /5      5      S:X  d   e[        [        [	        SS5      5      5      S	:X  d   e[        [        [	        SS5      5      5      S
:X  d   e[        [        SSS5      5      S:X  d   eSnSn[        [        SSS5      5      U:X  d   e[        [        SSS5      5      U:X  d   eSnSn[        [        SSS5      5      U:X  d   e[        [        SSS5      5      U:X  d   eSnSn[        [        S[        S5      5      U:X  d   e[        [        S[        S5      5      U:X  d   eSnSn[        [        [        SS5      5      U:X  d   e[        [        [        SS5      5      U:X  d   eSnSn[        [        S[        * S5      5      U:X  d   e[        [        S[        * S5      5      U:X  d   eg )Nr0  z  2      
{x , x*y}r/  ri  z{1, 2, 3, 4, 5}r@  z'{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}z)            2       
frozenset({x , x*y})zfrozenset({1, 2, 3, 4, 5})z2frozenset({1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12})r   r1  z	{0, 1, 2}z{0, 1, ..., 29}u   {0, 1, …, 29}   z{30, 29, ..., 2}u   {30, 29, …, 2}r`  z{0, 2, ...}u   {0, 2, …}z{..., 2, 0}u   {…, 2, 0}rE  z{-2, -3, ...}u   {-2, -3, …})
rN   r   rS  rT  ranger0  r1  rL   r   r   )r  rV  rW  s      r   test_pretty_setsr8    s   A!ac1a4[/"  
 !U1a[/"&7777!U1b\"#'PPPP1Q31+  
 #eAqk"#'8888#eArl#$12 2 2 )QqS!Q$K()  
 )E!QK()-IIII)E!RL)*<= = = %1a.![000!I!I%2q/"i///5B?#y000"I"I%Ar"#y0005Q#$	111II%2q/"i///5B?#y000II%B#$	1115R$%222II%RC$%2225bS"%&)333r   c                  ~    [        SS5      n [        U 5      nSnSn[        U5      U:X  d   e[        U5      U:X  d   eg )Nr/  r1  zSetExpr([1, 3]))rP   r   r   r   )ivserV  rW  s       r   test_pretty_SetExprr<    sD    	!QB	B!I!I":"""2;)###r   c                  h   [        [        [        [        4[        [        -   5      1 SkSS15      n SnSn[	        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        [        44[        [        -   5      [        1 SkSS15      5      n SnSn[	        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        [        S-  5      [        R                  5      n S	nS
n[	        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        S[        S-  -  5      [        R                  5      n SnSn[	        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        [        4S[        [        -   S-  -  5      [        R                  [        R                  5      n SnSn[	        U 5      U:X  d   e[        U 5      U:X  d   e[        [        S5      [        S5      S-   -  /5      S:X  d   e[        [        [        S5      [        S5      S-   /5      5      S:X  d   eg )N>   r/  r0  r1  r1  r2  z%{x + y | x in {1, 2, 3}, y in {3, 4}}u)   {x + y │ x ∊ {1, 2, 3}, y ∊ {3, 4}}z&{x + y | (x, y) in {1, 2, 3} x {3, 4}}u*   {x + y │ (x, y) ∊ {1, 2, 3} × {3, 4}}r0  z)  2                 
{x  | x in Naturals}u<   ⎧ 2 │      ⎫
⎨x  │ x ∊ ℕ⎬
⎩   │      ⎭r/  zS 1                  
{-- | x in Naturals}
  2                 
 x                  uf   ⎧1  │      ⎫
⎪── │ x ∊ ℕ⎪
⎨ 2 │      ⎬
⎪x  │      ⎪
⎩   │      ⎭z    1                                    
{-------- | x in Naturals, y in Naturals}
        2                                
 (x + y)                                 u   ⎧   1     │             ⎫
⎪──────── │ x ∊ ℕ, y ∊ ℕ⎪
⎨       2 │             ⎬
⎪(x + y)  │             ⎪
⎩         │             ⎭ihatr  u/   ⎡  î  ⎤
⎢─────⎥
⎣i + 1⎦u%   ⎡  î  ⎤
⎢     ⎥
⎣i + 1⎦)r   r   rS  rT  r   r   r   r   Naturalsr   r6   )imgsetrV  rW  s      r   test_pretty_ImageSetrA    s   faVQU+YA?F7I;I&>Y&&&6?i'''fq!fYA.
9q!f0MNF8I<I&>Y&&&6?i'''fQ1oqzz2FII &>Y&&&6?i''' fQ!Q$'4FI
I &>Y&&&6?i'''faVQAz\2AJJ

KF-I
#I &>Y&&&6?i''' F6NfSkAo678 =   
 66&>6#;?;<= B   r   c                  n   Sn Sn[        [        [        [        [	        [        5      S5      [
        R                  5      5      U :X  d   e[        [        [        [        [	        [        5      S5      [
        R                  5      5      U:X  d   e[        [        [        [        [        [
        R                  SS9[        S5      5      5      S:X  d   e[        [        [        [        [        [
        R                  SS9[        S5      5      5      S:X  d   e[        [        [        [        [        S:  [        S:  5      [        SS	S
5      5      5      S:X  d   e[        [        [        [        [        S:  [        S:  5      [        SS	S
5      5      5      S:X  d   e[        [        [        [        [        S:  [        S:  5      [        SS	5      5      5      S:X  d   e[        [        [        [        [        S:  [        S:  5      [        SS	5      5      5      S:X  d   e[        [        S[        S	-  -  S:  5      nSn Sn[        U5      U :X  d   e[        U5      U:X  d   e[        [        S[        S	-  -  S:  [
        R                  5      nSn Sn[        U5      U :X  d   e[        U5      U:X  d   eg )Nz#{x | x in (-oo, oo) and sin(x) = 0}u"   {x │ x ∊ ℝ ∧ (sin(x) = 0)}r   FrC  r/  z{1}r`  r0  r1  EmptySet   ∅z{2}z3     1      
{x | -- > 0}
      2     
     x      u|   ⎧  │ ⎛1     ⎞⎫
⎪x │ ⎜── > 0⎟⎪
⎨  │ ⎜ 2    ⎟⎬
⎪  │ ⎝x     ⎠⎪
⎩  │         ⎭z                        1      
{x | x in (-oo, oo) and -- > 0}
                         2     
                        x      u   ⎧  │         ⎛1     ⎞⎫
⎪x │ x ∊ ℝ ∧ ⎜── > 0⎟⎪
⎨  │         ⎜ 2    ⎟⎬
⎪  │         ⎝x     ⎠⎪
⎩  │                 ⎭)r   r   rS  r   rr   r   Realsr   rK   rN   r-   r4   )rV  rW  condsets      r   test_pretty_ConditionSetrG    s(   5I4I,q"SVQ-9:iGGG<2c!fa=!'':;yHHH,q(1agg"F	RSUVZ____<8Aqww#GSTVW[````,q#a!eQV"4i1a6HIJjXXX<3q1ua"f#5yAq7IJKuTTT,q"QUAF"3Yq!_EF%OOO<2a!eQV#4i1oFG5PPP1a1fqj)GI
I '?i'''7y(((1a1fqj!''2G#I
 I '?i'''7y(((r   c                  x   SSK Jn   U " [        SS5      [        SS5      -  5      nSnSn[        U5      U:X  d   e[	        U5      U:X  d   eU " [        SS	5      [        SS
[
        -  5      -  SS9nSnSn[        U5      U:X  d   e[	        U5      U:X  d   eU " [        SS	[        S
-  -  5      [        SS5      -  5      nSnSn[        U5      U:X  d   e[	        U5      U:X  d   eU " [        SS	[        S
-  -  5      [        SS
[
        -  5      -  SS9nSnSn[        U5      U:X  d   e[	        U5      U:X  d   eg )Nr   )ComplexRegionr1  r3  r2  ri  z#{x + y*I | x, y in [3, 5] x [4, 6]}u+   {x + y⋅ⅈ │ x, y ∊ [3, 5] × [4, 6]}r/  r0  T)polarz@{r*(I*sin(theta) + cos(theta)) | r, theta in [0, 1] x [0, 2*pi)}uC   {r⋅(ⅈ⋅sin(θ) + cos(θ)) │ r, θ ∊ [0, 1] × [0, 2⋅π)}z                       1            
{x + y*I | x, y in [3, --] x [4, 6]}
                        2           
                       a            u   ⎧        │        ⎡   1 ⎤         ⎫
⎪x + y⋅ⅈ │ x, y ∊ ⎢3, ──⎥ × [4, 6]⎪
⎨        │        ⎢    2⎥         ⎬
⎪        │        ⎣   a ⎦         ⎪
⎩        │                        ⎭a                                                   1               
{r*(I*sin(theta) + cos(theta)) | r, theta in [0, --] x [0, 2*pi)}
                                                  2              
                                                 a               uD  ⎧                      │        ⎡   1 ⎤           ⎫
⎪r⋅(ⅈ⋅sin(θ) + cos(θ)) │ r, θ ∊ ⎢0, ──⎥ × [0, 2⋅π)⎪
⎨                      │        ⎢    2⎥           ⎬
⎪                      │        ⎣   a ⎦           ⎪
⎩                      │                          ⎭)sympy.sets.fancysetsrI  rP   r   r   r   rc  )rI  cregionrV  rW  s       r   test_pretty_ComplexRegionrM  :  sZ   2HQN8Aq>9:G5I=I'?i'''7y(((HQN8Aqt+<<DIGRIUI'?i'''7y(((HQ!Q$/A>?G(I
-I '?i'''7y(((HQ!Q$/AbD0AANGEI
=I '?i'''7y(((r   c                      [        SS5      [        SS5      pSnSn[        [        X5      5      U:X  d   e[        [        X5      5      U:X  d   eg )Nr0  r1  r2  rh  u   [2, 3] ∪ [4, 7]z[2, 3] U [4, 7])rP   r   rQ   r   )rc  rd  rW  rV  s       r   test_pretty_Union_issue_10414rO  g  sM    Aq>8Aq>q#I!I5;9,,,%+)+++r   c                      [        S5      u  pp#[        X5      [        X#5      pTSnSn[        [        XE5      5      U:X  d   e[	        [        XE5      5      U:X  d   eg )Nz
x, y, z, wu   [x, y] ∩ [z, w]z[x, y] n [z, w])r   rP   r   rO   r   )rS  rT  rb  r  rc  rd  rW  rV  s           r   $test_pretty_Intersection_issue_10414rQ  o  sY    &JA!A>8A>q#I!I<%&)333,q$%222r   c                      Sn [        [        SS5      S-  5      U :X  d   eSn [        [        SS5      S-  5      U :X  d   eg )Nz      1
[0, 1] r   r/  z      2
[0, 1] r0  )r   rP   )rW  s    r   test_ProductSet_exponentrS  x  sH    "I8Aq>1$%222"I8Aq>1$%222r   c            
          Sn [        SS5      [        SS5      p![        [        X-  U[        SS5      -  5      5      U :X  d   eg )Nu)   ([4, 7] × {1, 2}) ∪ ([2, 3] × [4, 7])r0  r1  r2  rh  r/  )rP   r   rQ   rN   )rW  rc  rd  s      r   test_ProductSet_parenthesisrU    sA    ;IAq>8Aq>q5a	!Q/01Y>>>r   c                      Sn Sn[        SS5      [        SS5      p2[        X#-  5      U :X  d   e[        X#-  5      U:X  d   eg )Nz[2, 3] x [4, 7]u   [2, 3] × [4, 7]r0  r1  r2  rh  )rP   r   r   )rV  rW  rc  rd  s       r   %test_ProductSet_prod_char_issue_10413rW    sG    !I"IAq>8Aq>q!#;)###13<9$$$r   c                  v  ^
 [        [        S-  S[        45      n [        S5      nSnSn[	        U 5      U:X  d   e[        U 5      U:X  d   eSnSn[	        U5      U:X  d   e[        U5      U:X  d   e[        [        S-  S5      n[        SS5      nS	nS	n[	        U5      U:X  d   e[        U5      U:X  d   eS
nS
n[	        U5      U:X  d   e[        U5      U:X  d   e[        [        S-  [        * S45      n[        S[        * S45      nSnSn[	        U5      U:X  d   e[        U5      U:X  d   eSnSn[	        U5      U:X  d   e[        U5      U:X  d   eSnSn[	        [        X5      5      U:X  d   e[        [        X5      5      U:X  d   eSnSn[	        [        XE5      5      U:X  d   e[        [        XE5      5      U:X  d   eSnSn[	        [        Xg5      5      U:X  d   e[        [        Xg5      5      U:X  d   eSnSn[	        [        X5      5      U:X  d   e[        [        X5      5      U:X  d   eSnSn[	        [        XE5      5      U:X  d   e[        [        XE5      5      U:X  d   eSnSn[	        [        Xg5      5      U:X  d   e[        [        Xg5      5      U:X  d   e[        [        S-  [        S[        45      m
[        [        U
4S j5        [        [        U
4S j5        [        S5      n[        U[        S-  -  [        SS45      n	SnSn[	        U	5      U:X  d   e[        U	5      U:X  d   eg )Nr0  r   r  z[0, 1, 4, 9, ...]u   [0, 1, 4, 9, …]z[1, 2, 1, 2, ...]u   [1, 2, 1, 2, …]r   r0  z	[0, 1, 4]z	[1, 2, 1]z[..., 9, 4, 1, 0]u   […, 9, 4, 1, 0]z[..., 2, 1, 2, 1]u   […, 2, 1, 2, 1]z[1, 3, 5, 11, ...]u   [1, 3, 5, 11, …]z	[1, 3, 5]z[..., 11, 5, 3, 1]u   […, 11, 5, 3, 1]z[0, 2, 4, 18, ...]u   [0, 2, 4, 18, …]z	[0, 2, 4]z[..., 18, 4, 2, 0]u   […, 18, 4, 2, 0]c                     > [        T 5      $ Nr   s7s   r   r  'test_pretty_sequences.<locals>.<lambda>  s	    r
r   c                     > [        T 5      $ r[  )r   r\  s   r   r  r^    s	    r   rd  z[0, b, 4*b]u   [0, b, 4⋅b])rH   rc  r   rJ   r   r   rG   rI   rS  r   NotImplementedErrorr   )r2  r3  rV  rW  s3s4s5s6rd  s8r]  s             @r   test_pretty_sequencesrf    sI   	AqD1b'	"B	B#I#I":"""2;)####I#I":"""2;)###	AqD&	!B		BII":"""2;)###II":"""2;)###	AqDB3(	#B	"a	!B#I#I":"""2;)####I#I":"""2;)###$I$I&.!Y...6">"i///II&.!Y...6">"i///$I$I&.!Y...6">"i///$I$I&.!Y...6">"i///II&.!Y...6">"i///$I$I&.!Y...6">"i/// 
AqD1a)	$B
 23
 34sA	AadFQ1I	&BII":"""2;)###r   c                      [        [        [        [        * [        45      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   eg )Nzt                      2*sin(3*x)      
2*sin(x) - sin(2*x) + ---------- + ...
                          3           u                         2⋅sin(3⋅x)    
2⋅sin(x) - sin(2⋅x) + ────────── + …
                          3         )rD   rS  r   r   r   r   rV  rW  s      r   test_pretty_FourierSeriesri    sP    q1rc2,'A   !9	!!!1:"""r   c                      [        [        S[        -   5      5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   eg )Nr/  z oo              
____             
\   `            
 \         -k  k 
  \   -(-1)  *x  
  /   -----------
 /         k     
/___,            
k = 1            u    ∞               
____             
╲                
 ╲         -k  k 
  ╲   -(-1)  ⋅x  
  ╱   ───────────
 ╱         k     
╱                
‾‾‾‾             
k = 1            )rC   rp   rS  r   r   rh  s      r   test_pretty_FormalPowerSeriesrk     sM    CAJA
   !9	!!!1:"""r   c            	         [        [        [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        S-  [        S5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        S[        -  [        S5      n SnS	n[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      [        -  [        S5      n S
nSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      [        -  [        SS5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        [        5      -   [        S5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        S5      S-  n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        [        S-  [        S5      -  [        S5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   eS[        [        [        [        S-  [        S5      -  [        S5      -  n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        [        [        5      [        SSS9n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   eg )Nz lim x
x->oo u   lim x
x─→∞ r0  r   z      2
 lim x 
x->0+  u         2
 lim x 
x─→0⁺  r/  z     1
 lim -
x->0+xu        1
 lim ─
x─→0⁺xz)     /sin(x)\
 lim |------|
x->0+\  x   /uG        ⎛sin(x)⎞
 lim ⎜──────⎟
x─→0⁺⎝  x   ⎠-z)     /sin(x)\
 lim |------|
x->0-\  x   /uG        ⎛sin(x)⎞
 lim ⎜──────⎟
x─→0⁻⎝  x   ⎠z# lim (x + sin(x))
x->0+            u)    lim (x + sin(x))
x─→0⁺            z        2
/ lim x\ 
\x->0+ / u+           2
⎛ lim x⎞ 
⎝x─→0⁺ ⎠ z5     /       /y\\
 lim |x* lim |-||
x->0+\  y->0+\2//u]        ⎛       ⎛y⎞⎞
 lim ⎜x⋅ lim ⎜─⎟⎟
x─→0⁺⎝  y─→0⁺⎝2⎠⎠z;       /       /y\\
2* lim |x* lim |-||
  x->0+\  y->0+\2//ue          ⎛       ⎛y⎞⎞
2⋅ lim ⎜x⋅ lim ⎜─⎟⎟
  x─→0⁺⎝  y─→0⁺⎝2⎠⎠z+-)dirzlim sin(x)
x->0      u   lim sin(x)
x─→0      )rE   rS  r   r   r   rr   rT  re  s      r   test_pretty_limitsro  #  s$   Ar?D  
 $<9$$$4=I%%%Aq!D   $<9$$$4=I%%%1aD   $<9$$$4=I%%%Q1a D   $<9$$$4=I%%%Q1a%D   $<9$$$4=I%%%SVQ"D  
 $<9$$$4=I%%%Aq>1D   $<9$$$4=I%%%51Qq>!1a(D   $<9$$$4=I%%%U1U1Q3q^#Q**D   $<9$$$4=I%%%QA4(D   $<9$$$4=I%%%r   c                      [        [        S-  S[        -  -   S-
  S5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eg )Nr3     r0  r   z3       / 5              \
CRootOf\x  + 11*x - 2, 0/u=          ⎛ 5              ⎞
CRootOf⎝x  + 11⋅x - 2, 0⎠)rB   rS  r   r   re  s      r   test_pretty_ComplexRootOfrr    sX    !Q$A+/1%D   $<9$$$4=I%%%r   c            	      N   [        [        S-  S[        -  -   S-
  SS9n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        S-  S[        -  -   S-
  [	        [
        [        [
        5      5      5      n SnS	n[        U 5      U:X  d   e[        U 5      U:X  d   eg )
Nr3  rq  r0  F)autoz-       / 5           \
RootSum\x  + 11*x - 2/u7          ⎛ 5           ⎞
RootSum⎝x  + 11⋅x - 2⎠z?       / 5                   z\
RootSum\x  + 11*x - 2, z -> e /uK          ⎛ 5                  z⎞
RootSum⎝x  + 11⋅x - 2, z ↦ ℯ ⎠)rA   rS  r   r   r   rb  ri   re  s      r   test_pretty_RootSumru    s    1a4"Q$;?/D   $<9$$$4=I%%%1a4"Q$;?F1c!f$56D   $<9$$$4=I%%%r   c                     [        / [        [        5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   e[        S-  S[        -  -
  [        -
  S-   [        S-  S[        -  -
  [        -   S-
  /n[        U[        [        SS9n SnS	n[        U 5      U:X  d   e[	        U 5      U:X  d   eU R                  S
5      n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   eg )Nz-GroebnerBasis([], x, y, domain=ZZ, order=lex)u.   GroebnerBasis([], x, y, domain=ℤ, order=lex)r0  r1  r/  r>   rq  z             /[ 2                 2              ]                              \
GroebnerBasis\[x  - x - 3*y + 1, y  - 2*x + y - 1], x, y, domain=ZZ, order=grlex/u                ⎛⎡ 2                 2              ⎤                             ⎞
GroebnerBasis⎝⎣x  - x - 3⋅y + 1, y  - 2⋅x + y - 1⎦, x, y, domain=ℤ, order=grlex⎠rp  z             /[       2           4      3      2           ]                            \
GroebnerBasis\[2*x - y  - y + 1, y  + 2*y  - 3*y  - 16*y + 7], x, y, domain=ZZ, order=lex/u                ⎛⎡       2           4      3      2           ⎤                           ⎞
GroebnerBasis⎝⎣2⋅x - y  - y + 1, y  + 2⋅y  - 3⋅y  - 16⋅y + 7⎦, x, y, domain=ℤ, order=lex⎠)r@   rS  rT  r   r   fglm)r   rV  rW  Fs       r   test_GroebnerBasisry    s   B1D 
 
 $<9$$$4=I%%%	
A!a!	QTAaCZ!^a/0AAq!7+D   $<9$$$4=I%%%99UD   $<9$$$4=I%%%r   c                      [        [        R                  5      S:X  d   e[        [        R                  5      S:X  d   eg )NUniversalSetu   𝕌)r   r   r{  r   r   r   r   test_pretty_UniversalSetr|  "  s0    !..!^3331>>"f,,,r   c                     [        [        SS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[	        [        [
        5      n [        U 5      S:X  d   e[        U 5      S:X  d   e[        [        [
        5      n [        U 5      S:X  d   e[        U 5      S:X  d   e[        S	5      n[	        U6 n [        U 5      S
:X  d   e[        U 5      S:X  d   e[        U6 n [        U 5      S:X  d   e[        U 5      S:X  d   e[        [        [
        SS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        [        [
        SS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        [        [
        SS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        [        [
        SS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        [
        [        SS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        [        [
        SS9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        [
        [        SS9n [        U 5      S:X  d   e[        U 5      S:X  d   eg )NFrC  zNot(x)u   ¬xz	And(x, y)u   x ∧ yzOr(x, y)u   x ∨ yza:fzAnd(a, b, c, d, e, f)u   a ∧ b ∧ c ∧ d ∧ e ∧ fzOr(a, b, c, d, e, f)u   a ∨ b ∨ c ∨ d ∨ e ∨ fz	Xor(x, y)u   x ⊻ yz
Nand(x, y)u   x ⊼ yz	Nor(x, y)u   x ⊽ yzImplies(x, y)u   x → yzImplies(y, x)u   y → xzEquivalent(x, y)   x ⇔ y)r3   rS  r   r   r-   rT  r4   r   r5   r1   r2   r0   r.   )r   symss     r   test_pretty_Booleanr  '  sY   q5!D$<8###4=E!!!q!9D$<;&&&4=I%%%a8D$<:%%%4=I%%%5>D:D$<22224=====t9D$<11114=====q!e$D$<;&&&4=I%%%1u%D$<<'''4=I%%%q!e$D$<;&&&4=I%%%1a%(D$<?***4=I%%% 1a%(D$<?***4=I%%%aU+D$<----4=I%%%aU+D$<----4=I%%%r   c                      [        S5      n [        U 5      S:X  d   e[        U 5      S:X  d   e[        n [        U 5      S:X  d   e[        U 5      S:X  d   e[        n [        U 5      S:X  d   e[        U 5      S:X  d   e[
        n [        U 5      S:X  d   e[        U 5      S	:X  d   e[        [           n [        U 5      S
:X  d   e[        U 5      S:X  d   e[        [        [        4   n [        U 5      S:X  d   e[        U 5      S:X  d   e[        R                  " [        5      n [        U 5      S:X  d   e[        U 5      S:X  d   e[        R                  " [        [        5      n [        U 5      S:X  d   e[        U 5      S:X  d   e[        R                  " [        [        [        S9n [        U 5      S:X  d   e[        U 5      S:X  d   e[        R                  " [        [        [        S9n [        U 5      S:X  d   e[        U 5      S:X  d   eg )N   zGF(23)u	   ℤ₂₃r;   u   ℤr<   u   ℚr=   u   ℝzQQ[x]u   ℚ[x]zQQ[x, y]u	   ℚ[x, y]zZZ(x)u   ℤ(x)zZZ(x, y)u	   ℤ(x, y)rq  zQQ[x, y, order=grlex]u   ℚ[x, y, order=grlex]zQQ[x, y, order=ilex]u   ℚ[x, y, order=ilex])r:   r   r   r;   r<   r=   rS  rT  
frac_field	poly_ringr>   r?   rk  s    r   test_pretty_Domainr  g  s   b6D$<8###4=K'''D$<44=E!!!D$<44=E!!!D$<44=E!!!a5D$<7"""4=H$$$ad8D$<:%%%4=K'''==D$<7"""4=H$$$==AD$<:%%%4=K'''<<1E*D$<22224=4444<<1D)D$<11114=3333r   c                  l   [        [        S5      SSS9S:X  d   e[        [        S5      SSS9S:X  d   e[        [        S5      SSS9S:X  d   e[        [        S5      [        -  SSSS9S;   d   e[        [        S5      [        -  SSSS9S	;   d   e[        [        S5      [        -  SSSS9S	;   d   eg )
Nz0.3TF)	full_precr   z0.300000000000000rt  )r  r   r   )z0.300000000000000*xzx*0.300000000000000)z0.3*xzx*0.3)r   r   rS  r   r   r   test_pretty_precr    s    1U8tu=ATTTT1U8v?CVVVV1U8u>%GGG1U8A:5ER W    1U8A:UeT Y    1U8A:EUS X   r   c                      SS K n SSKJn  U" 5       nU R                  nX l         [	        [
        SSS9  X0l        UR                  5       S:X  d   eg ! X0l        f = f)Nr   )StringIOF)r   r   zpi
)sysior  stdoutr   r   getvalue)r  r  fdssos       r   test_pprintr    sP    	B
**CJru6
;;=F""" 
s   A Ac                       " S S5      n  " S S5      n[        U 5      [        U 5      :X  d   e[        U5      [        U5      :X  d   eg)z;Test that the printer dispatcher correctly handles classes.c                       \ rS rSrSrg)test_pretty_class.<locals>.Ci  r   Nr   r   r   r   r  r        r   r  c                       \ rS rSrSrg)test_pretty_class.<locals>.Di  r   Nr   r   r   r   r  r    r  r   r  N)r   rv  )r  r  s     r   test_pretty_classr    sD       1;#q("""1;#q("""r   c                      Sn [        S5       H  nX[        U[        -   5      -  -  n M     [        U 5      R	                  S5      S:w  d   e[        U SS9R	                  S5      S:X  d   eg )Nr      
r`  F)r   )r7  rr   rS  r   find)	huge_exprr  s     r   test_pretty_no_wrap_liner    sg    I2Ys1q5z\!	 9)..t4:::9.33D9R???r   c                  &    [        [        S 5        g )Nc                  (    [        [        S5      SS9$ )Nr2  garbage)method)r   r   r   r   r   r  test_settings.<locals>.<lambda>  s    fQqT)<r   )r   	TypeErrorr   r   r   test_settingsr    s    
9<=r   c                     SSK Jn JnJnJnJnJn  [        X3-  USU45      nSnSn[        U5      U:X  d   e[        U5      U:X  d   e[        X3-  U[        U45      nSnSn[        U5      U:X  d   e[        U5      U:X  d   e[        U[        X-  U [        * [        45      -  USXU-  45      nSnSn[        U5      U:X  d   e[        U5      U:X  d   e[        U[        X-  U [        * [        45      -  US[        X -  U [        * [        45      45      nS	nS
n[        U5      U:X  d   e[        U5      U:X  d   e[        U[        X-  U [        * [        45      -  X0U-   U S-  -   US-  -   X-  -   SU -  -   [        X -  U [        * [        45      45      nSnSn[        U5      U:X  d   e[        U5      U:X  d   e[        U[        X-  U [        * [        45      -  USX-   U S-  -   US-  -   X-  -   SU -  -   45      nSnSn[        U5      U:X  d   e[        U5      U:X  d   e[        X S[        45      nSnSn[        U5      U:X  d   e[        U5      U:X  d   e[        U S-  U S[        45      nSnSn[        U5      U:X  d   e[        U5      U:X  d   e[        U S-  U S[        45      nSnSn[        U5      U:X  d   e[        U5      U:X  d   e[        U S-  S-  U S[        45      nSnSn[        U5      U:X  d   e[        U5      U:X  d   e[        U S-  [        U S-  -  -  U-  U S[        45      nSnSn[        U5      U:X  d   e[        U5      U:X  d   e[        SU S-  -  U S[        45      nSnSn[        U5      U:X  d   e[        U5      U:X  d   e[        S[        X-  -  -  U S[        45      nSnSn[        U5      U:X  d   e[        U5      U:X  d   e[        S[        X-  -  -  U S[        4[        SS45      nS nS!n[        SSSSSU-  -   -  -   -  S-   US"SSU-  -   4USSU-   -  [        45      SSSU-  -   -  -   nS#nS$n[        U5      U:X  d   e[        U5      U:X  d   eg )%Nr   )rS  rc  rd  r  r  r  z> n      
___     
\  `    
 \     k
 /    k 
/__,    
k = 0   uU     n     
 ___    
 ╲      
  ╲    k
  ╱   k 
 ╱      
 ‾‾‾    
k = 0   zE  n      
 ___     
 \  `    
  \     k
  /    k 
 /__,    
k = oo   uW     n     
 ___    
 ╲      
  ╲    k
  ╱   k 
 ╱      
 ‾‾‾    
k = ∞   a     n              
  n               
______            
\     `           
 \        oo      
  \        /      
   \      |       
    \     |   n   
     )    |  x  dx
    /     |       
   /     /        
  /      -oo      
 /      k         
/_____,           
 k = 0            u*     n            
  n             
______          
╲               
 ╲              
  ╲     ∞       
   ╲    ⌠       
    ╲   ⎮   n   
    ╱   ⎮  x  dx
   ╱    ⌡       
  ╱     -∞      
 ╱     k        
╱               
‾‾‾‾‾‾          
k = 0           a   oo                 
  /                 
 |                  
 |   x              
 |  x  dx           
 |                  
/                   
-oo                 
 ______             
 \     `            
  \         oo      
   \         /      
    \       |       
     \      |   n   
      )     |  x  dx
     /      |       
    /      /        
   /       -oo      
  /       k         
 /_____,            
  k = 0             u  ∞                 
⌠                 
⎮   x             
⎮  x  dx          
⌡                 
-∞                
 ______           
 ╲                
  ╲               
   ╲      ∞       
    ╲     ⌠       
     ╲    ⎮   n   
     ╱    ⎮  x  dx
    ╱     ⌡       
   ╱      -∞      
  ╱      k        
 ╱                
 ‾‾‾‾‾‾           
 k = 0            r0  r/  a            oo                          
           /                          
          |                           
          |   x                       
          |  x  dx                    
          |                           
         /                            
         -oo                          
          ______                      
          \     `                     
           \                  oo      
            \                  /      
             \                |       
              \               |   n   
               )              |  x  dx
              /               |       
             /               /        
            /                -oo      
           /                k         
          /_____,                     
     2        2       1   x           
k = n  + n + x  + x + - + -           
                      x   n           uY           ∞                           
         ⌠                           
         ⎮   x                       
         ⎮  x  dx                    
         ⌡                           
         -∞                          
          ______                     
          ╲                          
           ╲                         
            ╲                ∞       
             ╲               ⌠       
              ╲              ⎮   n   
              ╱              ⎮  x  dx
             ╱               ⌡       
            ╱                -∞      
           ╱                k        
          ╱                          
          ‾‾‾‾‾‾                     
     2        2       1   x          
k = n  + n + x  + x + ─ + ─          
                      x   n          a/   2        2       1   x           
n  + n + x  + x + - + -           
                  x   n           
        ______                    
        \     `                   
         \                oo      
          \                /      
           \              |       
            \             |   n   
             )            |  x  dx
            /             |       
           /             /        
          /              -oo      
         /              k         
        /_____,                   
         k = 0                    uO   2        2       1   x          
n  + n + x  + x + ─ + ─          
                  x   n          
        ______                   
        ╲                        
         ╲                       
          ╲              ∞       
           ╲             ⌠       
            ╲            ⎮   n   
            ╱            ⎮  x  dx
           ╱             ⌡       
          ╱              -∞      
         ╱              k        
        ╱                        
        ‾‾‾‾‾‾                   
         k = 0                   z/ oo    
 __    
 \ `   
  )   x
 /_,   
x = 0  uO     ∞    
 ___   
 ╲     
  ╲    
  ╱   x
 ╱     
 ‾‾‾   
x = 0  z> oo     
___     
\  `    
 \     2
 /    x 
/__,    
x = 0   uW     ∞     
 ___    
 ╲      
  ╲    2
  ╱   x 
 ╱      
 ‾‾‾    
x = 0   z? oo    
___    
\  `   
 \    x
  )   -
 /    2
/__,   
x = 0  ug    ∞     
____   
╲      
 ╲     
  ╲   x
  ╱   ─
 ╱    2
╱      
‾‾‾‾   
x = 0  r1  zP oo     
____    
\   `   
 \     3
  \   x 
  /   --
 /    2 
/___,   
x = 0   us    ∞      
____    
╲       
 ╲     3
  ╲   x 
  ╱   ──
 ╱    2 
╱       
‾‾‾‾    
x = 0   z oo           
____          
\   `         
 \           n
  \   /    x\ 
   )  |    -| 
  /   | 3  2| 
 /    \x *y / 
/___,         
x = 0         u     ∞           
_____         
╲             
 ╲            
  ╲          n
   ╲  ⎛    x⎞ 
   ╱  ⎜    ─⎟ 
  ╱   ⎜ 3  2⎟ 
 ╱    ⎝x ⋅y ⎠ 
╱             
‾‾‾‾‾         
x = 0         zP oo     
____    
\   `   
 \    1 
  \   --
  /    2
 /    x 
/___,   
x = 0   us    ∞      
____    
╲       
 ╲    1 
  ╲   ──
  ╱    2
 ╱    x 
╱       
‾‾‾‾    
x = 0   zb oo       
____      
\   `     
 \     -a 
  \    ---
  /     b 
 /    y   
/___,     
x = 0     u    ∞        
____      
╲         
 ╲     -a 
  ╲    ───
  ╱     b 
 ╱    y   
╱         
‾‾‾‾      
x = 0     z  2     oo     
____  ____     
\   ` \   `    
 \     \     -a
  \     \    --
  /     /    b 
 /     /    y  
/___, /___,    
y = 1 x = 0    u     2     ∞      
____  ____     
╲     ╲        
 ╲     ╲     -a
  ╲     ╲    ──
  ╱     ╱    b 
 ╱     ╱    y  
╱     ╱        
‾‾‾‾  ‾‾‾‾     
y = 1 x = 0    o   a                1                          
          1 + -                          
   oo         n                          
 _____    _____                          
 \    `   \    `                         
  \        \      /        1    \        
   \        \     |1 + ---------|        
    \        \    |          1  |     1  
     )        )   |    1 + -----| + -----
    /        /    |            1|       1
   /        /     |        1 + -|   1 + -
  /        /      \            k/       k
 /____,   /____,                         
      1   k = 111                        
k = -----                                
    m + 1                                u                1                          
          1 + ─                          
   ∞          n                          
 ______   ______                         
 ╲        ╲                              
  ╲        ╲                             
   ╲        ╲     ⎛        1    ⎞        
    ╲        ╲    ⎜1 + ─────────⎟        
     ╲        ╲   ⎜          1  ⎟     1  
     ╱        ╱   ⎜    1 + ─────⎟ + ─────
    ╱        ╱    ⎜            1⎟       1
   ╱        ╱     ⎜        1 + ─⎟   1 + ─
  ╱        ╱      ⎝            k⎠       k
 ╱        ╱                              
 ‾‾‾‾‾‾   ‾‾‾‾‾‾                         
      1   k = 111                        
k = ─────                                
    m + 1                                )	sympy.abcrS  rc  rd  r  r  r  r   r   r   r   r,   rT  )	rS  rc  rd  r  r  r  r   rV  rW  s	            r   test_pretty_sumr    s   **qtaAYD 	  $<9$$$4=I%%%qtaQZ D 	  $<9$$$4=I%%%q8AD1rc2,/01a,?D & $ $<9$$$4=I%%%qB3|$&()1hqta"b\.J'KMD 2 , $<9$$$4=I%%%q8AD1rc2,/0	q51a4<!Q$!#&!A#.B3|0L3N OD 6 0 $<9$$$4=I%%%qB3|$&()1aeadlQT.AQS.IQqS.Q'RTD ( & $<9$$$4=I%%%qa*D 	  $<9$$$4=I%%%q!taBZ D 	  $<9$$$4=I%%%qsQ2JD	   $<9$$$4=I%%%q!tAv1bz"D
   $<9$$$4=I%%%1Q1X!Aq":.D    $<9$$$4=I%%%qAv1bz"D
   $<9$$$4=I%%%qQSzAq":&D
   $<9$$$4=I%%%qQSzAq":1ay1D
   q!a	AaC  3AaC(1aQi*<>@A1qs7LD ( , $<9$$$4=I%%%r   c                     [         n SnSnSnSnSSKJnJnJn  [        U 5      S:X  d   e[        U 5      S:X  d   e[        U R                  XVS-  -  US-  -  5      5      U:X  d   e[        U R                  XVS-  -  US-  -  5      5      U:X  d   e[        S	U-  [        -  US-  -  [        -  US-  -  5      U:X  d   e[        S	U-  [        -  US-  -  [        -  US-  -  5      U:X  d   eg )
NzO              2
kilogram*meter 
---------------
          2    
    second     uo                 2
kilogram⋅meter 
───────────────
          2    
    second     zm                    2
3*x*y*kilogram*meter 
---------------------
             2       
       second        u                       2
3⋅x⋅y⋅kilogram⋅meter 
─────────────────────
             2       
       second        r   )kgr  r  r   r0  r1  )
r   sympy.physics.unitsr  r  r  r   r   
convert_torS  rT  )r   
ascii_str1unicode_str1
ascii_str2unicode_str2r  r  r  s           r   
test_unitsr    s   D     -,4=G###$<7"""4??2d71a4<01\AAA$//"T'!Q$,/0J>>>1R46!Q$;q=A%&,666!B$q&A+a-1$%333r   c            	      ,   [        S5      n [        U " [        5      [        [        S-  5      nSnSn[	        U5      U:X  d   e[        U5      U:X  d   e[        U " [        5      R                  [        5      [        S5      nSnSn[	        U5      U:X  d   e[        U5      U:X  d   e[        U " [        5      R                  [        5      [        -  [        [        4S[        SS5      45      nS	nS
n[	        U5      U:X  d   e[        U5      U:X  d   eg )Nr   r0  z(f(x))|     2
      |x=phi u   (f(x))│   2
      │x=φ r   z,/d       \|   
|--(f(x))||   
\dx      /|x=0uB   ⎛d       ⎞│   
⎜──(f(x))⎟│   
⎝dx      ⎠│x=0r/  zm/d       \|          
|--(f(x))||          
|dx      ||          
|--------||          
\   y    /|x=0, y=1/2u   ⎛d       ⎞│          
⎜──(f(x))⎟│          
⎜dx      ⎟│          
⎜────────⎟│          
⎝   y    ⎠│x=0, y=1/2)	r
   r   rS  r  r   r   r  rT  r   )r   r   rV  r  s       r   test_pretty_Subsr    s   A!aQD   $<9$$$4=K'''!		!a#D   $<9$$$4=K'''!		!QAHQN(;<D   $<9$$$4=K'''r   c                  v   [        [        [        [        5      5      S:X  d   e[        [	        [        [        5      5      S:X  d   e[        [        [        5      SS9S:X  d   e[        [        SS9S:X  d   e[        [        S[        S9" [        5      SS9S	:X  d   e[        [        S[        S9SS9S
:X  d   eg )Nu   γ(x, y)u   Γ(x, y)Tr:  u   Γ(x)u   Γrn   r  u   γ(x)ru  )	r   r   rS  rT  rv   r   rn   r   r
   r   r   r   test_gammasr  =  s    :a#$
222:a#$
22258.'9995d+t333771!4$G7RRR771tDLLLr   c                     [        [        [        [        5      SS9S:X  d   e[        [        [        [        5      SS9S:X  d   e[        [        SS9S:X  d   e[        [        SS9S:X  d   e[	        S5      n [        U " [        5      SS9S	:X  d   e[        U " [        [        [
        5      SS9S
:X  d   e[        U SS9S:X  d   eg )NTr:  u   Β(x, y)FzB(x, y)u   Βr  rc   u   β(x)zbeta(x, y, z)r   )r   rc   rS  rT  r
   rb  )mybetas    r   	test_betar  F  s    4!9$/:===4!9%0I===4T*d2224U+s222fF6!9$/7:::6!Q?6/III6t,444r   c                  v     " S S[         5      n [        U SS9S:X  d   e[        U " [        5      SS9S:X  d   eg )Nc                       \ rS rSrSrg)6test_function_subclass_different_name.<locals>.mygammaiS  r   Nr   r   r   r   mygammar  S  r  r   r  Tr:  z
mygamma(x))rn   r   rS  )r  s    r   %test_function_subclass_different_namer  R  s<    % 7-;;;71:40MAAAr   c                     [        [        [        S[        5      SS9S:X  d   e[        [        [        S[        5      SS9S:X  d   e[        [        [        S[        5      SS9S:X  d   e[        [        [        [        [        5      SS9S	:X  d   e[        [        [        [
        [        5      SS9S
:X  d   e[        [        [        S[        5      SS9S:X  d   e[        [        [        S[        5      SS9S:X  d   e[        [        [        S[        5      SS9S:X  d   e[        [        [        [        [        5      SS9S	:X  d   e[        [        [        [
        [        5      SS9S
:X  d   eg )Nr   Tr:  z	   n
<x> r/  z       n
<x - 1> r`  z       n
<x + 1> z        n
<-a + x> z       n
<x - y> F)r   r(   rS  r  rc  rT  r   r   r   test_SingularityFunctionr  Y  s   &q!Q/TB  
 &q!Q/TB  
 &q"a0dC  
 &q!Q/TB  
 &q!Q/TB  
 &q!Q/UC  
 &q!Q/UC  
 &q"a0eD  
 &q!Q/UC  
 &q!Q/UC  r   c                      [        [        [        5      SS9S:X  d   e[        [        [        S5      SS9S:X  d   e[        [        [        [        S5      -  SS9S:X  d   eg )NTr:  u   δ(x)r/  u    (1)    
δ    (x)u      (1)    
x⋅δ    (x))r   r}   rS  r   r   r   test_deltasr    sl    :a=d3w>>>:a#6  
 1Z1%%48  r   c            	      "   [        SS[        5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        SS[        5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        S/S/[        5      n S	nS
n[        U 5      U:X  d   e[        U 5      U:X  d   e[        [
        S-  S[        -  4S[        5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [
        [        S5      S[        -  4S[        S-  5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        SS/SS/SSSS[        -  S-   -  S-   -  S-   -  5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   eg )Nr   uB    ┌─  ⎛  │  ⎞
 ├─  ⎜  │ z⎟
0╵ 0 ⎝  │  ⎠z3  _         
 |_  /  |  \
 |   |  | z|
0  0 \  |  /)r/  uB    ┌─  ⎛  │  ⎞
 ├─  ⎜  │ x⎟
0╵ 1 ⎝1 │  ⎠z3  _         
 |_  /  |  \
 |   |  | x|
0  1 \1 |  /r0  r/  uB    ┌─  ⎛2 │  ⎞
 ├─  ⎜  │ x⎟
1╵ 1 ⎝1 │  ⎠z3  _         
 |_  /2 |  \
 |   |  | x|
1  1 \1 |  /r1  rE  )r1  r2  r3  u        ⎛  π         │  ⎞
 ┌─  ⎜  ─, -2⋅k   │  ⎟
 ├─  ⎜  3         │ x⎟
2╵ 4 ⎜            │  ⎟
     ⎝-3, 3, 4, 5 │  ⎠z                      
  _  / pi         |  \
 |_  | --, -2*k   |  |
 |   | 3          | x|
2  4 |            |  |
     \-3, 3, 4, 5 |  /z2/3ui    ┌─  ⎛2/3, π, -2⋅k │  2⎞
 ├─  ⎜             │ x ⎟
3╵ 4 ⎝-3, 3, 4, 5  │   ⎠zg  _                      
 |_  /2/3, pi, -2*k |  2\
 |   |              | x |
3  4 \ -3, 3, 4, 5  |   /r2  us       ⎛     │       1      ⎞
     ⎜     │ ─────────────⎟
     ⎜     │         1    ⎟
 ┌─  ⎜1, 2 │ 1 + ─────────⎟
 ├─  ⎜     │           1  ⎟
2╵ 2 ⎜3, 4 │     1 + ─────⎟
     ⎜     │             1⎟
     ⎜     │         1 + ─⎟
     ⎝     │             x⎠a                             
     /     |       1      \
     |     | -------------|
  _  |     |         1    |
 |_  |1, 2 | 1 + ---------|
 |   |     |           1  |
2  2 |3, 4 |     1 + -----|
     |     |             1|
     |     |         1 + -|
     \     |             x/)ro   rb  r   r   rS  r   r  r   r   rW  rV  s      r   
test_hyperr    s   RD   $<9$$$4=I%%%T1D   $<9$$$4=I%%%!qc1D   $<9$$$4=I%%%"Q$1}a0D   $<9$$$4=I%%%"ah1%}ad;D   $<9$$$4=I%%%!Q!QAq!A#'{Q$7!$;!<=D
   $<9$$$4=I%%%r   c                     [        [        [        [        /S/SS// SQ[        5      n SnSn[	        U 5      U:X  d   e[        U 5      U:X  d   e[        S[        S-  /S[        S// / [        S-  5      n S	nS
n[	        U 5      U:X  d   e[        U 5      U:X  d   eSnSn[        S/S-  S/S/S/[        5      n [	        U 5      U:X  d   e[        U 5      U:X  d   e[        SS/SS/S/SS/SSSS[        -  S-   -  S-   -  S-   -  5      n SnSn[	        U 5      U:X  d   e[        U 5      U:X  d   e[        U [        5      n SnSn[	        U 5      U:X  d   e[        U 5      U:X  d   eg )Nr/  r   r  u   ╭─╮2, 3 ⎛π, π, x     1    │  ⎞
│╶┐     ⎜                 │ z⎟
╰─╯4, 5 ⎝ 0, 1    1, 2, 3 │  ⎠zb __2, 3 /pi, pi, x     1    |  \
/__     |                   | z|
\_|4, 5 \  0, 1     1, 2, 3 |  /rh  r0  r3  u           ⎛   π          │   ⎞
╭─╮0, 2 ⎜1, ─  2, 5, π │  2⎟
│╶┐     ⎜   7          │ z ⎟
╰─╯5, 0 ⎜              │   ⎟
        ⎝              │   ⎠z        /   pi           |   \
 __0, 2 |1, --  2, 5, pi |  2|
/__     |   7            | z |
\_|5, 0 |                |   |
        \                |   /u   ╭─╮ 1, 10 ⎛1, 1, 1, 1, 1, 1, 1, 1, 1, 1  1 │  ⎞
│╶┐       ⎜                                │ z⎟
╰─╯11,  2 ⎝             1                1 │  ⎠z __ 1, 10 /1, 1, 1, 1, 1, 1, 1, 1, 1, 1  1 |  \
/__       |                                | z|
\_|11,  2 \             1                1 |  /rR  r2  r1  u          ⎛           │       1      ⎞
        ⎜           │ ─────────────⎟
        ⎜           │         1    ⎟
╭─╮1, 2 ⎜1, 2  3, 4 │ 1 + ─────────⎟
│╶┐     ⎜           │           1  ⎟
╰─╯4, 3 ⎜ 3    4, 5 │     1 + ─────⎟
        ⎜           │             1⎟
        ⎜           │         1 + ─⎟
        ⎝           │             x⎠aL          /           |       1      \
        |           | -------------|
        |           |         1    |
 __1, 2 |1, 2  3, 4 | 1 + ---------|
/__     |           |           1  |
\_|4, 3 | 3    4, 5 |     1 + -----|
        |           |             1|
        |           |         1 + -|
        \           |             x/uc  ⌠                                        
⎮         ⎛           │       1      ⎞   
⎮         ⎜           │ ─────────────⎟   
⎮         ⎜           │         1    ⎟   
⎮ ╭─╮1, 2 ⎜1, 2  3, 4 │ 1 + ─────────⎟   
⎮ │╶┐     ⎜           │           1  ⎟ dx
⎮ ╰─╯4, 3 ⎜ 3    4, 5 │     1 + ─────⎟   
⎮         ⎜           │             1⎟   
⎮         ⎜           │         1 + ─⎟   
⎮         ⎝           │             x⎠   
⌡                                        a.    /                                       
 |                                        
 |         /           |       1      \   
 |         |           | -------------|   
 |         |           |         1    |   
 |  __1, 2 |1, 2  3, 4 | 1 + ---------|   
 | /__     |           |           1  | dx
 | \_|4, 3 | 3    4, 5 |     1 + -----|   
 |         |           |             1|   
 |         |           |         1 + -|   
 |         \           |             x/   
 |                                        
/                                         )rq   r   rS  rb  r   r   r,   r  s      r   test_meijergr    s   BA;aVY:D   $<9$$$4=I%%%Ar!t9q"aj"b!Q$7D   $<9$$$4=I%%%   A3r6A3aS!,D$<9$$$4=I%%%Aq8aVaS1a&!Q1Q37a5H15L2MND
 
  $<9$$$4=I%%%D!D   " $<9$$$4=I%%%r   c                     [        SSS9u  pnX-  US-  -  nSnSn[        U5      U:X  d   e[        U5      U:X  d   eUS-  U -  U-  nSnSn[        U5      U:X  d   e[        U5      U:X  d   eXS-  -  U-  nS	nS
n[        U5      U:X  d   e[        U5      U:X  d   eXS-  -  U-  [        -  nSnSn[        U5      U:X  d   e[        U5      U:X  d   eg )NzA,B,CFcommutativer`  z     -1
A*B*C  u        -1
A⋅B⋅C  z -1    
C  *A*Bu    -1    
C  ⋅A⋅Bz   -1  
A*C  *Bu      -1  
A⋅C  ⋅Bz   -1  
A*C  *B
-------
   x   u1      -1  
A⋅C  ⋅B
───────
   x   )r   r   r   rS  )r  r  r  r   rV  rW  s         r   test_noncommutativer    s<   g51GA!3q"u9D  
 $<9$$$4=I%%%b5719D  
 $<9$$$4=I%%%U719D  
 $<9$$$4=I%%%U719Q;D   $<9$$$4=I%%%r   c                      [        S5      u  p[        U[        S5      -  [        U 5      5      nSnSn[        U5      U:X  d   e[	        U5      U:X  d   eg )Nx y   zW     /  ___         \
     |\/ 2 *y    ___|
atan2|-------, \/ x |
     \  20          /uI        ⎛√2⋅y    ⎞
atan2⎜────, √x⎟
     ⎝ 20     ⎠)r   rb   rs   r   r   r  s        r   test_pretty_special_functionsr    sa    5>DA 49d1g&D   $<9$$$4=I%%%r   c                      [        SS5      n [        U 5      S:X  d   e[        SS[        -  S9n [        U 5      S:X  d   eg )N)r   r/  rY  z'Segment2D(Point2D(0, 1), Point2D(0, 2)))r/  r/  gGz@)anglez0Ray2D(Point2D(1, 1), Point2D(2, tan(pi/50) + 1)))r+   r   r*   r   )es    r   test_pretty_geometryr    sD    A!9AAAAF$r'"A!9JJJJr   c                     [        [        5      n Sn[        U 5      U:X  d   e[        U 5      U:X  d   e[	        S[
        5      n SnSn[        U 5      U:X  d   e[        U 5      U:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   eg )	NzEi(x)r/  u   E₁(z)zexpint(1, z)zShi(x)zSi(x)zCi(x)zChi(x))
r]   rS  r   r   rj   rb  r`   ra   r\   r[   )r   stringrW  rV  s       r   test_expintr    s   a5DF$<6!!!4=F"""!Q<DII$<9$$$4=I%%%#a&>X%%%"Q%=G###"Q%=G####a&>X%%%3q6?h&&&2a5>W$$$2a5>W$$$3q6?h&&&r   c                     Sn Sn[        S[        S-   -  5      n[        U5      U :X  d   e[        U5      U:X  d   eSn Sn[	        SSS[        -   -  5      n[        U5      U :X  d   e[        U5      U:X  d   eSn Sn[        S[        S-   -  5      n[        U5      U :X  d   e[        U5      U:X  d   eSn S	n[        SSS[        -   -  5      n[        U5      U :X  d   e[        U5      U:X  d   eS
n Sn[        SS[        -  5      n[        U5      U :X  d   e[        U5      U:X  d   eSn Sn[        SS[        -  S5      n[        U5      U :X  d   e[        U5      U:X  d   eg )Nz /  1  \
K|-----|
 \z + 1/u0    ⎛  1  ⎞
K⎜─────⎟
 ⎝z + 1⎠r/  z  / |  1  \
F|1|-----|
 \ |z + 1/u<    ⎛ │  1  ⎞
F⎜1│─────⎟
 ⎝ │z + 1⎠z /  1  \
E|-----|
 \z + 1/u0    ⎛  1  ⎞
E⎜─────⎟
 ⎝z + 1⎠z  / |  1  \
E|1|-----|
 \ |z + 1/u<    ⎛ │  1  ⎞
E⎜1│─────⎟
 ⎝ │z + 1⎠z  / |4\
Pi|3|-|
  \ |x/u)    ⎛ │4⎞
Π⎜3│─⎟
 ⎝ │x⎠r1  r2  z   /   4| \
Pi|3; -|6|
  \   x| /u2    ⎛   4│ ⎞
Π⎜3; ─│6⎟
 ⎝   x│ ⎠ri  )ry   rb  r   r   rz   r{   r|   rS  )rV  rW  r   s      r   test_elliptic_functionsr    s      aQi D$<9$$$4=I%%%   aAE#D$<9$$$4=I%%%   aQi D$<9$$$4=I%%%   aAE#D$<9$$$4=I%%%   q!A#D$<9$$$4=I%%%   q!A#q!D$<9$$$4=I%%%r   c                  &   SSK Jn JnJnJnJn  U " SSS5      n[        U" US:  5      5      S:X  d   eU" SS5      n[        U" US:  5      5      S	:X  d   eU" S
S5      nU" SS5      n[        U" [        Xx5      5      R                  5      S:X  d   eg )Nr   )r   DieExponentialpspacewherex1r/  u   Domain: 0 < x₁ ∧ x₁ < ∞d1ri  r2  u   Domain: d₁ = 5 ∨ d₁ = 6rc  rd  u3   Domain: 0 ≤ a ∧ 0 ≤ b ∧ a < ∞ ∧ b < ∞)	sympy.statsr   r  r  r  r  r   r   domain)	r   r  r  r  r  r  r  r  r  s	            r   test_RandomDomainr  f  s    CCtQA5Q< $EEEED!A5Q< $CCCCCACA6%+&--.=> > >r   c                     [         R                  " [        [        5      n [         R                  " [        [        5      nU R                  [        [        [        -   -  5      n[        U5      S:X  d   e[        U5      S:X  d   eUR                  [        [        -   5      n[        U5      S:X  d   e[        U5      S:X  d   eg )Nz	x/(x + y)zx + y)r<   r  rS  rT  r  convertr   r   )rx  Rr   s      r   test_PrettyPolyr  t  s    
aA
QA99QAYD$<;&&&4=K'''99QUD$<7"""4=G###r   c                      [        [        SSSS95      S:X  d   e[        [        [        S[        -  5      5      S:X  d   eg )Nr0  rI  FrC  z1 
--
 5
2 r/  z 1 
 --
 pi
x  )r   r   rS  r   r   r   r   test_issue_6285r    sE    #ae,-1AAAA#a!B$.!

 
 
r   c                     [        [        [        S-  [        5      S-  5      S:X  d   e[        [        [        S-  [        5      S-  5      S:X  d   e[        [	        [        S-  [        SS45      S-  5      S:X  d   e[        [	        [        S-  [        SS45      S-  5      S:X  d   e[        [        [        S-  [        SS45      S-  5      S:X  d   e[        [        [        S-  [        SS45      S-  5      S	:X  d   e[        S
5      n [        [        U " [        5      [        5      S-  5      S:X  d   e[        [        U " [        5      [        5      S-  5      S:X  d   eg )Nr0  zS          2
/  /     \ 
| |      | 
| |  2   | 
| | x  dx| 
| |      | 
\/       / uN            2
⎛⌠      ⎞ 
⎜⎮  2   ⎟ 
⎜⎮ x  dx⎟ 
⎝⌡      ⎠ r   r/  z_          2
/ 1      \ 
|___     | 
|\  `    | 
| \     2| 
| /    x | 
|/__,    | 
\x = 0   / u             2
⎛  1     ⎞ 
⎜ ___    ⎟ 
⎜ ╲      ⎟ 
⎜  ╲    2⎟ 
⎜  ╱   x ⎟ 
⎜ ╱      ⎟ 
⎜ ‾‾‾    ⎟ 
⎝x = 0   ⎠ zZ           2
/  2      \ 
|______   | 
| |  |   2| 
| |  |  x | 
| |  |    | 
\x = 1    / u              2
⎛  2      ⎞ 
⎜─┬──┬─   ⎟ 
⎜ │  │   2⎟ 
⎜ │  │  x ⎟ 
⎜ │  │    ⎟ 
⎝x = 1    ⎠ r   z/          2
/d       \ 
|--(f(x))| 
\dx      / u?             2
⎛d       ⎞ 
⎜──(f(x))⎟ 
⎝dx      ⎠ )r   r,   rS  r   r   r   r
   r	   )r   s    r   test_issue_6359r    s   (1a4#Q&'	 	 	 8AqD!$a'(   #adQ1I&)*	
 
 
 3q!taAY'*+
   '!Q$Aq	*A-.	 	 	 71a4!Q+Q./	 	 	 	A*QqT1%q()   :adA&)*  r   c                      Sn Sn[        S[        [        5      -  5      U :X  d   e[        S[        [        5      -  5      U:X  d   eg )Nz  1  
-----
  ___
\/ x u   1 
──
√xr/  )r   rs   rS  r   )rV  rW  s     r   test_issue_6739r    sN       !DG)	)))1T!W9***r   c                  J    S H  n [        [        U 5      5      U :X  a  M   e   g )N)dexpr2_d1tauzdexpr2^d1tau)r   r   )	symb_names    r   !test_complicated_symbol_unchangedr    s$    5	fY'(I555 6r   c                     SSK Jn JnJnJnJnJn  U " S5      nU " S5      nU " S5      nU" XgS5      n	U" XxS5      n
U" U5      nU" S5      n[        U5      S:X  d   e[        U5      S	:X  d   e[        U	5      S
:X  d   e[        U	5      S:X  d   e[        U5      S:X  d   e[        U5      S:X  d   e[        X-  5      S:X  d   e[        X-  5      S:X  d   e[        U5      S:X  d   e[        U5      S:X  d   eU" 5       n[        U5      S:X  d   e[        U5      S:X  d   eU" U	SU
[        R                  05      n[        U5      S:X  d   e[        U5      S:X  d   eU" U	SU
[        R                  0X-  S05      n[        U5      S:X  d   e[        U5      S:X  d   eU" U5      n[        U5      S:X  d   e[        U5      S:X  d   eg )Nr   )ObjectIdentityMorphismNamedMorphismCategoryDiagramDiagramGridA1A2A3f1f2K1u   A₁z
f1:A1-->A2u   f₁:A₁——▶A₂z
id:A1-->A1u   id:A₁——▶A₁zf2*f1:A1-->A3u   f₂∘f₁:A₁——▶A₃u   K₁rC  rD  uniquez{f2*f1:A1-->A3: EmptySet, id:A1-->A1: EmptySet, id:A2-->A2: EmptySet, id:A3-->A3: EmptySet, f1:A1-->A2: {unique}, f2:A2-->A3: EmptySet}u   {f₂∘f₁:A₁——▶A₃: ∅, id:A₁——▶A₁: ∅, id:A₂——▶A₂: ∅, id:A₃——▶A₃: ∅, f₁:A₁——▶A₂: {unique}, f₂:A₂——▶A₃: ∅}z{f2*f1:A1-->A3: EmptySet, id:A1-->A1: EmptySet, id:A2-->A2: EmptySet, id:A3-->A3: EmptySet, f1:A1-->A2: {unique}, f2:A2-->A3: EmptySet} ==> {f2*f1:A1-->A3: {unique}}u   {f₂∘f₁:A₁——▶A₃: ∅, id:A₁——▶A₁: ∅, id:A₂——▶A₂: ∅, id:A₃——▶A₃: ∅, f₁:A₁——▶A₂: {unique}, f₂:A₂——▶A₃: ∅} ══▶ {f₂∘f₁:A₁——▶A₃: {unique}}zA1  A2
      
A3    u   A₁  A₂
      
A₃    )sympy.categoriesr  r  r  r  r  r  r   r   r   rC  )r  r  r  r  r  r  r  r  r  r  r  id_A1r  r  grids                  r   test_categoriesr    s   7 7 
B	B	B	rt	$B	rt	$BR E	$B":2;&   ":%%%2;2222%=L(((5>3333"%=O+++25><<<<":2;&    		A!9
"""1:Xr1::./A!9 @ @ @ @ 1:     	Xr1::.(0CDA!9 ) ) ) ) 1: ? ? ? ? q>D$<33334=::::r   c                  (   [         R                  " [        [        5      n U R	                  S5      nUR                  [        [        /S[        S-  /5      nSnSn[        U5      U:X  d   e[        U5      U:X  d   eSnSn[        U5      U:X  d   e[        U5      U:X  d   eU R                  [        S-  [        5      nSnSn[        U5      U:X  d   e[        U5      U:X  d   eX-  nS	nS
n[        U5      U:X  d   e[        U5      U:X  d   eSnSng )Nr0  r/  u          2
ℚ[x, y] z        2
QQ[x, y] u3   ╱        ⎡    2⎤╲
╲[x, y], ⎣1, x ⎦╱z#              2  
<[x, y], [1, x ]>u   ╱ 2   ╲
╲x , y╱z  2    
<x , y>u              2     
    ℚ[x, y]      
─────────────────
╱        ⎡    2⎤╲
╲[x, y], ⎣1, x ⎦╱zY            2    
    QQ[x, y]     
-----------------
              2  
<[x, y], [1, x ]>u+  ╱⎡    3⎤                                                ╲
│⎢   x ⎥   ╱        ⎡    2⎤╲           ╱        ⎡    2⎤╲│
│⎢1, ──⎥ + ╲[x, y], ⎣1, x ⎦╱, [2, y] + ╲[x, y], ⎣1, x ⎦╱│
╲⎣   2 ⎦                                                ╱z      3                                                  
     x                   2                           2   
<[1, --] + <[x, y], [1, x ]>, [2, y] + <[x, y], [1, x ]>>
     2                                                   )	r<   old_poly_ringrS  rT  free_module	submoduler   r   ideal)r  rx  r  rW  rV  r   Qs          r   test_PrettyModulesr
  *  sU   
AA	aA	QFQ1I&A   1:"""!9	!!!   1:"""!9	!!!	1aA   1:"""!9	!!!	A   1:"""!9	!!!  r   c                     [         R                  " [        5      [        S-  S-   /-  n SnSn[        U 5      U:X  d   e[	        U 5      U:X  d   eSnSn[        U R
                  5      U:X  d   e[	        U R
                  5      U:X  d   eg )Nr0  r/  u=     ℚ[x]  
────────
╱ 2    ╲
╲x  + 1╱z# QQ[x]  
--------
  2     
<x  + 1>u!       ╱ 2    ╲
1 + ╲x  + 1╱z      2     
1 + <x  + 1>)r<   r  rS  r   r   one)r  rW  rV  s      r   test_QuotientRingr    s    
QTAXJ&A   1:"""!9	!!!   155>Y&&&!%%=I%%%r   c                  2   SSK Jn   [        R                  " [        5      nU " UR                  S5      UR                  S5      S/5      nSnSn[        U5      U:X  d   e[        U5      U:X  d   eU " UR                  S5      UR                  S5      SS/5      nSnSn[        U5      U:X  d   e[        U5      U:X  d   eU " UR                  S5      UR                  S5      [        //-  S/5      nS	nS
n[        U5      U:X  d   e[        U5      U:X  d   eg )Nr   )homomorphismr/  u3             1         1
[0] : ℚ[x]  ──> ℚ[x] z/           1          1
[0] : QQ[x]  --> QQ[x] r0  u^   ⎡0  0⎤       2         2
⎢    ⎥ : ℚ[x]  ──> ℚ[x] 
⎣0  0⎦                  zP[0  0]        2          2
[    ] : QQ[x]  --> QQ[x] 
[0  0]                    ui                       1
          1     ℚ[x] 
[0] : ℚ[x]  ──> ─────
                <[x]>z_                      1
           1     QQ[x] 
[0] : QQ[x]  --> ------
                 <[x]> )sympy.polys.agcar  r<   r  rS  r  r   r   )r  r  r   rW  rV  s        r   test_Homomorphismr    s4   -
Aa(!--*:QC@D   4=I%%%$<9$$$a(!--*:QFCD   4=I%%%$<9$$$a(!--*:qcU*BQCHD   4=I%%%$<9$$$r   c                  z    [        SSS9u  p[        X-  5      n[        U5      S:X  d   e[        U5      S:X  d   eg )NzA BFr  zTr(A*B)u	   Tr(A⋅B))r   rY   r   r   )r  r  r  s      r   test_Trr    s?    5e,DA
13A!9
"""1:$$$r   c                  P    [        S[        S-
  SS9S-   n [        U 5      S:X  d   eg )NrE  r0  FrC  r3  z5 - 2*(x - 2))r   rS  r   )eqs    r   test_pretty_Addr    s+    	RQ	'!	+B":(((r   c                      [        [        [        [        [        5      5      5      S:X  d   e[        [        [        [        [        5      5      5      S:X  d   eg )Nu   x ⇎ yu   x ↛ y)r   r3   r.   rS  rT  r0   r   r   r   test_issue_7179r    s?    3z!Q'()Y6663wq!}%&)333r   c                  J    [        [        [        [        5      5      S:X  d   eg )Nr~  )r   r.   rS  rT  r   r   r   test_issue_7180r    s    :a#$	111r   c                     [        [        R                  [        R                  -
  5      S:X  d   e[	        [        R                  [        R                  -
  5      S:X  d   e[        [        R                  [        R
                  -
  5      S:X  d   e[	        [        R                  [        R
                  -
  5      S:X  d   eg )Nz(-oo, oo) \ Naturalsu	   ℝ \ ℕz(-oo, oo) \ Naturals0u   ℝ \ ℕ₀)r   r   rE  r?  r   	Naturals0r   r   r   test_pretty_Complementr    s    !''AJJ&'+BBBB177QZZ'(L888!''AKK'(,DDDD177Q[[()_<<<r   c            
         SSK Jn   [        U " [        SS5      [        SS5      SS95      S:X  d   e[	        [
        5         [        U " [        SS5      [        SS5      SS95        S S S 5        g ! , (       d  f       g = f)	Nr   SymmetricDifferencer0  r1  r3  FrC  u   [2, 3] ∆ [3, 5])sympy.sets.setsr   r   rP   r   r`  r   r  s    r   test_pretty_SymmetricDifferencer"    sm    3&x!}hqm !45 5 5	#	$"8Aa=(1Q-ERS 
%	$	$s   &A00
A>c                      [        [        [        [        R                  5      5      S:X  d   e[        [        [        [        R                  5      5      S:X  d   eg )NzContains(x, Integers)u	   x ∈ ℤ)r   rK   rS  r   Integersr   r   r   r   test_pretty_Containsr%    s?    (1ajj)*.EEEE8Aqzz*+{:::r   c                  j    SSK Jn   U " SSS9nSnSn[        U5      U:X  d   e[        U5      U:X  d   eg )Nr   sympifyz&((x+x**4)/(x-1))-(2*(x-1)**4/(x-1)**4)FrC  u              4    4    
  2⋅(x - 1)    x  + x
- ────────── + ──────
          4    x - 1 
   (x - 1)           zm           4    4    
  2*(x - 1)    x  + x
- ---------- + ------
          4    x - 1 
   (x - 1)           )
sympy.corer(  r   r   )r(  r  rW  rV  s       r   test_issue_8292r*    sL    "85IA   !9	!!!1:"""r   c                      [        S5      n U " [        5      R                  [        5      * nSnSn[        U5      U:X  d   e[	        U5      U:X  d   eg )NrT  u!    d       
-──(y(x))
 dx      z   d       
- --(y(x))
  dx      )r
   rS  r  r   r   )rT  r   rW  rV  s       r   test_issue_4335r,  )  sX    AaDIIaL=D   $<9$$$4=I%%%r   c                  D    SSK Jn   U " SSS9nSn[        U5      U:X  d   eg )Nr   r'  z2*x*y**2/1**2 + 1FrC  uF        2    
2⋅x⋅y     
────── + 1
   2      
  1       )r)  r(  r   )r(  r  rW  s      r   test_issue_8344r.  <  s0    "#e4A  1:"""r   c                  j    [        SSSS9n [        SSSS9n[        XSS9nSn[        U5      U:X  d   eg )Nr0  r1  FrC  rR  rE  u    3 
2  
───
  2
10 )r   r   r   )rS  rT  r  rW  s       r   test_issue_6324r0  J  sH    Aq5!ABU#AA5!A  1:"""r   c                      [        [        S-  5      [        [        S-  5      -  n Sn[        U 5      U:X  d   e[        [        5      [	        S5      S-  -  n Sn[        U 5      U:X  d   eg )Nr0  u              ⎛x⎞
        cos⎜─⎟
           ⎝2⎠
⎛   ⎛x⎞⎞      
⎜sin⎜─⎟⎟      
⎝   ⎝2⎠⎠      rq  r@  u/           11
        ──
        13
(sin(x))  )rr   rS  rg   r   r   )r  rW  s     r   test_issue_7927r2  Y  sn    AaC#ac(A  1:"""A2rA  1:"""r   c            	      H   SSK Jn Jn  [        S5      nU [        -  [        U" U5      [        -  [        [        U-  5      -  USS45      -  U [        S-  -  [        U" U5      S-  [        -  [        S[        -  U-  5      -  USS45      -  -   nSn[        U5      U:X  d   eg )Nr   )r  r  r   r/  r0  uH       1                              1                   
   2 ⌠                              ⌠                   
λ⋅x ⋅⎮ 2⋅π⋅φ(t)⋅sin(2⋅π⋅t) dt + λ⋅x⋅⎮ π⋅φ(t)⋅sin(π⋅t) dt
     ⌡                              ⌡                   
     0                              0                   )	r  r  r  r
   rS  r,   r   rr   r   )r  r  r   r  rW  s        r   test_issue_6134r4  p  s    "
5/CaQ3r!t9,q!Qi885A:hsSTvVWxXZ{[^_`ac_cde_e[fOfijlmophqFr;rrA  1:"""r   c            
      `   Sn [        SSSS5      [        SS5      [        [        5      p2n[        [	        U[        X#5      5      5      U :X  d   eSn[        [        5      [        [        5      [        [        5      [        SS5      4u  pVpx[        [        XV[        Xx5      5      5      U:X  d   eg )Nu   (2, 3) ∪ ([1, 2] \ {x})r0  r1  Tr/  u   {x} ∩ {y} ∩ ({z} \ [1, 2]))	rP   rN   rS  r   rQ   rM   rT  rb  rO   )	r  rc  rd  r  r  r  r  r   gs	            r   test_issue_9877r7    s    -Jq!T4((1a.)A,!A5Jq,-.*<<<2J1y|Yq\8Aq>IJA!<j&678JFFFr   c                      [         [        S[        [        -   SS9-   n [	        U 5      S:X  d   e[         [        S[        [        -
  [
        -   SS9-   n[	        U5      S:X  d   eg )Nr`  FrC  zc - (a + b)zc - (a - b + d))r  r   rc  rd  r   r  )expr1r-  s     r   test_issue_13651r:    sY    BA..E%=M)))BA	E22E%=----r   c                      SSK Jn   SnSn[        SSS9n[        U " U5      5      U:X  d   e[	        U " U5      5      U:X  d   eg )Nr   )primenuznu(n)u   ν(n)r  Tr  )%sympy.functions.combinatorial.numbersr<  r   r   r   )r<  r  r  r  s       r   test_pretty_primenur>    sI    =JJT"A'!*+++71:*,,,r   c                      SSK Jn   SnSn[        SSS9n[        U " U5      5      U:X  d   e[	        U " U5      5      U:X  d   eg )Nr   )
primeomegazOmega(n)u   Ω(n)r  Tr  )r=  r@  r   r   r   )r@  r  r  r  s       r   test_pretty_primeomegarA    sI    @JJT"A*Q- J...:a=!Z///r   c                  \   SSK Jn   SnSnSnSnSnSnSnSnSn	S	n
[        S
SS9n[        U " US5      5      U:X  d   e[	        U " US5      5      U:X  d   e[        U " US-   S5      5      U:X  d   e[	        U " US-   S5      5      U:X  d   e[        U " SU-  S5      5      U:X  d   e[	        U " SU-  S5      5      U:X  d   e[        U " US5      S-   5      U:X  d   e[	        U " US5      S-   5      U:X  d   e[        SU " US5      -  5      U	:X  d   e[	        SU " US5      -  5      U
:X  d   eg )Nr   )Modzx mod 7z(x + 1) mod 7z	2*x mod 7u   2⋅x mod 7z(x mod 7) + 1z2*(x mod 7)u   2⋅(x mod 7)rS  Tr  rh  r/  r0  )r)  rC  r   r   r   )rC  r  r  r  r  
ascii_str3
ucode_str3
ascii_str4
ucode_str4
ascii_str5
ucode_str5rS  s               r   test_pretty_ModrJ    s]   JJ J JJJ J JJ JT"A#a)
***3q!9+++#a!eQ- J...3q1ua=!Z///#a!eQ- J...3q1ua=!Z///#a)a- J...3q!9q=!Z///!c!Qi- J...1s1ay=!Z///r   c                  l    [        [        S5      5      S:X  d   e[        [        S5      5      S:X  d   eg )N )r   r   r   r   r   r   test_issue_11801rM    s0    &*###6":"$$$r   c                      [        S5      n [        SU -  5      nSn[        U5      U:X  d   eSn[        US-  5      U:X  d   eSn[        US-   5      U:X  d   eSn[        X-  5      U:X  d   eg )NrS  r/  rB  u!      2
⎛1⎞ 
⎜─⎟ 
⎝x⎠ r0  u       1
1 + ─
    xu     1
x⋅─
  x)r   rX   r   )rS  herW  s      r   test_pretty_UnevaluatedExprrP    s    A	1	B  2;)###  2q5>Y&&&  26?i'''  14=I%%%r   c                  f    [        SS/SS//5      [        SS/5      4n Sn[        U 5      U:X  d   eg )Nr   uM   ⎛⎡0  0⎤  ⎡0⎤⎞
⎜⎢    ⎥, ⎢ ⎥⎟
⎝⎣0  0⎦  ⎣0⎦⎠)r6   r   )r  rW  s     r   test_issue_10472rR    sD    	!Q!Q 	!61a&>2A  1:"""r   c                     [        SSS5      n [        SSS5      n[        SSS5      nSnSn[        U S   5      U:X  d   e[        U S   5      U:X  d   eS	nS
n[        SU S   -  5      U:X  d   e[        SU S   -  5      U:X  d   eSnSnUS   R                  X U-
  5      n[        U5      U:X  d   e[        U5      U:X  d   eg )Nr  r/  r1  r  r  A_00u   A₀₀)r   r   z3*A_00u   3⋅A₀₀z(-B + A)[0, 0])r   r   r   subs)r  r  r  r  r  rx  s         r   test_MatrixElement_printingrV     s    S!QAS!QAS!QAJJ!D'?z)))1T7z)))JJ!AdG)+++1QtW9+++!J!J	$QAA!9###1:###r   c                      [        S5      u  pp#[        S5      nSn[        X-  U-  UR                  -  5      U:X  d   eSn[        SU-  UR                  -  5      U:X  d   eg )Nzx y t jr  uI   ⎛   t⎞    
⎜⎛x⎞ ⎟ j_e
⎜⎜─⎟ ⎟    
⎝⎝y⎠ ⎠    u%   ⎛1⎞    
⎜─⎟ j_e
⎝y⎠    r/  )r   r   r   r  )rS  rT  r  r  r  rW  s         r   test_issue_12675rX    sq    #JA!3A  AC!8ACC< I---  AaC9***r   c                     [        SSS5      n [        SSS5      n[        SSS5      n[        U * U-  U-  5      S:X  d   e[        X-
  5      S:X  d   e[        X-  U-  X-  -
  X-  -
  5      S:X  d   e[        S[        [        5      n[        S	[        [        5      n[        X4-   5      S
:X  d   eSn[        [        * U-  SU-  U-  -   5      U:X  d   eg )Nr  r1  r  r  z-A*B*Cz-B + Az-A*B -B*C + A*B*CrS  zy*zx + y*z     2     
-2*y*  -a*xrE  )r   r   r  rc  )r  r  r  rS  rT  rV  s         r   test_MatrixSymbol_printingrZ  ,  s    S!QAS!QAS!QA1"Q$q&>X%%%!%=H$$$!#a%!#+#$(;;;; 	S!QAT1a A!%=H$$$ 
 1"Q$Aa- I---r   c                      S[         -  n [        U 5      S:X  d   e[        [         -  n[        U5      S:X  d   e[        [        [         -  S[         -  -   5      n[        U5      S:X  d   eg )NZ   u   90°u   x°u   cos(x° + 90°))r   r   rS  rg   )r9  r-  expr3s      r   test_degree_printingr^  A  sb    vIE%=F"""fHE%=E!!!&2f9$%E%=----r   c                     [        S5      n [        [        U R                  U R                  U R                  -  SU R
                  -  U R                  -  -   5      5      S:X  d   e[        [        [        U R                  U R                  5      -  5      S:X  d   e[        [        U R                  U R                  -  SU R
                  -  U R                  -  -   5      5      S:X  d   e[        [        U R                  U R                  -  SU R
                  -  U R                  -  -   5      5      S:X  d   e[        [        U R                  U R                  U R                  -  SU R
                  -  U R                  -  -   5      5      S:X  d   e[        [        U R                  SU R
                  -  -   5      5      S:X  d   e[        [        U R                  SU R
                  -  -   5      5      S	:X  d   eg )
Nr  r1  u"   (i_A)×((x_A) i_A + (3⋅y_A) j_A)u   x⋅(i_A)×(j_A)u    ∇×((x_A) i_A + (3⋅y_A) j_A)u!   ∇⋅((x_A) i_A + (3⋅y_A) j_A)u#   (i_A)⋅((x_A) i_A + (3⋅y_A) j_A)u   ∇(x_A + 3⋅y_A)u   ∆(x_A + 3⋅y_A))r   r   r   r  rS  rT  r  r   r   r   r   r   )r  s    r    test_vector_expr_pretty_printingr`  J  sx   3A5acc!##gaeACCi/015YYYY1U133_$%);;;;4ACC!ACC%)+,-1SSSS:acc!##g!##acc	1237ZZZZ3qssACCGAaccE!##I-./3XXXX8ACC!##I&'+????9QSS133Y'(,@@@@r   c                  x   [        S5      n [        SU 5      u  pn[        SU 5      n[        SU /5      u  pVpx[        SX /5      n	U* n
SnSn[	        U
5      U:X  d   e[        U
5      U:X  d   eU" U5      n
SnSn[	        U
5      U:X  d   e[        U
5      U:X  d   eU" U5      n
SnS	n[	        U
5      U:X  d   e[        U
5      U:X  d   eU" U* 5      n
S
nS
n[	        U
5      U:X  d   e[        U
5      U:X  d   eSU" U* 5      -  n
SnSn[	        U
5      U:X  d   e[        U
5      U:X  d   eU	" X* 5      n
SnSn[	        U
5      U:X  d   e[        U
5      U:X  d   eU	" X* 5      n
SnSn[	        U
5      U:X  d   e[        U
5      U:X  d   eU	" X* 5      U" U5      -  U" U5      -  n
SnSn[	        U
5      U:X  d   e[        U
5      U:X  d   eS[        -   U" U5      -  n
SnSn[	        U
5      U:X  d   e[        U
5      U:X  d   eU" U5      SU" U5      -  -   n
SnSn[	        U
5      U:X  d   e[        U
5      U:X  d   eg )NLi j ki_0A B C DHz-iz i
A 
  z i_0
A   
    u    i₀
A  
   z  
A 
 ir  z     
-3*A 
    iu        
-3⋅A 
    iz i 
H  
  jz L_0   
H      
    L_0u    L₀  
H    
   L₀z) i     L_0  k
H    *A   *B 
  L_0        u+    i    L₀  k
H   ⋅A  ⋅B 
  L₀       r/  z          i
(x + 1)*A 
          u"            i
(x + 1)⋅A 
          r1  z   i    i
3*B  + A 
         u      i    i
3⋅B  + A 
         )r   r   r   r   r   r   rS  )rb  r  r  r  i0r  r  r  r  rf  r   rV  rW  s                r   test_pretty_print_tensor_exprrh  [  s   AWa(GA!	q	!Bi!-JA!3A2D 
  $<9$$$4=I%%%Q4D   $<9$$$4=I%%%R5D   $<9$$$4=I%%%aR5D   $<9$$$4=I%%%ae8D   $<9$$$4=I%%%Q8D   $<9$$$4=I%%%Q8D   $<9$$$4=I%%%Q8AaD=1D   $<9$$$4=I%%%aC1:D   $<9$$$4=I%%%Q4!AaD&=D   $<9$$$4=I%%%r   c            	         SSK Jn   [        S5      n[        SU5      u  p#n[	        SU/5      u  pVpx[        SX/5      n	U " U" U5      U" U5      5      n
SnSn[        U
5      U:X  d   e[        U
5      U:X  d   eU" U5      U " U	" XB* 5      U" U5      5      -  n
S	nS
n[        U
5      U:X  d   e[        U
5      U:X  d   eU" U5      U " U" U5      U" U* 5      -  SU	" XB* 5      -  -   U" U5      5      -  n
SnSn[        U
5      U:X  d   e[        U
5      U:X  d   eU" U5      U" U5      -   U " U" U5      U" U5      5      -  n
SnSn[        U
5      U:X  d   e[        U
5      U:X  d   eU" U5      U" U5      -   U " U" U* 5      U" U5      5      -  n
SnSn[        U
5      U:X  d   e[        U
5      U:X  d   eU " U" U* 5      U" U* 5      -   U" U* 5      U" [        * 5      5      n
Sn[        U
5      U:X  d   eU " SU" U* 5      -  U" U* 5      U" [        * 5      5      n
Sn[        U
5      U:X  d   e[        U	" X#5      US05      n
SnUn[        U
5      U:X  d   e[        U
5      U:X  d   e[        U	" X#5      USUS05      n
SnUn[        U
5      U:X  d   e[        U
5      U:X  d   e[        U	" X#5      US05      n
SnUn[        U	" U* U5      U* S05      n
SnUn[        U
5      U:X  d   e[        U
5      U:X  d   eg )Nr   )PartialDerivativerb  rc  re  rf  z' d / i\
---|A |
  j\  /
dA     
       u=    ∂ ⎛ i⎞
───⎜A ⎟
  j⎝  ⎠
∂A     
       zO L_0  d / k   \
A   *---|H    |
       j\  L_0/
     dA        
               ua    L₀  ∂ ⎛ k  ⎞
A  ⋅───⎜H   ⎟
      j⎝  L₀⎠
    ∂A       
             r1  z L_0  d /   k       k     \
A   *---|3*H     + B *C   |
       j\    L_0       L_0/
     dA                    
                           u    L₀  ∂ ⎛   k      k    ⎞
A  ⋅───⎜3⋅H    + B ⋅C  ⎟
      j⎝    L₀       L₀⎠
    ∂A                  
                        zm/ i    i\   d  / L_0\
|A  + B |*-----|C   |
\       /   L_0\    /
          dD         
                     u   ⎛ i    i⎞  ∂  ⎛ L₀⎞
⎜A  + B ⎟⋅────⎜C  ⎟
⎝       ⎠   L₀⎝   ⎠
          ∂D       
                   zw/ L_0    L_0\  d /    \
|A    + B   |*---|C   |
\           /   j\ L_0/
              dD       
                       u   ⎛ L₀    L₀⎞  ∂ ⎛   ⎞
⎜A   + B  ⎟⋅───⎜C  ⎟
⎝         ⎠   j⎝ L₀⎠
            ∂D      
                    u      2            
  ∂    ⎛       ⎞
───────⎜A  + B ⎟
       ⎝ i    i⎠
∂A  ∂A          
  n   j         uu      2         
  ∂    ⎛    ⎞
───────⎜3⋅A ⎟
       ⎝   i⎠
∂A  ∂A       
  n   j      r/  z i=1,j
H     
      z i=1,j=1
H       
        z i,j=1
H     
      z    j
H    
 i=1 )
sympy.tensor.toperatorsrj  r   r   r   r   r   r   r  r   )rj  rb  r  r  r  r  r  r  r  rf  r   rV  rW  s                r   &test_pretty_print_tensor_partial_derivrl    s   9AWa(GA!i!-JA!3AQqT1Q4(D   $<9$$$4=I%%%Q4!!Ar(AaD11D   $<9$$$4=I%%%Q4!!A$q!u*q1bz"91Q4@@D   $<9$$$4=I%%%aD1Q4K*1Q4166D   $<9$$$4=I%%%aD1Q4K*1aR5!A$77D   $<9$$$4=I%%%QrUQrU]AqbE1aR59DI 4=I%%%Qq!uWaeQrU3DI 4=I%%%11Q%(D  I$<9$$$4=I%%%11aA,/D  I$<9$$$4=I%%%11a&)D  IA2qQB7+D  I$<9$$$4=I%%%r   c                  ^    [        SSS5      n [        U [        X 5      -  5      nSnX:X  d   eg )Nrc  r/  z	a*(a x a))r   r   r   )rc  r  results      r   test_issue_15560ro    s4    S!QAq"1()*AF;;r   c                  x    Sn Sn[        [        SS5      5      U:X  d   e[        [        SS5      5      U :X  d   eg )Nu   Li₂(3)zpolylog(2, 3)r0  r1  )r   rx   r   )uresultaresults     r   test_print_polylogrs    s>    GG'!Q- G+++71a=!W,,,r   c                      [        S5      u  pSnSn[        [        X5      5      U:X  d   e[        [        X5      5      U:X  d   eSnSn[        [	        X5      5      U:X  d   e[        [	        X5      5      U:X  d   eg )Ns, zu   Liₛ(z)zpolylog(s, z)u   Eₛ(z)zexpint(s, z))r   r   rx   r   rj   )r  rb  rq  rr  s       r   (test_print_expint_polylog_symbolic_orderrv    s}    6?DAGG'!- G+++71=!W,,,GG&,7***6!< G+++r   c                  ^    [        S5      u  pSn[        [        U S-  U5      5      U:X  d   eg )Nru  u%          ⎛ 2   ⎞
polylog⎝s , z⎠r0  )r   r   rx   )r  rb  rW  s      r   )test_print_polylog_long_order_issue_25309rx    s7    6?DA 
 71a4#$	111r   c                      [        S5      n [        [        U SS5      5        SnSn[        [        U SS5      5      U:X  d   e[        [        U SS5      5      U:X  d   eg )Nrc  r/  r0  u   Φ(a, 1, 2)zlerchphi(a, 1, 2))r   r   rw   r   )rc  rq  rr  s      r   test_print_lerchphirz    s^    sA
8Aq!G!G(1a#$///8Aq!$%000r   c                      [         R                  " S5      n Sn[        U R                  U R                  U R
                  45      nX!:X  d   eg )NNz(n_x, n_y, n_z))r   ReferenceFramer   rS  rT  rb  )r|  rn  r  s      r   test_issue_15583r~    s=      %AFQSS!##A;;r   c                     S n SSK Jn  [        SSS5      nU " U" U5      5      S:X  d   e[        SSS5      n[        SSS5      n[        S	SS5      nU " U* 5      S
:X  d   eU " X"U-  -
  U-
  5      S:X  d   eU " U* U-  X#-  U-  -
  U-
  5      S:X  d   e[        SSS5      nU " U5      S:X  d   e[        SSS5      nU " U5      S:X  d   e[        SSS5      nU " U5      S:X  d   e[        S5      n[        S5      n[        SSS5      n[        SSS5      n	U " Xc-  U-  Xy-  -   5      S:X  d   e[        SSS5      n	[        SSS5      nU " Xc-  U-  Xy-  -   5      S:X  d   e[        SSS5      nU " U5      S:X  d   eg )Nc                     [        U SSSS9$ )NTFbold)r   r   mat_symbol_styler   rk  s    r   
boldpretty)test_matrixSymbolBold.<locals>.boldpretty  s    tQWXXr   r   )tracer  r0  u   tr(𝐀)r1  r  r  u   -𝐀u   -𝐁 -𝐀⋅𝐁 + 𝐀u&   -𝐁 -𝐀⋅𝐁 -𝐀⋅𝐁⋅𝐂Addotu   𝐀̈omegau   ω	omeganormu   ‖ω‖r  rd  r  r/  r  u   b⋅𝐝 + α⋅𝐁⋅𝐜deltaBetau   b⋅δ + α⋅Β⋅𝐜A_2u   𝐀₂) sympy.matrices.expressions.tracer  r   r   )
r  r  r  r  r  r  rc  rd  r  r  s
             r   test_matrixSymbolBoldr    s   Y 7S!QAeAh:---S!QAS!QAS!QAqb>W$$$aA#gk"&AAAAqbdQSUlQ&'+SSSSWa#Aa=H$$$!Q'Ee$$$a+Ee
***wAsAS!QAS!QAac!eACi $AAAAWa#AVQ"Aac!eACi $====UAq!Aa=I%%%r   c                      [        SS5      S:X  d   e[        SS5      S:X  d   e[        SS5      S:X  d   e[        SS5      S	:X  d   e[        S
S5      S:X  d   e[        SS5      S:X  d   eg )Nrc  u   ̃u   ãaau   aãaaau   aãaaaaau   aaãaaaaaau   aaãaaabcdefgu   ⃜u
   abcd⃜efg)r   r   r   r   test_center_accentr    s    34===45??? 56'AAA!678CCC"78IEEE$CDTTTr   c                    ^  SSK Jm   T " S[        -   SS9S:X  d   eT " S[        -   SS9S:X  d   eT " S[        -   SS	S
9S:X  d   eT " S[        -   SS	S
9S:X  d   e[        [        U 4S j5        [        [
        U 4S j5        g )Nr   r   r/  Fr:  z1 + ITu   1 + ⅈr  )r   imaginary_unitu   1 + ⅉc                  "   > T " [         [         S9$ )Nr  r   r   s   r   r  %test_imaginary_unit.<locals>.<lambda>   s    fQq9r   c                     > T " [         SS9$ )Nkkkr  r  r   s   r   r  r  !  s    va>r   )sympy.printing.prettyr   r   r   r  
ValueErrorr   s   @r   test_imaginary_unitr    s    ,!a%U+w666!a%T*i777!a%U3?7JJJ!a%T#>)KKK
99:
:>?r   c                  4   SSK Jn JnJn  [	        U " S5      5      S:X  d   e[        U " S5      5      S:X  d   e[	        U" SS5      5      S:X  d   e[        U" SS5      5      S:X  d   e[	        U" SS5      5      S	:X  d   e[        U" SS5      5      S
:X  d   eg )Nr   Identityr   r   r2  r   u   𝕀r0  0u   𝟘1u   𝟙)r!  r  r   r   r   r   r  s      r   test_str_special_matricesr  $  s    >>(1+#%%%8A;6)))*Q"#s***:a#$...)Aq/"c)))9Q?#v---r   c                  T   [        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        [        5      5      S:X  d   e[        [        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S	:X  d   e[        [        [        5      5      S
:X  d   e[        [        [        [        5      5      S:X  d   e[        [        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   e[        [        [        5      5      S:X  d   eg )NzW(x)zW(x, y)zAi(x)zBi(x)zAi'(x)zBi'(x)zC(x)zS(x)zHeaviside(x)u   θ(x)zHeaviside(x, y)u   θ(x, y)zdirichlet_eta(x)u   η(x))r   r    rS  r   rT  r!   r#   r"   r$   r&   r'   r%   r)   r   r   r   test_pretty_misc_functionsr  .  s   (1+&(((8A;6)))(1a.!Y...8Aq>"i///&)'''6!9(((&)'''6!9(((+a.!X---;q>"h...+a.!X---;q>"h...(1+&(((8A;6)))(1+&(((8A;6))))A,>1119Q< G+++)Aq/"&77779Q?#z111-"#'9999=#$///r   c                     [        SSS9u  pn[        SX5      n[        SX5      n[        X15      nSnSn[        U5      U:X  d   e[	        U5      U:X  d   e[        USU-   5      nS	nS
n[        U5      U:X  d   e[	        U5      U:X  d   e[        X4R
                  -  SU-   5      nSnSn[        U5      U:X  d   e[	        U5      U:X  d   eg )Nzm, n, pTr  r  r  z .n
A  u	    ∘n
A  r/  z .(n + 1)
A        u    ∘(n + 1)
A        z,      .(n + 1)
/   T\        
\A*B /        u8         ∘(n + 1)
⎛   T⎞        
⎝A⋅B ⎠        )r   r   r   r   r   r  )r  r  r  r  r  r   rV  rW  s           r   test_hadamard_powerr  G  s
   i.GA!S!AS!A !D  
 $<9$$$4=I%%%!QqS!D  
 $<9$$$4=I%%%!CC%1%D   $<9$$$4=I%%%r   c                      [        SSS9n [        [        X [        * S45      5      S:X  d   e[	        [        X [        * S45      5      S:X  d   eg )Nr  Tr  r/  z;   1     
  __     
  \ `    
   )    n
  /_,    
n = -oo  uW     1     
 ___    
 ╲      
  ╲     
  ╱    n
 ╱      
 ‾‾‾    
n = -∞  )r   r   r   r   r   )r  s    r   test_issue_17258r  z  sb    sD!A#abS!%&   3qrc1+&'	
 
 
r   c                  Z    Sn U  Vs/ s H  n[        U5      PM     sn/ SQ:X  d   eg s  snf )Nu   v̇_m)FTFF)r   )linesyms     r   test_is_combiningr    s3    D)-.#L.#$ $ $.s   (c                     [        [        S[        S5      -  -  5      S:X  d   e[        [        S[        S5      -  -  5      S:X  d   e[        [        S[        -  -  5      S:X  d   e[        [        S[        -  -  5      S:X  d   e[        [        S[        -  -  5      S:X  d   e[        [        S[        -  -  5      S:X  d   e[        S5      n [        S	SU -  -  5      S
:X  d   e[        S	SU -  -  5      S:X  d   eg )Nr/  z  / -1\
  \e  /
pi     u    ⎛ -1⎞
 ⎝ℯ  ⎠
π     z  1 
  --
  pi
pi  u    1
 ─
 π
π z3      1     
  ----------
  EulerGamma
pi          u    1
 ─
 γ
π x_17rh  u   x₁₇___
 ╲╱ 7 zx_17___
  \/ 7 )r   r   ri   r   r   r   )rb  s    r   test_issue_17616r    sC   "qQx.!  
 2#a&>"  
 "qt*   2":

 
 
 "q|$%   2*%&

 
 
 	vA1qs8   !ac(  r   c                      [        [        [        * [        5      5      S:X  d   e[        [        [        [        * S5      5      S:X  d   eg )Nz{..., -1, 0, 1, ...}r`  z{..., 1, 0, -1, ...})r   rL   r   r   r   r   test_issue_17857r    s=    %R.!%;;;;%RC$%)????r   c                     [        S5      n [        S5      n[        [        U [        U * [	        U 5      -   S5      [
        R                  5      5      S:X  d   e[        [        U [        US-  [        S[        5      5      [        U* S-  US-  5      5      5      S:X  d   e[        [        U [        [        SU S:  4U S-  S	-
  U S:  4S	U S:  4U S-  S
45      S	-
  S5      [        SS5      5      5      S:X  d   eg )NrS  r  r   uu   ⎧  │         ⎛      x    ⎞⎫
⎨x │ x ∊ ℂ ∧ ⎝-x + ℯ  = 0⎠⎬
⎩  │                      ⎭r0  u   ⎧  │     ⎧-n   n⎫   ⎛n         ⎞⎫
⎨x │ x ∊ ⎨───, ─⎬ ∧ ⎜─ ∈ [0, ∞)⎟⎬
⎩  │     ⎩ 2   2⎭   ⎝2         ⎠⎭r/  r1  r  Tu  ⎧  │              ⎛⎛⎧   1     for x ≥ 3⎞          ⎞⎫
⎪  │              ⎜⎜⎪                  ⎟          ⎟⎪
⎪  │              ⎜⎜⎪x                 ⎟          ⎟⎪
⎪  │              ⎜⎜⎪─ - 0.5  for x ≥ 2⎟          ⎟⎪
⎪  │              ⎜⎜⎪2                 ⎟          ⎟⎪
⎨x │ x ∊ [0, 3] ∧ ⎜⎜⎨                  ⎟ - 0.5 = 0⎟⎬
⎪  │              ⎜⎜⎪  0.5    for x ≥ 1⎟          ⎟⎪
⎪  │              ⎜⎜⎪                  ⎟          ⎟⎪
⎪  │              ⎜⎜⎪   x              ⎟          ⎟⎪
⎪  │              ⎜⎜⎪   ─     otherwise⎟          ⎟⎪
⎩  │              ⎝⎝⎩   2              ⎠          ⎠⎭)r   r   r   r   ri   r   	ComplexesrK   rP   r   rN   r_   )rS  r  s     r   test_issue_18272r    s   sAsA<2qb3q6k1#5q{{CD(( ( ( <8AaC!R#A9aRPQTSTUVSVCWXY66 6 6 <2iAFacCia=PSVXY]^X^R_1d'"'#$%$'(0A8 9
KK K Kr   c                  >    SSK Jn   [        U " S5      5      S:X  d   eg )Nr   StrrS  )sympy.core.symbolr  r   r  s    r   test_Strr    s    %#c(s"""r   c                  4   [        S5      n [        SSS9n[        SX5      n[        [        U5      5      S:X  d   e[        [	        U5      5      S:X  d   e[        [        US:  5      5      S	:X  d   e[        S
X5      n[        [        X#5      5      S:X  d   eg )NmusigmaT)positiver  zE[X]zVar(X)r   zP(X > 0)r  z	Cov(X, Y))r   r   r   r   r   r   r   )r  r  r  r  s       r   test_symbolic_probabilityr    s    	BGd+EsBA+a.!W,,,(1+)++++a!e$%444sBA*Q"#{222r   c                  r   SSK Jn   SSKJn  [	        S5      n[        S5      u  p4U" X"[        * [        4S[        SUS[        45      [        [        S[        -  [        U[        -  5      -  U-  S[        U[        -  5      -  US-  -  -   U[        * :  U[        :  -  [        US5      -  4S	5      [        XB-  5      -  [        -  US[        45      45      n[        U " U5      5      S
:X  d   e[        U" X"[        * [        4S[        SUS[        45      [        SUS[        45      45      5      S:X  d   eg )Nr   )piecewise_fold)FourierSeriesrS  zk nr/  rE  r0  )r   Tu{  ⎧                      2⋅sin(3⋅x)                                
⎪2⋅sin(x) - sin(2⋅x) + ────────── + …  for n > -∞ ∧ n < ∞ ∧ n ≠ 0
⎨                          3                                     
⎪                                                                
⎩                 0                            otherwise         r  )$sympy.functions.elementary.piecewiser  sympy.series.fourierr  r   r   r   rH   r   r_   rg   rr   r   r   r   )r  r  rS  r  r  fos         r   test_issue_21758r    sL   C2sA5>DA	qrc2,Jq1a*,Ez2b5QrT?1$qQrT{1a4'77!rc'a"f9MPRSTVWPX9XY	 X	&&(	)+,a*H6 )7 
8B >"%&	NN N N -sB<!ZAq":5N1;A1bz1J2L M NQTU U Ur   c                     SSK Jn JnJnJn  [        SSS9u  pEU " SS5      n[        U5      S:X  d   eU" SU5      n[        U5      S:X  d   eU" S	XtU/5      n[        U5      S	:X  d   eU" US5      n	[        U	5      S
:X  d   eg )Nr   )ManifoldPatchCoordSystemBaseScalarFieldr  T)realr  r0  PrectrS  )r  r  r  r  r  r   r   )
r  r  r  r  rS  rT  r  r  r  rd  s
             r   test_diffgeomr    s    LL
%d
#CAaA!9c1A!9vqa&)D$<6!!!a A!9r   c                  n   [        5          SSKJn   U " S5      S:X  d   e S S S 5        [        5          SSKJn  U" SSS9nS S S 5        [        5          WR
                  UR                  s=:X  a  S:X  d   e   e S S S 5        g ! , (       d  f       Ni= f! , (       d  f       NZ= f! , (       d  f       g = f)Nr   )xstrr/  r  )
prettyFormr  )unicode)r   &sympy.printing.pretty.pretty_symbologyr   sympy.printing.pretty.stringpictr  r  r  )r  r  r  s      r   test_deprecated_prettyFormr    s    		!?Aw#~~ 
" 
 	!?sC( 
" 
 	!yyACC&3&&&&& 
"	! 
"	! 
"	! 
"	!s"   BB'B&
B
B#&
B4c                      [        SS5      S:X  d   e[        SS5      S:X  d   e[        SSS5      S:X  d   e[        SSS5      S	:X  d   eg )
Nr  r0  z1 r1  z 1 rm  z-1-r3  z--1--)r   r   r   r   test_centerr     sX    #q>T!!!#q>U"""#q#%'''#q#')))r   r[  (  sympy.concrete.productsr   sympy.concrete.summationsr   sympy.core.addr   sympy.core.basicr   sympy.core.containersr   r   sympy.core.functionr	   r
   r   r   sympy.core.mulr   r)  r   r   r   sympy.core.numbersr   r   r   r   sympy.core.powerr   sympy.core.relationalr   r   r   r   r   r   sympy.core.singletonr   r  r   r   $sympy.functions.elementary.complexesr   &sympy.functions.elementary.exponentialr    sympy.functions.special.besselr!   r"   r#   r$   'sympy.functions.special.delta_functionsr%   'sympy.functions.special.error_functionsr&   r'   -sympy.functions.special.singularity_functionsr(   &sympy.functions.special.zeta_functionsr)   sympy.geometry.liner*   r+   sympy.integrals.integralsr,   sympy.logic.boolalgr-   r.   r/   r0   r1   r2   r3   r4   r5   sympy.matrices.denser6   r7    sympy.matrices.expressions.slicer8   r  r9   sympy.polys.domains.finitefieldr:   sympy.polys.domains.integerringr;   !sympy.polys.domains.rationalfieldr<   sympy.polys.domains.realfieldr=   sympy.polys.orderingsr>   r?   sympy.polys.polytoolsr@   sympy.polys.rootoftoolsrA   rB   sympy.series.formalrC   r  rD   sympy.series.limitsrE   sympy.series.orderrF   sympy.series.sequencesrG   rH   rI   rJ   sympy.sets.containsrK   rK  rL   r!  rM   rN   rO   rP   rQ   sympy.codegen.astrR   rS   rT   rU   rV   rW   sympy.core.exprrX   sympy.physics.quantum.tracerY   sympy.functionsrZ   r[   r\   r]   r^   r_   r`   ra   rb   rc   rd   re   rf   rg   rh   ri   rj   rk   rl   rm   rn   ro   rp   rq   rr   rs   rt   ru   rv   rw   rx   ry   rz   r{   r|   r}   r~   r   r   r   r   r   r   r   r   r   r!  r   r   r   r   r   r   r   r   sympy.matrices.expressionsr   sympy.physicsr   sympy.physics.control.ltir   r   r   r   r   r   r   r   r   r  r   r   r  r   r   r   r  r   r   r   sympy.sets.conditionsetr   
sympy.setsr   r   sympy.sets.setexprr   sympy.stats.crv_typesr    sympy.stats.symbolic_probabilityr   r   r   r   sympy.tensor.arrayr   r   r   r   r   sympy.tensor.functionsr   sympy.tensor.tensorr   r   r   r   r   sympy.testing.pytestr   r   r   sympy.vectorr   r   r   r   r   r   r   sympyr  r   rc  rd  r  r  rS  rT  rb  r  r  r  r  r   r  r  r   r   r   r   r   r   r   r
  r+  r6  r>  r^  rf  rl  rn  rs  rw  ry  r|  r~  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r
  r  r  r  r  r  r"  r$  r&  r)  r.  r4  r8  r<  rA  rG  rM  rO  rQ  rS  rU  rW  rf  ri  rk  ro  rr  ru  ry  r|  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r
  r  r  r  r  r  r  r  r"  r%  r*  r,  r.  r0  r2  r4  r7  r:  r>  rA  rJ  rM  rP  rR  rV  rX  rZ  r^  r`  rh  rl  ro  rs  rv  rx  rz  r~  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r  r   r   r   <module>r     sP   + )  " / D D  9 9 4 4   : : " / : ; U U = H M @ . . X X X / 8 2 . . 0 , / * 5 # / %   G G ( & R Rd d + *" " " " " " " " " " " "R R R 5 #J J J - ; V V 0 + & (E E^ ^ 0> > O N V V V 	 	 #**A"B 1aAq!Q1aSMG_E]iXJ
I

.
.-2	=.".#3L#40W&tb&JE:P87v'
(
6W7t&;&|9&x z& z&zz&z= &&"6(rH&V;GSTKM\|7~DM`'%RS&lJ&Zs&lQ(hq+h@%1h+\7D6>r"&J@0\&~Q(hG0"J54p$BJ+)\*)Z,33?%Y$x#* #FZ&z&"&@.&b-
=&@14h$
#	#@>C&L*4Z5(pM5B2jw&tx&v=&@&,K',_&D>
$
Od+$6
4;nWt#&L<%~%)
4
2=T;
#.&&###.# G.-00>%
&&R	#$.+*.*.A"a&Hl&^-
,21%&PU@.020&f.$*Z@
K6#
3U$

'*r   