Computation of angles and areas in hyperbolic geometry

flatsurf / sage-flatsurf

Flat surfaces in Sage

https://flatsurf.github.io/sage-flatsurf/

GNU General Public License v2.0

10 stars 10 forks source link

Computation of angles and areas in hyperbolic geometry #286

Closed videlec closed 1 month ago

videlec commented 1 month ago

Checklist

[x] Added an entry in doc/news/.
[x] Added a test for this change.
[ ] Added new .py files to the documentation in doc/geometry or doc/graphical.

videlec commented 1 month ago

@saraedum I am not happy with my boundary_point_is_between which converts to RDF. Could you help? All the rest is hopefully fine ~~(though one might want area at a higher level, namely for any convex set)~~.

github-actions[bot] commented 1 month ago

Documentation preview for this PR is ready! :tada: Built with commit: 1511c026c8ec1b4e33b17de51a61fbdff3c075c8

videlec commented 1 month ago

I opened https://github.com/flatsurf/exact-real/issues/177 for the problem with macos-11 runner

saraedum commented 1 month ago

@videlec I think I am done here for the moment. Please have a look!

videlec commented 1 month ago

Looks good to me. Thanks!