Scale the line by factor
factor
Line scale(double factor) { return Line(a.scale(factor), b.scale(factor)); }