U Zʹj& @sLdZddlmZddlmZmZmZmZmZddl Z ddl m Z ddZ dS)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 Cstjj}tjjj}|j}|j}|j}|||||||d}t|}t |d|d}||ksft t |}|ddks~t |d|d kst |d|d kst |ddkst |d|d kst |d dkst |d dkst |d |dkst t |} | ddks t | d|d  ks8t | d|d  ksPt | ddksbt | d|d  kszt | d dkst | d dkst | d |d kst t |} | d dkst | ddkst | ddkst | ddkst | ddkst | d|d ks.t | d|dksDt | ddksVt | ddksht | d|dks~t | d|d kst | ddkst | ddkst | ddkst | ddkst | ddkst t|} | d|d kst | ddks"t | ddks4t | d|d ksLt | t|d dd|d gd kstt | d| d!|d"} | dkst | d"d kst dS)#N)rrrr)rr)rr r)rr r )r r r )r r r)r rr )r rr)rrrr)rrrr )rrr r)rrr r )rr rr)rr rr )rr r r)rr r r )r rrr)r rrr )r rr r)r rr r )r r rr)r r rr )r r r r)r r r r )rr)rr )r r)r )r r r )sympyZdiffgeomZ TensorProductZrnR2ydydxrrAssertionErrorrrrrr) ZTPrrrrgZautomatZmatZgamma1Zgamma2ZRmZRicRri/var/www/html/bwave/python/venv/lib/python3.8/site-packages/sympy/diffgeom/tests/test_hyperbolic_space.pytest_H2sj  (r)__doc__Zsympy.matrices.denserZsympy.diffgeomrrrrrZsympy.diffgeom.rnrZsympy.tensor.arrayrrrrrrs