Index of classes


net

An instance of this class represents a net which can be glued to produce a cromulent surface.

triangle_quadrature_rule

An instance of this class represents a rule for approximate integration of functions on the two-simplex. Such a rule consists of a list of sample points and a list of weights; the approximate integral is obtained by evaluating at the sample points, multiplying by the corresponding weights, and taking the sum. Following work of Dunavant, we consider only rules that are invariant under the evident action of the symmetric group $S_3$ on the simplex. We choose one sample point from each $S_3$-orbit, and call these the base points for the rule.

domain

An instance represents the fundamental domain in a cromulent surface

domain_point

This is an abstract class which serves as the parent for various subclasses representing points in various different domains.

domain_edge

An instance of this class represents an edge in a domain.

domain_face

An instance represents a triangular face in a domain.

grid

An instance of this class represents a triangulation of a domain.

E_point

An instance of this class represents a point on the embedded surface EX(a)

E_sample_point

An instance of this class represents a point in a triangular face of a domain of type E. In addition to the usual data for a point in such a domain, it has some additional fields that only make sense relative to the containing face.

E_edge

E_face

E_grid

E_quadrature_rule

An instance of this class represents a quadrature rule for approximate integration of functions on $EX^*$. Essentially, such a rule consists of a list of points $p_i$ in the fundamental domain $F_{16}$, together with weights $w_i\geq 0$. The integral over $F_{16}$ of a function $f$ is approximately $\sum_i w_i f(p_i)$. Thus, the integral over $EX^*$ is $\sum_i\sum_{g\in G}w_if(g.p_i)$. This class also has fields and methods designed to allow us to measure and improve the accuracy of the quadrature rule. Specifically, suppose we have calculated the integrals of some monomials $z_1^iz_2^j$ by some other method. We can then list these monomials in the test_monomials field, and their integrals in the test_integrals field. Various methods will then try to ensure that our quadrature rule gives the correct answer on those monomials.

E_chart

An instance of this class represents an approximate conformal map $p\colon\mathbb{R}^2\to EX^*$. We refer to the point $p(0)$ as the centre of the chart.

E_atlas

An instance of this class represents an atlas of approximate conformal charts for $EX^*$

EH_chart

An instance of this class represents an approximate isometric map $p\colon\Delta\to EX^*$, together with data relating $p$ to the canonical map $q\colon\Delta\to EX^*$. Here $\Delta$ is given the standard hyperbolic metric, and $EX^*$ is given the rescaled metric that has curvature $-1$. We refer to the point $p(0)$ as the centre of the chart. Note that this class extends the class E_chart, so documentation for that class should be read in conjunction with documentation for this one.

EH_atlas_edge

An instance of this class represents a pair of charts whose centres are close together. We can triangulate $F_{16}$ using the chart centres as 0-simplices, and these pairs as 1-simplices.

EH_atlas

An instance of this class represents an approximation to the isomorphism $HX(a)\to EX^*$, together with associated data.

E_to_S_map

An instance of this class represents a pair of approximations to the canonical conformal maps $p,q\colon EX^*\to S^2$.

KR_subfield

An instance of this class represents a subfield of the field $KR$ of functions on $EX^*$ generated by the functions $x_i$ and $r_i$

PK_subfield

An instance of this class represents a subfield of the field $PK$ of functions on $PX(a)$ generated by the functions $w$ and $z$

HP_table

An instance of this class encapsulates data about a family of cromulent isomorphisms $HX(a_H) \to PX(a_P)$ for various values of $a_H$ and $a_P$

H_to_P_map

An instance of this class encapsulates data about a cromulent isomorphism $HX(a_H) \to PX(a_P)$ for some specific numerical values of $a_H$ and $a_P$

P_to_H_chart

An instance of this class represents a pair of approximate polynomial solutions (f0,f1) near z=z0 to a certain linear second order differential equation depending on a parameter d. If d is chosen correctly, then f0 and f1 will be closely related to the canonical hyperbolic covering of the surface PX(a_P).

P_to_H_map

An instance of this class encapsulates data about a cromulent isomorphism $PX(a_P)\to HX(a_H)$ for some specific numerical values of $a_H$ and $a_P$

automorphy_system

An instance of this class encapsulates information about automorphic functions for $HX(a_H)$