Constructive solid geometry