R := {[1:10,1:10]} union {[5:15,11:20]};
R;
f := farkas R;
f;
Hull R;