This method returns the spline module. It is presented as the image of a matrix whose columns generate splines as a module over the polynomial ring. Each column represents a spline whose entries are the polynomials restricted to the facets of the complex $\Delta$.
i1 : V = {{0,0},{1,0},{1,1},{0,1}} o1 = {{0, 0}, {1, 0}, {1, 1}, {0, 1}} o1 : List |
i2 : F = {{0,1,2},{0,2,3}} o2 = {{0, 1, 2}, {0, 2, 3}} o2 : List |
i3 : E = {{0,1},{0,2},{0,3},{1,2},{2,3}} o3 = {{0, 1}, {0, 2}, {0, 3}, {1, 2}, {2, 3}} o3 : List |
i4 : splineModule(V,F,E,1) o4 = image | 1 t_0^2-2t_0t_1+t_1^2 | | 1 0 | 2 o4 : QQ[t ..t ]-module, submodule of (QQ[t ..t ]) 0 2 0 2 |
The object splineModule is a method function with options.