Draw Figure

init_figure()

Return type:

Figure

draw_figure(proof, *, save_to=None, rng, format='svg')

Draw everything on the same canvas.

Return type:

None

fill_missing(d0, d1)

draw_circle(ax, c, **args)

Return type:

None

draw_line(ax, line, **args)

Draw a line. Return the two extremities

draw_segment(ax, p0, p1, **args)

draw_segment_num(ax, p0, p1, **args)

draw_angle(ax, line0, line1, **args)

draw_rectangle(ax, line0, line1, **args)

draw_point(ax, p, args_point=None, args_name=None)

draw a point.

Return type:

None