Python for Inversive and Hyperbolic Geometry
coe.psu.ac.th
coe.psu.ac.th
I enjoy the almost Oliver Burne[0] meets Mondrian[1] like outputs of Duckering's implementation, but appreciate the simplicity of the author's as well.
Excellent linked resources for anyone interested in using programming to illuminate mathematics.
[0] https://en.wikipedia.org/wiki/Oliver_Byrne_(mathematician)
https://en.wikipedia.org/wiki/Esoteric_programming_language#...
def from_offset(n: int): return n+1
Well-typed (or sightly-better-typed) programming ftw.
1. It’s designed by mathematicians specifically for math.
2. It has much better support for generic/runtime types, something the academics apparently describe using the terms “parametric polymorphism” and “multi-dispatch”.
Plus there’s this cute founding ethos blog post from 2012, though it’s necessarily vague: https://julialang.org/blog/2012/02/why-we-created-julia/
None of that sounds even close to convincing me to switch from Python, but I can see the appeal for people who value those typing features and want something faster.
I don’t necessarily see the connection between either of those things and the implementation above, tho… presumably it’s basically instant, anyway?