public IntLine[] barelines()
 {
     IntLine[] bare = new IntLine[intlines.Count];
     for (int i = 0; i < intlines.Count; ++i)
     {
         bare[i] = intlines[i].line;
     }
     return bare;
 }
 public static void DrawLine(IntLine line, Graphics g, System.Drawing.Pen pen, int left = 0, int top = 0, int zoom = 1)
 {
     g.DrawLine(pen, left + line.p.X * zoom, top + line.p.Y * zoom, left + line.q.X * zoom, top + line.q.Y * zoom);
 }