Refinable G1 functions on G1 free-form surfaces

- For two G1 surface constructions, an explicit G1 basis is derived.
- The G1 basis generates functions on these surfaces.
- The spaces of functions are refinable and nested.
- Enforcing only first-order smoothness yields a maximal set of free functions.
- The maximal set has small support and near-uniform layout.