Module hyperbolic 

Poincaré-ball points satisfy |p| < 1; isometries act on the Lorentz embedding.

Structs

HyperbolicH3

Iso3H

SO⁺(3,1) acting on (x, y, z, w), with w time-like.

Constants

H3_DEPTH_ENVELOPE

H³ hits at least H3_DEPTH_SEPARATION apart stay ordered within this hyperbolic distance of an eye at most H3_EYE_CHART_REACH from the chart origin, and valid_point refuses points farther than this from the origin.

H3_DEPTH_SEPARATION

H3_EYE_CHART_REACH

H3_MAX_ARC

POINCARE_R2_MAX

Functions

hyperboloid_to_klein

hyperboloid_to_poincare

in_poincare_ball

False past the radius where the chart’s f32 arithmetic is clamped.

klein_ray

Klein point at hyperbolic distance t from the origin along unit dir; geodesics from the origin are straight.

klein_to_hyperboloid

klein_to_poincare

poincare_to_hyperboloid

poincare_to_klein