Programming Language for Solid Variational Geometry