Class E_face


Code: embedded/E_domain.mpl

Extends: domain_face
Field: samples::table

This is a table indexed by some points in the 2-simplex $\Delta_2$. The entries are instances of the class E_sample_point. Typically we will fix a triangle quadrature rule Q, with points $t_i$ say. The samples table will have indices $t_i$, and the corresponding entry will represent a point $u_i\in EX^*$ with barycentric coordinates $t_i$ with respect to this face. This is set up by the create_samples method.

Field: sample_list::list

This contains the same E_sample_point objects as the samples table, but organised as a list. This is set up by the create_samples method.

Field: total_area::scalar = 0

The area of this face, with respect to the metric on $EX^*$ inherited from the standard metric on $S^3$. This is calculated by the create_samples method.

Field: total_curvature::scalar = 0

The integral of the Gaussian curvature function over this face. This is calculated by the create_samples method.

Field: barycentric_table

obsolete

Constructor: `new/E_face`(S0::E_edge,S1::E_edge,S2::E_edge,)

Method: create_samples(Q::triangle_quadrature_rule)::void

This method sets up the fields samples, samples_list, total_area and total_curvature, as described above.


Method: check()

This checks the correctness of the sample points. It returns an offset error (which measures the failure of the points to lie exactly on $EX^*$) and a barycentric error (which measures the failure of the barycentric coordinates to be equal to the indices in the samples table).


Method: plot_x(f,vertical_range := 2)
Method: plot_z(f,z_range := 2)
Method: plot_x_ibj(f,vertical_range := 2)
Method: plot_z_ibj(f,z_range := 2)