## Extension of /users/skv/testref/cd1/ED/cto/002/B1

dset r sqrt(5)
dset a30 atan2(1,2)*180/pi
dset k 1/r

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 0
vertex v6 r/2 0 0
vertex v7 r/2 k 0
vertex v8 0 k 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 0 0 0 1 45

bcommon result ba bb 

set square 3.55724