I am trying to draw some hyperbolic polygons in the Poincare disk model.
poincaredisc = HyperbolicPlane().PD()
lines = [ poincaredisc.get_geodesic(1,I), poincaredisc.get_geodesic(I,-1), poincaredisc.get_geodesic(1,-1) ]
plots = [ plot(line,axes=False) for line in lines ]
show(sum(plots))
I'd like to fill it in with a solid color. This isn't documented in HyperbolicPlane as far as I can tell. But maybe there is some general-purpose way to do this with these kind of graphics objects. Any ideas?