phi = stanleyReisnerPresentation(V,F,r)
This method creates a ring map whose image is the sub-ring of $C^r$ splines expressed in terms of $C^0$ generators. If $\Delta$ is simplicial, $C^0(\Delta)$ is expressed as the Stanley Reisner ring.
|
|
|
|
|
|
The kernel of the map is the same as the kernel of the map returned by ringStructure, but the generators are expressed differently.
|
|
|
|
|
|
|
|
The option Trim=>true may be used to get a minimal number of ring generators.
|
|
|
|
|
The geometry effects $C^1$ simplicial splines, although it doesn't effect $C^0$ simplicial splines.
|
|
|
If $\Delta$ is not simplicial, $C^0(\Delta)$ does not have the same nice structure.
|
|
|
|
The object stanleyReisnerPresentation is a method function with options.