Hello, I use the Poincare Disc Model in SAGE and I try to get the perpendicular bisector of a geodesic joining to points in the PD. It gives me a perpendicular geodesic, but it does not pass through the midpoint of my geodesic. I can not upload a screenshot of my situation so it is all I can say. Please help meee