## Extension of /users/skv/testref/cd1/ED/cto/003/A1

dset r sqrt(2)/2

vertex v1 0 0 0
vertex v2 1 0 0
vertex v3 1 1 0
vertex v4 0 1 0

edge e1 v1 v2
edge e2 v2 v3
edge e3 v3 v4
edge e4 v4 v1

wire wa e1 e2 e3 e4
mkplane fa wa
prism ba fa 0 0 1


vertex v5 0 0.5 0
vertex v6 r 0.5 0
vertex v7 r r 0
vertex v8 0 r 0

edge e5 v5 v6
edge e6 v6 v7
edge e7 v7 v8
edge e8 v8 v5

wire wb e5 e6 e7 e8
mkplane fb wb
prism bb fb 0 0 1


trotate bb 0 0.5 0 0 0 1 -45

bcommon result ba bb 

set square 2.12132