% corners of the projection plane
%set_point(9)(12.92993,12.37372,6.83334);
%set_point(10)(15.68588,8.48413,6.8334);
%set_point(11)(16.27899,8.90436,4.12851);
%set_point(12)(13.52304,12.79395,4.12845);
% intersections with the projection plane
new_plane(pl)(9,10,11);
new_line(l)(1,13);
if not def_inter_p_l_pl(14)(l)(pl):
message "PROBLEM ";
fi;
set_line(l)(2,13);
if not def_inter_p_l_pl(15)(l)(pl):
message "PROBLEM ";
fi;
set_line(l)(3,13);
if not def_inter_p_l_pl(16)(l)(pl):
message "PROBLEM ";
fi;
set_line(l)(4,13);
if not def_inter_p_l_pl(17)(l)(pl):
message "PROBLEM ";
fi;
set_line(l)(5,13);
if not def_inter_p_l_pl(18)(l)(pl):
message "PROBLEM ";
fi;
set_line(l)(6,13);
if not def_inter_p_l_pl(19)(l)(pl):
message "PROBLEM ";
fi;
set_line(l)(7,13);
if not def_inter_p_l_pl(20)(l)(pl):
message "PROBLEM ";
fi;
set_line(l)(8,13);
if not def_inter_p_l_pl(21)(l)(pl):
message "PROBLEM ";
fi;