+ j& LRt^RIHt^RIHtHtHtHtHt^RI t ^RI H t Rt R#)aL unit test describing the hyperbolic half-plane with the Poincare metric. This is a basic model of hyperbolic geometry on the (positive) half-space {(x,y) \in R^2 | y > 0} with the Riemannian metric ds^2 = (dx^2 + dy^2)/y^2 It has constant negative scalar curvature = -2 https://en.wikipedia.org/wiki/Poincare_half-plane_model )diag)twoform_to_matrixmetric_to_Christoffel_1stmetric_to_Christoffel_2ndmetric_to_Riemann_componentsmetric_to_Ricci_componentsN)ImmutableDenseNDimArrayc\PPp\PPPpVP pVP pVPpV!WD4V!W34,VR,,p\V4p\VR,VR,4pWv8XgQh\V4pVR,^8XgQhVR,VR,)8XgQhVR,VR,)8XgQhVR,^8XgQhVR,VR,)8XgQhVR ,^8XgQhVR ,^8XgQhVR ,VR,8XgQh\V4p V R,^8XgQhV R,VR ,)8XgQhV R,VR ,)8XgQhV R,^8XgQhV R,VR ,)8XgQhV R ,^8XgQhV R ,^8XgQhV R ,VR ,8XgQh\V4p V R ,^8XgQhV R,^8XgQhV R,^8XgQhV R,^8XgQhV R,^8XgQhV R,VR,)8XgQhV R,VR,8XgQhV R,^8XgQhV R,^8XgQhV R,VR,8XgQhV R,VR,)8XgQhV R,^8XgQhV R,^8XgQhV R,^8XgQhV R,^8XgQhV R,^8XgQh\V4p V R,VR,)8XgQhV R,^8XgQhV R,^8XgQhV R,VR,)8XgQhV \VR,)^^VR,).R 48XgQhV R,V R!,,V^,,p V R8XgQhV ^, R 8XgQhR#)"N)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 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 )r r )r r )r r )r r )r r )sympydiffgeom TensorProductrnR2ydydxrrrrrrr) TPrrrrgautomatmatgamma1gamma2RmRicRs k/home/luca/screen-checking/.venv/lib/python3.14/site-packages/sympy/diffgeom/tests/test_hyperbolic_space.pytest_H2r"s  % %B     B A B B Bbj !b')A"G q2wB C >> &q )F '?a   '?q2wh && & '?q2wh && & '?a   '?q2wh && & '?a   '?a   '?a"g %% % &q )F '?a   '?q2wh && & '?q2wh && & '?a   '?q2wh && & '?a   '?a   '?a"g %% % %a (B j>Q   j>Q   j>Q   j>Q   j>Q   j>a"gX %% % j>QW $$ $ j>Q   j>Q   j>QW $$ $ j>a"gX %% % j>Q   j>Q   j>Q   j>Q   j>Q   $Q 'C t9R  t9>> t9>> t9R  )AG8QAG8*DfM MM M TSY 1$A 7N7 Q3"99)__doc__sympy.matrices.densersympy.diffgeomrrrrrsympy.diffgeom.rnrsympy.tensor.arrayrr"r#r!r*s) &VV6Dr#