A package to compute with Darmon points
copied from cf-staging / darmonpointsThe darmonpoints (number theory) package can compute many different types of what is known as Darmon points. These are points analytically defined on elliptic curves, which are conjecturally algebraic.