functional language for computing with geometry
DEF out = STRUCT:<
(STRUCT~[MAP:[S1,S2,S1:Surface], K:dom]):domain,
T:1:2,
(STRUCT~[MAP:[S1,S2,S2:Surface], K:dom]):domain,
(STRUCT~[MAP:[S1,S2,S3:Surface], K:dom]):domain
>
WHERE
Surface = HermiteSurface: <
<<0,0,0>, <2,0,1>, <3,1,1>, <4,1,1>>,
<<1,3,-1>,<3,2,0>, <4,2,0>, <4,2,0>>,
<<0,4,0>, <2,4,1>, <3,3,2>, <5,3,2>>,
<<0,6,0>, <2,5,1>, <3,4,1>, <4,4,0>>>,
domain = (Intervals:1:10) * (Intervals:1:10),
NewFrame = S:<1,2,3>:<1.2,1.2,1.2>:MKframe,
dom = (EMBED:1~CUBOID):<1,1>
END;