hyperbolic_polygons

The category of polygons in the hyperbolic plane.

EXAMPLES:

sage: from flatsurf import HyperbolicPlane
sage: H = HyperbolicPlane()

sage: P = H.polygon([
....:   H.vertical(1).left_half_space(),
....:   H.vertical(-1).right_half_space(),
....:   H.half_circle(0, 2).left_half_space(),
....:   H.half_circle(0, 4).right_half_space(),
....: ])

sage: P.category()
Category of facade convex simple hyperbolic polygons over Rational Field

sage: from flatsurf.geometry.categories import HyperbolicPolygons
sage: P in HyperbolicPolygons(QQ)
True

class flatsurf.geometry.categories.hyperbolic_polygons.HyperbolicPolygons(base, name=None)

The category of polygons in the hyperbolic plane.

EXAMPLES:

sage: from flatsurf.geometry.categories import HyperbolicPolygons
sage: C = HyperbolicPolygons(QQ)

super_categories()

Return the categories that a hyperbolic polygon is also a member of.

EXAMPLES:

sage: from flatsurf.geometry.categories import HyperbolicPolygons
sage: C = HyperbolicPolygons(QQ)
sage: C.super_categories()
[Category of polygons over Rational Field]